APPIA-GULP-PRODE 2003 - CFP

======================================================

2003 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING


          APPIA-GULP-PRODE 2003


            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, <gottlob-wziA0XcySBGDqU6vP1vexV6hYfS7NtTn@xxxxxxxxxxxxxxxx>
Second Speaker to be defined


Tutorials:


Disjunctive Logic Programming: Problem-Solving Techniques, Systems, and
Applications - Wolfgang Faber, <Faber-oPq4kSEI9hRL76+I05PHkQ@xxxxxxxxxxxxxxxx>


Logic Programming and Data Mining ­ Giuseppe Manco, 
<manco-O+J0ALkQul81GQ1Ptb7lUw@xxxxxxxxxxxxxxxx>




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 Universidade 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


Submission Instructions
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. Allowed languages are English (preferred), 
Italian, Portuguese, Spanish.
Accepted papers must be presented at the conference.


Authors are required to submit a paper not exceeding 15 pages, including 
references and figures, 
using 12-point font, and following the submission instructions listed below:

- Use either pdf (preferred) or postscript format.
 

- Name your file as follows: <contactAuthor>_AGP03.pdf 
(<contactAuthor>_AGP03.ps, resp.), 
  where <contactAuthor> is the family name of the contact author. In case of 
multiple 
  submissions of the same corresponding author, insert in the file name the 
serial number 
  after the family name: <contactAuthor>1_AGP03.*, <contactAuthor>2_AGP03.*, ...
 

- Submit your paper by e-mail (as a MIME attachment) to 
agp03-33dx9VLCGIQUOylYdsFfMw@xxxxxxxxxxxxxxxxxxx
 

- Include in the body of the submission e-mail the following information: 

   TITLE:
   AUTHOR(S):
   CORRESPONDING AUTHOR:
   ABSTRACT:
   KEYWORDS:
   SUBMISSION TYPE: S/E (S, in case the paper is also under consideration (or 
accepted) 
      for presentation in other meetings; E, otherwise).



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:
agp03-33dx9VLCGIT+4Q1iCOyYsQ@xxxxxxxxxxxxxxxx
--------------------------------------------------------------------------
To subscribe or unsubscribe yourself from
dbworld, send a msg to majordomo-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx with 
one of these lines:
subscribe dbworld OR unsubscribe dbworld
To find out more options send a msg with the line:
help
To post messages, go to URL www.cs.wisc.edu/dbworld
--------------------------------------------------------------------------