Theoretical Foundations of Computer Science

About

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