Federated Logic Conference 2018

Federated Logic Conference 2018

6-19 July 2018

Conference and Worskhop programmes

Programme

At a glance

July 2018

Mon Tue Wed Thu Fri Sat Sun
1
  • FoPSS
2
  • FoPSS
3
  • FoPSS
4
  • FoPSS
5
  • FoPSS
6
  • FoPSS
  • FLoC registration opens (2-8pm)
7
  • Pre-FLoC workshops
  • Workshop dinner (7:45 for 8:15)
8
  • Pre-FLoC workshops
9
  • FLoC Conference Block 1
  • Plenary: Peter O'Hearn
  • CSF
  • FSCD
  • ITP
  • LICS
  • SAT
  • FLoC reception (7 for 7:30)
10
  • FLoC Conference Block 1
  • CSF
  • FSCD
  • ITP
  • LICS
  • SAT
  • Public lecture: Stuart Russell
11
  • FLoC Conference Block 1
  • Mid-FLoC workshops
  • CSF
  • FSCD
  • ITP
  • LICS
  • SAT
  • Keynote: Shafi Goldwasser
  • FLoC Banquet (7 for 7:30)
12
  • FLoC Conference Block 1
  • Mid-FLoC workshops
  • FSCD
  • ITP
  • LICS
  • SAT
  • CSF *different location*
  • Walking tours (book online)
13
  • CAV tutorials
  • Summit on Machine Learning Meets Formal Methods
  • Mid-FLoC workshops
  • Workshop Dinner (7 for 7:30)
14
  • FLoC Conference Block 2
  • Formal Methods in Industry
  • FLoC Olympic Games
  • Mid-FLoC workshops
  • Keynote: Georges Gonthier
  • CAV
  • ICLP
  • IJCAR
  • FM
  • Ally Skills session (11-12:30)
  • FLoC reception (7 for 7:30)
15
  • FLoC Conference Block 2
  • CAV
  • ICLP
  • IJCAR
  • FM
16
  • FLoC Conference Block 2
  • CAV
  • ICLP
  • IJCAR
  • FM
  • Plenary: Byron Cook
  • Debate: Ethics and Morality of Robotics (4pm)
  • FLoC banquet (7 for 7:30)
17
  • FLoC Conference Block 2
  • CAV
  • ICLP
  • IJCAR
  • FM
  • Walking tours (bookable online)
18
  • Post-FLoC workshops
  • Workshop dinner (7:15 for 7:45)
19
  • Post-FLoC workshops
20
21
22
23
24
25
26
27
28
29
30
31

Follow us