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/