[mizar] ACL2 Workshop (note registration deadlines) (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
Date: Tue, 5 Feb 2002 10:41:53 -0600 (CST)
From: Matt Kaufmann <matt.kaufmann@amd.com>
To: acl2@lists.cc.utexas.edu, bra-types@cs.chalmers.se, categories@mta.ca,
     colt@cs.uiuc.edu, concurrency@cwi.nl, coq-club@pauillac.inria.fr,
     elf-list@cs.cmu.edu, facs@lboro.ac.uk, formal-methods@cs.uidaho.edu,
     forum@jsoftware.com, fsdm@it.uq.edu.au, IFIP-WG1_3-Members@brics.dk,
     imps@linus.mitre.org, info-hol@jaguar.cs.byu.edu,
     isabelle-users@cl.cam.ac.uk, isss-people@ics.uci.edu,
     lambda-usergroup@dcs.ed.ac.uk, lego-club@dcs.ed.ac.uk,
     lics@research.bell-labs.com, logic-list@cs.rice.edu,
     lotos-na@site.uottawa.ca, lprolog@cs.umn.edu, mizar-forum@mizar.uwb.edu.pl,
     nuprlnotes@cs.cornell.edu, papm@dcs.ed.ac.uk, pvs@csl.sri.com,
     qed@mcs.anl.gov, rewriting@ens-lyon.fr, theorem-provers@ai.mit.edu,
     zforum@prg.ox.ac.uk
Cc: matt.kaufmann@amd.com
Subject: ACL2 Workshop (note registration deadlines)

Hello --

Registration deadlines are approaching....

We are happy to announce The Third International Workshop on the ACL2 Theorem
Prover and Its Applications (ACL2-2002).  We invite users of ACL2, users of
other theorem provers, and persons interested in applications of theorem
proving technology to attend.

Registration:
  At the ETAPS web page, http://www-etaps.imag.fr/, or go directly to:
  http://www-etaps.imag.fr/Registration/registration-frame.html
  10% discount for registration before February 15 (Grenoble time)
  20% surcharge for registration after March 2

Where/when:
  In conjunction with ETAPS 2002 (http://www-etaps.imag.fr/)
  Grenoble, France
  April 8-9, 2002

Lodging:
  There is still availability; see
  http://www-etaps.imag.fr/Hotels/list_of_hotels.html
  You might want to act quickly; according to the organizer,
  "the convenient and relatively cheap hotels will be full".

Home page, including likely schedule of talks:
  http://www.cs.utexas.edu/users/moore/acl2/workshop-2002

Related events at ETAPS include:
  o First weekend workshop dinner, Sunday night, April 7, 2002.  This appears
    on the registration form (price:  40 euros).  We expect that a number of
    ACL2 workshop attendees will come to this dinner; there may in fact be
    separate seating for us.
  o ACL2 tutorial on April 7, 2002; see:
    http://www.cc.gatech.edu/fac/Pete.Manolios/acl2-etaps-tutorial.html
  o DCC ("Designing Correct Circuits 2002") on April 6-7; see:
    http://www.cs.chalmers.se/~ms/DCC02/

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.

Regards,
Dominique Borrione, Matt Kaufmann, J Moore (Organizing Committee)