[Haskell] PPDP 2017: Call For Papers

2017-03-31 Thread Brigitte Pientka
/conferences/?conf=ppdp2017 PROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR Brigitte Pientka (McGill University) PROGRAM COMMITTEE Andreas Abel (Gothenburg University) Nadia Amin (EPFL) Zena M. Ariola (University

[Haskell] PPDP 2017: ** REVISED PAPER DEADLINE 26 May **

2017-05-16 Thread Brigitte Pientka
nce. Papers must be submitted via easychair. The submission site is at https://easychair.org/conferences/?conf=ppdp2017 <https://easychair.org/conferences/?conf=ppdp2017> PROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR

[Haskell] CFP : CPP 2024 -- Certified Proofs and Programs

2023-07-06 Thread Brigitte Pientka
ght-policy>) and Author Rights (http://authors.acm.org/main.html <http://authors.acm.org/main.html>). Sandrine Blazy, University of Rennes, France (co-chair) Brigitte Pientka, McGill University, Canada (co-chair) ORGANIZERS Amin Timany, Aarhus University, Denmark (conference co-chai