[isabelle] ACL2 Workshop submission deadline extension

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.

Matt and David

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.