From 1485e5beeee28c2a6e6cf811176667b833b069be Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= <ondra.lengal@gmail.com>
Date: Mon, 8 Dec 2025 15:22:35 +0100
Subject: [PATCH] Update publications.md

---
 _pages/publications.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/_pages/publications.md b/_pages/publications.md
index abed7ebcf8b1..589b11957def 100644
--- a/_pages/publications.md
+++ b/_pages/publications.md
@@ -4,6 +4,16 @@ published: true
 title: Publications
 classes: wide
 ---
+# 2026
+
+P. A. Abdulla, Y. Chen, M. Hecko, L. Holik, O. Lengal, J. Lin, R. S. Thinniyam.
+[Parameterized Verification of Quantum Circuits](https://doi.org/10.1145/3776712).
+In *53rd ACM SIGPLAN Symposium on Principles of Programming Languages* --- [POPL'26](https://popl26.sigplan.org/), PACMPL 10 (70),
+Rennes, France,
+pages XXX--XXX, 2026.
+ACM.
+A preliminary version is available [here](https://github.com/ondrik/ondrik.github.io/raw/master/publications/XXXXXXXXX).
+
 # 2025
 
 * L. Holik, O. Lengal, J. Major, A. Stepkova, and J. Strejcek.