[FOM] LPAR 2007 (Yerevan, Armenia) - Call For Papers

[by way of Martin Davis <martin@eipye.com>]

  [Apologies for multiple copies]

                              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.