| 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 |
