Federated Logic Conference 2018

6-19 July 2018

Register

Call for Papers

More info

Workshops

Now announced

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
  • Workshop dinner
  • Pre-FLoC workshops
8
  • Pre-FLoC workshops
9
  • FLoC Conference Block 1
  • Conference reception
  • CSF
  • FSCD
  • ITP
  • LICS
  • SAT
10
  • FLoC Conference Block 1
  • Public lecture
  • CSF
  • ITP
  • LICS
  • SAT
  • FSCD
11
  • FLoC Conference Block 1
  • Conference banquet
  • CSF
  • FSCD
  • ITP
  • LICS
  • SAT
12
  • FLoC Conference Block 1
  • CSF
  • FSCD
  • ITP
  • LICS
  • SAT
13
  • Workshop dinner
  • Mid-FLoC workshops
14
  • FLoC Conference Block 2
  • FLoC conference reception
  • CAV
  • ICLP
  • IJCAR
15
  • FLoC Conference Block 2
  • CAV
  • ICLP
  • IJCAR
  • FM
16
  • FLoC Conference Block 2
  • Conference banquet
  • Oxford Union debate
  • CAV
  • ICLP
  • IJCAR
  • FM
17
  • FLoC Conference Block 2
  • CAV
  • ICLP
  • IJCAR
  • FM
18
  • Workshop dinner
  • Post-FLoC workshops
19
  • Post-FLoC workshops
20
21
22
23
24
25
26
27
28
29
30
31

 

 

Follow us

Our sponsors