Workshops/Tutorials

The following workshops/competition will be organized alongside CADE-27 on 25 and 26 August 2019.  Exact dates will be available shortly, and the venue will be the Praiamar Hotel.

CADE-27 will feature several introductory tutorials, on 23 and 24 August 2019:

  • Intuitionistic Logic (Giselle Reis, CMU-Qatar; Friday 23rd)
  • Building theorem provers using rewriting logic (Carlos Olarte, UFRN, Brazil; Friday 23rd)
  • Machine Oriented Reasoning (Claudia Nalon, UnB, Brazil; Friday 23rd)
  • Build your own first-order prover (Jens Otten, University of Oslo, Norway; Saturday 24th whole day)

The tutorials are free of charge, and they will be held at UFRN. For registering, please access the registration page.