Skip to content

Commit

Permalink
Merge pull request #279 from CPP-Conf/master
Browse files Browse the repository at this point in the history
Incoming chairs for CPP 2026
  • Loading branch information
sampsyo authored Dec 27, 2024
2 parents 6dd5e58 + f7ca067 commit 8faff9e
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions Conferences/CPP.md
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,11 @@ Certified Programs and Proofs (CPP) is an international conference on practical
---
**[CPP Conferences](https://popl25.sigplan.org/series/CPP)**

* CPP 2026
+ PC Chairs: [Nicolas Tabareau](https://tabareau.fr/)
and [Nikhil Swamy](https://www.microsoft.com/en-us/research/people/nswamy)
+ Conference Chairs: [Kathrin Stark](https://researchportal.hw.ac.uk/en/persons/kathrin-stark)
and [Yannick Zakowski](https://perso.ens-lyon.fr/yannick.zakowski)
* [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/)
Expand Down

0 comments on commit 8faff9e

Please sign in to comment.