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

Past Room Assignment

Current and future room assignment

Friday, July 9

Event Associated conference Building Room
Coq-2 ITP AT 2.14  
DCM LICS/IJCAR IF G.07A (changed!)
DTP LICS IF G.07
ITRS LICS AT 2.11
IWS LICS/RTA IF 1.16
LCC+PPC SAT AT 2.12 (changed!)
LOLA LICS IF 4.31+4.33
MLQA LICS IF G.03
PCARC LICS IF 1.15
Milner Lecture   AT LT5
Milner lecture reception   IF Atrium

Saturday, July 10

Event Associated conference Building Room
DCM LICS/IJCAR IF G.07A (changed!)
DTP LICS IF G.07
HyLo LICS AT 2.11
IFIP-WG1.6 RTA IF 1.15
LCC+PPC LICS AT 2.12 (changed!)
LoCoCo SAT IF 1.16
LSB LICS IF 4.31+4.33
POS SAT IF G.03
PSPL LICS AT 2.14

Sunday, July 11

Event Associated conference Building Room
ITP   AT LT5
LICS   AT LT4
RTA   AT LT3
SAT   AT LT2
FLoC Plenary Talk   GSLT  

Monday, July 12

Event Associated conference Building Room
ITP   AT LT5
LICS   AT LT4
RTA   AT LT3
SAT   AT LT2

Tuesday, July 13

Event Associated conference Building Room
ITP   AT LT5
LICS   AT LT4
RTA   AT LT3
SAT   AT LT2
FLoC Plenary Talk   GSLT  
FLoC Keynote Talk   GSLT  

Wednesday, July 14

Event Associated conference Building Room
AFM CAV IF 4.31+4.33 (changed!)
FCS-PrivMod LICS/CSF AT LT1
HOR RTA IF G.07
ITP   AT LT5
LFMTP LICS AT 2.12
LICS   AT LT4
PAAR IJCAR AT 2.14
SAT   AT LT2
SMT CAV/SAT IF G.07A (changed!)
UNIF IJCAR/RTA AT LT3
WST IJCAR/RTA IF G.03

Thursday, July 15

Event Associated conference Building Room
CAV Tutorials CAV AT LT4
CICLOPS-WLPE ICLP IF 4.31+4.33 (changed!)
CloDeM LICS/IJCAR AT 2.14
FCS-PrivMod LICS/CSF AT LT1
HWVW CAV AT 2.11
LAM LICS AT LT2
LaSh ICLP/SAT AT LT5
LfSA LICS/IJCAR AT 2.12
MLPA ITP/IJCAR IF 1.16
NSV-3 LICS/CAV AT LT3 (starts at 8:25am!)
PAR ITP IF G.07
PSTT LICS IF 1.15
SMT CAV/SAT IF G.07A (changed!)
UITP IJCAR/ITP DSB G.06
WST IJCAR/RTA IF G.03

Friday, July 16

Event Associated conference Building Room
CAV   AT LT4
ICLP   AT LT3
IJCAR   AT LT5
FLoC Plenary Talk   GSLT  

Saturday, July 17

Event Associated conference Building Room
CAV   AT LT4
CSF   AT LT2
ICLP   AT LT3
IJCAR   AT LT5

Sunday, July 18

Event Associated conference Building Room
CAV   AT LT4
CSF   AT LT2
ICLP   AT LT3
IJCAR   AT LT5
FLoC Keynote Talk   GSLT