CALL FOR PARTICIPATION 2003 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING
APPIA-GULP-PRODE 2003 Reggio Calabria, Italy September 3 - 5, 2003 http://www.informatica.ing.unirc.it/agp03 Deadline for early registration: July 15. Following the last three APPIA-GULP-PRODE events held, respectively, in La Habana, Cuba (2000), in =C9vora, Portugal (2001) and Madrid, Spain (2002), the next joint APPIA, GULP, and PRODE conference will be held in Reggio Calabria (Italy), in September 3-5, 2003. The conference is being organized by the DIMET Department of Universit=E0 =93Mediterranea" di Reggio Calabria and by the Mathematics Department of Universita' della Calabria di Cosenza. The aim of the Conference is to foster scientific cooperation between Italian, Portuguese, Spanish and Latin America researchers -- although submissions are open to the whole declarative programming community -- to improve the knowledge of the state of the art of declarative programming (through the invited talks) and to show ongoing research done (through presentations of papers). Topics Submissions of papers are welcome on all aspects of declarative programming, including, but not limited to: Theoretical Foundations: languages, semantics, procedures for declarative programming Deductive databases: query and update languages, rewriting techniques, constraints, view maintenance Implementation: running systems, parallelism, systems performance, web-based tools Program Development Tools and Environments: abstract interpretation techniques, debugging Logic Programming and Non-monotonic reasoning: semantics of new and existing languages, relationship between various formalisms, complexity and expressive power Extensions and Integration with other Paradigms: imperative, functional-logic languages, concurrency, constraint solving and constraint logic programming Specification Languages: executability, expressiveness, development techniques Real World Experiences with Declarative Technologies: applications and evaluation Invited speakers: "Monadic Second order Logic and Logic Programming over Tree-Structured= Data" Georg Gottlob, <[EMAIL PROTECTED]> Tutorials: "Disjunctive Logic Programming: Problem-Solving Techniques, Systems, and Applications" Wolfgang Faber, <[EMAIL PROTECTED]> "Logic Programming and Data Mining" Giuseppe Manco, <[EMAIL PROTECTED]> List of accepted papers, registration info and other details are available at: http://www.informatica.ing.unirc.it/agp03 Conference Officials: Conference Chair Luigi Palopoli, Universit=E0 "Mediterranea" di Reggio Calabria (It) Program Co-Chairs Nicola Leone, Universit=E0 della Calabria (It) Pasquale Rullo, Universit=E0 della Calabria (It) Program Committee Jose Alferes Universidade Nova de Lisboa (Pt) Mar=EDa Alpuente Universidad Politecnica de Valencia (Es) Antonio Brogi Universit=E0 di Pisa (It) Agostino Cortesi Universit=E0 di Venezia (It) Sergio Flesca Universita' della Calabria (It) Jose Luis Freire Universidade da Coruna (Es) Maurizio Gabbrielli Universita' di Bologna (It) Luciano Garcia Universidad de La Habana (Cu) Giovambattista Ianni Universita' della Calabria (It) Blas C. Ruiz Jim=E9nez Universidad de M=E1laga (Es) Alberto Martelli Universita' di Torino (It) Maurizio Martelli Universita' di Genova (It) Maria Chiara Meo Universita' di Chieti Pescara (It) Francisco Morillo Universidad de Sevilla (Es) Juan Jose' Moreno Navarro Universidad Politecnica de Madrid (Es) Marisa Navarro Universidad del Pais Vasco (Es) Luis Moniz Pereira Universidade Nova de Lisboa (Pt) Maurizio Proietti IASI-CNR (It) Paulo Quaresma Universidade de Evora (Pt) Maria Jos=E8 Ramirez Universidad Politecnica de Valencia (Es) Andrea Schaerf Universit=E0 di Udine (It) Fernando Silva Univesidade Porto (Pt) Organizing Committee Chair Francesco Buccafurri, Universit=E0 "Mediterranea" di Reggio Calabria (It) Organizing Commitee Pasquale De Meo Universit=E0 "Mediterranea" di Reggio Calabria (It) Stefania Galizia Universit=E0 della Calabria (It) Sofia Giuffr=E8 Universit=E0 "Mediterranea" di Reggio Calabria (It) Antonella Guzzo Universit=E0 della Calabria (It) Gianluca Lax Universit=E0 "Mediterranea" di Reggio Calabria (It) Simona Perri Universit=E0 della Calabria (It) Domenico Rosaci Universit=E0 "Mediterranea" di Reggio Calabria (It) Giuseppe Sarn=E8 Universit=E0 "Mediterranea" di Reggio Calabria (It) Domenico Ursino Universit=E0 "Mediterranea" di Reggio Calabria (It) Publicity Chair Giorgio Terracina, Universit=E0 della Calabria (It) Home Page http://www.informatica.ing.unirc.it/agp03/