Monday

09.00-09.45 Introduction - Audience contact
09.45-10.30 Computational Frameworks
11.00-11.45 Computational Frameworks
11.45-12.30 Computational Models
14.30-15.15 Computational Models
15.15-16.00 Computational Models
16.30-17.15 Typed and untyped l calculus
17.15-18.00 Typed and untyped l calculus

Tuesday

09.00-09.45 Calculi for mobility
09.45-10.30 p calculus
11.00-11.45 p calculus
11.45-12.30 p calculus
14.30-15.15 Computational Metamodels
15.15-16.00 Computational Metamodels
16.30-17.15 Logical Frameworks and HOAS
17.15-18.00 Logical Frameworks and HOAS

Wednesday

09.00-09.45 Logical Frameworks and HOAS
09.45-10.30 Logical Frameworks and HOAS
11.00-11.45 The Proof Assistant COQ
11.45-12.30 The Proof Assistant COQ
14.30-15.15 The Proof Assistant COQ
15.15-16.00 Final Semantics
16.30-17.15 Final Semantics
17.15-18.00 Final Semantics

Thursday

09.00-09.45 Software Testing
09.45-10.30 Software Testing
11.00-11.45 Software Testing
11.45-12.30 Software Testing
14.30-15.15 Software Testing
15.15-16.00 Software Testing
16.30-17.15 Verification and Validation
17.15-18.00 Verification and Validation

Friday

09.00-09.45 Verification and Validation
09.45-10.30 Verification and Validation
11.00-11.45 Verification and Validation
11.45-12.30 Verification and Validation
14.30-18.00 Free