coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ACL2 2017 Submission Deadline Extension

From: hunt AT cs.utexas.edu (Warren A. Hunt Jr.)
To: acl2 AT utlists.utexas.edu, coq-club AT inria.fr, fm-announcements AT lists.nasa.gov, fmcad AT utlists.utexas.edu, hol-info AT lists.sourceforge.net, mizar-forum AT mizar.uwb.edu.pl, nuprl AT cs.cornell.edu, pvs AT csl.sri.com, sat2015 AT easychair.org, theorem-provers AT ai.mit.edu, isabelle-users AT cl.cam.ac.uk
Subject: [Coq-Club] ACL2 2017 Submission Deadline Extension
Date: Tue, 17 Jan 2017 15:33:47 -0600
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hunt AT cs.utexas.edu; spf=Pass smtp.mailfrom=hunt AT cs.utexas.edu; spf=Pass smtp.helo=postmaster AT newman.cs.utexas.edu
Ironport-phdr: 9a23:cwQKCRcMxLdmlw1MGVOeQZpelGMj4u6mDksu8pMizoh2WeGdxcW9Zh7h7PlgxGXEQZ/co6odzbGH7+a7BidZvcbJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBq7oR/fu8QUjoduN6k8xxjUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+vpwJxzZPabo+WO/VxYrjQfc8GSWdbQspdSzBNDp+6YoASD+QBJ+FYr4zlqlsOsBu+AxWsCfjzxT9TnHP2wLE63PouEA7cxwwsBcwBv2nJrN7oMKsdUfq6zLPSzTrdafNdxCvw5JLVeR4jvPGMW65wetfVx0k1DQ/Ji1OdopHmMTONzukBrnaX4ul6We+shWMrsRx9rzary8s2l4XFm54Zx1bZ/itj2ok1P8e3SEtjbN6kDpRQsyaaOpNwQsw8TWBovTw1yrsctZGnZygG0oknxwLBZP2IaYeI+QjvW/iMLjdlnH5lebS/iAiu8UW41+HwSMq53ExJoydLiNXAq34A2hjJ5sSaV/dx4l+t2TOV2ADS7uFEL1o0la3eK5M5wr4wi5wTsVjYEyDqg0X6lrKWdlk69emn8evnea/qqYGBOI9pkg3+KLghmtSjAeQkNQgDR3SU+eOl1LH64UL5RKhKgeYtn6nCsJHaINwbqbSjDw9U1IYj8Re/AC283NQWh3lUZG5CLRuMi9LBJk3KIevkFrGin1m8mSwtyvzbevXqBYyIJXzemp/ge6x84ghS0k57w9Ua7pRSDawHK//2V0ntr/TcDwQlKEqyyv3uTtp6yMdWV2eEC6OxLb/WsESU/aQyP+ScbZRTtTrgb7Al4PqrjHk3nncZfLK1xt0Mb22iFfloJF+WbDzqj8tFWWILrAMkCeLtkkCHeTtSdX+oGb8j7Hc2BJ/gFYOHDoawmKaF9CygWJZRfGZLDlTKHHv1M82cRewkYzmWZNR7k3oPUr3lA5QoyUv27VLSxrN8P+HU8ywC85X525w9++3ekgs/8HlsFcOD3nuWZ2h12GYJW3k70L076U1mw12O1ax1xuFDGMZIz/hNFAwzMNjVxKpnCIPcQAXEK9eUTkqOSc7gHC08XtsqhdICfg49JNy4lB3FlwPsS58IkaDDJoZys/GPl0PtLtpwni6VnJIqiEMrF5NC

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)

[Coq-Club] ACL2 2017 Submission Deadline Extension, Warren A. Hunt Jr., 01/17/2017