International Workshop on Classical Logic and Computation (CL&C)

7th CL&C 2018: Oxford, UK

6th CL&C 2016: Porto, Portugal

5th CL&C 2014: Vienna, Austria

4th CL&C 2012: Warwick, England

3rd CL&C 2010: Brno, Czech Republic

a service of Schloss Dagstuhl - Leibniz Center for Informatics