Lipa Summer School 2018 (June 25-28)
The Lipa Summer School is a school on topics connected to logic in computer science. It is part of this grant. This is the second edition, the first one was in 2017 (there are videos). It will be held in Warsaw, June 25-28 2018. The school consists of 4 mini-courses given by:
- Rajeev Alur (UPenn) Regular processing of data streams
- Matt Valeriote (McMaster) Finite algebras and connections with tree languages
- Igor Walukiewicz (Bordeaux) MSOL and higher-order computation
- Mikołaj Bojańczyk (Warsaw, organiser) Recognisable languages of graphs
Each mini-course is 6 hours long (4 x 90 minutes). Here is the program. Click on the talk titles to get descriptions and slides. There will be videos, but a few months after the school is over.
Registration is free, and we might have a limited number of student dormitories for free. We will likely (depending on the number of registrations) have free lunch and coffee breaks for registered participants, but no dinner (we will do an informal picnic on some evening without rain).
Dates
May 15 End of registration with request for student accommodationJune 15 End of registration without request for student accommodation- June 25-28 School
Venue
The school will be held in (room C of the) Auditorium Maximum of the university of Warsaw, in the historical center of Warsaw. Here is the building:
Here is a map:
The school is part of the grant Lipa that has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 683080).
