ACL2 2018
15th International Workshop on the ACL2 Theorem Prover
and Its Applications
November 5-6, 2018, Austin, Texas, USA
http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html
The 2018 ACL2 Worksho
[apologies for any cross-posting]
**
QBFEVAL'18 - Competitive Evaluation of QBF Solvers
A joint event with the 21st Int. Conference on Theory and Applications
of Satisfiability Testing (SAT)
(affiliated with
FLOC 2018 VOLUNTEER PROGRAMME ANNOUNCEMENT
Applications to the FLOC 2018 Volunteer Programme are now open.
FLoC (Federated Logic Conference), which brings together several
international conferences related to mathematical logic and computer
science, will be held in Oxford, UK, from the 6th to the
FLoC 2018 --- The 2018 Federated Logic Conference
6-19 July 2018
Oxford, England UK
http://www.floc2018.org/workshops
The seventh Federated Logic Conference (FLoC'18) will be held in
Oxford, UK, in July 2018, at the Mathematical Institute and the
Blavatnik School of Government at the University of