ACL2 2017 Submission Deadline Extension
[email protected] (Warren A. Hunt Jr.) Tue, 17 Jan 2017 15:33:47 -0600
| 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]> |
Hello! We are extending the submission deadlines for the 2017 ACL2 Workshop by a week each. Here are the new deadlines. Abstract submission: January 25, 2017 (was January 18) Paper submission: February 1, 2017 (was January 25) Cheers, Warren Hunt and Anna Slobodova (co-chairs) ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot