| No. |
Title |
Author |
Year |
| 1 |
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381) |
Bjorner, Nikolaj S. et al. |
2016 |
| 2 |
Formal Foundations for Networking (Dagstuhl Seminar 15071) |
Bjorner, Nikolaj et al. |
2015 |
| 3 |
Deduction and Arithmetic (Dagstuhl Seminar 13411) |
Bjorner, Nikolaj et al. |
2014 |
| 4 |
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) |
Bjorner, Nikolaj et al. |
2013 |
| 5 |
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272) |
Bjorner, Nikolaj et al. |
2011 |
| 6 |
10161 Abstracts Collection -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
| 7 |
10161 Executive Summary -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
