This group evolved into Constraint Satisfaction & Optimisation Research Group. Visit us HERE.

Welcome to web site of Constraint & Logic Programming research group.

Welcome to web pages of Constraint & Logic Programming research group at Charles University, Prague. The group was established in 1991 and it consists of researchers and PhD students interested in declarative aspects of programming, in particular constraint, logic and functional programming. We are concerned with theoretical basis as well as with the practical applications of logic programming, constraint programming and artificial intelligence.

The group participate in the European cooperation within the ERCIM Working Group on Constraints.

 
Home Page
An entry point of this web site with introductory information (this page).


People
A list of researchers, PhD students and alumni of the group.
 
 
Research
A description of main research topics that we are interested in.


Projects
A list of past and current project solved by the group members.
 
 
Papers
A list of papers, reports and thesis by members of the group.


InfoSite
Interesting links to research, education and industry resources.
 
 
Contact
How can you contact us?


[Home] [People] [Research] [Projects] [Papers] [InfoSite] [Contact]

Designed and maintained by Roman Barták, © 1999

http://kti.mff.cuni.cz/~bartak/clp/

Creative Commons License