2016

**Solovay’s Technique to Determine Modal Logics of Provability**

Hamburg Set Theory Workshop

Hamburg, January 2016

2015

**What we know but Peano Arithmetic doesn’t**

Cool Logic seminar at the University of Amsterdam

Amsterdam, November 2015

**Interpretability Suprema in Interpretability Logic ILM**

Seminar on Modal and Algebraic Logic at the Steklov Mathematical Institute

Moscow, May 2015

2014

**A Bimodal Provability Logic**

Poster at ESSLLI student session (best poster award)

Tübingen, May 2014

**Adding the Supremum to Interpretability Logic**

PIIA seminar

University of Amsterdam, May 2014

2013

**An Arithmetical Accessibility Relation**

Tenth International Tbilisi Symposium on Language, Logic and Computation

Gudauri, Georgia September 2013

**Adding the Supremum to Interpretability Logic**

Graduate Conference PhD's in Logic

LMU Munich, April 2013

** On the Possibility of Finding a Relational Semantics for the Interpretability Logic ILMS - a Negative Result**

PIIA seminar

University of Amsterdam, January 2013

2011

**A New Perspective on the Arithmetical Completeness of GL**

Mathematical Logic in the Netherlands

University of Groningen, May 2011

**A New Perspective on the Arithmetical Completeness of GL**

Logic Tea seminar

University of Amsterdam, February 2011