Société
février 2017

Nouveaux locaux parisiens

Afin d’accompagner sa croissance en Île de France, Systerel emménage dans de nouveaux locaux significativement plus spacieux et entièrement rénovés.

Conférences
novembre 2016

Séminaire à Shonan

Systerel est invitée à un séminaire de recherche au Japon sur la thématique du projet IMPEX : Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.

Conférences
novembre 2016

Event-B Day

Systerel a participé à la journée Event-B organisée par le NII (National Institute of Informatics) le 21 novembre à Tokyo.

Conférences
septembre 2016

International Workshop FMICS-AVoCS

Systerel participe au workshop commun FMICS et AVoCS du 26 au 28 septembre à Pise.
FMICS : Formal Methods for Industrial Critical Systems
AVoCS : Automated Verification of Critical Systems