Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Deadline Extension for ACL2 2018


view this post on Zulip Email Gateway (Aug 22 2022 at 17:30):

From: Matt Kaufmann <kaufmann@cs.utexas.edu>
Hi,

We confess: Our plan has always been to extend the submission
deadlines (for abstracts and papers) for ACL2 2018 by one week. We
are making that extension now. Thus, the new deadlines are as
follows.

Abstracts submission: July 7, 2018
Paper submission: July 14, 2018

We do not anticipate any further deadline extensions, since the
reviewers need time to do their work.

Regards,
Shilpi Goel and Matt Kaufmann
Co-chairs, ACL2 2018


Last updated: Nov 21 2024 at 12:39 UTC