[DL] Extended Deadline: CFP for COmputational Logic and Applications (COLA'2009)

[Fernando Silva]

Please note that the deadline was extended to the 29th of April 2009.

Final Call for Papers: COLA'2009 (part of EPIA'2009)

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

  EPIA 2009 - 14th PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE

	   October 12-15, Universidade de Aveiro, Aveiro, Portugal
		      http://epia2009.appia.pt/

        COLA - COmputational Logic with Applications (Thematic Track)

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

The integration of new complex intelligent systems requires more and
more sound and appropriate foundations and tools, resulting in new
problems and challenges for the computational logic practitioners.
Computational logic has been widely used in complex applications in
important areas such as the Deductive Databases, Natural Language
Processing and Program Analysis, and more recently on the Semantic Web
and related Web Tools. These novel applications have exposed the limits
of existing approaches, showing the need for research on better
languages and more sophisticated implementations of reasoning systems.
The COLA thematic track of EPIA 2009 covers the broad area of
Computational Logic and its applications, with special interest on
topics related with new formalisms, environments, and applications. A
list of non-exhaustive topics is:

- Logic based knowledge representation and applications. 
- Declarative semantics of rule languages and applications. 
- Program Analysis, Program Transformation, Validation and Verification,
   Debugging, Profiling.
- Implementation of reasoning systems, in particular logic programming,
   contextual logic programming and tabling systems.
- Abductive and Inductive Logic Programming
- Ontologies, Description Logics and integration with reasoning
   systems. 
- Reasoning with incomplete and uncertain information, including
   non-monotonic reasoning as well as probabilistic and fuzzy logic
   programming formalisms.
- Reasoning on the Semantic Web.  
- Applications: Deductive Databases, Data Integration, Natural Language,
   Semantic Web, and Web Tools.

IMPORTANT DATES:

Deadline for paper submission: 29 April, 2009
Notification of paper acceptance: 31 May, 2009
Conference dates: 12-15 October, 2009

INSTRUCTIONS FOR SUBMISSION:

All papers should be submitted in PDF format through the conference
management website at: 

https://cmt.research.microsoft.com/EPIA2009

Submitted papers have a maximum length of 12 pages and should have been
prepared according to the formatting instructions of Springer LNAI
series.  The best accepted papers  (the number is decided by EPIA
Chairs) will appear in the proceedings published by Springer in the LNAI
series. The remaining accepted papers and posters will be published in a
local edition, both in hard-copy, CD-ROM and on the web.

ORGANIZING COMMITTEE

Carlos Viegas Damásio, Universidade Nova de Lisboa, Portugal 
Fernando Silva, Universidade do Porto, Portugal

PROGRAM COMMITTEE

Bart Demoen,         K. University of Leuven, Belgium
David Warren,        University of Stony Brook, USA
Enrico Pontelli,     New Mexico State University, USA
Frank Pfenning,      Carnegie-Mellon University, USA
Gopal Gupta,         University of Texas at Dallas, USA
Gregory Wheeler,     CENTRIA - Universidade Nova de Lisboa, Portugal
Grigoris Antoniou,   FORTH and University of Crete, Greece
Inês Dutra,          Universidade do Porto, Portugal
José Júlio Alferes,  Universidade Nova de Lisboa, Portugal.
Manuel Ojeda Aciego, Universidad de Málaga, Spain
Nuno Silva,          ISEP, Portugal
Pascal Hitzler,      University of Karlsruhe (TH), Germany
Paulo Gomes,         Universidade de Coimbra, Portugal
Priscila M.V. Lima,  Federal University of Rio de Janeiro, Brazil
Salvador Abreu,      Universidade de Évora, Portugal
Terrance Swift,      CENTRIA - Universidade Nova de Lisboa, Portugal
Umberto Straccia,    ISTI, CNR, Italy
Vítor Santos Costa,  Universidade do Porto, Portugal

For more information about the EPIA 2009 conference visit
http://epia2009.appia.pt/