Convegni

GULP Workshop 2002, Bologna (Italy)

Giornata GULP 2002 in concomitanza con la riunione del Direttivo e l’Assemblea dei soci Venerdì 25 ottobre 2002, Bologna La giornata GULP si terrà presso il Dipartimento di Scienze dell’Informazione dell’Università di Bologna, Mura Anteo Zamboni, 7 – Bologna (vedi…

XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain)

XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain) Monday 16 10:00-11:00 Invited talk Whatever Happened to Meta-Programming? John Gallagher 11:00-11:30 Coffe break 11:30-13:00 Extensions I A Functional Logic Language with Finite Domain Constraints Antionio J. Fernández, Teresa Hortalá-González and Fernando Sáenz-Pérez A Logic…

XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba)

XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba) December 4-7 2000 Invited Speakers Maurice Bruynooghe Katholieke Universiteit Leuven (Belgium) Thomas Eiter Technische Universitaet Wien (Austria) Jim Lipton Wesleyan University (USA) Program Chairs. Luciano Garcia Universidad de La Habana (Cu) Maria Chiara…

XIV. VI APPIA-GULP-PRODE (1999), L’Aquila (Italy)

L’Aquila, Italy 6-9 September, 1999 Program chairs: Maria Chiara Meo, Manuel Vilares Ferro Accepted papers (from DBLP): XIV. VI APPIA-GULP-PRODE (1999) Maurizio Martelli, Viviana Mascardi, Floriano Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. pages 13-28 Floriano Zini, Leon Sterling.…

XIII. V APPIA-GULP-PRODE (1998), La Coruña (Spain)

XIII. V APPIA-GULP-PRODE (1998), La Coruña (Spain) 20-23 Luglio 1998 Program chairs: José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro Conference Proceedings: Invited Speakers Xavier Leroy (INRIA, France) Jaume Augustì (CSIC, Spain) Veronica Dahl (Simon Fraser University, Canada) Josè Luis…

XII. IV APPIA-GULP-PRODE (1997),Grado (Italy)

XII. IV APPIA-GULP-PRODE (1997) Joint Conference on Declarative Programming Grado (Italy), June 16-19 1997. OPAC number (OPAC) and  DBLP  Link  Program Chairs: Moreno Falaschi, Marisa Navarro and Alberto Policriti. Organized by Dipartimento di Matematica e Informatica, Università di Udine Gruppo…

XI. III APPIA-GULP-PRODE (1996), San Sebastian (Spain)

Donostia-San Sebastian, Spain 15-18 July 1996 Program chairs: Paqui Lucio, Maurizio Martelli, Marisa Navarro Accepted papers (from DBLP): XI. III APPIA-GULP-PRODE (1996) Pedro Barahona. Constraint Logic Programming: Theory, Domain and Applications. pages 3-12 Fernando Orejas. Algebraic Methods for the Study…

X.II GULP-PRODE (1995),Vietri (Italy)

X.II GULP-PRODE (1995),Vietri (Italy) Marina di Vietri, Italy, September 11-14, 1995 Program chairs: María Alpuente and Maria I. Sessa Conference Proceedings ( [OPAC]—see also DBLP): http://www.programmazionelogica.it/1995/09/proceedings-joint-conference-on-declarative-programming-gulp-prode-1995/ Invited Lectures: Krzysztof R. Apt: Arrays, Bounded Quantification and Iteration in Logic and Constraint…