Jeremy Gibbons: External Roles

Haskell Symposium 2010

Programme Committee Chair

WG2.1

Chair

WCDSL

General Chair

IFIP TC2 Working Conference on Domain Specific Languages

Haskell Symposium 2009

Programme Committee

Fun in the Afternoon

Co-instigator

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

UTP 2008

Programme Committee

Unifying Theories of Programming

WGP

Steering Committee

Workshop on Generic 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

MSFP 2008

Programme Committee

Mathematicall-Structured Functional Programming

ICFP 2007

Programme Committee

International Conference on Functional Programming