Logic List Mailing Archive

WSTFCS 2019: Winter School on Theoretical Foundations of Computer Science

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

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