| No. |
Title |
Author |
Year |
| 1 |
Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171) |
Kapur, Deepak et al. |
2021 |
| 2 |
Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639) |
Decker, Hendrik et al. |
2021 |
| 3 |
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272) |
Bjorner, Nikolaj et al. |
2011 |
| 4 |
10161 Abstracts Collection -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
| 5 |
10161 Executive Summary -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
| 6 |
05431 Abstracts Collection -- Deduction and Applications |
Baader, Franz et al. |
2006 |
| 7 |
05431 Executive Summary -- Deduction and Applications |
Baader, Franz et al. |
2006 |
