|
International Workshop on Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory |
| Workshop |
|
Home
Tutorials Plenary Lectures Short Talks Programme Participants Photos Contacts |
| Organizers |
|
Andrei Krokhin
Peter Jeavons |
| Travel |
|
Venue
Travel and Maps Accommodation |
| Links |
|
Logic and Algorithms
In Oxford Oxford City Visit Oxford |
During the workshop there will be 3 1½-hour tutorials. These will be related to the topics covered in the workshop and will be directed at providing the preliminary knowledge that attendees can draw from during the talks in the main sessions. The tutorials will outline the basics of the algebraic, logical and combinatorial approaches to the CSP.
-
Peter Jeavons (University of Oxford)
CSP and algebra
[ pdf (converted) | ppt ]
-
Phokion Kolaitis (IBM Research)
CSP and logic
[ pdf ]
-
Pavol Hell (Simon Fraser University)
CSP and graph theory
[ pdf (converted) | ppt ]