Logic @ UFRN
Home
Videos
2015
>
Graham Priest
Leon Horsten
Vladimir Svoboda
Vit Puncochar
David Gilbert
Samson Abramsky
NAT@Logic 2015
>
Valeria de Paiva
Dale Miller
Valentin Goranko
Ofer Arieli
Alessandra Palmigiano
Luiz Carlos Pereira
Guillaume Hoffmann
Heinrich Wansing
Arnon Avron
Joao Marcos
2016
>
João Marcos
Achim Jung
Diana Costa
Samir Gorski
João Marcos
Marcos Silva
2017
>
Catuscia Palamidessi
Frank Valencia
Filomena 2017
>
Tuomas Tahko
Jonas Becker Arenhart
Elaine Pimentel
Filomena 2019
>
Daniel Durante
Michaela McSweeney
Peter Verdée
Contact
A semantical view of proof systems
(
Elaine Pimentel
, UFRN
)
Click for slides.
Home
Videos
2015
>
Graham Priest
Leon Horsten
Vladimir Svoboda
Vit Puncochar
David Gilbert
Samson Abramsky
NAT@Logic 2015
>
Valeria de Paiva
Dale Miller
Valentin Goranko
Ofer Arieli
Alessandra Palmigiano
Luiz Carlos Pereira
Guillaume Hoffmann
Heinrich Wansing
Arnon Avron
Joao Marcos
2016
>
João Marcos
Achim Jung
Diana Costa
Samir Gorski
João Marcos
Marcos Silva
2017
>
Catuscia Palamidessi
Frank Valencia
Filomena 2017
>
Tuomas Tahko
Jonas Becker Arenhart
Elaine Pimentel
Filomena 2019
>
Daniel Durante
Michaela McSweeney
Peter Verdée
Contact