Trends Program
| I0 | Saturday |
|---|
| 8:30 |
Live Registration & Coffee | |
|---|---|---|
| 9:00 |
Live Ensuring Liveness Properties of Distributed Systems with Justness Rob van Glabbeek Trends | |
| 10:00 |
Live Coffee Break | |
| 10:30 |
Live TBD Tatjana Petrov Trends | |
| 11:30 |
Live Jos Baeten Trends | |
| 12:00 |
Live Lunch | |
| 13:30 |
Live Abstract Operational Reasoning Henning Urbat Trends | |
| 14:30 |
Live Coffee Break | |
| 15:00 |
Live IFIP WG 1.8 Business meeting | |
Saturday
| 8:30 |
Live
Registration & Coffee |
|---|---|
| 9:00 | |
| 10:00 |
Live
Coffee Break |
| 10:30 | |
| 11:30 | |
| 12:00 |
Live
Lunch |
| 13:30 | |
| 14:30 |
Live
Coffee Break |
| 15:00 |
Live
IFIP WG 1.8 Business meeting |
Caption
Invited
Trends