EPIA'03 - 11th Portuguese Conference on Artificial Intelligence

	ALEA
	CLPS
	EKDB
	MAAII
	NLTR

Proceedings

Conference Schedule

Accepted Papers

Contacts

Program Committee

Invited Presentations and Tutorials

Travel Information

Accomodation

Registration

Important dates:

Deadline for submission:	May 30, 2003 (extended)
Notification of acceptance:	July 20, 2003
Camera-ready papers due:	September 13, 2003
Conference and Workshop:	December 4-7, 2003

Topics of interest:

The focus of the workshop is two-fold:

the design, implementation, and optimization of logic and constraint programming systems, as well as extensions to these systems to address new application areas. Enphasis should be given to the analysis and description of implemented systems (or currently under implementation) and their associated techniques, problems found in their development or design, and steps taken towards the solution of these problems.
innovative applications of constraint and logic programming systems. Enphasis should be made on the experience from using these systems in real-life applications, such us in the areas of data-mining, education, and interfacing with web-databases.

Topics include, but are not limited to:

New developments in the implementation of constraint and (parallel) logic programming systems
Design and implementation of programming environments
standard and non--standard sequential implementation schemes (e.g., generalization/modification of WAM, translation to C, etc.);
Interaction between high-level optimisations/transformations/specialisation and low-level issues
Performance evaluation of logic and constraint programming systems
Innovative applications of logic programming
Experiences from using systems in real-life applications
Novel uses of declarative languages in the classroom

This workshop shares much of the spirit of previous workshops on the Implementation of Logic (and Constraint) Programming Systems, some of which were organized jointly with ICLP and some sponsored by COMPULOG-NET, and which continue nowadays in the CICLOPS and ITCLS series.

Paper Submissions:

Authors must follow the submission guidelines of the conference (see http://www.di.uevora.pt/epia03/). Papers should be submitted in PDF or PostScript format and must not exceed 15 pages, including title page, figures, and references. Papers should be formatted according to Springer's LNCS/LNAI format, following the instructions on Springer-Verlag's site ( http://www.springer.de/comp/lncs/authors.html/). Final versions of papers must be submitted in LaTeX source form, using the Springer llncs style.

The reviewing process will be double blinded. Authors should remove names from the submitted papers, and should take reasonable care that their identity is disguised. References to own work can be included in the paper, but should be referred to in in the third person.

Program Committee:

Enrico Pontelli	New Mexico State University, USA
Fernando Silva	University of Porto, Portugal
Frederic Benhamou	University of Nantes France
Gopal Gupta	UT Dallas, USA
Inês de Castro Dutra	Federal University Rio de Janeiro, Brasil
Manuel Carro	Polytechnical University of madrid, Spain
Mark Wallace	Imperial College, UK
Philippe Codognet	University of Paris VI, France
Pedro Barahona	New University of Lisbon, Portugal
Ricardo Rocha	University of Porto, Portugal
Thom Frühwirth	Albert Einstein University of Ulm, Germany

Workshop Chairs/Coordinators:

Fernando Silva: (fds@ncc.up.pt), DCC-FC & LIACC, Universidade do Porto, Portugal.
Pedro Barahona: (pb@di.fct.unl.pt), DI-FCT, Universidade Nova de Lisboa, Portugal.