Fwd: World Logic Day - CLE '22

[Marcelo Esteban Coniglio]

O link da página do evento (contendo o link do google meet):

http://www.cle.unicamp.br/cle/node/1986


---------- Forwarded message ---------
De: Fabio Bertato <fmbe...@gmail.com>
Date: qui., 13 de jan. de 2022 às 17:59
Subject: World Logic Day - CLE '22
To: <coni...@unicamp.br>


Dear colleagues,

I am pleased to invite you to the event to celebrate the World Logic
Day, which will take place tomorrow, the 14th, from 2pm to 6pm
(Brasilia Time), organized by the Centre for Logic, Epistemology, and
the History of Science of the University of Campinas.

Please, I ask you to spread it among potential interested parties.

To get the link, please write to fmbe...@gmail.com

All the best,

Fábio Bertato
-----------------------------------------------
WORLD LOGIC DAY - CLE '22
Online Event
January 14, 2022

Program (Brasilia time: UTC -3)

14:00 – 14:30
Talk 1 - Logics of ignorance
Ekaterina Kubyshkina (University of Campinas)
Mattia Petrolo (Federal University of ABC)


14:40 – 15:10
Talk 2 - Decision Procedures for da Costa’s hierarchy through RNmatrices
Guilherme Vicentin de Toledo (University of Campinas)
Marcelo Esteban Coniglio (University of Campinas)


15:20 – 15:50
Talk 3 - On a cut-free sequent system for a logic associated to
involutive Stone algebras
Martín Figallo (Universidad Nacional del Sur, Bahía Blanca)


16:00 – 16:20
Interval


16:20 – 16:50
Talk 4 – Considerações sobre Arquimedes e sua Obra
Guilherme Grudtner (University of Campinas)


17:00 – 17:30
Talk 5 - Paraconsistency in History
Evandro Gomes (University of Maringá)


17:40 – 18:10
Talk 6 - O uso de métodos lógicos em teoria da escolha social
Pedro Carrasqueira (University of Campinas)