File /Humanist.vol22.txt, message 48


Date: Sat, 31 May 2008 10:02:25 +0100
From: "Humanist Discussion Group \(by way of Willard McCarty              <willard.mccarty-AT-kcl.ac.uk>\)" <willard-AT-LISTS.VILLAGE.VIRGINIA.EDU>
Subject: 22.048 LPAR'08: Logic for programming, AI and reasoning
To: <humanist-AT-Princeton.EDU>


                Humanist Discussion Group, Vol. 22, No. 48.
       Centre for Computing in the Humanities, King's College London
  www.kcl.ac.uk/schools/humanities/cch/research/publications/humanist.html
                        www.princeton.edu/humanist/
                     Submit to: humanist-AT-princeton.edu



         Date: Sat, 31 May 2008 09:47:20 +0100
         From: geoff-AT-cs.miami.edu (Geoff Sutcliffe)
         Subject: LPAR submission deadline extended

                             2nd CALL FOR PAPERS

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

                               November 23-27, 2008

                           Carnegie Mellon University
                                   Doha, Qatar

                        http://www.qatar.cmu.edu/lpar08

                         ----------------------------
                         SUBMISSION DEADLINE EXTENDED
                         ----------------------------


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)


[...]

Contact Information
-------------------

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

   

Humanist Main Page

 

Display software: ArchTracker © Malgosia Askanas, 2000-2005