CTU Events

«  March  2018  »
Mo Tu We Th Fr Sa Su
      1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31  

Back to calendar

34. PIS - Libor Barto: Symmetry in Computational Complexity

22 Mar 2018   16:00-18:00


The rapid progress in computational-theoretic aspects of the fixed-language Constraint Satisfaction Problems during the last 20 years has been fueled by the connection between their computational complexity and a certain concept that captures the symmetry of Constraint Satisfaction Problems.

I will talk about this connection and my vision that it would eventually evolve into the organizing principle of computational complexity and would lead to solutions of fundamental problems such as the Unique Games Conjecture or even the P-versus-NP problem.


Libor Barto is an associate professor at the Department of Algebra, Charles University. His scientific interests include universal algebra and computational complexity, in particular, constraint satisfaction problems. He is best known for introducing the absorption theory, which has led to, e.g., the characterization of problems solvable by local methods. He is the recipient of the ERC Consolidator grant Symmetry in computational complexity. He obtained Ph.D. from Charles University in 2006. From 2010 to 2012 he worked at McMaster University in Canada.


The seminar will take place on the 4th Thursday of each month at 4:00pm (except June, July, August and December) alternately in the buildings of Faculty of Electrical Engineering, Czech Technical University, Karlovo nám. 13, Praha 2 and Faculty of Mathematics and Physics, Charles University, Malostranské nám. 25, Praha 1.

Its program will consist of a one-hour lecture followed by a discussion. The lecture should be based on an (internationally) exceptional or remarkable achievement of the lecturer, presented in a way which is comprehensible and interesting to a broad computer science community. The lectures will be in English.
The seminar framework was laid out by the preparatory committee consisting of Michal Chytil (Czech Academy of Sciences, Computer Science Institute), Pavel Kordík (Czech Tech. Univ., Faculty of Information Technologies), Jan Kybic (Czech Tech. Univ., Faculty of Electrical Engineering), Michal Pěchouček Czech Tech. Univ., Faculty of Electrical Engineering), Jiří Sgall (Charles University, Faculty of Mathematics and Physics), Vojtěch Svátek (University of Economics, Faculty of Informatics and Statistics), Michal Šorel (Czech Academy of Sciences,Institute of Information Theory and Automation), and Filip Železný (Czech Tech. Univ., Faculty of Electrical Engineering)

The idea to organize this seminar emerged in discussions of the representatives of several research institutes on how to avoid the undesired fragmentation of the Czech computer science community.

KN:E-107 (Zengerova posluchárna), FEL, budova E, Karlovo nám. 13, Praha 2
Přípravný výbor PIS
Contact person
Aneta Klaudis, klaudane@fel.cvut.cz, 224 35 7667
More information