| No. |
Title |
Author |
Year |
| 1 |
Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402) |
Kirchner, Claude et al. |
2022 |
| 2 |
Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143) |
Comon, Hubert et al. |
2021 |
| 3 |
Engineering Academic Software (Dagstuhl Perspectives Workshop 16252) |
Allen, Alice et al. |
2017 |
| 4 |
Engineering Academic Software (Dagstuhl Perspectives Workshop 16252) |
Goble, Carole et al. |
2016 |
| 5 |
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112) |
Dillenbourg, Pierre et al. |
2014 |
| 6 |
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112) |
Dillenbourg, Pierre et al. |
2014 |
| 7 |
Rho-Calculi for Computation and Logic (Invited Talk) |
Kirchner, Claude |
2012 |
| 8 |
Formal Validation of Pattern Matching code |
Kirchner, Claude et al. |
2006 |
