Professional Service

Conference PC Memberships

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

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.

 


[ Home | CV | Projects | Publications | Talks | Teaching | Sharing ]

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