15-19 October 2007
Yerevan, Armenia
LPAR 2007
Yerevan, Armenia
15th-19th October 2007
http://www.lpar.net/2007/
Call For Papers
The 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2007) will be held
15th-19th October 2007, in Yerevan, Armenia, Submission of papers for
presentation at the conference is now invited. Topics of interest
include:
+ automated reasoning + propositional reasoning
+ interactive theorem proving + description logics
+ software verification + hardware verification
+ software testing + logic and ontologies
+ proof assistants + network and protocol verification
+ proof planning + nonmonotonic reasoning
+ proof checking + constructive logic and type theory
+ rewriting and unification + lambda and combinatory calculi
+ logic programming + knowledge representation and reasoning
+ modal and temporal logics + constraint programming
+ systems specification and synthesis + logical foundations of programming
+ model checking + computational interpretations
of logic
+ proof-carrying code + logic and computational complexity
+ logic and databases + logic in artificial intelligence
+ reasoning for the semantic web + reasoning about actions
Full and short papers are welcome. Full papers may be either regular
papers containing new results, or experimental papers describing
implementations or evaluations of systems. Short papers may describe work
in progress or provide system descriptions. Submitted papers must be
original, and not submitted concurrently to a journal or another
conference.
The full paper proceedings of LPAR 2007 will be published by
Springer-Verlag in the LNAI series. Authors of accepted full papers will
be required to sign a form transferring copyright of their contribution
to Springer-Verlag. The short paper proceedings of LPAR 2007 will be
published by the conference.
Program Chairs
-----------------
Nachum Dershowitz Tel Aviv University
Andrei Voronkov University of Manchester
Dates and Deadlines
-----------------------
+ Submission of full paper abstracts June 4
+ Submission of full papers June 11
+ Notification of acceptance of full papers July 23
+ Camera ready versions of full papers due August 6
+ Submission of short papers TBA
+ Notification of acceptance of short papers TBA
+ Camera ready versions of short papers due TBA
+ Conference October 15-19
Questions related to submission may be sent to the programme chairs.