The Coq mailing list

[Matt Kaufmann <kaufmann AT cs.utexas.edu>]

                  *** CALL FOR PARTICIPATION ***

                              ACL2-2015
        13th International Workshop on the ACL2 Theorem Prover
                         and Its Applications

                October 1-2, 2015, Austin, Texas, USA
                  (immediately following FMCAD 2015)

               Celebrating the 25th anniversary of ACL2

  http://www.cs.utexas.edu/users/moore/acl2/workshop-2015/index.html

The 2015 ACL2 Workshop will be held in Austin, Texas, USA, in
conjunction with (and immediately following) FMCAD 2015.  We invite
users of ACL2, users of other theorem provers, and persons interested
in the applications of theorem proving technology to attend.  Keynote
talks will be given by J Strother Moore (UT Austin) and John O'Leary
(Intel).

AIMS AND SCOPE

The ACL2 Workshop series is the major technical forum for users of the
ACL2 theorem proving system to present research related to the ACL2
theorem prover and its applications.  ACL2 is an industrial-strength
automated reasoning system, the latest in the Boyer-Moore family of
theorem provers.  The 2005 ACM Software System Award was awarded to
Boyer, Kaufmann, and Moore for their work in ACL2 and the other
theorem provers in the Boyer-Moore family.

ACL2-2015 is a two-day workshop to be held in Austin, Texas, USA, on
October 1-2, 2015.  It is the 13th in the series of ACL2 workshops,
which occur approximately every 18 months.  The workshop will feature
technical papers, keynote talks, and rump sessions discussing ongoing
research, as well as a panel:

  Industrial Use of ACL2: Present and Future.

See the website

  http://www.cs.utexas.edu/users/moore/acl2/workshop-2015/index.html

for further information including registration, organization, venue,
lodging, sponsors, and a list of accepted papers,

NOTE: Lodging may be in limited supply, so we recommend making your
reservations soon.