Workshop organizers:

Eugenio G. Omodeo, University of Rome
                                 Currently: University of L'Aquila (omodeo@univaq.it)
Gianfranco Rossi, University of Bologna
                                 Currently: University of Parma (gianfr@prmat2.math.unipr.it)

Constraint logic programming with sets:

On Logic Programming with Multisets S. Holldobler, M. Thielscher (Intellektik - Informatik, Germany) thielscher@intellektik.informatik.th-darmstadt.de

Sets and binary relation variables viewed as constrained objects C. Gervet (ECRC, Germany) carmen@ecrc.de

Constraints over Homogeneous Hereditarily Finite Sets F.Ambert (SLIGOS DELPHIA, France), M.Hibti, H.Lombardi (Univ. de Franche- Comte', France), B.Legeard (Lab.d'Automatique de Besancon, France) legeard@grenet.fr

Extensional and Intensional Sets in CLP with Intensional Negation P.Bruscoli, G.Rossi (Univ. di Bologna, Italy), A.Dovier (Univ. di Pisa, Italy), E.G.Omodeo (Univ. Roma, Italy), E.Pontelli (New Mexico State Univ., USA) gianfr@prmat2.math.unipr.it

Set Unification:

An Algorithm for General Set Unification and its Complexity B.Stolzenburg (Univ. Koblenz-Landau, Germany) stolzen@infko.uni-koblenz.de

Set-Unification from Another Point of View M.Hibti, H.Lombardi (Univ. de Franche-Comte', France) B.Legeard (Lab. d'Automatique de Besancon, France) legeard@grenet.fr

Unification of Hyperset Terms D.Aliffi, G.Rossi (Univ. Bologna, Italy), A.Dovier (Univ. di Pisa, Italy), E.G.Omodeo (Univ. Roma, Italy) gianfr@prmat2.math.unipr.it

Set Descriptions in Constraint Based Grammars S.Manandhar (Human Comm. Research Center, Scotland) skm@cogsci.ed.ac.uk

Implementing Sets in Prolog:

A Comparative Study on Implementing Sets in Prolog T.Munakata (Cleveland State Univ., USA) munakata@cis.csuohio.edu

Representation of Sets in PROLOG C.Posthoff, S.Schumann (Chemnitz Univ. of Technology, Germany) sab@informatik.tu-chemnitz.de (Sabine Schumann)

Sets in Database Languages:

Dealing with "Pure" Sets in STARSET Language M.Gilula (Russian Academy of Sciences, Russia) mikhail@gilula.botik.yaroslavl.su

Complexity Issues in Supporting Queries Involving Intermediate Sets in Relational Database Systems L.V.Saxton (Univ. of Regina, Canada), L.S.Colby (Data Parallel System Inc., USA), D.Van Gucht (Indiana Univ., USA) saxton@cs.uregina.ca

Other approaches:

Prototyping Through Lindenbaum Algebras E-E.Doberkat (Univ. of Essen, Germany) eed@informatik.uni-essen.de

Sets and Nondeterminism M.Walicki, S.Meldal (Univ. of Bergen, Norway) michal@ii.uib.no (Michal Walicki )

Proving Set-Theoretic Formulae by a Tableaux Method D. Cantone, R. Ruggieri Cannata (Univ. di Catania, Italy)

Adding Abstraction to Logic Programming. The Logistic Approach G.K. Tsiknis (Univ. of British Columbia, Canada) tsiknis@cs.ubc.ca

Proofs about Programs in Classical Set Theory P.Broome (BRL, USA) broome@brl.mil