Hermann 50: A celebration of Edward Hermann Haeusler's 50th birthday

Joint event with the 7th Logical and Semantic Frameworks with Applications

Saturday, September 29th, 2012, 2pm
RDC Auditorium, PUC-Rio
Rua Marquês de São Vicente, 225,
Rio de Janeiro, Brazil

Proceedings: hermann50.pdf


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