ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

FLoC on Friday, July 9th

next day See also the by talk program.
Coq
DCM
DTP
ITRS
IWS
LOLA
MLQA
PCARC
PPC
09:00‑10:00
(AT 2.14)
Session 1
09:00‑10:00
(IF G.07A)
Session 1
09:00‑10:00
Invited Talk
09:00‑10:00
(AT 2.11)
Invited talk
09:00‑10:00
(IF 1.16)
Invited talk
08:50‑10:00
(IF 4.31+4.33)
Opening. Invited Talk
09:00‑10:00
(IF G.03)
Session 1
09:00‑10:00
(IF 1.15)
Session 1
10:00‑10:30
Coffee break
11:00‑12:30
(AT 2.14)
Session 2
10:30‑12:30
(IF G.07A)
Session 2
10:30‑12:30
Session 2
10:30‑11:30
(AT 2.11)
Session Types
11:30‑12:30
(AT 2.11)
Program Properties
10:30‑12:30
(IF 1.16)
Regular talks
10:30‑11:30
(IF 4.31+4.33)
Invited tutorial
11:30‑12:30
(IF 4.31+4.33)
Session 3
10:30‑12:30
(IF G.03)
Session 2
10:30‑12:30
(IF 1.15)
Session 2
12:30‑14:00
Lunch
14:00‑15:00
(AT 2.14)
Session 3
14:00‑15:00
(IF G.07A)
Session 3
14:00‑15:00
Session 3
14:00‑15:00
(AT 2.11)
Invited talk
14:00‑15:00
(IF 1.16)
Invited talk
14:00‑15:00
(IF 4.31+4.33)
Invited talk
14:00‑15:00
(IF G.03)
Session 3
14:00‑15:00
(IF 1.15)
Session 3
14:00‑15:00
(AT 2.12)
Session 1
15:00‑15:30
Coffee break
15:30‑17:00
(AT 2.14)
Session 4
15:30‑18:00
(IF G.07A)
Session 4
15:30‑17:00
Session 4
15:30‑16:30
(AT 2.11)
Extended Lambda Calculus
15:30‑16:00
(IF 1.16)
Regular talks (cont'd)
16:00‑17:00
(IF 1.16)
Works in progress
15:30‑16:30
(IF 4.31+4.33)
Session 5
16:30‑17:00
(IF 4.31+4.33)
Panel Discussion
17:00‑18:00
(IF 4.31+4.33)
Session 7
15:30‑17:00
(IF G.03)
Session 4
15:30‑16:30
(IF 1.15)
Session 4
15:30‑16:30
(AT 2.12)
Session 2
17:00‑18:00
(AT 2.12)
Session 3