Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for SHORT PAPERS, LPAR 2006 (Phnom Penh,...

Email Gateway (Aug 18 2022 at 09:34):

From: Miki Hermann <Miki.Hermann@lix.polytechnique.fr>
[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

Last updated: Nov 21 2024 at 12:39 UTC