Deadline Extension for ACL2 2018
Matt Kaufmann <[email protected]> Wed, 27 Jun 2018 16:31:39 -0500
| Newsgroups | gmane.comp.mathematics.hol,gmane.science.mathematics.logic.acl2.general,gmane.science.mathematics.logic.coq.club,gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
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 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
(unnamed)
(message/rfc822, 14 KB) - not displayed