Professional Service

PhD committee memberships see below.

Editorship

Journal of Functional Programming: Editor of the Theoretical Pearls column (since 2018).
TYPES Post-proceedings 2017: Guest editor of LIPICS volume 104.
TYPES Post-proceedings 2011: Program committee member for LIPICS volume 19.

Conference PC Memberships

POPL 2019: The 46th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Lisbon, Portugal, January 2019
ITP 2018: 9th Conference on Interactive Theorem Proving, 9-12 July 2018, Oxford, UK
part of the Federated Logic Conference, FLoC 2018
TYPES 2018: 24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, 18-21 June 2018
FoSSaCS 2018: Foundations of Software Science and Computation Structures,
part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2018
14-21 April 2018, Thessaloniki, Greece
APLAS 2017: 15th Asian Symposium on Programming Languages and Systems
27-29 November 2017, Suzhou, China
PPDP 2017: 19th International Symposium on Principles and Practice of Declarative Programming
9-11 October 2017, Namur, Belgium, co-located with LOPSTR'17.
FSCD 2017: 2nd International Conference on Formal Structures for Computation and Deduction,
3-6 September 2017, Oxford, colocated with ICFP 2017.
TYPES 2017: 23rd International Conference on Types for Proofs and Programs,
TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017
SOFSEM-FOCS 2017: 43nd International Conference on Current Trends in Theory and Practice of Computer Science
Foundations of Computer Science track
16-20 January 2017, Limerick, Ireland
APLAS 2016: 14th Asian Symposium on Programming Languages and Systems
21-23 November 2016, Hanoi, Vietnam
FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction,
Successor of RTA and TLCA
22-26 June 2016, Porto, Portugal
ESOP 2016: 25th European Symposium on Programming,
part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2016
2-8 April 2016, Eindhoven, The Netherlands
FLOPS 2016: 13th International Symposium on Functional and Logic Programming
3-6 March 2016, Kochi, Japan
FoSSaCS 2015: Foundations of Software Science and Computation Structures,
part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2015
11-19 April 2015, London, UK
CPP 2015: Certified Programs and Proofs, colocated with POPL 2015
12-14 January 2015, Mumbai, India
RTA-TLCA 2014: Joint Conference on Rewriting Theory and Applications (RTA) and Typed Lambda Calculi and Applications (TLCA)
14-17 July, 2014, Vienna, Austria; part of FLoC 2014, part of The Vienna Summer of Logic (VSL 2014),
Haskell Symposium 2013: ACM SIGPLAN Haskell Symposium 2013
23-24 September 2013, Boston, Massachusetts
co-located with ICFP 2013
TLCA 2013: Typed Lambda Calculi and Applications, part of RDP 2013
26-28 June 2013, Eindhoven, The Netherlands
FoSSaCS 2013: Foundations of Software Science and Computation Structures,
part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013
16-24 March 2013, Rome, Italy
ITP 2012: Third Conference on Interactive Theorem Proving
13-16 August 2012, New Jersey, USA
RTA 2012: 23rd International Conference on Rewriting Techniques and Applications
28 May - 2 June 2012, Nagoya, Japan
ESOP 2012: European Symposium on Programming, part of ETAPS 2012
24 March - 1 April 2012, Tallinn, Estonia
MFCS 2011: 36th International Symposium on Mathematical Foundations of Computer Science
22-26 August 2011, Warsaw, Poland.
FoSSaCS 2010: Foundations of Software Science and Computation Structures
Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010.

Workshop Organization and PC Chairing

AIM XXI: 21th Agda Meeting in Gothenburg, 3-9 June 2015
AIM XIX: 19th Agda Meeting in Paris, 22-28 May 2014
in conjunction with the Institut Henri Poincaré Trimester on Semantics of proofs and certified mathematics
PLPV'13: Programming Languages meet Program Verification, International Workshop (Co-organizer and PC co-chair)
22 January 2013, Rome, Italy. Affiliated with POPL 2013.
AIM XV: 15th Agda Implementor's Meeting
19 - 26 February 2012 in Hotel Aurachhof, Fischbachau, near Munich, Germany.
LFMTP'08: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (Co-organizer and PC co-chair)
23 June 2008, Pittsburgh, PA, USA, colocated with LiCS'08

Workshop PC Memberships

PARIS 2018: Workshop Programming And Reasoning on Infinite Structures, affiliated to FSCD 2018, part of FLoC, Oxford, UK, 7/8 July 2018
MSFP 2018: Seventh Workshop on Mathematically Structured Functional Programming (MSFP 2018), affiliated to FSCD 2018, part of FLoC, Oxford, UK, 8 July 2018
EUTypes 2018 Working Meeting: EUTypes 2018 Working Meeting, Nijmegen, Netherlands, 22-24 January 2018
TTT 2017: Workshop on Type Theory Based Tools (TTT 2017), sponsored by EU COST Action CA15123 EUTYPES
15 January 2016, Paris, France (colocated with POPL 2017)
HaL 2016: Haskell in Leipzig 2016 (11th Workshop), 14-15 September 2016, Leipzig, Germany
Colocated with the Workshop on Functional and (Constraint) Logic Programming (WFLP) and the Workshop on (Constraint) Logic Programming (WLP)
Forming the Leipzig Week of Declarative Programming (L-DEC)
LFMTP 2015: Workshop on Logical Framework and Meta-languages: Theory and Practice, 1 August 2015
affiliated with CADE-25, Berlin, Germany
LFMTP 2014: Workshop on Logical Framework and Meta-languages: Theory and Practice, 17 July 2014
affiliated with CSL-LICS 2014 and IJCAR 2014, part of FLoC 2014, held as part of the Vienna Summer of Logic (VSL 2014), Vienna, Austria
DTP 2014: Workshop on Dependently Typed Programming, 13 July 2014
affiliated with CSL-LICS 2014, part of FLoC 2014, held as part of the Vienna Summer of Logic (VSL 2014), Vienna, Austria
TYPES 2014: TYPES Meeting 2014
12-15 May 2014, in conjunction with the Institut Henri Poincaré Trimester on Semantics of proofs and certified mathematics, Paris, France
MSFP 2014: International Workshop on Mathematically Structured Functional Programming
12 April 2014, part of ETAPS 2014, 5-13 April 2014, Grenoble, France
CMCS 2014: 12th International Workshop on Coalgebraic Methods in Computer Science
5-6 April 2014, part of ETAPS 2014, 5-13 April 2014, Grenoble, France
WGP 2013: 9th ACM SIGPLAN Workshop on Generic Programming
28 September 2013, Boston, Massachusetts
co-located with ICFP 2013
FICS 2013: Workshop on Fixed-points in Computer Science 2013
1 September 2013, Torino, Italy
satellite event of CSL 2013
HOR 2012: 6th International Workshop on Higher-Order Rewriting
2 June 2012, Nagoya, Japan
Colocated with RTA 2012
MSFP 2010: Workshop on Mathematically Structured Functional Programming 2010
25 September 2010, Baltimore, Maryland, USA, colocated with ICFP 2010.
PAR 2010: Workshop on Partiality and Recursion in Interactive Theorem Provers
15 July 2010, Edinburgh, colocated with FLoC 2010.
PLPV'09: Programming Languages meet Program Verification, International Workshop
20 January 2009, Savannah, Georgia, USA. Affiliated with POPL 2009.
LFMTP'07: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
16 July 2007, Bremen, Germany, colocated with CADE-21.

PhD committees

Marco Vassena (upcoming): Chalmers University of Technology, Gothenburg, Sweden, 15 February 2019.

2018

Stephan Adelsberger, A Formal Verification Framework for Object-Based Programming in Agda: Wirtschaftsuniversität Wien (Vienna University of Economics and Business), 20 July 2018.
Henning Basold, Mixed Inductive-Coinductive Reasoning: Radboud Universiteit Nijmegen, The Netherlands, 19 April 2018.
Matus Tejiscak, Erasure in Dependently-Typed Programming: Viva, St. Andrews University, Scotland, UK, 15 February 2018.

2017

Sandro Stucki, Higher-Order Subtyping with Type Intervals: EPFL, Lausanne, Switzerland, 15 September 2017.
Rodolphe Lepigre, Semantics and Implementation of an Extension of ML for Proving Programs: Université de Savoie, France, 18 July 2017.
Jesper Cockx, Dependent pattern matching and proof-relevant unification: KU Leuven, Belgium, 17 May 2017.
Jesper's thesis won a distinction (congratulations of the jury) from KU Leuven given to at most the top 5% PhD theses. He further won the 2017/18 EAPLS Best PhD Dissertation Award.

2009 - 2016

Guilhem Moulin, Internalizing Parametricity: Chalmers University of Technology, Sweden, May 2016 (substitute member).
Ronan Saillard, Type Checking in the λΠ-Calculus Modulo: Theory and Practice: École des Mines de Paris (MINES ParisTech), France, September 2015(rapporteur).
Jorge Sacchini, On Type-Based Termination and Dependent Pattern Matching in the Calculus of Inductive Constructions: École des Mines de Paris (MINES ParisTech), France, June 2011.
Cody Roux, Type Based Termination: Semantics and Generalisations: LORIA, Nancy, France, June 2011.
Johan Granström, Reference and Computation in Intuitionistic Type Theory: Uppsala University, Sweden, Jan 2009.

PhD student follow up

I am external member of the follow-up groups of these PhD students:

Theo Winterhalter, Nantes University, France: Supervised by Nicolas Tabareau.
David Thibodeau, McGill University, Canada: Supervised by Brigitte Pientka.

Andreas Abel, http://www.cse.chalmers.se/~abela
Last modified: 2019-01-24 17:06>