PROGRAM FOR FRIDAY, JULY 8TH: TALK VIEW
Days:
previous day
all days
View: with abstractssession overview
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
09:00-09:25
F. Olmedo, B.L. Kaminski, J.-P. Katoen, C. Matheja
09:50-10:15
Dexter Kozen
09:00-09:25
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
09:25-09:50
Alex Galicki
10:15-10:40
Antonino Salibra, Giulio Manzonetto, Giordano Favro
11:10-12:10 Invited Tutorial: Joost-Pieter Katoen
13:40-14:05
G. Barthe, M. Gaboardi, B. Grégoire, J. Hsu, P.-Y. Strub
14:05-14:30
Alan Jeffrey, James Riely
14:30-14:55
Viorel Preoteasa, Stavros Tripakis
13:40-14:05
Leszek Aleksander Kołodziejczyk, Henryk Michalewski
14:05-14:30
Joel Ouaknine, Amaury Pouly, Joao Sousa-Pinto, James Worrell
14:55-15:20
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
16:15-16:40
Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
15:50-16:15
Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot