coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]CADE-21 2nd CfP (Invited Speakers, Workshops, Travel Award, Submission)

From: Michael Kohlhase <m.kohlhase AT iu-bremen.de>
To: dreamers AT dai.ed.ac.uk, cofi-tools AT brics.dk, theorem-provers AT ai.mit.edu, isabelle-users AT cl.cam.ac.uk, info-hol AT leopard.cs.byu.edu, qed AT mcs.anl.gov, fg121 AT sunjessen46.informatik.tu-muenchen.de, pvs AT csl.sri.com, ags-all-ma AT dfki.de, formal-methods AT cs.uidaho.edu, compulog-deduction AT cs.bham.ac.uk, coq-club AT pauillac.inria.fr, lego-club AT dcs.ed.ac.uk, zforum AT prg.ox.ac.uk, system-safety AT listserv.gsfc.nasa.gov, stochver AT cs.bham.ac.uk, vdm-forum AT mailbase.ac.uk, rewriting AT ens-lyon.fr, omdoc AT mathweb.org, event AT in.tu-clausthal.de, verimag-news AT imag.fr, om-announce AT openmath.org, cassis AT loria.fr, calculemus-ig AT ags.uni-sb.de, ftp-community AT logic.at, kgs AT logic.tuwien.ac.at, compulognet-parimp AT dia.fi.upm.es, mizar-forum AT mizar.uwb.edu.pl, pvs AT csl.sri.com, acl2 AT cs.utexas.edu, nqthm-users AT cs.utexas.edu, nuprl AT cs.cornell.edu, nuprllist AT cs.cornell.edu, CADEinc AT cs.albany.edu, bra-types AT cs.chalmers.se, ccl AT ps.uni-sb.de, clp AT comp.nus.edu.sg, complog AT cs.nmsu.edu, comlab AT comlab.ox.ac.uk, facs AT lboro.ac.uk, kbcsl AT uni-paderborn.de, ki-inf AT uni-koblenz.de, kr AT kr.org, lfcs-interest AT dcs.ed.ac.uk, stp AT dcs.gla.ac.uk, types AT cis.upenn.edu, csp AT carlit.toulouse.inra.fr, aiia AT di.unito.it, members AT fmeurope.org, siksleden AT cs.ruu.nl, seworld AT cs.colorado.edu, SymbolicNet AT mcs.kent.edu, qsl_tous AT loria.fr
Subject: [Coq-Club]CADE-21 2nd CfP (Invited Speakers, Workshops, Travel Award, Submission)
Date: Tue, 23 Jan 2007 17:02:23 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Jacobs University Bremen

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
----------------------------------------------------------------------

[Coq-Club]CADE-21 2nd CfP (Invited Speakers, Workshops, Travel Award, Submission), Michael Kohlhase