Program Overview
Sunday 25 June | Monday 26 June | Tuesday 27 June | Wednesday 28 June | Thursday 29 June | Friday 30 June | Saturday 1 July |
---|---|---|---|---|---|---|
Tutorial: Basic net classes 9:00-12:30 Room: 110 at building IV | PN4TT 14:00-17:30 Room: 204 at building IV (program) | PNSE 9:00-18:00 Room: 204 at building IV (program) | Main Conference 9:00-18:00 Room: 204 at building IV | Main Conference 9:00-16:30 Room: 204 at building IV | Main Conference 9:30-15:30 Room: 204 at building IV | Rock-climbing 9:00-18:00 (registration required) |
Tutorial: Coloured Petri nets and the CPN Tools 13:30-17:00 Room: 110 at building IV | Tutorial: Verification and model checking of Petri Nets 9:00-12:30 Room: 110 at building IV | ATAED 11:00-17:30 Room: 203 at building IV (program) | Departure to welcome reception 18:00 | GI meeting 16:30-18:00 Room: 204 at building IV | ||
Tutorial: Timed and Stochastic Petri nets 14:00-17:30 Room: 110 at building IV | Tutorial: Petri nets-driven design of controllers for cyber-physical systems 9:00-17:30 Room: 110 at building IV | Welcome reception at Fragata 18:30 | 1st ATPN Padel Tournement 16:30-18:00 (registration required) | |||
Discussions about the model checking contest 14:00-15:30 Room: 112 at building IV | Dinner 19:30 | |||||
SC meeting (by invitation) 17:30-18:30 Room: 112 at building IV |