University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Jeremy Gibbons: External Roles

AOSA

Steering Committee member

ASPLOS

Steering Committee member

PPDP

Steering Committee member

ICFP

Steering Committee member

SPLASH/OOPSLA

Steering Committee member

POPL

Steering Committee member

PLDI

Steering Committee member

ACM SIGPLAN

Vice-Chair

Journal of Functional Programming

Editor, with special responsibility for Functional Pearls

See my editorial on what constitutes a Pearl

Haskell Symposium

Steering Committee member

ICFP 2007

Programme Committee

International Conference on Functional Programming

MSFP 2008

Programme Committee

Mathematically-Structured Functional Programming

MPC 2008

Programme Committee

Mathematics of Program Construction

Haskell Symposium 2008

Programme Committee

TFM 2009

Programme Committee

Teaching Formal Methods

FMET 2008

Co-Chair

Formal Methods Education and Training

PLPV 2009

Programme Committee

Programming Languages Meet Program Verification

UTP 2008

Programme Committee

Unifying Theories of Programming

Haskell Symposium 2009

Programme Committee

WCDSL 2009

General Chair

IFIP TC2 Working Conference on Domain Specific Languages

Haskell Symposium 2010

Programme Committee Chair

ICEGOV 2012

Programme Committee member

FHIES 2012

Programme Committee member

SLE 2012

Programme Committee member

MPC 2012

Programme Committee chair

WGP

Steering Committee

Workshop on Generic Programming

Fun in the Afternoon

Co-instigator

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

WG2.1

Chair

IAP Journal of Software Development Practice

Chairman of Editorial Board