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