20. – 22. Oktober 2021, Event 21423

Retreat Software Science


Nils Jansen (Radboud University Nijmegen, NL)

Auskunft zu diesem Event erteilt

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

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.