-------------------------------------------------------------------------------------------- We apologise if you receive this message more than once. --------------------------------------------------------------------------------------------
======================================================
2003 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING
APPIA-GULP-PRODE 2003
Preliminary Call for Papers
Reggio Calabria, Italy
September 3 - 5, 2003
http://www.informatica.ing.unirc.it/agp03
=====================================================
Following the last three APPIA-GULP-PRODE events held, respectively, in La Habana, Cuba (2000), in �vora, 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� �Mediterranea" di Reggio Calabria and by the Mathematics Department of Universita' della Calabria, 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: Georg Gottlob, <[EMAIL PROTECTED]> Second Speaker to be defined
Tutorials:
Disjunctive Logic Programming: Problem-Solving Techniques, Systems, and Applications - Wolfgang Faber, <[EMAIL PROTECTED]>
Logic Programming and Data Mining � Giuseppe Manco, <[EMAIL PROTECTED]>
Conference Officials:
Conference Chair Luigi Palopoli, Universit� "Mediterranea" di Reggio Calabria
Program Co-Chairs Nicola Leone, Universit� della Calabria, Cosenza Pasquale Rullo, Universit� della Calabria, Cosenza
Program Committee
Jose Alferes Universidade Nova de Lisboa (Pt) Mar�a Alpuente Universida Politecnica de Valencia (Es) Antonio Brogi Universit� di Pisa (It) Agostino Cortesi Universit� di Venezia (It) Sergio Flesca Universita' della Calabria, Cosenza (It) J.L. Freire U. A Coruna (Es) Maurizio Gabbrielli Universita' di Bologna (It) Luciano Garcia University de La Habana (Cu) Giovambattista Ianni Universita' della Calabria, Cosenza (It) Blas C. Ruiz Jim�nez, Universidad de M�laga 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 U. Politecnica de Madrid (Es) Marisa Navarro Universidad del Pais Vasco (Es) Luis Moniz Pereira U. Nova de Lisboa (Pt) Maurizio Proietti IASI-CNR (It) Paulo Quaresma Universida de Evora (Pt) Maria Jos� Ramirez Universidad Politecnica de Valencia (Es) Andrea Schaerf Universit� di Udine (It) Fernando Silva Univesidade Porto (Pt)
Organizing Committee Chair Francesco Buccafurri, Universit� "Mediterranea" di Reggio Calabria
Organizing Commitee Pasquale De Meo, Universit� "Mediterranea" di Reggio Calabria Stefania Galizia, Universit� della Calabria, Cosenza Sofia Giuffr�, Universit� "Mediterranea" di Reggio Calabria Antonella Guzzo, Universit� della Calabria, Cosenza Gianluca Lax, Universit� "Mediterranea" di Reggio Calabria Simona Perri, Universit� della Calabria, Cosenza Domenico Rosaci, Universit� "Mediterranea" di Reggio Calabria Giuseppe Sarn�, Universit� "Mediterranea" di Reggio Calabria Domenico Ursino, Universit� "Mediterranea" di Reggio Calabria
Publicity Chair Giorgio Terracina, Universit� della Calabria, Cosenza
Submissions Submitted papers will undergo a peer-review process. Please specify whether the submitted paper is also under consideration (or accepted) for presentation in other meetings. Authors are required to submit a paper not exceeding 15 pages, including references and figures, using 12-point font. See the Web site for the format files as well as for the submission instructions. Allowed languages are English (preferred), Italian, Portuguese, Spanish. Accepted papers must be presented at the conference.
Important Dates Submissions deadline: May 23, 2003 Notification of acceptance/rejection: June 30, 2003 Deadline for final text: July 10, 2003
Home Page http://www.informatica.ing.unirc.it/agp03/
For further information, please contact: [EMAIL PROTECTED]
