ACL2-2002 Workshop (fwd)

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

---------- Forwarded message ----------
Date: Thu, 25 Oct 2001 09:05:45 -0500 (CDT)
From: toshok@hungry.com
Reply-To: 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,
     logic@theory.lcs.mit.edu, lotos-na@site.uottawa.ca,
     lprolog-list@cis.upenn.edu, lprolog@cis.upenn.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, softverf@nist.gov,
     tfm-list@doc.ic.ac.uk, theorem-provers@ai.mit.edu, zforum@prg.ox.ac.uk,
     lics-list@math.uic.edu
Subject: ACL2-2002 Workshop

As previously announced, the next ACL2 workshop will be held in Grenoble,
France on April 8-9, 2002, in conjunction with ETAPS 2002
(http://www-etaps.imag.fr/).  The submission date has been slightly modified,
as shown below.  For further information see
http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/.

 Submission Deadline
                     November 26, 2001

   Note: papers may be submitted late, up to December 10, provided the title
   and abstract are submitted by November 26; but preference may be given to
   papers submitted by November 26.

 Acceptance Notification
                     January 15, 2002

 Final Versions of Papers Due
                     March 1, 2002

 Workshop
                     April 8-9, 2002, Grenoble, France

Regards,
The Organizers (Dominique Borrione, Matt Kaufmann, J Moore)

__________________________________________________________________________
To be removed from this list, send a message with "unsubscribe info-hol"
as its sole content to majordomo@lal.cs.byu.edu
For more information see http://lal.cs.byu.edu/lal/hol-documentation.html