Program

Opening Sesseion

Three observations on interpreting paraconsistent logics

Hitoshi Omori (RUB - Germany)

The logic of impossible truths and nonactual contradictions

Guilherme Cardoso (UFOP - Brazil)

Accepting inconsistent quantum ontologies: the quasi-way

Raoni Arroyo (Unicamp- Brazil)

Paraconsistency: applied and interpreted

Eduardo Barrio (UBA - Argentina)

Overinterpretating paraconsistent logics

Otávio Bueno (Un. Miami - USA)

Classicality and ontological independence: an ontology-based approach to paraconsistency

Henrique Antunes (UFBA - Brazil)

Newton da Costa on the 'paraconsistent programme'

Jonas Arenhart (UFSC - Brazil)

Evidence and probability in paraconsistent and paracomplete logics of evidence and truth: their meaning and usefulness

Walter Carnielli (Unicamp - Brazil)

What do 'evidence' and 'truth' mean in the logic of evidence and truth

Abílio Rodrigues (UFMG - Brazil)

A talk on paraconsistent logics

Newton da Costa (UFSC - Brazil)

Two lessons from contradictions

Ederson Safra Melo (UFMA - Brazil)

Baptizing paraconsistent logic

Ítala D'Ottaviano (Unicamp- Brazil)

Closing session