VyZX : Formal Verification of a Graphical Language (Extended version)
Talk, UCSC LSD Seminar x UChicago PLRG, Zoom
Presented at University of California Santa Cruz LSD Seminar and UChicago Programming Languages Reading Group.
Talk, UCSC LSD Seminar x UChicago PLRG, Zoom
Presented at University of California Santa Cruz LSD Seminar and UChicago Programming Languages Reading Group.
Talk, Midwest Programming Languages Summit (MWPLS) 2023, Ann Arbor, MI, United States
Presented at Midwest Programming Languages Summit (MWPLS) 2023
Talk, Quantum Physics and Logic 2022, Oxford, United Kingdom
Presenting our pre-print paper on VyZX in Tool session at Quantum Physics and Logic 2022, Oxford, United Kingdom. You can find the recording on YouTube.