UU |
Dept. of Computer Systems |
Research |
Education |
Information |
Staff |
Students
Formal Methods and Software Technology
Conferences 2024
January 2024
-
VMCAI 2024
25th International Conference on Verification, Model Checking, and
Abstract Interpretation,
17-19 January 2024, London, UK
-
POPL 2024
The 51st Annual
ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages.
17-19 January 2024, London, UK