The scientific program will be similar almost all days:
invited lectures 9:30 - 10:30 and 11:00 - 12:00
interactive part (beside Wednesday): 14:30 - 15:30 and 16:00 - 17:00
Breakfast, lunch and dinner time are the same all days beside Sunday (8:00, 12:30 and 18:00).
Exact program for each day is listed below.
The program for the interactive part is listed in the tab called ''Interactive part''.
Sunday
17:00 Bus departure from Banacha 2, Warsaw (in front of the MIM UW building)
≈ 20:30 Bus arrival at Natural Hotel
20:30 Dinner
Monday
8:00 - 9:20 Breakfast
9:20 - 9:30 Welcome meeting
9:30 - 10:30 Bidirected infinite-state systems (Georg Zetzsche, part I, chair: Michael Blondin)
10:30 - 11:00 Coffee break
11:00 - 12:00 Bidirected infinite-state systems (Georg Zetzsche, part II, chair: Michael Blondin)
12:30 - 13:30 Lunch
13:30 - 14:30 Free time
14:30 - 15:30 Interactive session
15:30 - 16:00 Coffee break
16:00 - 17:00 Interactive session
17:00 - 18:00 Free time
18:00 - 19:00 Dinner
Tuesday
8:00 - 9:30 Breakfast
9:30 - 10:30 Reachability in branching 2-VASS (Clotilde Biziere, part I, chair: Sylvain Schmitz)
10:30 - 11:00 Coffee break
11:00 - 12:00 Reachability in branching 2-VASS (Clotilde Biziere, part II, chair: Sylvain Schmitz)
12:30 - 13:30 Lunch
13:30 - 14:30 Free time
14:30 - 15:30 Interactive session
15:30 - 16:00 Coffee break
16:00 - 17:00 Interactive session
17:00 - 18:00 Free time
18:00 - 19:00 Dinner
Wednesday
8:00 - 9:30 Breakfast
9:30 - 10:30 Lower bounds for population protocols (Javier Esparza, part I, chair: Jerome Leroux)
10:30 - 11:00 Coffee break
11:00 - 12:00 Lower bounds for population protocols (Javier Esparza, part II, chair Jerome Leroux)
12:30 - 13:30 Lunch
13:30 - 18:00 Free time
18:00 - 19:00 Dinner
Thursday
8:00 - 9:30 Breakfast
9:30 - 10:30 Regular separability of VASS languages (Roland Meyer, part I, chair: Shaull Almagor)
10:30 - 11:00 Coffee break
11:00 - 12:00 Regular separability of VASS languages (Roland Meyer, part II, chair: Shaull Almagor)
12:30 - 13:30 Lunch
13:30 - 14:30 Free time
14:30 - 15:30 Interactive session
15:30 - 16:00 Coffee break
16:00 - 17:00 Interactive session
17:00 - 18:00 Free time
18:00 - 19:00 Dinner
Friday
8:00 - 9:30 Breakfast
9:30 - 10:30 Deterministion of weighted automata (Daniel Smertnig, part I, chair: David Purser)
10:30 - 11:00 Coffee break
11:00 - 12:00 Deterministion of weighted automata (Daniel Smertnig, part II, chair: David Purser)
12:30 - 13:30 Lunch
13:30 - 14:30 Free time
14:30 - 15:30 Interactive session
15:30 - 16:00 Coffee break
16:00 - 17:00 Interactive session
17:00 - 17:30 Closing meeting
17:30 - 18:00 Free time
18:00 - 19:00 Dinner
Saturday
8:00 - 9:30 Breakfast
9:30 Bus departure from Natural hotel
≈ 13:00 Bus arrival at Warsaw, Banacha 2