Conference Talks
"Proof Complexity of Propositional Default Logic"
at the SAT'10 Conference, July 2010 in Edinburgh.
"Average Case Separation of Propositional Proof Systems"
at the 29th Weak Arithmetic Days (JAF 29), June 2010 in Warsaw.
"Different Approaches to Proof Systems"
at the TAMC'10 Conference, June 2010 in Prague.
Mini Talks
"Polylogarithmic Cuts of Models of Weak Arithmetic"
at the Syntax and Semantics Programme of the Isaac Newton Institute for Mathematical Sciences, May 2012 in Cambridge.
[Video]
"Refuting Random 3CNF's in Weak Proof Systems"
at the Workshop: Mathematical Logic - Proof Theory, Constructive Mathematics, November 2011 in Oberwolfach.
"Cuts of Models of Weak Arithmetic"
at the Oberwolfach Seminar: New Trends in Gödelian Incompleteness and Combinatorics, October 2011 in Oberwolfach.
"7 Minutes of Proof Complexity"
at the 2nd MALOA Training Workshop, June/July 2011 in Leeds.
Invitations and Visits
Workshop: Limits of Theorem Proving
at the Sapienza University, September 2012 in Rome.
Visiting Scientist
at the Logics and Semantics Research Group of the TU Berlin, June, 1st - July, 31st 2012 in Berlin.
Visiting Scientist at the INI Programme Semantics and Syntax: A Legacy of Alan Turing
at the Isaac Newton Institute for Mathematical Sciences, May, 1st - May, 31st 2012 in Cambridge.
Workshop: Mathematical Logic - Proof Theory, Constructive Mathematics
at the Mathematisches Forschungsinstitut Oberwolfach, November 2011 in Oberwolfach.
Oberwolfach Seminar: New Trends in Gödelian Incompleteness and Combinatorics
at the Mathematisches Forschungsinstitut Oberwolfach, October 2011 in Oberwolfach.
Workshop on Proof Complexity
at the Banff International Research Station for Mathematical Innovation and Discovery, October 2011 in Banff.
7th Annual Conference on Theory and Applications of Models of Computation
at the Charles University, July 2010 in Prague.