Programming with Sets in
CLAIRE
Yves Caseau (Ecole Normale Supérieure and Bouygues, France)
10:45 - 11:15 Coffee break
11:15 - 12:45 Session 1
Towards Schema-Guided Compilation of Set Constraint Programs
P.Flener, B.Hnich, Z.Kiziltan (Uppsala University, Sweden)
Sets and Constraint Logic Programming
A.Dovier (Università di Verona, Italy),
C.Piazza (Università di Udine, Italy),
E.Pontelli (New Mexico State University, USA),
G.Rossi (Università di Parma, Italy)
Extended partial-order logic programming
M.Osorio (Universitad de las Américas, México),
J.C.Nieves (Benemérita Universitad Autonoma de Puebla, México)
12:45 - 14:30 Lunch
14:30 - 16:00 Session 2
Decision procedures for fragments of set theory
with monotone and additive functions
D.Cantone (Università di Catania, Italy),
J.T.Schwartz (New York University, USA),
C.G.Zarba (Università di Catania, Italy)
Provable $\exists^{\ast}\forall$-sentences about
sets with atoms
A.Dovier (Università di Verona, Italy),
A.Formisano (Università "La Sapienza" di Roma, Italy),
E.G.Omodeo (Università di L'Aquila, Italy)
Fast (Hyper) Set Equivalence
A.Dovier (Università di Verona, Italy),
C.Piazza, A.Policriti (Università di Udine, Italy)
16:00 - 16:30 Tea time
16:30 - 18:30 Session 3
Yet another way of Set-processing:
The Escher style and its implementation
K.Eder (University of Bristol, UK)
Constraint Logic Programming with sets
for animation and verification of B specification
L.Py, B.Legeard (Université de Franche-comté, France)
Set Constraints in Computational Linguistics
- Solving Tree Descriptions -
D.Duchier (University of the Saarland, Germany)
A Declarative Semantics for Sets Based on the
Stable Model Semantics
J.D.Jones (University of Arkansas at Little Rock, USA)