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

geoff at cs.miami.edu geoff at cs.miami.edu
Mon May 28 16:45:22 CEST 2007


                             LPAR 2007
                          Yerevan, Armenia
                      15th-19th October 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. 

Details on how to submit can be found at

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

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

More information about the dl mailing list