coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ACL2 Workshop, Nov. 18-19

From: Matt Kaufmann <kaufmann AT cs.utexas.edu>
To: acl2 AT lists.cc.utexas.edu, calculemus-ig AT ags.uni-sb.de, concurrency AT cwi.nl, coq-club AT pauillac.inria.fr, formal-methods AT cs.uidaho.edu, haskell AT haskell.org, hol-info AT lists.sourceforge.net, imps AT linus.mitre.org, isabelle-users AT cl.cam.ac.uk, lfcs-interest AT dcs.ed.ac.uk, metaprl AT metaprl.org, mizar-forum AT mizar.uwb.edu.pl, mkm AT lists.bath.ac.uk, mowgli-dev AT cs.unibo.it, nuprllist AT cs.cornell.edu, omdoc AT mathweb.org, pvs AT csl.sri.com, qed AT mcs.anl.gov, rewriting AT ens-lyon.fr, softverf AT nist.org, theorem-provers AT ai.mit.edu, types AT cis.upenn.edu, zforum AT prg.ox.ac.uk
Subject: [Coq-Club] ACL2 Workshop, Nov. 18-19
Date: Tue, 14 Sep 2004 12:14:11 -0500
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Greetings [and apologies if you get multiple copies]:

The fifth ACL2 Workshop will be held November 18-19, 2004, in Austin Texas,
USA, in conjunction with (and immediately following) FMCAD.  We invite users
of ACL2, users of other theorem provers, and persons interested in the
applications of theorem proving technology to attend.

ACL2 is a state-of-the-art automated reasoning system, which grew out of the
Boyer-Moore theorem prover and has been used successfully on a number of
industrial and academic projects.  ACL2 is described at
http://www.cs.utexas.edu/users/moore/acl2.  The ACL2 workshops provide a forum
for the presentation and discussion of projects using ACL2 as well as the
evolution of the tool.  For more information, including a schedule of talks
and
general information (including registration, which costs less prior to
October 15, and lodging), see:

http://www.cs.utexas.edu/users/moore/acl2/workshop-2004/

Regards,
Matt Kaufmann and J Moore (Organizing Committee)

[Coq-Club] ACL2 Workshop, Nov. 18-19, Matt Kaufmann