| Wednesday, May 24 | Thursday, May 25 | ||||
| 9:00 AM | Eugenio Moggi | 9:00 AM | Davide Sangiorgi | ||
| Invited Address | Invited Address | ||||
| 10:00 AM | John Power | 10:00 AM | D. Varacca & N. Yoshida | ||
| 10:30 AM | Break | 10:30 AM | Break | ||
| 10:50 AM | J. Berdine & P. O'Hearn | 10:50 AM | N. Mezzetti & D. Sangiorgi | ||
| 11:20 AM | M. Collinson & D. Pym | 11:20 AM | C. Heunen & B. Jacobs | ||
| 11:50 AM | Stephen Brookes | 11:50 AM | D. Cancila, M. Lenisa & F. Honsell | ||
| 12:20 PM | Lunch | 12:20 PM | Lunch | ||
| 2:00 PM |
Special Session on Quantum Computing |
2:00 PM |
Special Session on Security |
Peter Selinger | Steve Zdancewicz |
| Invited Address | Invited Address | ||||
| 3:00 PM | Paulo Mateus | 3:00 PM | David Basin | ||
| 3:30 PM | Break | 3:30 PM | Break | ||
| 3:50 PM | Keye Martin | 3:50 PM | Santiago Escobar | ||
| 4:20 PM | Raja Nagarajan | 4:20 PM | K. Martin, I. Moskowitz & G. Allwein | ||
| 4:50 PM | Break | 4:50 PM | Luca Viganó | ||
| 5:00 PM | Michael Mislove | ||||
| Katrina & Its Aftermath | |||||
| Friday, May 26 | Saturday, May 27 | ||||
| 9:00 AM | Marcelo Fiore | 9:00 AM | Weng Kin Ho | ||
| Invited Address | 9:30 AM | M. El-Zawawy & A. Jung | |||
| 10:00 AM | Paul Levy | 10:00 AM | Ingo Battenfeld | ||
| 10:30 AM | Break | 10:30 AM | Break | ||
| 10:50 AM | U. Zarfaty & P. Gardner | 11:00 AM | Eduardo Bonelli | ||
| 11:20 AM | M. Merro & C. Biasi | 11:30 AM | Prakash Panangaden | ||
| 11:50 AM | A. Antonik & M. Huth | Invited Address | |||
| 12:20 PM | Lunch | 12:30 PM | End of Program | ||
| 2:00 PM |
Special Session on Timed Systems |
||||
| 2:00 PM | Marta Kwiatkowska | ||||
| 2:30 PM | James Worrell | ||||
| 3:00 PM | Break | ||||
| 3:30 PM | Patricia Bouyer | ||||
| 4:00 PM | Wang Yi | ||||
| 4:30 PM | Paul Gastin | ||||