Computer systems are ubiquitous in our daily life. They can be found in our private environment and in commercial systems such as industrial plants or server farms. Others are embedded into vehicles and medical devices, or control important infrastructure for communication, power supply, traffic, etc. Since we entrust these systems our personal sensitive data and sometimes also our lives, they have to be absolutely dependable under any circumstance and in every possible situation.

The Frühjahrstreffen (Spring Meeting) of the GI Special Interest Group "Operating Systems" as well as the Winter School on Operating Systems (WSOS) address the influence of software on the dependability of computer systems. We invite you to submit your work on dependable software, especially (but not only) on the following topics:

• OS Architectures for single- and multi-core
  (concepts, design, implementation, etc.)
• Dependability in general
  (real-time, safety, security, maintenance)
• System Software Design
  (fault-tolerance, error handling, programming paradigms, virtualization etc.)
• Formal methods
  (verification, validation, etc.)
• Dependable Communication and I/O
• Tooling for Dependable Systems
• Dependability in Application Domains
  (IoT, CPS, Automotive, Avionics, Rail, Space, Medicine, etc.)