Hi --
We are extending the submission deadlines for ACL2 2015 by one week,
as follows.
Abstract submission: June 2, 2015 (formerly May 26)
Paper submission: June 9, 2015 (formerly June 2)
Note that these deadlines apply to both categories: full papers up to
16 pages, and extended abstracts up to two pages.
Regarding 2-page extended abstracts:
(1) Although 2-page extended abstracts are due on June 9, short
abstracts of those extended abstracts should be submitted by June 2.
(2) We have removed the restriction saying that 2-page extended
abstracts would not appear in the final workshop proceedings.
(3) Speaking slots will be shorter for extended abstracts.
Regards,
Matt and David
------- Start of forwarded message -------
Date: Tue, 5 May 2015 07:22:51 -0500
From: Matt Kaufmann <kaufm...@cs.utexas.edu>
Subject: ACL2 2015 - Second Call For Papers
*** SECOND CALL FOR PAPERS ***
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 and John O'Leary.
IMPORTANT DATES
Abstract submission: May 26, 2015
Paper submission: June 2, 2015
Author notification: July 17, 2015
Camera ready: August 17, 2015
Workshop: October 1-2, 2015
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, invited talks, and rump sessions discussing ongoing
research. We invite submissions of papers on any topic related to
ACL2 and its applications, and we strongly encourage submissions
related to other theorem provers or formal methods that are of
interest to the ACL2 community. Suggested topics include but are not
limited to new results in the following areas.
* Software or hardware verification with ACL2
* Formalizations of mathematics in ACL2
* Libraries and tools for ACL2
* User interfaces for ACL2
* Novel uses of ACL2
* Experiences with ACL2 in the classroom
* Reports of and proposals for improvements of ACL2
* Comparisons with other theorem provers
* Comparisons with other programming or specification languages
* Challenge problems and their solutions
* Foundational issues related to ACL2
* Implementations connecting ACL2 with other systems
NOTE:
Please see the website
http://www.cs.utexas.edu/users/moore/acl2/workshop-2015/index.html
for further information including paper submission, organization,
venue, lodging, and eventually, registration and program information.
------- End of forwarded message -------
------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
