The Lipa Summer School (click here for the page of the school, including registration) is a summer school on topics connected to logic in computer science. 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