Activities

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

• WFLP'16 (PC chair), proceedings
• ATPS'13 (PC co-chair, with Jens Knoop), content of proceedings
• Haskell'12 (PC chair), proceedings
• BX'12 (PC co-chair, with Frank Hermann), special issue of EC-EASST
• ATPS'12 (PC co-chair, with Frank Huch), editorial text, proceedings
• PEPM'10 (PC co-chair, with John Gallagher), proceedings, special issue of HOSC

I serve(d) on the program committees for,

• in 2017: ICMT'17, TFP'17, WPTE'17, SACLA'17, WFLP/WLP'17
• in 2016: DWA'16, ICMT'16, ATPS'16, WPTE'16
• in 2015: ICMT'15, MPC'15, PEPM'15, RC'15, TFP'15, WPTE'15, WLP'15
• in 2014: BX'14, FLOPS'14, ICMT'14, RC'14, TFP'14, WFLP'14, WPTE'14
• in 2013: BX'13, HART'13, ICMT'13, PEPM'13, PPDP'13, RC'13, WFLP/WLP'13
• in 2012: ICMT'12, PSW'12, RC'12, WLP'12
• in 2011: ICMT'11, WFLP'11
• in 2010: IFL'10
• in 2009: APLAS'09, ATPS'09, Haskell'09, PEPM'09, WST'09
• in 2007: ICFP'07

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...):

• Jonas Almström Duregård, at Chalmers University of Gothenburg, Sweden, in September 2016
• Hugo Pacheco, at University of Minho, Portugal, in September 2012
• José Pedro Magalhães, at University of Utrecht, Netherlands, in September 2012
• Holger Bock Axelsen, at University of Copenhagen, Denmark, in December 2011
• Jean-Philippe Bernardy, at Chalmers University of Gothenburg, Sweden, in June 2011
• João Paulo Fernandes, at University of Minho, Portugal, in March 2009

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).