Federated Logic Conference 2018

6-19 July 2018

Register

FoPSS logic and learning school registration now open

More info

Call for Workshop Papers

more info

Call for Papers

More info

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
7
  • Pre-FLoC workshops
  • Workshop dinner
8
  • Pre-FLoC workshops
9
  • FLoC Conference Block 1
  • Keynote: Shafi Goldwasser
  • ITP
  • CSF
  • FSCD
  • LICS
  • SAT
  • FLoC reception
10
  • FLoC Conference Block 1
  • ITP
  • CSF
  • FSCD
  • LICS
  • SAT
  • Public lecture: Stuart Russell
11
  • FLoC Conference Block 1
  • ITP
  • CSF
  • FSCD
  • LICS
  • SAT
  • Plenary: Peter O'Hearn
  • FLoC Banquet
12
  • FLoC Conference Block 1
  • ITP
  • CSF
  • FSCD
  • LICS
  • SAT
13
  • Mid-FLoC workshops
  • Workshop Dinner
14
  • FLoC Conference Block 2
  • FLoC Olympic Games
  • Keynote: Georges Gonthier
  • CAV
  • ICLP
  • IJCAR
  • FLoC reception
15
  • FLoC Conference Block 2
  • CAV
  • FM
  • ICLP
  • IJCAR
16
  • FLoC Conference Block 2
  • CAV
  • FM
  • ICLP
  • IJCAR
  • Plenary: Byron Cook
  • Debate: Ethics and Morality of Robotics
  • FLoC banquet
17
  • FLoC Conference Block 2
  • CAV
  • FM
  • ICLP
  • IJCAR
18
  • Post-FLoC workshops
  • Workshop dinner
19
  • Post-FLoC workshops
20
21
22
23
24
25
26
27
28
29
30
31

Follow us