[isabelle] ACL2 Workshop submission deadline extension
We are extending the submission deadlines for ACL2 2015 by one week,
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.
Matt and David
This archive was generated by a fusion of
Pipermail (Mailman edition) and