CTU Events

Prague Computer Science Seminar - The Life with Constraints - Prof. Roman Barták

24 Apr 2014   16:00

LECTURE ANNOTATION
Constraint Programming (CP) is a technology for declarative modeling and solving of combinatorial optimization problems. Despite (wrong) belief in some research communities, CP is not equivalent to simple enumeration. The real power behind CP is in the integration of search and inference realized via various consistency techniques. This integration gives CP a unique capability to exploit both user-defined heuristics as well as general powerful search-pruning techniques.

The presentation will introduce constraint satisfaction terminology and technology using a popular well-known puzzle. Then it will focus on so called global constraints that represent a ?backdoor? for adding specific efficient solving techniques into general constraint solvers. The presented ideas will be motivated by real-life examples originated mainly from planning and scheduling problems.

LECTURER
Prof. RNDr. Roman Barták, Ph.D.

Roman Barták works as a full professor at Charles University in Prague, Faculty of Mathematics and Physics, where he leads the Constraint Satisfaction and Optimisation Research Group.

In 1999-2004 he led research activities of a multinational company Visopt BV, where he was the main architect of the scheduling engine developed by this company. His work focuses on techniques of constraint satisfaction and their application to planning, scheduling, and other areas. Since 1998 he has been teaching a course on Constraint Programming at Charles University, he gave several tutorials on constraint processing at international conferences (IJCAI, AAAI, ICAPS, CI, SAC) and summer schools (ESSLLI, NASSLLI) and he is an author of the On-line Guide to Constraint Programming (#2 source for Constraint Programming according to Google) and On-line Guide to Logic Programming (#2 source for Logic Programming according to Google).

ABOUT THE PRAGUE COMPUTER SCIENCE SEMINAR
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.

Place

Karlovo nám. 13, budova E, místnost 107 (Zengerova posluchárna)

Organizer

Přípravný výbor PIS

Contact person

Ing. Veronika Šínová,, sinova@fel.cvut.cz, 224 35 7667

More information

http://www.praguecomputerscience.cz/