[apologies for any cross-posting]
QBFEVAL'20 - Competitive Evaluation of QBF Solvers
A joint event with the 23rd Int. Conference on Theory and Applications
of Satisfiability Testing (SAT)
Alghero, Italy, July 5 -
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 2020
36th International Conference on Logic Programming
September 18 - September 24, 2020
University of Calabria, Rende, Italy
https://iclp2020.unical.it
ICLP 2020, the 36th International Conference on Logic Programming,
will be held at the
14th International Workshop on the Implementation of Logics
http://www.eprover.org/EVENTS/IWIL-2020.html
CALL FOR PAPERS
Deadline: April 12th, 2020.
The 14th International Workshop on the Implementation of Logics will be held on
22nd May