Logic List Mailing Archive

Call for Short Papers: LPAR 2007, Yerevan (Armenia), Deadline: 10 August 2007

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

                                  LPAR 2007
                              Yerevan, Armenia
                           15th-19th October 2007
                          http://www.lpar.net/2007/

			                Call For Short 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 short papers for presentation at the
conference is now invited.

Short papers may be research papers, describe work in progress or provide
system descriptions. They need not be original. Extended versions of the
short papers may be submitted concurrently or after LPAR to another
conference or a journal. The page limit for short papers is 5 pages in
the LNCS format. Short papers must be submitted through the EasyChair
system using the Web page ...
    http://www.easychair.org/LPAR2007short/

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

Proceedings
-----------------
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 short papers                   August 10
+ Notification of acceptance of short papers   August 17
+ Camera ready versions of short papers due    August 31
+ Conference                                   October 15-19

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