CLEARSY participe aux grandes conférences dans le domaine des méthodes formelles (ABZ, SMBF, AFADL, RSSR), et est présent dans les salons ferroviaires tels que INNOTRANS, UITP, SIFER, SMART METRO.
Articles
Liés à cet thématique
Liés à cet thématique
- 9ᵉ Conférence Internationale méthodes formelles ABZ à Nancy du 31 mai au 2 juin 2023
- CLEARSY participe au congrès mondial SmartMetro (Novembre 2019) et CBTC en tant que sponsor.
- CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019
- AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B
- CLEARSY assistera à la conférence UITP 2019 à Stockholm.
- CLEARSY Safety Platform présentée à la conférence RSSR 2019
- Troisième conférence RSSR, Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification
- VENEZ SUR NOTRE STAND AU SALON SIFER DU 26 AU 28 MARS 2019 À LILLE
- CLEARSY à Innotrans 2018
- Travaux pratiques à IFRN Parnamirim
- CSSP présentée au Workshop on Software Development Technology
- CLEARSY Safety Platform présentée pendant l’Industry Day 2018
- ABZ 2018 – Du 5 au 8 juin 2018 à Southampton, Royaume-Uni
- Conférence Formal Methods – Oxford
- Travaux pratiques à IFRN Parnamirim
- CLEARSY Safety Platform présentée à IFRN Parnamirim
- Travaux pratiques à UFF Niteroi
- Séminaire d’informatique à Montréal/Canada
- CLEARSY sera présent au salon de la mobilité urbaine Smart Metro, du 29 au 31 octobre 2018 à Paris.
- Global Conference on Signalling: the Evolution of ERTMS
- CLEARSY sera présent à la conférence « 1st UIC GLOBAL CONFERENCE ON SIGNALLING – The evolution of ERTMS »
- Séminaire technique à l’université de Newcastle
- Tutoriels organisés pour des chercheurs et des ingénieurs de l’industrie
- Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan
- Conférence SBMF
- École Doctorale ETMF
- Rail+Metro China 2017 : Venez nous rencontrer !
- Tutoriel conférence RSSR
- Conférence internationale SBMF 2017
- Salon des transports publics UITP
- SIFER 2017 – Venez nous renconter !
- CLEARSY organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h.
- CLEARSY présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques – 13 oct à St Malo
- Venez nous rencontrer lors d’InnoTrans, le rendez-vous mondial des acteurs du Transports
- CLEARSY is participating to InnoTrans, the leading international trade fair for transport technology
- Conférence ISSRE 2016
- 19ème conférence brésilienne sur les méthodes formelles
- Architecture bi-processeur SIL4 présentée au Printemps de l’Innovation Open Source
- Atelier de modélisation temporelle Waruna présenté au salon « Machine to Machine & Objets connectés »
- CLEARSY recevra les 18 et 19 novembre 2015 la première rencontre annuelle du projet européen H2020 INTO-CPS.
- Architecture bi-processeur SIL4 présentée au Forum IFSTTAR « Sûreté et sécurité dans les transports »
- CLEARSY a participé à la 5ème édition de la conférence internationale sur les gares ferroviaires, NEXTSTATION 2015
- CLEARSY a participé à FM 2015, conférence internationale relative aux méthodes formelles
- CLEARSY a participé à la conférence Formal Methods 2015
- Retrouvez nous Hall 4 Stand 122 sur l’UITP à Milan
- Sifer 2015 : Venez nous retrouver !
- Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques
- CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action »
- Merci de votre venue et à bientôt
- Innotrans 2014, rencontrez nous !
- AFADL 2014 : Les 11 et 12 juin 2014
- ABZ 2014 – Du 2 au 6 juin à Toulouse
- Séminaire ISCLP – Ingénierie des Systèmes Complexes à Logiciels Prépondérants
- Engineering Complex Preponderant Software Systems Seminar in Toulouse
- Séminaire INRIA « Ingénierie des Modèles »
- Séminaire DGA « Ingénierie des Systèmes Complexes »
- Séminaire technique à l’Université de Newcastle
- Conférence CAI 2013
- Séminaire Dagstuhl 2013
- AI4FM 2011
- APM-ATS 2011
- Salon SIFER 2011
- Conférence de Nantes 2010 : “La Méthode B, de la Recherche à l’Enseignement”
- Salon INNOTRANS 2010
- Salon UITP à Viennes sur le Ferroviaire
- Salon SIFER 2009 à Lille
- Lambda Mu16 – Les Nouveaux Défis de la Maîtrise des Risques
- Negocios Nos Trilhos
- Colloque « B Dissemination Day 2008 », au Brésil
- Vector Forum 2008 : « L’Embarqué, maintenant et dans 20 ans »
- Salon INNOTRANS 2008
- CLEARSY à la Conférence SBMF 2007 au Brésil
- CLEARSY à la Conférence SAFECOMP 2007
- CLEARSY au Salon SIFER 2007
- Prochaines conférences RODIN
- Journées Neptune’2007
- Conférence B2007
- Conférence Same 2005
- Conférence Lambda Mu 15
- Conférence AFIS 2006
- AFADL’06
