FLoC on Monday, July 19th

previous day next day See also the by session program.
09:00‑10:00
Maged Michael
10:00‑10:10
ICLP Awards Ceremony
09:00‑10:00
Leonardo de Moura (Microsoft Research Redmond)
10:00‑10:30
Coffee break
11:30‑12:00
Martin Abadi and Gordon Plotkin
12:00‑12:15
Andrew Myers and Michael Backes
11:30‑12:00
Martin Suda, Christoph Weidenbach and Patrick Wischnewski
12:00‑12:30
Geoff Sutcliffe
12:30‑14:00
Lunch
14:00‑14:25
Min Zhou, Fei He, Bow-Yaw Wang and Ming Gu
15:00‑15:30
Coffee break
15:30‑15:55
Pierre Ganty, Rupak Majumdar and Benjamin Monmege
17:25‑17:40
Krishnendu Chatterjee, Thomas Henzinger, Barbara Jobstmann and Arjun Radhakrishna
17:30‑18:00
Maria Paola Bonacina (Master of Ceremony)