[Om-announce] LPAR 2007 (Yerevan, Armenia) - submission deadline June 4th

[geoff at cs.miami.edu]

-----------------------------------------------------------------------

                             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/