From 6a756cad443a167e56bc7d34d828a7c2401f98e6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= Date: Mon, 29 Jan 2024 09:45:00 +0100 Subject: [PATCH] Update cv.md --- _pages/cv.md | 1 + 1 file changed, 1 insertion(+) diff --git a/_pages/cv.md b/_pages/cv.md index 3e55ee8befec..05f991360309 100644 --- a/_pages/cv.md +++ b/_pages/cv.md @@ -17,6 +17,7 @@ toc: true * [ATVA'19](http://atva2019.iis.sinica.edu.tw/) Artifact Evaluation chair * [TACAS'19](https://conf.researchr.org/track/etaps-2019/tacas-2019-papers) Artifact Evaluation co-chair (together with [Ernst Moritz Hahn](http://iscasmc.ios.ac.cn/?page_id=71)) * Program committees: + * [PAAR'24](https://paar2024.github.io/) * [SPIN'24](https://spin-web.github.io/SPIN2024/) * [DATE'24](https://www.date-conference.com/tpc) * [PhD-iFM'23](https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/phd.html)