Logic List Mailing Archive

LPAR 2007 (Logic for Programming, Artificial Intelligence and Reasoning), Yerevan (Armenia), 15-19 Oct 2007

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.

Submission
----------------- Details on how to submit can be found at
http://www.lpar.net/2007/call.html.

Questions related to submission may be sent to the programme chairs.

Proceedings
----------------- 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

Other information can be found at the conference Web page
http://www.lpar.net/2007/