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),
TYPES 2014
20th International Conference on Types for Proofs and Programs
TYPES 2014, Paris, France, 12-15 May 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
PEPM 2015
Workshop on Partial Evaluation and Program Manipulation, 13-14 January 2015, Mumbai, India.
Affiliated with POPL 2015.
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.

 


[ Home | CV | Professional Service | Projects | Publications | Talks | Teaching | Supervision ]

Valid HTML 4.01! Andreas Abel, http://www.cse.chalmers.se/~abela
Last modified: 2019-01-29 20:02>
Valid CSS!