This the program of the Lipa Summer School. Click on the titles to get descriptions and slides.

All days have the same program, except for a 10 minute welcome on day 1.

Monday, June 25

8:50 – 9:00 Welcome
9:00 – 10:30 Rajeev Alur Regular processing of data streams
10:30 – 11:00 Coffee break
11:00 – 12:30 Igor Walukiewicz MSOL and higher-order computation
12:30 – 14:00 Lunch
14:00 – 15:30 Matt Valeriote Finite algebras and connections with tree languages
15:30 – 16:00 Coffee break
16:00 – 17:30 Mikołaj Bojańczyk Recognisable languages of graphs

Tuesday, June 26

9:00 – 10:30 Rajeev Alur Regular processing of data streams
10:30 – 11:00 Coffee break
11:00 – 12:30 Igor Walukiewicz MSOL and higher-order computation
12:30 – 14:00 Lunch
14:00 – 15:30 Matt Valeriote Finite algebras and connections with tree languages
15:30 – 16:00 Coffee break
16:00 – 17:30 Mikołaj Bojańczyk Recognisable languages of graphs

Wednesday, June 27

9:00 – 10:30 Rajeev Alur Regular processing of data streams
10:30 – 11:00 Coffee break
11:00 – 12:30 Igor Walukiewicz MSOL and higher-order computation
12:30 – 14:00 Lunch
14:00 – 15:30 Matt Valeriote Finite algebras and connections with tree languages
15:30 – 16:00 Coffee break
16:00 – 17:30 Mikołaj Bojańczyk Recognisable languages of graphs

Thursday, June 28

9:00 – 10:30 Rajeev Alur Regular processing of data streams
10:30 – 11:00 Coffee break
11:00 – 12:30 Igor Walukiewicz MSOL and higher-order computation
12:30 – 14:00 Lunch
14:00 – 15:30 Matt Valeriote Finite algebras and connections with tree languages
15:30 – 16:00 Coffee break
16:00 – 17:30 Mikołaj Bojańczyk Recognisable languages of graphs