From f7ca067c9df4e055ab5931fae9ab19fd04c14f2d Mon Sep 17 00:00:00 2001 From: Catalin Hritcu Date: Thu, 26 Dec 2024 16:48:49 +0100 Subject: [PATCH] Incoming chairs for CPP 2026 --- Conferences/CPP.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Conferences/CPP.md b/Conferences/CPP.md index 81963c3..ebc708d 100644 --- a/Conferences/CPP.md +++ b/Conferences/CPP.md @@ -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/)