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).