Annual Report 2024/2025
VeTSS Annual Report, 2026
VeTSS Annual Report, 2026
We concluded the VeTSS Annual Conference 2026 on 12th May – a one-day meeting packed with long and short talks, lively discussion, and a [...]
Guillaume Ambal, Ori Lahav, and Azalea Raad. European Symposium on Programming (ESOP), 2025.
Hugo Gimbert, Soumyajit Paul, and B. Srivathsan. Proceeding of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025.
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, and Pian Yu. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025), 2025.
Yong Li, Soumyajit Paul, Sven Schewe, and Qiyi Tang. Proceedings of the 37th International Conference on Computer Aided Verification (CAV 2025), 2025.
Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, and Tansholpan Zhanabekova. Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF [...]
León Bohn, Yong Li, Christof Löding, and Sven Schewe. Proceedings of the 52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2025), pp. 146:1-19, [...]
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, and Di-De Yen. Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), 2025.
Wanrong Yang and Dominik Wojtczak. Volume 413: ECAI 2025.
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with
by Envious Digital