14:00 | Hermann's LSFA invited talk: "A proof-theoretical discussion on the mechanization of propositional logics" |
14:50 | Christiano Braga - Opening |
15:00 | Paulo Veloso: "H., we've got a problem" |
15:25 | Andrey Bovykin (on behalf of Lew Gordeev): "A survey of modern metamathematics" |
15:50 | Coffee Break (Joint with LSFA) |
16:20 | Luiz Carlos Pereira: "A Short Note on Discharging Functions and Unicity of Normal Form for
Natural Deduction" |
|
16:45 | Mario Benevides: "On the Computational Complexity of the Intuitionistic Modal Logic IK" |
17:10 | Marco Antonio Ramos: "Hermann @ UFF" |
17:20 | Marcelo Correia: "Modelling the Lambek Calculus via a Hierarchical Structure of Categories" |
17:35 | Short break |
17:45 | Isabel Cafezeiro: "Interweavings of Alan Turing's Mathematics and Sociology of Knowledge" |
18:00 | Leonardo Moura: "Satisfiability Modulo Theories: A Calculus of Computation" |
18:15 | Alexandre Rademaker: "Intuitionistic Description Logic and Legal Reasoning" |
18:30 | Luis Fernando Gomes Soares: "Hermann @ PUC-Rio" |
18:40 | Hermann - Closing |