Department of Theoretical Computer Science and Mathematical Logic, Charles University in Prague

Department of Theoretical Computer Science and Mathematical Logic

Charles University in Prague, Faculty of Mathematics and Physics

Home

Department

People

List
• Department Staff
• External Staff
• PhD Students

Research

Research Groups
• Constraint Programming
• Interconnection Networks
• Formal Languages
• Intelligent Systems

Teaching

General
• Materials
• Lectures
PhD Studies
• Supervisors

Services

E-mail
Settings
Personal

Contact

Address
Phone & Fax
Administration

Česky

Welcome to the new version of web pages of Department of Theoretical Computer Science and Mathematical Logic at Faculty of Mathematics and Physics, Charles University, Prague. The department has been established in September 2000 and it is resposible for doing research and teaching the foundations of computer science including logic, artificial intelligence, automata theory, computing, complexity theory, and declarative programming (logic, functional and constraint programming).

We believe that you find information interesting to you here.

People	Find out personal contact information to people in KTIML
Research	Look for the main research areas studied in the department
Teaching	Information about teaching activities (mostly in Czech)
Services	Services provided on the department web server
Contact	Contact Mail, phone, or fax to us

In the academic year 2013/2014, Charles University in Prague, Faculty of Mathematics and Physics, shall open three-year Bachelor and two-year Master programs in Computer Science in English. These programs have been running with great success for Czech students for years: now the Faculty opens them up to international students by giving them in English.