FLoC on Friday, July 9th

next day See also the by session program.
09:00‑09:30
Sean Wilson, Jacques Fleuriot and Alan Smaill
09:00‑10:00
Gordon Plotkin (University of Edinburgh)
09:00‑10:00
Ana Bove (Chalmers University)
09:00‑10:00
Adriana Compagnoni (Stevens Inst. of Technology)
09:00‑10:00
Dan Dougherty (Worcester Polytechnic Institute, USA)
08:50‑09:00
09:00‑10:00
Andrej Bauer (Ljubljana)
10:00‑10:30
Coffee break
11:00‑11:30
Miklos Bartha
12:00‑12:30
A. Steven Younger and Emmett Redd
10:30‑11:00
Andreas Abel (University of Munich)
11:00‑11:30
Edwin Brady (University of St Andrews)
11:30‑12:00
Anton Setzer (University of Swansea)
12:00‑12:30
Nils Anders Danielsson (University of Nottingham)
10:30‑11:30
Dan Ghica (University of Birmingham)
10:30‑11:00
Marta Kwiatkowska
11:00‑11:30
Joost-Pieter Katoen
11:30‑12:00
Marsha Chechik / Arie Gurfinkel
10:30‑11:30
Jaap van Oosten (Utrecht)
11:30‑12:30
Pino Rosolini (Genova)
12:30‑14:00
Lunch
14:00‑14:30
Hugo Herbelin
14:00‑15:00
Russ Harmer (CNRS, Paris)
14:00‑14:30
Darin Morrison (University of Nottingham)
14:00‑15:00
Simona Ronchi Della Rocca (Univ. of Torino)
14:00‑15:00
Alex Simpson (LFCS, University of Edinburgh)
14:00‑14:30
David Monniaux
14:00‑15:00
John Longley (Edinburgh)
14:00‑15:00
Nicola Galesi (Universita di Roma)
15:00‑15:30
Coffee break
15:30‑16:00
Vincent Danos and Nicolas Oury
16:00‑16:30
Damian Markham, Janet Anders, Michal Hajdusek and Vlatko Vedral
16:30‑17:00
Janet Anders and Elisabeth Rieper
15:30‑16:00
Carsten Schuermann (IT University Copenhagen)
16:00‑16:30
Brigitte Pientka (McGill University)
16:30‑17:00
Dan Licata (Carnegie Mellon University)
16:00‑16:20
Pascal Fradet, Jean-Louis Giavitto and Marnes Hoff
16:30‑17:00
Panel Discussion
17:00‑17:20
Rasmus Ejlers Møgelberg and Sam Staton
15:30‑16:30
Thomas Streicher (Darmstadt)
16:00‑16:30
Stefan Dantchev