FLoC on Sunday, July 11th

previous day next day See also the by session program.
08:45‑09:00
10:00‑10:30
Coffee break
12:00‑12:30
Carsten Otto, Marc Brockschmidt, Christian von Essen and Jürgen Giesl
11:30‑11:50
Alexander Nadel and Vadim Ryvchin
12:30‑14:00
Lunch
14:00‑14:30
David Harel (Weizmann Institute of Science)
14:30‑15:00
Gordon Plotkin (University of Edinburgh)
15:00‑15:30
Coffee break
15:30‑16:00
Alexander Koller and Stefan Thater
16:30‑17:00
Adrian Riesco, Alberto Verdejo and Narciso Marti-Oliet
15:30‑16:00
Kazuhisa Makino, Suguru Tamaki and Masaki Yamamoto