[Hol-info] LOPSTR 2023 - Final Call for Participation

2023-10-15 Thread Daniel Jurjo
** 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

2023-10-15 Thread Matt Kaufmann
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