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 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
