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 Tuesday, July 13th

previous day next day See also the by talk program.
ITP
LICS
RTA
SAT
09:00‑10:00
(George Square Lecture Theatre)
FLoC Plenary Talk: Georg Gottlob
10:00‑10:30
Coffee break
10:30‑12:30
(AT LT5)
Session 9
10:30‑12:30
(AT LT4)
Logic and Automata
10:30‑12:30
(AT LT3)
Session 9
10:30‑12:30
(AT LT2)
Random + Statistics/LS
12:30‑14:00
Lunch
14:00‑15:00
(George Square Lecture Theatre)
FLoC Keynote Talk: J Strother Moore
15:00‑15:30
Coffee break
15:30‑18:00
(AT LT5)
Excursion [Information] [sign-up]
15:30‑17:00
(AT LT4)
Logics
17:15‑17:55
(AT LT4)
Short Papers Session
15:30‑17:20
(AT LT3)
Session 10
15:30‑17:00
(AT LT2)
QBF
17:00‑18:00
(AT LT2)
Business Meeting
19:00‑23:00
FLoC Banquet at Our Dynamic Earth