Bringing Computer Science
Logic to all parts
of the world


Submission


Full papers (at most 15 pages long in the LNCS format) must be submitted through the EasyChair system using the Web page

http://www.easychair.org/LPAR07/

Short papers (at most 5 pages long in the LNCS format) must be submitted through the EasyChair system using the Web page

http://www.easychair.org/LPAR2007short/