coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club]CADE-21 2nd CfP (Invited Speakers, Workshops, Travel Award, Submission)
chronological Thread
- 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
Archive powered by MhonArc 2.6.16.