Monday, April 7:

9.30 - 10.30:

FOSSACS invited lecture:
Session chair: Andrew Gordon

10.30 - 11.00:

coffee

11.00 - 12.30:

FOSSACS: Probabilistic Models
Session chair: Roberto Gorrieri

12.30 - 14.30:

LUNCH

14.30 - 16.00:

FOSSACS: Process Calculi
Session chair: Uwe Nestmann

16.00 - 16.30:

coffee

16.30 - 18.30:

FOSSACS: Categorical Models
Session chair: Dusko Pavlovic

Tuesday, April 8:

10.30 - 12.30:

FOSSACS: Syntax and Semantics of Programming Languages
Session chair: Andrew Gordon

12.30 - 14.30:

LUNCH

14.30 - 16.30:

FOSSACS: From Trees to Types
Session chair: Eugenio Moggi

Wednesday, April 9:

10.30 - 12.30:

FOSSACS: Logic and Verification
Session chair: Witold Charatonik

15.45 - 16.45:

FOSSACS: Probabilistic Lossy Channels
Session chair: Igor Walukiewicz

16.45 - 17.15:

coffee

17.15 - 18.45:

FOSSACS: Recursion
Session chair: Igor Walukiewicz

Information maintained by Slawomir Leszczynski