Salons – Conférences

Novembre 2019

OPC Day France

Les experts OPC UA de Systerel seront présents à l’OPC Day France du 15 novembre prochain.

Octobre 2019

Open Source Summit Europe 2019

Paris Open Source Summit : Systerel y participe et présentera avec l’ANSSI, son implémentation OPC UA open-source cybersécurisée : Safe and Secure OPC (S2OPC).

Produits, Salons - Conférences

Septembre 2019

Cybersécurité des systèmes industriels 2019

Systerel participera à la 5ème journée technique sur le thème de la Cybersécurité des Systèmes Industriels organisée par l’Exera le 26 septembre prochain à la maison de la RATP Paris.

Juin 2019

Conférence Ada-Europe 2019

Systerel est partenaire de la 24ème conférence « International Conference on Reliable Software Technologies » organisée par Ada-Europe qui se tient actuellement à Varsovie.

Mai 2019

RSSR 2019

Systerel participera à la conférence internationale RSSR (Reliability, Safety and Security of Railway Systems) à Lille du 4 au 6 juin prochains.

Avril 2019

Systerel sera présente au salon SIDO à Lyon les 10 et 11 avril prochains sur le stand de la fondation OPC. Cet événement dédié à l’IoT, l’intelligence artificielle et la robotique réunit près de 450 exposants.

Produits, Salons - Conférences

Mars 2019

Smart Industries 2019

Systerel sera présente à Smart Industries, salon de l’industrie connectée, à Lyon du 5 au 8 mars prochains sur le stand de la fondation OPC.

Salons - Conférences

Février 2019

Embedded World 2019

Systerel participera au salon Embedded World à Nuremberg du 26 au 28 février.

Salons - Conférences

Octobre 2018

Smart Metro 2018

Systerel participera au congrès Smart Metro à Paris du 29 au 31 octobre prochains pour présenter son offre en matière de sécurité des systèmes critiques.

Salons - Conférences

Octobre 2018

Maîtrise des risques et transformation numérique

Systerel interviendra au cours de la 21ème conférence Lambda Mu avec une présentation : « Vers une implémentation sûre et cyber-sécurisée du protocole OPC-UA » qui abordera la problématique safety/security dans le cadre de certifications.

Salons - Conférences

Septembre 2018

Cybersécurité des systèmes industriels

Systerel participera à la journée technique sur le thème de la Cybersécurité des systèmes industriels organisée par l’Exera le 27 septembre prochain à Paris.

Salons - Conférences

Juillet 2018

InnoTrans 2018

Systerel à InnoTrans : venez nous rencontrer sur notre stand 210F2 dans le hall 11.2 et profitez de l’expertise de nos équipes sur place !

Salons - Conférences

JUIN 2018

OPC Day Europe 2018

OPC Day Europe le 21 juin à Munich, Systerel y sera ! Cet événement qui réunit les experts OPC-UA est l’occasion d’échanger sur les dernières évolutions du standard OPC-UA.

Salons - Conférences

JUIN 2018

Workshop « Sound Static Analysis for Security »

Systerel interviendra les 27 et 28 juin prochains lors du workshop « Sound Static Analysis for Security » au NIST (National Institute of Standards and Technology) dans le Maryland (USA).

Salons - Conférences

MAI 2018

Ada Europe 2018

Systerel est, encore une fois, partenaire de la 23ème conférence Ada Europe : « International Conference on Reliable Software Technologies » qui se tiendra à Lisbonne du 18 au 22 juin prochains.

Salons - Conférences

avril 2018

Conférence internationale ABZ 2018

Systerel, acteur de référence depuis plus de 15 ans dans la mise en œuvre industrielle des techniques formelles, participera à la 6ème Conférence internationale ABZ à Southampton (UK) du 5 au 8 juin.

Salons - Conférences

Février 2018

Journées cyber-sécurité ISA France

Systerel a participé au dernier séminaire ISA-France (International Society of Automation) les 30 et 31 janvier derniers à Grenoble.
L’intervention de Systerel a permis d’exposer la problématique safety/security dans le cadre de l’IIOT à travers la présentation de sa solution Safe & Secure OPC, implémentation libre et sécurisée du protocole OPC-UA.

Méthodes Formelles, Salons - Conférences

octobre 2017

RSSR (Reliability, Safety and Security of Railway Systems)

Systerel participera à la conférence RSSR à Pistoia (Italie) du 13 au 16 novembre prochains.
Systerel interviendra ainsi en amont de la conférence à travers un tutoriel sur les activités liées à la construction, l’utilisation et la certification d’une solution de vérification formelle de la sécurité d’un système d’enclenchement ferroviaire.

Méthodes Formelles, Salons - Conférences

septembre 2017

Véhicules autonomes et méthodes formelles

Systerel, membre du comité de programme FMF, vous informe que la prochaine conférence aura lieu le 10 octobre prochain sur le thème « véhicules autonomes et méthodes formelles ».

Méthodes Formelles, Salons - Conférences

avril 2017

SC2 “Satisfiability Checking and Symbolic Computation”

Systerel est associée à l’action de soutien et de coordination SC2 “Satisfiability Checking and Symbolic Computation”.

Salons - Conférences

Février 2017

Embedded World

Systerel participera au salon Embedded World à Nuremberg du 14 au 16 mars.

Méthodes Formelles, Salons - 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.

Méthodes Formelles, Salons - 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.

Méthodes Formelles, Salons - Conférences

novembre 2016

High Integrity Software 2016

Systerel a présenté son retour d’expérience de plus de 20 ans sur l’utilisation des méthodes formelles dans les logiciels critiques ferroviaires.