The Department of Computer Science (www.inf.ethz.ch) at ETH Zurich invites applications for an assistant professorship (tenure track) in computer science with focus on Theoretical Computer [...]
Oxford, 13th to 16th January 2025 From 13th to 16th January 2025, the 26th International Symposium on Trends in Functional Programming took place in [...]
26th International Symposium on Trends in Functional Programming 13th to 16th January 2025, Oxford, UK The symposium on Trends in Functional Programming (TFP) is an [...]
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak. In Proc. 26th European Conference on Artificial Intelligence (ECAI 2023), pp. [...]
Nicolas Berthier and Narges Khakpour. In the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2023), 66-90. 2023.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak. In Proc. Thirty-Eighth Conference on Artificial Intelligence (AAAI 2024), pp. 21125–21133. 2024.
Daniele Dell’Erba, Yong Li, Sven Schewe. In Proceedings of the 37th International Symposium on Formal Methods (FM 2024), pp. 48–66. 2024.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak. In Proc. Thirty-Eighth Conference on Artificial Intelligence (AAAI 2024), pp. 21125–21133. 2024.
Narges Khakpour, David Parker. 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024). 2024.
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke. History-deterministic Timed Automata. 2024. In Logical Methods in Computer Science, 20(4:1). 2024.
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with 
by Envious Digital
