Activities

I serve(d) as chair or co-chair of the program committees for:

I serve(d) on the program committees for,

I served as local arrangements co-chair of MPC'15, also co-editing its proceedings.

I also helped putting together HaL4, HaL5, HaL6, HaL7, HaL8, and HaL10, served on the external review committee for POPL'13, and co-organized CSXW'11.

I am a member of the IFIP Working Group 2.1 on Algorithmic Languages and Calculi since 2012.

I was vice-chairman of the Working Group 2.1.4 "Programming Languages and Computing Concepts" of the German Computer Science Organization GI from 2010 to 2016.

I was a member of the steering committee for the BX workshop series from 2012 to 2015. I am still on its advisory board.

I was a member of the steering committee for the Haskell Symposium series from 2011 to 2015, serving as its chair from 2014 to 2015.

I was a member of the steering committee for the PEPM workshop series from 2010 to 2012, serving as its chair from 2011 to 2012.

I co-edited a special issue of Electronic Communications of the EASST devoted to selected papers from BX'12.

I co-edited a special issue of Higher-Order and Symbolic Computation devoted to selected papers from PEPM'10.

From 2008 to 2013, I served as editor of the Haskell Communities and Activities Report (HCAR, appearing twice a year). CCC depicted the situation quite aptly here.

I was the keynote speaker at LDTA'12.

I was one of two keynote speakers at PPL'10 (Japanese conference on Programming and Programming Languages, about 130 participants).

I served as external examiner on the PhD committees of some very fine candidates (and now PhD holders...):

My first two "own" PhD students graduated in October 2013 and 2015, respectively: Daniel Seidel and Stefan Mehner.

I am a member of MO e.V. and eLeMeNTe e.V. and regularly work as corrector or coordinator for high-school student math competitions Mathematik-Olympiaden and Bundeswettbewerb Mathematik. I am a member of the "Aufgabenausschuss Klassen 9/10 des MO e.V."

I organized our department's university days for high-school students (2015, 2014, 2013, 2012, 2011, 2010).