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 (Polytechnic University of Valencia, 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
Tamara Mchedlidze (Karlsruhe Institute of Technology, Germany) – Algorithms for Graph Visualization