Fourth Workshop

CLE - Buenos Aires Logic Group

April 13 to April 16, 2018

Guarujá, Brazil


The goal of this workshop is to discuss work in progress made in the thematic intersection of both research groups and to further the relationship between the Argentinean and Brazilian researchers interested in Logic and the application of formal methods to Philosophy.


This is the Fourth Workshop CLE – Buenos Aires Logic Group, following the first, second and third workshops held, respectively, on August 4 and August 5 2014 in SADAF (Buenos Aires, Argentina), between March 31 and April 3 2015, in CLE-UNICAMP (Campinas, Brazil) and between April 20 and April 22 2016, in SADAF (Buenos Aires, Argentina).


Building Weekend

1030 General Rondon Avenue,

Vila Santo Antônio, Guarujá, SP

11420-000, Brazil



Marcelo E. Coniglio (CLE - DF/IFCH - Unicamp)

Juliana Bueno-Soler (CLE - FT - Unicamp)

Edson Bezerra (CLE - IFCH - Unicamp)

Co-organizers: Eduardo Barrio (IIF - Sadaf - Conicet - UBA)

Walter Carnielli (CLE - DF/IFCH - Unicamp)

Organizing Manager: Ana Claudia Golzio (CLE - Unicamp)


Embracing the linguistic policy adopted in the 3rd Workshop, the idea is that each participant speaks in her/his mother tongue, or in the language she/he feels more comfortable. Slides should be prepared in English and will be available with the abstracts before the talks.

Talks should be planned for 30 minutes, followed by a 15 minutes discussion.