FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
CS Lecture Theatre A

Lecture Theatre A, Department of Computer Science, Wolfson Building, Parks Road, Oxford, OX1 3QD, https://goo.gl/maps/tkFhdN2RZfR2

Sessions

  • Session 63A (Jul 11 10:50-12:30) Formal Synthesis
  • Session 66B (Jul 11 14:00-15:40) Applications 1
  • Session 68A (Jul 11 16:10-17:25) Verification
  • Session 73A (Jul 12 10:50-12:30) Reachability and safety analysis
  • Session 76A (Jul 12 14:00-15:40) Optimal and model predictive control
  • Session 79A (Jul 12 16:10-17:25) Applications 2
  • Session 85 (Jul 13 10:50-12:05) Stochastic systems 2
  • Session 87A (Jul 13 14:00-15:15) Control Synthesis
  • Session 124A (Jul 18 09:00-10:00) ARQNL Invited Talk: Larry Moss
  • Session 125 (Jul 18 10:00-10:30) ARQNL Regular Papers 1
  • Session 126A (Jul 18 11:00-12:30) ARQNL Regular Papers 2
  • Session 127A (Jul 18 14:00-15:00) ARQNL Invited Talk: Giles Reger
  • Session 128 (Jul 18 15:00-15:30) ARQNL Regular Papers 3
  • Session 129A (Jul 18 16:00-17:30) ARQNL Presentation only & System demos