14:00  Hermann's LSFA invited talk: "A prooftheoretical 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 @ PUCRio" 
18:40  Hermann  Closing 