From 381337a05f0f31d33a6d7558a32e94fef7137445 Mon Sep 17 00:00:00 2001 From: Catalin Hritcu Date: Fri, 22 Nov 2024 16:25:17 +0100 Subject: [PATCH] Update CPP.md to add Nicolas Tabareau and Kathrin Stark to SC --- Conferences/CPP.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Conferences/CPP.md b/Conferences/CPP.md index cf6f615..81963c3 100644 --- a/Conferences/CPP.md +++ b/Conferences/CPP.md @@ -16,6 +16,8 @@ Certified Programs and Proofs (CPP) is an international conference on practical * [Tobias Nipkow](https://www21.in.tum.de/~nipkow/), Technische Universität München, Germany * [Brigitte Pientka](https://www.cs.mcgill.ca/~bpientka/), McGill University, Canada * [Zhong Shao](http://www.cs.yale.edu/homes/shao/), Yale University, USA +* [Kathrin Stark](http://www.k-stark.de/), Heriot-Watt University, UK +* [Nicolas Tabareau](http://tabareau.fr/), Inria, Nantes, France * [Amin Timany](https://cs.au.dk/~timany/), Aarhus University, Denmark * [Dmitriy Traytel](https://traytel.bitbucket.io), University of Copenhagen, Denmark * [Steve Zdancewic](https://www.cis.upenn.edu/~stevez/), University of Pennsylvania, USA