(Tentative) Schedule

Time Tue 5 July Wed 6 July Thu 7 July Fri 8 July Sat 9 July Sun 10 July
08:30-09:00 Coffee & Welcome (8:45-9:55)
Sch501
Coffee
Nwc501
Coffee
Nwc501
Coffee
Nwc501
Coffee
Mudd644
Coffee
Mudd633
09:00-10:40 Session
Sch501/Nwc501
Session
Sch501/Nwc501
Session
Sch501/Nwc501
Session
Sch501/Nwc501
Logic and Systems Biology (LSB)
Mudd627
Logic Mentoring Workshop (LMW)
Mudd633
Natural Language and Computer Science
(NLCS)
Mudd627
Strategic Reasoning (SR)
Mudd633
Syntax and Semantics for Low-Level Languages (LOLA)
Mudd644
10:40-11:10 Coffee
Nwc501
Coffee
Nwc501
Coffee
Nwc501
Coffee
Nwc501
11:10-12:10 Invited Talk: Pedro Domingoes
Sch501
Invited Talk: Mai Gehrke
Sch501
Invited Talk: Maurice Herlihy
Sch501
Invited Talk: Joost Pieter-Katoen
Sch501
12:10-13:40 Lunch Break
13:40-15:20 Session
Sch501/Nwc501
Session
Costa/Nwc501
Session
Sch501*/Nwc501
Session
Costa/Nwc501
Logic and Systems Biology (LSB) Logic Mentoring Workshop (LMW) Natural Language and Computer Science
(NLCS)
Strategic Reasoning (SR) Syntax and Semantics for Low-Level Languages (LOLA)
15:20-15:50 Coffee
Sch501
Coffee
Nwc501
Coffee
Nwc501
Coffee
Nwc501
15:50-17:05 Session
Sch501/Nwc501
Session
Costa/Nwc501
Awards Session
Sch501
Session
Costa/Nwc501
17:15 History of LICS
Sch501
Break
18:00 Reception
Faculty House
  LICS Business Meeting
Sch501
* The Sch501 will run slightly longer, until 15:45.