Forschungstreffen 24016
Semantics of Software Systems
( 02. Jan – 05. Jan, 2024 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/24016
Organisator
- Andreas Zeller (CISPA - Saarbrücken, DE)
Kontakt
- Heike Clemens (für administrative Fragen)
In this meeting, we explore tools and techniques that help developers build better software — by automatically testing, analyzing, and debugging its code and its development process. Our techniques focus on language-based techniques that parse, analyze, and produce software interactions, ensuring validity at semantic, syntactic, and lexical levels. This meeting also serves as kick-off event for the S3 ERC project.
Creative Commons BY 4.0
Andreas Zeller
Klassifikation
- Software Engineering
- Machine Learning
- Formal Languages and Automata Theory
