Trends Program

I0		Saturday

8:30		On now Registration & Coffee





9:00		On now Ensuring Liveness Properties of Distributed Systems with Justness Rob van Glabbeek











10:00		On now Coffee Break





10:30		On now From Individual Interactions to Collective Dynamics — and Back: Why Timing Matters Tatjana Petrov











11:30		On now Book presentation: Models of Computation based on Automata: Formal Languages and Communicating Processes Jos Baeten





12:00		On now Lunch

















13:30		On now Abstract Operational Reasoning Henning Urbat











14:30		On now Coffee Break





15:00		On now IFIP WG 1.8 Business meeting

8:30	On now Registration & Coffee
9:00	On now Ensuring Liveness Properties of Distributed Systems with Justness Rob van Glabbeek
10:00	On now Coffee Break
10:30	On now From Individual Interactions to Collective Dynamics — and Back: Why Timing Matters Tatjana Petrov
11:30	On now Book presentation: Models of Computation based on Automata: Formal Languages and Communicating Processes Jos Baeten
12:00	On now Lunch
13:30	On now Abstract Operational Reasoning Henning Urbat
14:30	On now Coffee Break
15:00	On now IFIP WG 1.8 Business meeting

Trends