APPIA-GULP-PRODE 2003 - Preliminary Cfp

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

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/gulp03/

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D


Following the last three APPIA-GULP-PRODE events held, respectively, in L=
a=20
Habana, Cuba (2000), in =C9vora, Portugal (2001) and Madrid, Spain (2002)=
=20
(Portugal), the next joint APPIA, GULP, and PRODE conference will be held=
=20
in Reggio Calabria (Italy), in September 3-5, 2003. The conference is bei=
ng=20
organized by the DIMET Department of Universit=E0 =93Mediterranea" di Reg=
gio=20
Calabria and by the Mathematics Department of Universita' della Calabria =
of=20
Cosenza.

The aim of the Conference is to foster scientific cooperation between=20
Italian, Portuguese, Spanish and Latin America  researchers -- although=20
submissions are open to the whole declarative programming community -- to=
=20
improve the knowledge of  the state of the art of declarative programming=
=20
(through the invited talks) and to show ongoing research done=20
(through  presentations of papers).


Topics
Submissions of papers are welcome on all aspects of declarative programmi=
ng,
including, but not limited to:

- Theoretical Foundations: languages, semantics, procedures for declarati=
ve=20
programming
- Deductive databases: query and update languages, rewriting techniques,=20
constraints, view maintenance
- Implementation: running systems, parallelism, systems performance,=20
web-based tools
- Program Development Tools and Environments: abstract interpretation=20
techniques, debugging
- Logic Programming and Non-monotonic reasoning: semantics of new and=20
existing languages, relationship between various formalisms, complexity a=
nd=20
expressive power
- Extensions and Integration with other Paradigms: imperative,=20
functional-logic languages, concurrency, constraint solving and constrain=
t=20
logic programming
- Specification Languages: executability, expressiveness, development=20
techniques
- Real World Experiences with Declarative Technologies: applications and=20
evaluation


Invited speakers:
- Georg Gottlob, <[email protected]>
- Second Speaker to be defined

Tutorials:
- Disjunctive Logic Programming: Knowledge Representation Techniques,=20
Computation and Applications - Wolfgang Faber, <[email protected]>
- Logic Programming and Data Mining =96 Giuseppe Manco, <[email protected]=
t>



Conference Officials:

Conference Chair
Luigi Palopoli, Universit=E0 "Mediterranea" di Reggio Calabria

Program Co-Chairs
Nicola Leone,  Universit=E0 della Calabria, Cosenza
Pasquale Rullo, Universit=E0 della Calabria, Cosenza

Program Committee
Jose Alferes Universidade Nova de Lisboa (Pt)
Mar=EDa Alpuente Universida Politecnica de Valencia (Es)
Antonio Brogi Universit=E0 di Pisa (It)
Agostino Cortesi Universit=E0 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 (It)
Blas Carlos Jimenez Universidad de Malaga (Es)
Alberto Martelli Universita' di Torino (It)
Maurizio Martelli Unicersita' 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=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

Organizing Commitee
Pasquale De Meo, Universit=E0 "Mediterranea" di Reggio Calabria
Stefania Galizia, Universit=E0 della Calabria, Cosenza
Gianluca Lax, Universit=E0 "Mediterranea" di Reggio Calabria
Antonella Guzzo, Universit=E0 della Calabria, Cosenza
Domenico Rosaci, Universit=E0 "Mediterranea" di Reggio Calabria
Giuseppe Sarn=E8, Universit=E0 "Mediterranea" di Reggio Calabria
Simona Perri, Universit=E0 della Calabria, Cosenza
Domenico Ursino, Universit=E0 "Mediterranea" di Reggio Calabria

Publicity Chair
Giorgio Terracina, Universit=E0 della Calabria, Cosenza

Submissions
Submitted papers will undergo a peer-review process. Please specify wheth=
er=20
the submitted paper is also under consideration (or accepted) for=20
presentation in other meetings.

Authors are required to submit a paper not exceeding 15 pages, including=20
references and figures, using 12-point font.
The paper must have a cover page containing the title, a 200-word abstrac=
t,=20
a list of keywords, postal and electronic mailing addresses, voice and fa=
x=20
numbers of the contact author.
See the Web site for the format files as well as for the submission=20
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/gulp03/

For further information send an e-mail to:
[email protected]




_______________________________________________
Loom Knowledge Representation Language Forum
[email protected]
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum