[DMANET] The winter school on Theoretical Foundations of Computer Science, Tbilisi, Georgia, February 4-9, 2019.

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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************