CADE-21 2nd CfP (Invited Speakers, Workshops, Travel Award, Submission)

Michael Kohlhase m.kohlhase at iu-bremen.de
Di Jan 23 17:02:23 CET 2007


UPDATE: invited speakers, affiliated workshops, travel grants, 
submissions open
              Deadline for abstract submission: February 16!

                           2nd Call for Papers
                                 CADE-21

           21st International Conference on Automated Deduction
                 International University Bremen, Germany
                 July 17-20, 2007 (workshops July 15-16)
              http://www.cadeconference.org/meetings/cade21

                             CALL FOR PAPERS

CADE is the major forum for the presentation of research in all
aspects of automated deduction.

  - Logics of interest include propositional, first-order, equational,
    higher-order, classical, intuitionistic, constructive, modal, temporal,
    many-valued, substructural, description, and meta-logics, logical
    frameworks, type theory and set theory.

  - Methods of interest include resolution, tableaux, term rewriting,
    induction, unification, constraint solving, SAT solving, decision
    procedures, saturation, model generation, model checking, natural
    deduction, sequent calculi, proof planning, proof presentation, proof
    checking, and explanation.

  - Applications of interest include hardware and software development,
    systems analysis and verification, deductive databases, functional and
    logic programming, computer mathematics, natural language processing,
    computational linguistics, robotics, planning, knowledge representation,
    and other areas of AI.

Invited speakers:

    Peter Baumgartner, NICTA and Australian National University
    Rustan Leino, Microsoft Research
    Colin Stirling, University of Edinburgh
    Ashish Tiwari, SRI International

Affiliated workshops (July 15-16, 2007):
    ADDCT - Automated Deduction: Decidability, Complexity, Tractability
    CVF - Fourth International Workshop on Constraints in Formal 
Verification
    DISPROVING - Workshop on Disproving: Non-Theorems, Non-Validity,
                 Non-Provability
    ESARLT - Empirically Successful Automated Reasoning in Large Theories
    ISABELLE-WS - Isabelle Workshop
    LFMTP - International Workshop on Logical Frameworks and Meta-Languages:
            Theory and Practice
    VERIFY - 4th International Verification Workshop

Woody Bledsoe student travel awards:

    Nominations must be made by June 1; details available at
    http://www.cadeconference.org/meetings/cade21/calls/bledsoe-award.txt

Paper submission:

    Submission is electronic in PostScript or PDF format via the EasyChair
    system. Submitted papers must conform to the Springer LNCS style,
    preferrably using LaTeX2e and the Springer llncs class files available
    at http://www.springer.com/lncs.  Submissions can be full papers,
    for work on foundations, applications, or implementation techniques
    (15 pages), as well as system descriptions (5 pages), for describing
    publicly available systems.  The proceedings will be published in the
    Springer LNCS series.

    Submissions are now open at  http://www.easychair.org/CADE21/

Important dates:

    Submission of title and abstract:    February 16, 2007
    Submission papers:                   February 23, 2007
    Notification of acceptance:          April 16, 2007
    Final version due:                   May 11, 2007

    Workshops and tutorials:             July 15-16, 2007
    Conference:                          July 17-20, 2007

Conference Chair:                 Michael Kohlhase (IUB)
Workshop and Tutorial Chair:      Christoph Benzmueller (Cambridge)
Program Chair:                    Frank Pfenning (CMU)

-- 
----------------------------------------------------------------------
  Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62
  Professor for Computer Science    Campus Ring 12,
  School of Engineering & Science   D-28759 Bremen, Germany
  International University Bremen*  tel/fax: +49 421 200-3140/-493140
  <m.kohlhase at iu-bremen.de>     http://kwarc.eecs.iu-bremen.de/kohlhase
                          * Jacobs University Bremen as of Spring 2007
----------------------------------------------------------------------



Mehr Informationen über die Mailingliste IFI-CI-Event