| No. |
Title |
Author |
Year |
| 1 |
Can Formal Methods Cope with Software-Intensive Systems? (Dagstuhl Seminar 01221) |
Jähnichen, Stefan et al. |
2021 |
| 2 |
Logic for System Engineering (Dagstuhl Seminar 9710) |
Jähnichen, Stefan et al. |
2021 |
| 3 |
Logical Theory for Program Construction (Dagstuhl Seminar 9109) |
Finance, Jean-Pierre et al. |
2021 |
| 4 |
Logical Theory for Program Construction (Dagstuhl Seminar 9410) |
Finance, Jean-Pierre et al. |
2021 |
| 5 |
Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451) |
Jähnichen, Stephan et al. |
2021 |
| 6 |
Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411) |
Ehrig, Hartmut et al. |
2021 |
| 7 |
Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281) |
Ehrig, Hartmut et al. |
2021 |
| 8 |
Specification and Semantics (Dagstuhl Seminar 9321) |
Ehrig, Hartmut et al. |
2021 |
| 9 |
Specification and Semantics (Dagstuhl Seminar 9628) |
Ehrig, Hartmut et al. |
2021 |
| 10 |
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512) |
Hillston, Jane et al. |
2015 |
| 11 |
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112) |
Dillenbourg, Pierre et al. |
2014 |
| 12 |
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112) |
Dillenbourg, Pierre et al. |
2014 |
| 13 |
07061 Abstracts Collection -- Autonomous and Adaptive Web Services |
Koehler, Jana et al. |
2007 |
| 14 |
05081 Abstracts Collection -- Foundations of Global Computing |
Fiadeiro, José Luiz et al. |
2006 |
