coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ACL2-2023 Call for Participation

From: Matt Kaufmann <kaufmann AT cs.utexas.edu>
To: acl2 AT utlists.utexas.edu, agda AT lists.chalmers.se, cicm-members AT lists.informatik.uni-erlangen.de, cl-isabelle-users AT lists.cam.ac.uk, coq-club AT inria.fr, fm-announcements AT lists.nasa.gov, fmcad AT utlists.utexas.edu, hol-info AT lists.sourceforge.net, lean-user AT googlegroups.com, mizar-forum AT mizar.uwb.edu.pl, nuprl AT cs.cornell.edu, pvs AT csl.sri.com, theorem-provers AT ai.mit.edu
Subject: [Coq-Club] ACL2-2023 Call for Participation
Date: Sat, 16 Sep 2023 17:36:23 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kaufmann AT cs.utexas.edu; spf=Pass smtp.mailfrom=kaufmann AT cs.utexas.edu; spf=Pass smtp.helo=postmaster AT newman.cs.utexas.edu
Ironport-data: A9a23:Ce2TraKeYEITJkOSFE+RmJAlxSXFcZb7ZxGr2PjKsXjdYENShD0Gx zcdW2uDO/3fMWekL9ojb4i18BgD6seBxoA1QAsd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf/s9JIGjhMsfnb+Uox5K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuTiTLwuRHURAKbLYovf5ILmtIz M4qAWVYBvyDr7reLLOTTORzg80lasLwep4Dt2Fp1nfUAetOrZLrGv+ao48Dmm5r14YXRK62i 8kxMVKDaDzDagBBP14RDro1h6G1mnTveiYepV6IzUYyyzGJklcsgem9bbI5fPSnXvh7j2C0g l7X2ETAGUg/Lpuv2RyKpyfEaujn2HmTtJgpPLa/77thhECZ7ncCDQUfE1q9u/iwzECkM++zM GQS9zUrpK50/1ftU8XwTxSj5nOIo3bwRuZtLgHz0ynVooK83upTLjFsoudpOI165vwlDycnz EGIlN7PDDli+u/dA3GE+7ve6Xv4NSEJJCVQLWUJXCkU0enF+YsTtxPoSso8MaiXitauJyr87 QrXpwcDhpISr/Ux6YOFwX79jQiR+6f5FjwO2l2PX0aOzB9IW4q+Von5tXnZ9alhKaiafHmgv V8FucqV/b1XAb6zyB29Zfg/I4vwxveaMQ/zhUxkMIkh+g+MpV+iX9F0yxNvKHh5Nv0rfWfSX 3bSngdK9blvM2CPf4YuU7muCs8v87fsJe7lWt/QcNBKRJp7Ly2Dww1Dem+S2DrLvHU3sKRiJ 6qeT9mgPUwaBYtj0jCyYeUXip0v5yImwFLsVYLJ9Aum3ZWedUyqZ+88anXWVd8A7YSAvAnx2 PRcPZHTyxxgDcvPUhOO+osXdV03PXw3AK7tkPNud8mBHFtCOHogAPrv078ea9Rbv6BKpNzpo FC5eGFlkWTau1OWCD+3ekhCaazuV6lRtXgUHzIhFnf21mkBYbSA1rY+dZw2d7wZr+Zc4+NQS t8XX8O+WsZ/SjTM6mkZX7nArahJVheitSSRNQWLPRk9eJ9BQVTS29nGJwHAyggHPhCVh+Af/ YKy8xz9eoUSYThiAOL9SuOd/3nosVczwOtNDlb1eP9Nc0DSwa1WAi3WjM5vBfoTKB/GlwCo5 yzPDTg2/eDy8pIIqv/XjqW5rqCsIet0PmxeO0L5tb+WFy3rzlCP8L96ctSjXG7iDTvv2aCYe +9q4en2M6QHkHZ0ooNMKetX4pxk1eT/hY1x71pCLC3QYkWJG4FQBCCM/fNyu51nwp5bvgqLW XyzxORKBIXROO7YFA8+GQl0SMWCyvAepRfK59sXPkjRxXF67ZiHY2poLjiOjy1sd55oPLMfx eoOltwy7jK8hiELKfeDtDhfrE6XH0wDUoIml5AUO5DqgQwV0WN/YYTQJyv1wZOXYfBODxUOD hqLopSanJVa5E7JU0RrJEj3xeAH2Kg/4kFb/mENN3Giu4TjhMZu+DZz7D5ubABe7isf4tJJI mIxanFEf/SfzQxJ2vpGcXunQTxaJRuj/Uf09VsFuUvZQ2SsVU3PNGcNAvmMzm9I71NjeiVnw 5/AxFbHSTrKeOTD7hk2U2NhqN3hSoV/yFST0oTvVcGIBIIzbjfZk7ejLzhA4QfuBcQqwlbLv 6929eJ3crf2LjMUv7Z9MYSByLAMU1qREQSumx26EH8hRgkwuQ1e2ARi72i3d9xILvqM+lT+F tBjNstUERmyyU5iaxgFULUULeYccOEBvbI/lnHDfAbqcIdzahJiq9TN6iXujXRtTtlz+Sr4A p2EbCqMSwR8mlMN81Igb6B41q6QasJCeRHxzOmutugFCvrvdQ2qnV4aitOJgpleDOerE994c u8Oi286AtGOEbhRorY=
Ironport-hdrordr: A9a23:xRKkK67YxeTfzgOZtAPXwMrXdLJyesId70hD6qkRc20xTiX8ra uTdZsgtSMc5Ax/ZJhCo6HjBEDjewK+yXcd2+B4V9qftWLd2VdAQrsN0WPTqQeNJ8Vwm9QtsZ uIrJIOb+EZ3DBB/KDH3DU=
Ironport-phdr: A9a23:iEQV5x3elHhgd+vtsmDOHQ0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaBo6wy0RSQBM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip1u2+4YDfbgdIiTayfL9+M Qi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7 bpkSAXwhSkHKTA37W/ZhM9/g61Hux+huwBzzpTIbI2JKPZyYqXQds4aS2pbWcZRUjRMDISmY IsTE+oKIONWoJPgp1sAqBuxHw+sBOXywTJPhX/5x7A60+okEQ7c2gwgGckDv2jPrNnvKacST f66zabSwjXYdf9Zxyry6JXRfx0nvPqDUq5+f9DLxkkzCwPKkE+QqYr9Mj+J1uoBr2uW4eV8W e+xiWMqrwB8rDexy8otl4TEhZwYx1PG+Ch9wYs7Jdm1RVB4bNCqDpZdtD2WO5Z2T88+Qmxlv jsxxLMBuZ6+ZicKyZInygbCa/ybbYeJ7QjsVP2LLThmmX1lZaqzhwys/kivxO38Uca13ExWo SpCl9nBsG0G2R/L6sWfV/dx4ESs1SyM2g3d8O1IPE45mK7BJ5I837I8ioIfvVndEiL1gkn7j 6Gbel859uS29+jreKjqq5CAO4JylwrwKL4hmtalDuQ9KgUOX3aU+eC71LD7+032XrtLjvgsn anfqpzVOd8bqrSkAw9JzIki5AywDyy83NsGgHYHMUpJeBOBj4f3J1HDOO30Aem8jli2kzpmy erKMqDvD5jJNHTPjartcapl505Z0gUzzNRf55xOCrEGJfL+Qkzxu8bFDh83Ngy72eDnCNNm2 4wCQmKDGLKZML/Mvl6H/O0vOPOAa5EItzbgM/Ql4eXhgmcjmVABZampwYcXaHegE/h7O0mZe 2bjgs8dEWcWuQozVPDliFqbUTJKe3myW7886SogBYK9DYbDQ5itj6ab0Ce6GJ1WfGFGBUqWH XfmbYXXE8sLPSuZJpVJjyAAVKO9UMk8yRy+vRS8xrZ6aqLd9SERnZbiz8RuoebTnBU3+CZvS d+QlymGTmpx22YFQjU7xrtXpU1m1kzF0K52hOZdHMBS5LVUVAZ/OITYxup1Bta0Vg+FNtyND Ve9S9+rBTU8C88qzsUVS0J8AMm5yBvK2myjCPkIlPjDD5stt6nYwnLZJsBnyn+A2rNlx1cjB 8JJM2q7gKVy8gXVG5Xhl0SCi73sc60H1WjC83nHhWSLt0hUeBNsVaTeQWtZe1fbvd3ioE7OU vvmCbMjdwpHx8mqLqpRdsavllJbXvzuNtPEbG/3nWqsQV6My7qKKZfxdn810yLaB0wJnBoU4 G6dcwM5A2PppmPMBSYrG1X1fkbE9OhsoWn9U1A+iQyGcgt50/79/AMNn/i0QOhV1bUeviolr 3N5EEv5l8rIEPKLvA4nZ79dJ9g65RMPyWLUsBZwO9m4Nad8i0QFWw12+Ubvy1N6BpgTv9Itq SYPxRZuYYGRzV1EfjWelcTzM6DZL2D0+jikcOjLxlzO2c3Q96sSvqdr427/tR2kQxJxu05s1 MNYhiP0DvTiCQMTVci0SUMr711goLqcZCAh5oTS3HkqMK+uszaE1ch6TPA9xEOGeNFSeLiBC Be0C9cTUsunNeIvkl6vRhkfev1O+b49JIWre+bVkLWzMrNYlSm9xX9C/Jg710uN8yRmTeud3 J8YzfSR2A2vXCy6kUusosns341IeGJaBXKxnBDtH5UZfahuZcALBGOpdtWw3cl7joXxVmRw8 lO8AloAnsSyPweOYkz0xktd2Vl/TWWPvyy+wnQ0ljgoqvDaxynS26H4cxFBPGdXRW5khFOqI I6ujtlcUlL6Jw4u3ACo40r33c057Ox2MnXTTEFUfiP3M3AqU62+saCHatJO75VguDteUeC1a 1SXArDnpB5S3yTmFmpYjDc1ElPi8pbwghJ/gWSbBH1o6mfFdNF53lHS6MGdDf9d0zwaRTVp3 CHNDwvZXZHh9tGVmpHf9+GmAjv7BtsDKm+yltLG7XLjtggISVWlkvu+m8PqC10/2C7/jZxxU DnQ6Qz7ac/t3ri7NuRueg9pAkX94ox0ANIb8MN4iZcO1HwdnpjQ82AAlDK5MtxG16f3anwlT iVN3sLY8AH+nkBvMzjaouCxHmXY2cZna9SgNykV0z8z6slMDo+f9/pZgSZlq0H+oA7MK6sY/ H9V2b4l73gUhPsMsQwmw3CGA7wcKkJfODTlixWC693WQLx/XG+0avDw0UN/mYrkF7SeukRGX 32/fJ4+HCh258E5MVTW0XS15Ju2MNXXaNsSsFWTnXKix6BWIY8/k/MMgwJsIiTgoXA1wvV9g BBzlZ23p4mILWxx8bnxW0QIcG2uIZpIq3e01P4Wl93ex421G5R9BjgHOfmgBemlFj4fr7WvN gqDFiE9tmbOHLPeGQGF70I153nLEp2tKzSWPCxAl4UkFELbfRcOxllNBGZf/NZxDA2hyc3/f V0s4zkQ4gS9sR5Q0qdyMBK5VG7DpQCuYzNySZ6FLRMQ4BsRgiWdecGY8O93GDlVu5O7qwnYY G+SegpNBGcPckefQU3/M6mn/p/N//XSVY/cZ7PeJK6Dr+BTTaLCxpuy3I5v+TCkPd7JI2VvH /QgnEdPQDoqfqaR0yVKQCsRmSXXasedrxrp4Sx7oPe09/HzUR7u74+CWPNCdM9i8BesjeKfJ vad0WxnfC1A2MpGlhqqgPAPmUQfgCZ0e3yxHKQc4GTTGbnIlPYfDgZHOXopZI0YtORlhVgLY JaDwtLtiuwh1K5zWwwDDAew3JjwPaloaym8LA+VXRzbcuTdY2ObhZisOOu9T7ZUkelZ5Sqro TjdFkbiOnKeizT5XgvpPO1R6UPTdB1Ys4Wgfhs/PnP7QpT8ZxKhN8Jvyzg/wLlym2/HJWcHd zVwbgtbp7mUp0u0m91HEndapjpgJOiAwWOC6vXAb4wRur1tCzh1kORT5DI7zaFU5WdKXq49l CzXp99o61ao94vHgiJgSwZLoy1XiZiju0h9PKzfsJJbH2vY8QIE9iOdBwlCq9Z+C9Lpsrxd0 ZCWzvK1eGwEqomFu5JFX4DdM6fleDI5PADsGSLIAQdNVjOtOWzFxgRcnPyU6nyJv806p5zry 9IFTr5WUkBwF+tPUx41WoxZZs4sD3V9yObI6axArWCzpxTQWshA65XOV/bIRO7qNC7cl75PI R0B3bL/K40XcIz9wU1rLFdgz+GoUwLdW85Apip5Y0o6ukJIpTJ9R3A93kvjbCum+zkOCfOkl wVwhwdjK7dIln+k8xIsK1zGqTFl2lE2gsngiCuNfSTZKqqvWIhQTSHv8VUtP4PyWEB4YRD4z ikGfH/UArlWibVnb2VijgTR7IBOFfBrRqpBeBYMxPuTaqZgwRFGpy6g30MC+frdBM4oil4xa ZD15SEluUorfJsvKKfXPqYM0lVAmvfEoHqzzu5oiAZWYk8J9Cn6kMEgs1dOK6UrNyOzuOFg9 F7b89OiUG4BSP8jpLRh7QUgJ+mQxjmm3rJeeBnZ3wm3JLjfpnTNhceTBF48yxFQ/3Q=
Ironport-sdr: 65062e0a_K1sUwjoOzGLrKn9I22hANGME8lNmIuPaL7o28dmQpX+9vof E17o9YsboPBHTFP6JcX5Kn79h44SZ4EqznCx9wQ==

*** CALL FOR PARTICIPATION ***

ACL2-2023

18th International Workshop on the ACL2 Theorem Prover and Its
Applications

November 13-14, 2023, Austin, Texas, USA and also online

http://www.cs.utexas.edu/users/moore/acl2/workshop-2023/index.html

The 2023 ACL2 Workshop will be held in Austin, Texas, USA and online.
We invite users of ACL2, users of other theorem provers, and persons
interested in the applications of theorem proving technology to
attend. Keynote talks will be given by:

Jim Grundy, Amazon Web Services
Eric Smith, Kestrel Institute

REGISTRATION

Registration details, including fees (expected: $0 to $140) and sign
up may be found at:

https://acl2.regfox.com/acl2-workshop-2023

Note that the discounted fees for early registration end after
October 31.

AIMS AND SCOPE (quoting from
https://www.cs.utexas.edu/users/moore/acl2/workshop-2023/index.html#scope):

The ACL2 Workshop series is the major technical forum for users of the
ACL2 theorem proving system to present research related to the ACL2
theorem prover and its applications. ACL2 is an industrial-strength
automated reasoning system, the latest in the Boyer-Moore family of
theorem provers. The 2005 ACM Software System Award was awarded to
Boyer, Kaufmann, and Moore for their work in ACL2 and the other
theorem provers in the Boyer-Moore family.

ACL2-2023 is planned to be a two-day workshop to be held in Austin,
Texas, USA, on November 13-14, 2023. The workshop is planned to be
held in-person on the University of Texas at Austin campus. In
addition to in-person participation, the workshop will support online
participation for all talks and presentations. The workshop will be
the 18th in the series of ACL2 workshops, which occur approximately
every 18 months. The workshop will feature technical papers as well as
rump sessions that discuss ongoing research.

FOR MORE INFORMATION:

See the website
https://www.cs.utexas.edu/users/moore/acl2/workshop-2023/index.html
for further information including accepted papers, organization,
venue, and lodging.

[Coq-Club] ACL2-2023 Call for Participation, Matt Kaufmann, 09/17/2023