Skip to main content

Jeremy Gibbons: External roles

BX 2015
Programme Committee member

PEPM 2015
Programme Committee member

FHIES/SEHC 2014
Programme Committee member

UTP 2014
Programme Committee member

IFL 2013
Programme Committee member

DCP 2014
Programme Committee member

FHIES 2013
Programme Committee co-chair

SLE 2013
Programme Committee member

IAP Journal of Software Development Practice
Chairman of Editorial Board (2012-2015)

Fun in the Afternoon
Co-instigator
Fun in the Afternoon is a termly seminar on functional programming and related topics

WGP
Steering Committee (2006-2010)
Workshop on Generic Programming

Haskell Symposium
Steering Committee member (2009-2013)

SPLASH/OOPSLA
Steering Committee member (2012-2015)

PPDP
Steering Committee member (2012-2015)

ASPLOS
Steering Committee member (2012-2015)

MPC 2012
Programme Committee chair

SLE 2012
Programme Committee member

FHIES 2012
Programme Committee member

ICEGOV 2012
Programme Committee member

Haskell Symposium 2010
Programme Committee Chair

WCDSL 2009
General Chair
IFIP TC2 Working Conference on Domain Specific Languages

Haskell Symposium 2009
Programme Committee

UTP 2008
Programme Committee
Unifying Theories of Programming

PLPV 2009
Programme Committee
Programming Languages Meet Program Verification

FMET 2008
Co-Chair
Formal Methods Education and Training

TFM 2009
Programme Committee
Teaching Formal Methods

Haskell Symposium 2008
Programme Committee

MPC 2008
Programme Committee
Mathematics of Program Construction

ICFP
Steering Committee member (2012-2019)

MSFP 2008
Programme Committee
Mathematically-Structured Functional Programming

ICFP 2007
Programme Committee
International Conference on Functional Programming

PLDI
Steering Committee member (2012-2018)

POPL
Steering Committee member (2012-2018)

AOSA
Steering Committee member (2012-2015)

ICFP 2017
General Chair

WG2.1
Secretary (1996-2009), Chair (2009-2015)
IFIP Technical Committee 2 Working Group 2.1 on Algorithmic Languages and Calculi

ACM SIGPLAN
Vice-Chair (2012-2015), Executive Committee Member (2015-2018)

Journal of Functional Programming
Editor-in-Chief
See my editorial on what constitutes a Pearl