|
Colloquium on
Implementation of
Constraint and
LOgic Programming Systems |
|
Organizers: Enrico Pontelli & Vitor Santos Costa & I.C. Dutra |
|
Second Workshop on Computational Logic In Multi-Agent Systems |
|
Organizers: Ken
Satoh & Juergen
Dix |
|
(Constraint) Logic Programming and Software Engineering |
|
Organizers: Gopal Gupta |
|
Complex Reasoning on Geographical Data |
|
Organizers: Alessandra Raffaeta' & Chiara Renso |
|
Third Workshop on Rule-based Constraint Reasoning and Programming |
|
Organizers: Slim Abdennadher
& Thom
Frühwirth |
|
Specification,
Analysis and
Validation for
Emerging
Technologies in Computational Logic |
|
Organizers: Giorgio Delzanno & Sandro Etalle & Maurizio Gabbrielli |
|
11th Workshop on Logic Programming Environments |
|
Organizers: Mireille Ducasse' & Anthony J. Kusalik & German
Puebla |