(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 |
||||||||
LICS Sponsorship
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.
Website built with bootstrap by Hartmut Eilers and Eric Koskinen.