Die nebenläufige Programmierung hat in den letzten zehn Jahren an Popularität gewonnen. Jede Sprache und Plattform stellt entsprechende Primitive bereit, deren effiziente Nutzung mit zunehmender Systemkomplexität immer schwieriger wird – als Beispiele seien hier schwache Speichermodelle oder NUMA-Architekturen genannt. In der Praxis sind verschiedene wichtige Fragen zu beantworten. Wie können wir effiziente nebenläufige Algorithmen entwickeln? Was ist der beste Kompromiss zwischen Fortschrittsgarantien, Effizienz und Fairness? Wie können wir alle diese Algorithmen auf Korrektheit prüfen? Wie können wir ihre Leistung bewerten? Während einige der Fragen in der akademischen Forschung bereits teilweise beantwortet wurden, bleiben viele praktische Probleme bestehen. Unser Ziel ist es, diese Fragen zu beantworten, indem wir praktisch umsetzbare und theoretisch sinnvolle Lösungen im Verbund mit qualitativ hochwertigen Hilfsmitteln bereitstellen, die anderen Forschenden und Entwickelnden im Bereich der Nebenläufigkeit eine Hilfe sein können.