Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Research Meeting 24016

Semantics of Software Systems

( Jan 02 – Jan 05, 2024 )

Please use the following short url to reference this page:




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.

Copyright Andreas Zeller

  • Software Engineering
  • Machine Learning
  • Formal Languages and Automata Theory