Time | Tue, 20 Sep | Wed, 21 Sep | Thu, 22 Sep | Fri, 23 Sep |
---|---|---|---|---|
09:00-09:30 | Registration and welcome | Invited talk: Luca Cardelli | Invited talk: Radu Grosu | |
09:30-10:00 | Invited talk: Jane Hillston | |||
10:00-10:30 | Coffee break | Coffee break | ||
10:30-11:00 | Coffee break | Session 2.1: Case studies | Session 3.1: Abstraction/Reduction/Approximation | |
11:00-11:30 | Session 1.1: Estimation/Inference/Synthesis | |||
11:30-12:00 | Session 2.2: Poster flashes | |||
12:00-12:30 | Lunch | |||
12:30-13:00 | Lunch | Lunch + Poster session | ||
13:00-13:30 | ||||
13:30-14:00 | Session 3.2: Tools | |||
14:00-14:30 | Invited talk: Joelle Despeyroux | Session 2.3: Reaction networks (1) | ||
14:30-15:00 | Workshop | Session 3.3: Optimisation and control (2) | ||
15:00-15:30 | Coffee break | Coffee break | Closing | |
15:30-16:00 | Session 1.2: Optimisation and control (1) | Session 2.4: Reaction networks (2) | ||
16:00-16:30 | Session 1.3: High-performance methods | |||
16:30-17:00 | ||||
17:00-17:30 | Award ceremony | |||
17:30-18:00 | Business meeting | |||
18:00-18:30 | ||||
18:30-19:00 | ||||
19:00-21:30 |
Social event and dinner |
Dinner on Thursday night will be at Emmanuel College, in central Cambridge. Emmanuel is one of the larger Cambridge colleges, and famed for the quality of its food.
Additional tickets can be purchased for guests - see the registration page.
There will be a drinks reception from 19:00, with dinner served at 19:30.
09:00 - 09:30. Registration and welcome
10:30 - 11:00. Coffee break
12:30 - 14:00. Lunch
15:00 - 15:30. Coffee break
10:00 - 10:30. Coffee break
15:00 - 15:30. Coffee break
17:30 - 18:30. Business meeting
10:00 - 10:30. Coffee break
12:00 - 13:30. Lunch
15:00 - 15:30. Closing