*** CALL FOR PARTICIPATION ***
ACL2-2018
15th International Workshop on the ACL2 Theorem Prover
and Its Applications
November 5-6, 2018, Austin, Texas, USA
(immediately after the weekend following FMCAD 2018)
http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html
The 2018 ACL2 Workshop will be held in Austin, Texas, USA, immediately
after the weekend following FMCAD. 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:
Sandip Ray, University of Florida at Gainesville
Alastair Reid, ARM
Sol Swords, Centaur Technology
REGISTRATION
Register for ACL2-2018 at the following website:
https://www.regonline.com/acl2-2018
Registration fees are as follows
Early (by October 26, 2018):
student: $150
regular: $225
invited speaker: $0
Late (after October 26, 2018):
student: $175
regular: $250
invited speaker: $0
PROGRAM
NOTE: Although the schedule below is currently planned, small changes
(especially, in the order of talks) are possible.
See the website
http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/program.html
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-2018 is a two-day workshop to be held in Austin, Texas, USA, on
November 5-6, 2018. It is the 15th 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.
See the website
http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html
for further information including registration, organization, venue,
and sponsors.
Please see the following link
http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html#lodging
for information about lodging options near the workshop venue.
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
