[Hol-info] LOPSTR 2023 - Final Call for Participation
** Apologies for multiple postings ** -- Call for Participation LOPSTR 2023 The 33rd International Symposium on Logic-based Program
[Hol-info] ACL2-2023 Second Call for Participation
Registration is open for ACL2-2023. *** SECOND 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