diff --git a/Conferences/CPP.md b/Conferences/CPP.md index d4bd0b9..cf6f615 100644 --- a/Conferences/CPP.md +++ b/Conferences/CPP.md @@ -26,13 +26,12 @@ Certified Programs and Proofs (CPP) is an international conference on practical * [Lennart Beringer](https://www.cs.princeton.edu/~eberinge/), Princeton University, USA * [Jasmin Blanchette](https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html), Ludwig-Maximilians-Universität München, Germany * [Assia Mahboubi](https://people.rennes.inria.fr/Assia.Mahboubi/), Inria, France and Vrije Universiteit Amsterdam, Netherlands -* [Magnus Myreen](https://www.cse.chalmers.se/~myreen/), Chalmers University of Technology, Sweden +* [Magnus O. Myreen](https://www.cse.chalmers.se/~myreen/), Chalmers University of Technology, Sweden * [June Andronick](https://proofcraft.systems/), Proofcraft and UNSW Sydney, Australia * [Amy Felty](https://www.site.uottawa.ca/~afelty/), University of Ottawa, Canada * [Yves Bertot](https://www-sop.inria.fr/members/Yves.Bertot/research.html), Inria, France * [Viktor Vafeiadis](https://people.mpi-sws.org/~viktor/), MPI-SWS, Germany * [Jeremy Avigad](https://www.andrew.cmu.edu/user/avigad/), Carnegie Mellon University, USA -* [Adam Chlipala](http://adam.chlipala.net), MIT, USA * [Xavier Leroy](https://xavierleroy.org), Collège de France, PSL University, France * [Alwen Tiu](http://users.cecs.anu.edu.au/~tiu/), Australian National University, Australia * [Michael Norrish](https://comp.anu.edu.au/people/michael-norrish/), Australian National University, Australia @@ -43,23 +42,62 @@ Certified Programs and Proofs (CPP) is an international conference on practical * [John Harrison](https://www.cl.cam.ac.uk/~jrh13/), Amazon Web Services, USA --- -**Previous CPP Conferences** +**[CPP Conferences](https://popl25.sigplan.org/series/CPP)** +* [CPP 2025](https://popl25.sigplan.org/home/CPP-2025), Denver, Colorado, USA, January 20-21, 2025 (co-located with POPL’25) + + PC Chairs: [Sandrine Blazy](https://people.irisa.fr/Sandrine.Blazy/) + and [Nicolas Tabareau](https://tabareau.fr/) + + Conference Chairs: [Amin Timany](https://cs.au.dk/~timany/) + and [Kathrin Stark](https://researchportal.hw.ac.uk/en/persons/kathrin-stark) * [CPP 2024](https://popl24.sigplan.org/home/CPP-2024), London, UK, January 15-16, 2024 (co-located with POPL’24) + + PC Chairs: [Brigitte Pientka](https://www.cs.mcgill.ca/~bpientka/) + and [Sandrine Blazy](https://people.irisa.fr/Sandrine.Blazy/) + + Conference Chairs: [Dmitriy Traytel](https://traytel.bitbucket.io) + and [Amin Timany](https://cs.au.dk/~timany/) * [CPP 2023](https://popl23.sigplan.org/home/CPP-2023), Boston, USA, January 16-17, 2023 (co-located with POPL’23) + + PC Chairs: [Steve Zdancewic](https://www.cis.upenn.edu/~stevez/) + and [Brigitte Pientka](https://www.cs.mcgill.ca/~bpientka/) + + Conference Chairs: [Robbert Krebbers](https://robbertkrebbers.nl) + and [Dmitriy Traytel](https://traytel.bitbucket.io) * [CPP 2022](https://popl22.sigplan.org/home/CPP-2022), Philadelphia, USA, January 17-18, 2022 (co-located with POPL’22) + + PC Chairs: [Andrei Popescu](https://www.andreipopescu.uk) + and [Steve Zdancewic](https://www.cis.upenn.edu/~stevez/) + + Conference Chairs: [Lennart Beringer](https://www.cs.princeton.edu/~eberinge/) + and [Robbert Krebbers](https://robbertkrebbers.nl) * [CPP 2021](https://popl21.sigplan.org/home/CPP-2021), Online, January 17-19, 2021 (co-located with POPL’21) + + PC Chairs: [Cătălin Hriţcu](https://catalin-hritcu.github.io) + and [Andrei Popescu](https://www.andreipopescu.uk) + + Conference Chairs: [Cătălin Hriţcu](https://catalin-hritcu.github.io) + and [Lennart Beringer](https://www.cs.princeton.edu/~eberinge/) * [CPP 2020](https://popl20.sigplan.org/home/CPP-2020), New Orleans, USA, January 20-21, 2020 (co-located with POPL’20) + + PC Chairs: [Jasmin Blanchette](https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html) + and [Cătălin Hriţcu](https://catalin-hritcu.github.io) * [CPP 2019](https://popl19.sigplan.org/track/CPP-2019), Cascais/Lisbon, Portugal, January 14-15, 2019 (co-located with POPL’19) + + PC Chairs: [Assia Mahboubi](https://people.rennes.inria.fr/Assia.Mahboubi/) + and [Magnus O. Myreen](https://www.cse.chalmers.se/~myreen/) * [CPP 2018](https://popl18.sigplan.org/track/CPP-2018), Los Angeles, USA, January 8-9, 2018 (co-located with POPL’18) + + PC Chairs: [June Andronick](https://proofcraft.systems/) + and [Amy Felty](https://www.site.uottawa.ca/~afelty/) * [CPP 2017](https://cpp2017.mpi-sws.org), Paris, France, January 16-17, 2017 (co-located with POPL’17) + + PC Chairs: [Yves Bertot](https://www-sop.inria.fr/members/Yves.Bertot/research.html) + and [Viktor Vafeiadis](https://people.mpi-sws.org/~viktor/) * [CPP 2016](https://people.csail.mit.edu/adamc/cpp16/), Saint Petersburg, Florida, USA, January 18-19, 2016 (co-located with POPL’16) + + PC Chairs: [Jeremy Avigad](https://www.andrew.cmu.edu/user/avigad/) + and [Adam Chlipala](http://adam.chlipala.net) * [CPP 2015](http://cpp2015.inria.fr), Mumbai, India, January 13-14, 2015 (co-located with POPL’15) + + PC Chairs: [Xavier Leroy](https://xavierleroy.org) + and [Alwen Tiu](http://users.cecs.anu.edu.au/~tiu/) * [CPP 2013](https://dblp2.uni-trier.de/db/conf/cpp/cpp2013.html), Melbourne, Australia, December 11-13, 2013 (co-located with APLAS’13) + + PC Chairs: [Georges Gonthier](https://scholar.google.co.uk/citations?user=cbtN84wAAAAJ&hl=en) + [Michael Norrish](https://comp.anu.edu.au/people/michael-norrish/) * [CPP 2012](http://cpp12.kuis.kyoto-u.ac.jp), Kyoto, Japan, December 13-15, 2012 (collocation with APLAS’12) + + PC Chairs: [Chris Hawblitzel](https://www.microsoft.com/en-us/research/people/chrishaw/) + and [Dale Miller](http://www.lix.polytechnique.fr/Labo/Dale.Miller/) * [CPP 2011](https://dblp.uni-trier.de/db/conf/cpp/cpp2011.html), Kenting, Taiwan, December 7-9, 2011 (co-located with APLAS’11) + + PC Chairs: [Jean-Pierre Jouannaud](https://www.lix.polytechnique.fr/Labo/Jean-Pierre.Jouannaud/) + and [Zhong Shao](http://www.cs.yale.edu/homes/shao/) -The official **CPP proceedings** since 2015 are publicly available via [SIGPLAN OpenTOC](http://www.sigplan.org/OpenTOC/#cpp). +The official **CPP proceedings** since 2015 are publicly available via [SIGPLAN OpenTOC](http://www.sigplan.org/OpenTOC/#cpp). A list of CPP PC members is [available here](https://docs.google.com/document/d/12PxztLFhpGxlb0ebdhVPR5rQci12N8f_7b-xbykkn6U/edit?usp=sharing). --- **Given Distinguished Paper Awards** @@ -79,7 +117,7 @@ The official **CPP proceedings** since 2015 are publicly available via [SIGPLAN **Given Amazing Reviewer Awards** -* CPP 2023: [Théo Winterhalter](https://theowinterhalter.github.io), Inria, France +* CPP 2024: [Théo Winterhalter](https://theowinterhalter.github.io), Inria, France * CPP 2023: [Anja Petković Komel](https://anjapetkovic.com), TU Wien, Austria * CPP 2022: [Armaël Guéneau](http://cambium.inria.fr/~agueneau/), Inria, France * CPP 2021: [Kathrin Stark](https://www.k-stark.de), Heriot-Watt University, UK