Dagstuhl-Seminar 25421
Sound Static Program Analysis in Modern Software Engineering
( 12. Oct – 17. Oct, 2025 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/25421
Organisatoren
- Pietro Ferrara (University of Venice, IT)
- Liana Hadarean (Amazon Web Services - Seattle, US)
- Jorge Navas (Certora - Tel Aviv, IL)
- Caterina Urban (INRIA - Paris, FR)
Kontakt
- Andreas Dolzmann (für wissenschaftliche Fragen)
- Susanne Bach-Bernhard (für administrative Fragen)
Verwandte Seminare
- Dagstuhl-Seminar 23281: Theoretical Advances and Emerging Applications in Abstract Interpretation (2023-07-09 - 2023-07-14) (Details)
Klassifikation
- Logic in Computer Science
- Programming Languages
- Software Engineering
Schlagworte
- Static Program Analysis
- Abstract Interpretation
- Program Verification