Dagstuhl Seminar 25421
Sound Static Program Analysis in Modern Software Engineering
( Oct 12 – Oct 17, 2025 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/25421
Organizers
- Pietro Ferrara (University of Venice, IT)
- Liana Hadarean (Amazon Web Services - Seattle, US)
- Jorge Navas (Certora - Tel Aviv, IL)
- Caterina Urban (INRIA - Paris, FR)
Contact
- Andreas Dolzmann (for scientific matters)
- Susanne Bach-Bernhard (for administrative matters)
Related Seminars
- Dagstuhl Seminar 23281: Theoretical Advances and Emerging Applications in Abstract Interpretation (2023-07-09 - 2023-07-14) (Details)
Classification
- Logic in Computer Science
- Programming Languages
- Software Engineering
Keywords
- Static Program Analysis
- Abstract Interpretation
- Program Verification