Call for Papers
Topics
Manuscript Preparation
Important Dates
Hotel Information
Registration (Updated)
Accepted papers
Conference Program
Travel Information
Invited Talks by
Domenico Sacca
Terrance Swift
Relevant Links: Recent Editions:
Univ. of Évora
Évora (in Portuguese)
La Habana (Cu) - 00
L'Aquila (It) -
99
La Coruña (Sp) - 98
Grado (It) - 97
APPIA-GULP-PRODE 2001
2001 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING
Following APPIA-GULP-PRODE'00 in La Habana (Cuba) the next joint APPIA, GULP, and PRODE conference will be held in Evora (Portugal), in September 26-28, 2001.
Program Chairs.
| Luís Moniz Pereira | U. Nova de Lisboa (P) |
| Paulo Quaresma | U. de Évora (P) |
Program Committee.
| Salvador P. Abreu | U. de Évora (P) |
| José J. Alferes | U. Nova de Lisboa (P) |
| Patrizia Asirelli | IEI-CNR (I) |
| Pedro Barahona | U. Nova de Lisboa (P) |
| Elvira P. Blanco | U.Politécnica de Cataluna (E) |
| Marco Comini | U. di Udine (I) |
| Carlos Damásio | U. Nova de Lisboa (P) |
| Andrea Formisano | U. di Perugia (I) |
| Marisa N. Gomez | U. del Pais Vasco (E) |
| Sergio Greco | U. della Calabria (I) |
| Blas Carlos Jimenez | U. de Málaga (E) |
| Alberto Martelli | U. di Torino (I) |
| Maurizio Martelli | U. di Genova (I) |
| Francisco Morillo | U. de Sevilla (E) |
| Juan J. Moreno Navarro | U. Politécnica de Madrid (E) |
| Luís Moniz Pereira | U. Nova de Lisboa (P) |
| Fernando Pérez | U. Complutense de Madrid (E) |
| Alberto Pettorossi | U. di Roma Tor Vergata (I) |
| Paulo Quaresma | U. de Évora (P) |
| Maria José Ramirez | U. Politécnica de Valencia (E) |
| Gianfranco Rossi | U. di Parma (I) |
| Fernando Silva | U. do Porto (P) |
Local Organizing Committee.
| Iara de Almeida |
| Lígia Ferreira |
| Vítor Nogueira |
| Luís Rato |
Topics.
The technical program for the conference will include invited lectures and presentations of papers. Papers will be reviewed and accepted submissions will be available on WEB. Please specify whether the submitted paper is also under consideration (or accepted) for presentation in other meetings. Submissions of papers are welcome on all aspects of declarative programming, including, but not limited to:
- Theoretical Foundations: languages, semantics, procedures for declarative programming
- Implementation
- Program development tools
- Knowledge representation and reasoning
- Extensions
- Critical surveys
- Applications and evaluation
Papers must not exceed 15 pages, including references and figures and must include a cover page containing the following: title of the paper, a 200-word abstract, keywords, postal and electronic mailing addresses, and voice and fax numbers of the contact author. Papers can be written in Italian, Portuguese, Spanish or, preferably, in English.
Accepted papers must be presented at the conference.
Authors are invited to follow the submission instructions
at the WEB page
Manuscript preparation
Important Dates.
| Submissions | July 1, 2001 |
| Notification of acceptance/rejection | July 27, 2001 |
| Deadline for final manuscript | September 7, 2001 |
Conference Site.
The Conference is organized by the University of Evora, founded in 1559 in Evora (Portugal).
Evora, located 140km southeast of Lisbon, and 60 km from the spanish border, is one of the oldest cities in the Iberian Peninsula and was classified by UNESCO as World Heritage. As a Roman Town it was known as "Liberalitas Julia" and it became important during the late Middle Ages.
Evora is also reknown for its architecture, with monuments varying in style from the Gothic and Manueline to the Moorish.