Systerel participe du 15 au 20 novembre prochains au séminaire Dagstuhl 15471 consacré à la fertilisation croisée entre calcul symbolique et vérification de satisfiabilité.