9 February 2019
Theoretical Foundations of Computer Science
The aim of the winter school on Theoretical Foundations of Computer Science is to master MSc and PhD students as well as young researchers in the fields of Theoretical Computer Science. The school will be organized by the International Black Sea University with the support of Shota Rustaveli National Science Foundation of Georgia (SRNSFG).
Course leader
Volker Diekert (University of Stuttgart, Germany)
Santiago Escobar (Universitat Politècnica de València, Spain)
Boris Konev (University of Liverpool, UK)
Temur Kutsia (RISC, Johannes Kepler University of Linz, Austria)
Luigi Liquori (INRIA
Target group
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.
Course aim
The subjects of the school are:
-Algorithms and Complexity;
-Program Verification;
- Logic for Computer Scientists;
-Automated Reasoning;
-Foundations of Peer-to-peer Networks and Tools;
-Foundations of Programming Languages.
Fee info
EUR 150: See more information on our website.
Scholarships
No scholarship is available.