From 907457f4fe3a37430cae83da29c97ad76e8e01b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= Date: Wed, 2 Nov 2022 09:31:49 +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 fa6fb63a7fab..eaea6715e685 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: + * [ATVA'23](https://XXXXXXXX) \[add link\] * [APLAS'22](https://2022.splashcon.org/home/aplas-2022) * [EXPRESS/SOS'22](https://express-sos2022.github.io/) * [VECoS'22](http://vecos-world.org/2022/)