Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year

Pascal Fontaine and Thomas Sturm, together with Erika Abraham (RWTH Aachen) and Dongming Wang (Beihang University, Beijing) organized the Dagstuhl Seminar 15471 in November 2015, on the subject of Symbolic Computation and Satisfiability Checking, bringing together two communities on subjects that are particularly relevant for our team.

Jasmin Blanchette and Christoph Weidenbach, together with Nikolaj Bjørner (Microsoft) and Viorica Sofronie-Stokkermans (University of Koblenz-Landau) organized the Dagstuhl Seminar 15381 in September 2015, on the subject of Information from Deduction: Models and Proofs. That seminar focused on added value of deduction tools beyond a yes/no answer, in particular certificates of (un)satisfiability.

We have made considerable progresses with the symbolic analysis of reaction networks. Within this interdisciplinary project, our methods have been accepted at the leading conference in symbolic computation [33] , and our results with those methods have been published in a renowned journal in the natural sciences [17] .