Research Meeting 24016
Semantics of Software Systems
( Jan 02 – Jan 05, 2024 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/24016
Organizer
- Andreas Zeller (CISPA - Saarbrücken, DE)
Contact
- Heike Clemens (for administrative matters)
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
Classification
- Software Engineering
- Machine Learning
- Formal Languages and Automata Theory
