coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFParticipation CADE21, Bremen July 17-20 (Early Bird: June 10)

From: Michael Kohlhase <m.kohlhase AT jacobs-university.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] CFParticipation CADE21, Bremen July 17-20 (Early Bird: June 10)
Date: Fri, 18 May 2007 14:36:34 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Jacobs University Bremen

                                CADE-21

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

                          Call for Participation

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

   Registration is open at
   http://www.cadeconference.org/meetings/cade21/registration.html

Important dates:
   Early Bird Registration:      until  June 10,    2007
   Workshops and tutorials:             July 15-16, 2007
   Conference:                          July 17-20, 2007

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

--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62
Professor of Computer Science     Campus Ring 12,
School of Engineering & Science   D-28759 Bremen, Germany
Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140

m.kohlhase AT jacobs-university.de
http://kwarc.info/kohlhase
skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------

[Coq-Club] CFParticipation CADE21, Bremen July 17-20 (Early Bird: June 10), Michael Kohlhase