Program

Friday January 13, 2017

10:00am-10:30am Ekaterina Fokina: Degree Spectra of Structures
10:30am-11:00am Sy-David Friedman: Computational Complexity in Set Theory
11:00am-11:30am Stefan Hetzl: On the Complexity of Grammars and First-Order Proofs
11:30am-12:00pm Ján Pich: Gentzen and Frege systems for QBF
12:00pm-02:00pm Break
02:00pm-02:30pm Bruno Buchberger: An Overview on the Theorema Project (Automated Reasoning)
02:30pm-03:00pm Temur Kutsia: Anti-Unification in Description Logic EL
03:00pm-03:30pm Alexander Maletzky: Formalizing Gröbner Bases in Theorema

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2017-01-16, 14:56.