==
SECOND CALL FOR PAPERS – Submission is now open!
WADT 2018
24th International Workshop on Algebraic Development Techniques
http://wadt18.cs.rhul.ac.uk
July 2–5, 2018, Royal Holloway University of London, Egham, UK
**
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)
Oxford, UK, July 9 -
[Apologies for multiple copies]
==
LOPSTR 2018: Second Final Call for Papers
==
28th International Symposium on
Fourth Workshop on
Bridging the Gap between Human and Automated Reasoning
a FAIM workshop (supported by IFIP TC12) Stockholm, Sweden
Reasoning is a core ability in human cognition. Its power lies in the ability to
theorize about the environment, to make implicit knowledge explicit, to