[Apologies for multiple copies of this message.] LPAR-13 Phnom Penh, Cambodia http://www.lix.polytechnique.fr/~hermann/LPAR2006/ 13th-17th November 2006
Call for SHORT PAPERS The 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-13) will be held 13th-17th November 2006, at the Hotel Cambodiana, Phnom Penh, Cambodia. Submission of SHORT PAPERS for presentation at the conference is now invited. Topics of interest include: + automated reasoning + propositional reasoning + interactive theorem proving + description logics + software verification + hardware verification + software testing + logic and ontologies + proof assistants + network and protocol verification + proof planning + nonmonotonic reasoning + proof checking + constructive logic and type theory + rewriting and unification + lambda and combinatory calculi + logic programming + knowledge representation and reasoning + modal and temporal logics + constraint programming + systems specification and synthesis + logical foundations of programming + model checking + computational interpretations of logic + proof-carrying code + logic and computational complexity + logic and databases + logic in artificial intelligence + reasoning for the semantic web + reasoning about actions SHORT PAPERS may describe work in progress or provide system descriptions. Submission Instructions ----------------------- Short Papers must be prepared using the Springer-Verlag instructions for authors (http://www.springer.de/comp/lncs/authors.html). Short papers may be up to 5 pages. Papers must be submitted in PDF format, through the online submission system (http://www.easychair.org/LPAR06/). Dates and Deadlines: + Submission of short papers 16th September + Notification of acceptance of short papers 25th September + Camera ready versions of short papers due 29th September Questions related to submission may be sent to the program chairs, Miki Hermann and Andrei Voronkov. -------------------------------------------------------------------------- Cambodia ... Land of LPAR and Pagodas -------------------------------------------------------------------------- _________________________________________________________________________________ mozart-users mailing list mozart-users@ps.uni-sb.de http://www.mozart-oz.org/mailman/listinfo/mozart-users