Workshops and Tutorials

The following workshops will be organized alongside CADE-27 on 25 and 26 August 2019.  Exact dates will be available shortly.

CADE-27 will feature two one day introductory tutorials, on 23 and 24 August 2019:

  • Build your own SAT solver (Marijn Heule, University of Texas, Austin, USA)
  • Build your own first-order prover (Jens Otten, University of Oslo, Norway)

The application procedure for the tutorials will be available here shortly.