Email Gateway (Aug 22 2022 at 18:07): Email Gateway (Aug 22 2022 at 18:07):From: Alessandro Coglio <coglio@kestrel.edu>
* 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 <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 <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
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 <http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html>
for further information including registration, organization, venue,
sponsors, and a list of accepted papers.
Please see the following link
http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html#lodging <http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html#lodging>
for information about lodging options near the workshop venue.
Last updated: Nov 21 2024 at 12:39 UTC