Dies ist eine Liste der Konferenzen, Workshops, Summer Schools etc. an denen ich teilgenommen habe bzw. an denen ich teilnehmen werde.
2020
- D-CON 2020 (Teilnehmer)
March 2020, Duisburg, Deutschland
2018
- D-CON 2018 (Teilnehmer)
March 2018, Darmstadt, Deutschland
2016
- D-CON 2016 (Teilnehmer)
March 2016, Saarbrücken, Deutschland
2015
- MFPS XXXI (Teilnehmer) & CALCO 2015 (Vortragender)
June 2015, Nijmegen, Die Niederlande - AutoMathA 2015 (Teilnehmer)
May 2015, Leipzig, Deutschland - D-CON 2015 (Vortragender)
March 2015, Kerkrade, Die Niederlande
2014
- FSTTCS 2014 (Vortragender) & INFINITY 2014 (Teilnehmer)
December 2014, New Delhi, Indien - Cogrow Workshop (Teilnehmer)
September 2014, Nijmegen, Die Niederlande - CMCS 2014 (Vortragender) & ETAPS 2014 (Teilnehmer)
April 2014, Grenoble, Frankreich - Bellairs Workshop on Probabilistic Systems 2014 (Vortragender)
March 2014, Holetown, Barbados - D-CON 2014 (Vortragender)
March 2014, Ilsenburg, Deutschland
2013
- QAIS Workshop 1 (Vortragender)
September 2013, Braga, Portugal - CALCO 2013 (Vortragender CALCO EI)
September 2013, Warsaw, Polen - Spring School 2013: Program Analysis and Verification (Teilnehmer)
April 2013, Gif-sur-Yvette, Frankreich - D-CON 2013 (Teilnehmer)
March 2013, Lübeck, Deutschland
2012
- CONCUR 2012 (Vortragender)
September 2012, Newcastle upon Tyne, Vereinigtes Königreich - D-CON 2012 (Vortragender)
March 2012, Kaiserslautern, Deutschland - ETAPS 2012 (Teilnehmer)
March/April 2012, Tallinn, Estland