Hardware Security Training Roadshow
Hardware Security Training Roadshow Interested in attending a 2-day training course on Hardware Security & Pen testing with renowned trainer Joseph FitzPatrick? The UK Research Institute [...]
About vetsseditor2
This author has not yet filled in any details.So far vetsseditor2 has created 30 blog entries.
Annual Report 2023/2024
VeTSS 2025
Vacancy: Assistant Professor (Tenure Track) of Theoretical Computer Science
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 [...]
26th International Symposium on Trends in Functional Programming
Oxford, 13th to 16th January 2025 From 13th to 16th January 2025, the 26th International Symposium on Trends in Functional Programming took place in [...]
TFP (and TFPiE) 2025 and Conference Opportunity for PhD Students and ECR
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 [...]
Omega-Regular Reward Machines.
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. [...]
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference.
Nicolas Berthier and Narges Khakpour. In the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2023), 66-90. 2023.
Omega-Regular Decision Processes.
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.
Mining minimal separating DFAs from labelled samples.
Daniele Dell’Erba, Yong Li, Sven Schewe. In Proceedings of the 37th International Symposium on Formal Methods (FM 2024), pp. 48–66. 2024.
Omega-Regular Decision Processes.
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.
by