Skip to content

Commit

Permalink
Update cv.md
Browse files Browse the repository at this point in the history
  • Loading branch information
ondrik committed Oct 24, 2024
1 parent c717159 commit 026b69a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions _pages/cv.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,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:
* [SPIN'25](https://spin-web.github.io/SPIN2025/)
* [PhD-iFM'24](https://ifm2024.cs.manchester.ac.uk/phd-symposium.html)
* [VECoS'24](https://www.vecos-world.org/2024/)
* [FMCAD'24 Student Forum](https://fmcad.org/FMCAD24/student_forum/)
Expand Down

0 comments on commit 026b69a

Please sign in to comment.