[DL] LPAR submission deadline extended

Geoff Sutcliffe geoff at cs.miami.edu
Thu May 29 23:42:43 CEST 2008

                           2nd CALL FOR PAPERS

                 15th International Conference on Logic for
             Programming, Artificial Intelligence and Reasoning

                             November 23-27, 2008

                         Carnegie Mellon University
                                 Doha, Qatar



The series of International  Conferences on Logic for  Programming, Artificial
Intelligence and Reasoning (LPAR)  is a forum where,  year after year, some of
the most  renowned   researchers    in  the  areas  of  automated   reasoning,
computational  logic, programming  languages and  their  applications come  to
present  cutting-edge results,  to discuss advances   in these fields,  and to
exchange ideas in a  scientifically  emerging part   of  the world.  The  2008
edition will be held  in Doha, Qatar,  on the premises  of the Qatar campus of
Carnegie Mellon University.

Logic  is a fundamental organizing principle  in nearly  all areas in Computer
Science. It runs a multifaceted gamut from the foundational to the applied. At
one extreme, it  underlies computability and  complexity theory and the formal
semantics of programming languages. At the other,  it drives billions of gates
every day in   the digital circuits of  processors  of all kinds. Logic  is in
itself  a  powerful programming  paradigm  but it   is also the quintessential
specification language for anything ranging from real-time critical systems to
networked infrastructures. It is logical  techniques that link  implementation
and specification through formal methods such as automated theorem proving and
model  checking.   Logic is  also  the stuff  of knowledge  representation and
artificial intelligence. Because of its ubiquity, logic has acquired a central
role in Computer Science education. 

New  results in  the   fields  of  computational  logic  and applications  are
welcome.  Also welcome are more  exploratory  presentations, which may examine
open  questions and raise  fundamental  concerns about  existing theories  and
practices. Topics of interest include, but are not limited to: 

 * Automated reasoning                      * Logic of distributed systems
 * Computional interpretations of logic     * Logic programming
 * Constraint programming                   * Modal and temporal logics
 * Constructive logic and type theory       * Model checking
 * Decision procedures                      * Non-monotonic reasoning
 * Description logics                       * Ontologies
 * Foundations of security                  * Program and system verification
 * Implementations of logic                 * Proof assistants
 * Interactive theorem proving              * Proof-carrying code
 * Knowledge representation and reasoning   * Proof planning
 * Lambda calculus                          * Proof theory
 * Logic and automata                       * Propositional satisfiability
 * Logic and computational complexity       * Reasoning about actions
 * Logic and databases                      * Rewriting and unification
 * Logic and games                          * Satisfiability modulo theories
 * Logic for the semantic web               * Static analysis of programs
 * Logical aspects of concurrency           * Specification using logics
 * Logical foundations of programming       * Translation validation
 * Logic in artificial intelligence

Invited Speakers

It  has been a   tradition  of LPAR to  invite   some of the most  influential
researchers in   the focus areas  to discuss  their work and  their vision for
their fields. We are honored that the following members  of the community have
accepted this invitation. 

 * Edmund Clarke, Carnegie Mellon University (USA)
 * Amir Pnueli, New York University (USA)
 * Michael Backes, Saarland University and MPI-SWS (Germany)
 * Thomas Eiter, Technical University of Vienna (Austria)

Submission Instructions

Submissions must not substantially overlap  papers that have been published or
that  are  simultaneously   submitted to   a journal   or  a conference   with
proceedings.  Papers  should be  submitted  in Postscript or Portable Document
Format (PDF); papers submitted in a proprietary  word processor format such as
Microsoft Word cannot be considered. Submissions can be of two types: 

 * Regular papers  are  meant to  describe  solid  new research  results. They
   can  be  up to  15  pages  long  in  LNCS  style,  including figures  and
   references  but  excluding appendices  (that  reviewers are not required to
 * Experimental and tool papers are  intended  to describe implementations  of
   systems,   to report experiments with  implemented   systems, or to compare
   implemented systems. They can be at most 8 pages long in the LNCS style.

Both  types  of  papers  can     be electronically   submitted by     visiting
http://www.easychair.org/conferences/?conf=lpar2008.  Prospective authors  are
required to   register  a title and    an abstract a  week  before   the paper
submission deadline (see below).

As with the previous editions, the proceedings of LPAR'08 will be published in
Springer-Verlag's Lecture Notes   in Computer Science   series. They  will  be
available at the conference.

In   keeping with  the  tradition  of LPAR, researchers   and  practioners are
encouraged to  report on interesting  work in progress by submitting abstracts
of up  to 5 LNCS  pages, to  be   selected for  a short-paper  session.  These
abstracts will not be printed  in the proceedings of LPAR'08  and they have  a
separate submission deadline (see below).


Authors  of accepted papers  are required to ensure that  at least one of them
will  be present at the  conference. Papers that do not  adhere to this policy
will be removed from the proceedings.

Important Dates (updated)

Abstract submission deadline:     06 June 2008 - STRICT!
Paper submission deadline:        16 June 2008 - STRICT!
Notification of acceptance:       29 August 2008
Camera-ready papers:              19 September 2008
Short paper submission deadline:  26 September 2008
LPAR'08 Workshops:                22 November 2008
LPAR 2008:                        23-27 November 2008

Program Committee

 * Franz Baader,       TU Dresden (Germany)
 * Matthias Baaz,      TU Vienna (Austria)
 * Peter Baumgartner,  National ICT (Australia)
 * Josh Berdine,       MSR Cambridge (UK)
 * Armin Biere,        Johannes Kepler University (Austria)
 * Iliano Cervesato,   Carnegie Mellon University (Qatar) - chair
 * Sagar Chaki,        Carnegie Mellon SEI (US)
 * Hubert Comon-Lundh, ENS Cachan (France)
 * Javier Esparza,     TU Munich (Germany)
 * Roberto Giacobazzi, University of Verona (Italy)
 * Jürgen Giesl,       RWTH Aachen (Germany)
 * Orna Grumberg,      Technion (Israel)
 * Thomas Henzinger,   EPFL (Switzerland)
 * Joxan Jaffar,       NUS (Singapore)
 * Claude Kirchner,    INRIA & LORIA (France)
 * Stephan Kreutzer,   Oxford University (UK)
 * Orna Kupferman,     Hebrew University (Israel)
 * Alexander Leitsch,  TU Vienna (Austria)
 * Nicola Leone,       University of Calabria (Italy)
 * Heiko Mantel,       TU Darmstadt (Germany)
 * Cathy Meadows,      Naval Research Laboratory (US)
 * Aart Middeldorp,    University of Innsbruck (Austria)
 * John Mitchell,      Stanford University (US)
 * Andreas Podelski,   University of Freiburg (Germany)
 * Sanjiva Prasad,     IIT Delhi (India)
 * Alexander Razborov, Russian Academy of Sciences (Russia)
 * Andrey Rybalchenko, MPI-SWS (Germany)
 * Ulrike Sattler,     University of Manchester (UK)
 * Torsten Schaub,     University of Potsdam (Germany)
 * Carsten Schürmann,  IT University of Copenhagen (Denmark)
 * Helmut Seidl,       TU Munich (Germany)
 * Henny Sipma,        Stanford University (US)
 * Geoff Sutcliffe,    University of Miami (US)
 * Ashish Tiwari,      SRI (US)
 * Helmut Veith,       TU Darmstadt (Germany) - chair
 * Andrei Voronkov,    University of Manchester (UK) - chair

Contact Information

Email:     lpar08 at qatar.cmu.edu
Web page:  http://www.qatar.cmu.edu/lpar08

More information about the dl mailing list