Objectives:
Center of Excellence - Institute for Theoretical Computer Science (CE-ITI) is a research center for theoretical computer science and discrete mathematics. CE-ITI aims at becoming an international leader recognized world-wide, and also a driving force of Czech theoretical computer science and discrete mathematics. To achieve that, CE-ITI includes best professors, young researchers, and students from several top institutes in the Czech Republic, and integrates the following key activities:
1) Conducting research of highest quality, addressing major challenges and open problems, and initiating new lines of research.
2) Educating a new generation of researchers and active searching for new talents.
3) Coordinating and fostering international cooperation, strengthening the standing of Czech computer science and mathematics in world-wide context.
Objectives:
Project of basic research in mathematical logic and theoretical computer science. We focus on bounded arithmetic and proof complexity, set theory, computational complexity theory, and the theory of algorithms. The topics range from foundational areas of mathematics to algorithmic problems motivated by applied research. The results of the project will be published in high quality international scientific journals and in the proceedings of selective conferences.