coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFV'05 Call for Papers

From: Miroslav Velev <mvelev AT ece.cmu.edu>
To: acl AT cs.columbia.edu, acl2 AT cs.utexas.edu, action-semantics AT brics.dk, agents AT cs.umbc.edu, aisb AT cogs.sussex.ac.uk, apng-all AT apng.org, asci AT twi.tudelft.nl, behavior AT cs.ucsd.edu, bforum AT estas1.inrets.fr, caml-list AT pauillac.inria.fr, categories AT mta.ca, clp AT comp.nus.edu.sg, comprox AT doc.ic.ac.uk, comp-thy AT listserv.nd.edu, coordinator AT agentlink.org, coq-club AT pauillac.inria.fr, cphc-conf AT jiscmail.ac.uk, csd AT lists.ut.ee, cs-logic AT cs.indiana.edu, dbworld AT cs.wisc.edu, deduktion AT intellektik.informatik.tu-darmstadt.de, DMA-LIST AT NIC.SURFNET.nl, DMANET AT zpr.uni-koeln.de, dna AT pollux.usc.edu, ea AT ira.uka.de, eacsl AT dimi.uniud.it, elotos AT inrialpes.fr, elsnet AT cogsci.ed.ac.uk, emisa AT informatik.uni-hannover.de, esterel-users AT sophia.inria.fr, eti-users AT eti-service.org, fg-db AT informatik.uni-rostock.de, finite-model-theory AT informatik.rwth-aachen.de, fits-list AT site.uottawa.ca, floc AT informatik.hu-berlin.de, fmics AT inrialpes.fr, FMNET AT jiscmail.ac.uk, formal-methods AT cs.uidaho.edu, gap AT gwdg.de, gazette AT sfs.nphil.uni-tuebingen.de, glp AT first.gmd.de, graduiertenkolleg-infos AT ims.uni-stuttgart.de, gragra AT i3.informatik.rwth-aachen.de, grin AT di.unipi.it, i3s AT i3s.unice.fr, idss AT socs.uts.EDU.AU, ifip-wg1_3-members AT daimi.au.dk, ifmsig AT cs.tcd.ie, ikbs AT caad.ed.ac.uk, imps AT linus.mitre.org, infoagents AT gmd.de, informatica AT deis.unibo.it, ipa AT win.tue.nl, isabelle-users AT cl.cam.ac.uk, java-threads AT ukc.ac.uk, kaw AT swi.psy.uva.nl, ld AT cc.ttu.ee, lfcs-interest AT dcs.ed.ac.uk, lfg AT lists.stanford.edu, lics-request AT webserver.mathematik.uni-freiburg.de, lmcall AT imag.fr, Lotos-World AT site.uottawa.ca, lpnmr AT cs.engr.uky.edu, lprolog AT cs.umn.edu, maude-users AT peepal.cs.uiuc.edu, mercury-ads AT cs.mu.oz.au, ml AT ics.uci.edu, mol AT cis.upenn.edu, mscnews AT sdl-forum.org, nlcl AT cogs.susx.ac.uk, nuprlnotes AT cs.cornell.edu, office AT siks.nl, om-announce AT lars.math.fsu.edu, parallel-io AT dartmouth.edu, pept AT yl.is.s.u-tokyo.ac.jp, PetriNets AT daimi.au.dk, prog-lang AT diku.dk, prologia AT prologianet.univ-mrs.fr, puml-list AT cs.york.ac.uk, pvs AT csl.sri.com, rewriting AT ens-lyon.fr, sdlnews AT sdl-forum.org, seworld AT cs.colorado.edu, spin_list AT research.bell-labs.com, stochver AT cs.bham.ac.uk, takagi AT etl.go.jp, theorem-provers AT ai.mit.edu, theory-logic AT cs.cmu.edu, theorynt AT listserv.nodak.edu, tools-europe AT eiffel.com, unification AT sics.se, verimag AT imag.fr, vki-list AT dfki.de, zeves AT ora.on.ca, zforum AT prg.ox.ac.uk
Subject: [Coq-Club] CFV'05 Call for Papers
Date: Thu, 14 Apr 2005 18:29:57 -0400 (EDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

--------------------------------------------------------------------------------
                                    CFV'05: Call for Papers
--------------------------------------------------------------------------------

3rd International Workshop on Constraints in Formal Verification,

Tallinn, Estonia, July 23, 2005.

Associated with the 20th International Conference on Automated Deduction
(CADE-20).

http://sat.inesc-id.pt/CADE05-CFV/

Submission deadline:        June 5th
Notification of acceptance: July 1st
Final version deadline:     July 7th

Topics:
- application of constraint solvers to hardware verification;
- application of constraint solvers to software verification;
- dedicated solvers for formal verification problems;
- challenging formal verification problems.

Invited Speakers:
- Masahiro Fujita, University of Tokyo, Japan
- Fabio Somenzi, University of Colorado, U.S.A.

Workshop Chairs
- Miroslav Velev, Reservoir Labs, U.S.A.
- Joao Marques-Silva, Technical University of Lisbon, IST/INESC-ID

Program Committee:
- Magdy Abadir, Motorola, U.S.A.
- Enrico Giunchiglia, Univ. Genova, Italy
- Aarti Gupta, NEC Research Labs, U.S.A.
- Ziyad Hanna, Intel, U.S.A.
- Yakov Novikov, Infenion, Germany
- Andreas Podelski, Max-Planck-Institut fr Informatik, Germany
- Mukul Prasad, Fujitsu Labs of America, U.S.A.
- Stefano Quer, Politecnico di Torino, Italy
- Toby Walsh, University of New South Wales, Australia

[Coq-Club] CFV'05 Call for Papers, Miroslav Velev