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 |