Programme

 

Monday, July 3

8:50 – 9:00 Welcome
9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis
10:30 – 11:00 Coffee break
11:00 – 12:30 Joël Ouaknine Linear recurrence sequences
12:30 – 14:00 Lunch
14:00 – 15:30 Stephan Kreutzer Algorithmic meta-theorems
15:30 – 16:00 Coffee break
16:00 – 17:30 Stephan Kreutzer Algorithmic meta-theorems

Tuesday, July 4

9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis
10:30 – 11:00 Coffee break
11:00 – 12:30 Joël Ouaknine Linear recurrence sequences
12:30 – 14:00 Lunch
14:00 – 15:30 Stephan Kreutzer Algorithmic meta-theorems
15:30 – 16:00 Coffee break
16:00 – 17:30 Stephan Kreutzer Algorithmic meta-theorems

Wednesday, July 5

9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis
10:30 – 11:00 Coffee break
11:00 – 12:30 Joël Ouaknine Linear recurrence sequences
12:30 – 14:00 Lunch
14:00 – 15:30 Mikołaj Bojańczyk What is a recognisable language?
15:30 – 16:00 Coffee break
16:00 – 17:30 Mikołaj Bojańczyk What is a recognisable language?

Thursday, July 6

9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis
10:30 – 11:00 Coffee break
11:00 – 12:30 Joël Ouaknine Linear recurrence sequences
12:30 – 14:00 Lunch
14:00 – 15:30 Mikołaj Bojańczyk What is a recognisable language?
15:30 – 16:00 Coffee break
16:00 – 17:30 Mikołaj Bojańczyk What is a recognisable language?