4-9 Feb 2019
Tbilisi, Georgia
The winter school on Theoretical Foundations of Computer Science ( https://cte.ibsu.edu.ge/wstfcs2019/) will be held in Tbilisi, Georgia, February 4-9, 2019. The school will be organized by the International Black Sea University with the support of Shota Rustaveli National Science Foundation of Georgia (SRNSFG). The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics. The lecturers and subjects of the school are: Volker Diekert (University of Stuttgart, Germany) - Algorithms and Complexity Santiago Escobar (Universitat Politècnica de València, Spain) - Program Verification Boris Konev (University of Liverpool, UK) - Logic for Computer Scientists Temur Kutsia (RISC, Johannes Kepler University of Linz, Austria) - Automated Reasoning Luigi Liquori (INRIA Sophia Antipolis-Méditerranée, France) - Foundations of Peer-to-peer Networks and Tools Mircea Marin (West University of Timisoara, Romania) - Foundations of Programming Languages -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam