The Lipa Summer School is a school on topics connected to logic in computer science. It will be held in Warsaw, July 3-6 2017. The school consists of 4 mini-courses given by:
Each mini-course is 6 hours long (4 x 90 minutes).
The school is open to all who do the free registration. Depending on the number of registered participants, we will cover food (coffee breaks, lunches and maybe even one dinner) and some cheap student housing. We do not cover travel. The school is followed by ICALP.
The school will be held at the University of Warsaw, in the Center of New Technologies:
A taxi from the airport should be around ≤ 20 PLN during the day (the official taxi queue is when you leave the airport, don’t go with the people who whisper “taxi, taxi”). Here is a link for accessing the school from the airport using public transport (bus 175 or 188).
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).