FLoC on Wednesday, July 21st

previous day See also the by session program.
09:15‑09:30
09:00‑10:00
Bernhard Beckert
09:00‑10:00
André Platzer (Carnegie Mellon University, USA)
09:00‑10:00
Alexander Bockmayr
10:00‑10:30
Coffee break
10:30‑10:50
Alan Humphrey, Christopher Derrick, Beth Tibbitts, Anh Vo, Sarvani Vakkalanka, Ganesh Gopalakrishnan, Bronis de Supinski, Martin Schulz and Greg Bronevetsky
11:30‑12:00
12:10‑12:30
Niels Pahlavi
10:40‑11:00
Peter Habermehl, Lukas Holik, Adam Rogalewicz, Jiri Simacek and Tomas Vojnar
11:00‑11:20
Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar
12:10‑12:30
Hossein Hojjat, Viktor Kuncak, Ruzica Piskac and Philippe Suter
11:30‑12:00
Aurélie Favier, Jean-Michel Elsen, Simon de Givry and Andrés Legarra
12:30‑14:00
Lunch
14:30‑15:00
Mike Bond and George French
14:40‑15:00
Jakob Zwirchmayr
14:00‑14:20
Paul Jackson and Grant Passmore
14:20‑14:40
Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez Carbonell and Albert Rubio
14:40‑15:00
Timothy Nelson, Dougherty Daniel, Kathi Fisler and Shriram Krishnamurthi
14:30‑15:00
Enrico Giunchiglia , Massimo Narizzano , Gabriele Palma and Alessandra Puddu
14:00‑15:00
Sumit Gulwani
15:00‑15:30
Coffee break
15:30‑17:00
Andrew Gordon, Reiner Hähnle, Cliff Jones, Mark Ryan, Riccardo Focardi, Johann Schumann
15:20‑15:40
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic and Jovanka Pantovic
15:40‑16:00
Predrag Janicic and Filip Maric
16:00‑16:20
Maria Paola Bonacina and Moa Johansson
16:20‑17:00
Closing Discussions
15:30‑17:00
Riccardo Focardi, Andrew Gordon, Reiner Hähnle, Cliff Jones, Mark Ryan, Johann Schumann
15:30‑17:00
Resolutions.
16:22‑16:44
Vlad Volkov, Alexander Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy jr., Stepan Potiyenko and Thomas Weigert