Programme

Wednesday, 18 June

09:00-09:15
Opening
Marco Bernardo, Daniel Gebler, Michele Loreti (message from the organizers)
Ilaria Castellani (chair of the IFIP Working Group 1.8)

09:15-10:45
Process Theory, Expressiveness, and Programming Languages 1
Chair: Ilaria Castellani

10:45-11:15
Coffee break

11:15-12:45
Verification, Testing, and Synthesis 1
Chair: Walter Vogler

13:00-14:00
Lunch

14:30-16:00
Types in Concurrency Theory
Chair: Mario Bravetti

16:00-16:30
Coffee break

16:30-18:00
Process Theory, Expressiveness, and Programming Languages 2
Chair: Luca Aceto

 

Thursday, 19 June

09:15-10:45
Process Theory, Expressiveness, and Programming Languages 3
Chair: Rob van Glabbeek

10:45-11:15
Coffee break

11:15-12:45
Quantitative Aspects in Concurrency Theory 1
Chair: Daniel Gebler

13:00-14:00
Lunch

14:30-16:00
Security in Concurrency Theory
Chair: Alessandro Aldini

16:00-16:30
Coffee break

16:30-18:00
Process Theory, Expressiveness, and Programming Languages 4
Chair: Ugo Montanari

20:00-23:00
Social dinner at Ristorante Altopalato
 

Friday, 20 June

09:15-10:45
Process Theory, Expressiveness, and Programming Languages 5
Chair: Wan Fokkink

10:45-11:15
Coffee break

11:15-12:45
Quantitative Aspects in Concurrency Theory 2
Chair: Holger Hermanns

13:00-14:00
Lunch

14:30-16:00
Verification, Testing, and Synthesis 2
Chair: Jos Baeten

16:00-16:30
Coffee break

16:30-18:00
Process Theory, Expressiveness, and Programming Languages 6
Chair: Rocco De Nicola

 

Saturday, 21 June

09:00-10:30
Process Theory, Expressiveness, and Programming Languages 7
Chair: Roberto Bruni

10:30-10:45
Coffee break

10:45-12:15
Quantitative Aspects in Concurrency Theory 3
Chair: Michele Loreti

12:15-12:30
Coffee break

12:30-13:30
Process Theory, Expressiveness, and Programming Languages 8
Chair: Marco Bernardo

13:30-14:00
Lunch