CADE-27 will feature four introductory tutorials, on 23 and 24 August 2019 at UFRN:
|(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|
|(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).