October 20 – 22 , 2021, Event 21423

Retreat Software Science


Nils Jansen (Radboud University Nijmegen, NL)

For support, please contact

Heike Clemens


The retreat of the Software Science (SWS) Department within the Institute of Computing and Information Sciences at Radboud University, Nijmegen, aims at fostering and substantiating the collaboration within the group. In particular, new challenges will be discussed that may take the shape of exciting new research projects in the next year.

The mission of SWS is to do top research on the use of models for design and analysis of software, bridging the gap between theory and applications. Software has shaped every aspect of our modern lives, including our work, our communication, our social life, our transportation, our financial systems, our healthcare, and even our food production. Ensuring that software is correct and secure, and can be adapted to our needs, is both a major scientific challenge and an enterprise with enormous societal relevance. How can we be sure that large computer programs are correct, efficient and secure? What does correctness mean anyway? Can we define programming languages in which it is easy to describe certain complex tasks, and have a computer perform these tasks efficiently? Software science aims to address these questions.

Motivation text license
  Creative Commons BY 3.0 DE
  Nils Jansen, Frits Vaandrager


  • Cs.SE - Software Engineering
  • Cs. AI - Artificial Intelligence

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.