All talks will be in lecture 505, at DISI, via Dodecaneso 35, Genova.
The slides of some invited address were made available by the speaker: see if a title is an active link.
Wednesday, May 24
9:00 AM Eugenio Moggi
Invited Address: Simplification and Computation
10:00 AM John Power
10:30 AM Break
10:50 AM J. Berdine & P. O'Hearn
11:20 AM M. Collinson & D. Pym
11:50 AM Stephen Brookes
12:20 PM Lunch
Special Session on Quantum Computing
2:00 PM Peter Selinger
Invited Address: Semantics of a Quantum Programming Language
3:00 PM Paulo Mateus
3:30 PM Break
3:50 PM Keye Martin
4:20 PM Raja Nagarajan
5:00 PM Mike Mislove: Katrina & Its Aftermath
Thursday, May 25
9:00 AM Davide Sangiorgi
Invited Address: The Bisimulation Proof Method: Enhancements and Challenges
10:00 AM D. Varacca & N. Yoshida
10:30 AM Break
10:50 AM N. Mezzetti & D. Sangiorgi
11:20 AM C. Heunen & B. Jacobs
11:50 AM D. Cancila, M. Lenisa & F. Honsell
12:20 PM Lunch
Special Session on Security
2:00 PM Steve Zdancewic
Invited Address: Encoding Information Flow in Haskell
3:00 PM David Basin
3:30 PM Break
3:50 PM Santiago Escobar
4:20 PM K. Martin, I. Moskowitz & G. Allwein
4:50 PM Luca Viganò
Friday, May 26
9:00 AM Marcelo Fiore
Invited Address: On the Structure of Substitution
10:00 AM Paul Levy
10:30 AM Break
10:50 AM U. Zarfaty & P. Gardner
11:20 AM M. Merro & C. Biasi
11:50 AM A. Antonik & M. Huth
12:20 PM Lunch
Special Session on Timed System
2:00 PM Marta Kwiatkowska
2:30 PM James Worrell
3:00 PM Break
3:30 PM Patricia Bouyer
4:00 PM Wang Yi
Saturday, May 27
9:00 AM Weng Kin Ho
9:30 AM M. El-Zawawy & A. Jung
10:00 AM Ingo Battenfeld
10:30 AM Break
11:00 AM Eduardo Bonelli
11:30 AM Prakash Panangaden
Invited Address: Duality in Probabilistic Automata
12:30 PM End of Program