Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ACL2 Workshop submission deadline extension


view this post on Zulip Email Gateway (Aug 22 2022 at 09:59):

From: Freek Verbeek <Freek.Verbeek@ou.nl>
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


Last updated: Mar 28 2024 at 12:29 UTC