Tutorials

CADE-27 featured four introductory tutorials, on 23 and 24 August 2019 at UFRN:

Tutorial Speaker Time Location
Friday 23
(1) Intuitionistic Logic Giselle Reis, CMU-Qatar 10:30 – 12:00 Anfiteatro A CCET
(2) Building theorem provers using rewriting logic Carlos Olarte, UFRN, Brazil 13:00 – 14:30 Anfiteatro A CCET
(3) Machine-Oriented Reasoning Claudia Nalon, UnB, Brazil 15:00 – 16:30 Anfiteatro A CCET
Saturday 24
(4) Build your own first-order prover Jens Otten, University of Oslo, Norway 09:00 – 17:00 LAB LCC3 – DIMAp

Registration for tutorials is already closed.  The list of participants is here

Regarding Tutorial (4): we will provide 25 computers running SWI-Prolog. You may also bring your own laptop with the required program installed.

On Friday 23/08, coffee breaks and a light lunch will be offered on site. We will not provide transportation to Campus on Friday. You may take a cab, Uber or public transportation to UFRN. Please take a look at the transportation page.

On Saturday 24/08, we will offer lunch at Kalaz, with free transportation. We will also provide transportation from  Praiamar hotel to UFRN (and back), leaving at 08:30 sharp (note that this is Saturday 24/08 only).