CLEARSY attends in major conferences in the field of formal methods (ABZ, SMBF, AFADL, RSSR), and is present in railway exhibitions such as INNOTRANS, UITP, SIFER, SMART METRO.
Posts
Linked to this thematic
Linked to this thematic
- 9ᵉ ABZ International Formal Methods Conference in Nancy from May 31 to June 2, 2023
- CLEARSY attends the SmartMetro (November 2019) and CBTC World Congress as a sponsor
- CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019
- AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B
- CLEARSY will attend the UITP Global Public Transport Summit 2019 in Stockholm.
- CLEARSY Safety Platform exhibited at conference RSSR 2019
- Third conference RSSR on Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification
- COME TO CLEARSY’s BOOTH AT SIFER FAIR, FROM 26th AU 28th MARCH 2019 AT LILLE (France)
- Hands-on session at IFRN Parnamirim
- CSSP presented at Workshop on Software Development Technology
- CLEARSY Safety Platform presented at Industry Day 2018
- ABZ 2018 – from 5th au 8th June 2018 – Southampton, United Kingdom
- Conference on formal methods – Oxford
- Hands-on session at IFRN Parnamirim
- CLEARSY Safety Platform presented at IFRN Parnamirim
- Hands-on session at UFF Niteroi
- Computer Science seminar in Montreal/Canada
- CLEARSY will be present on Smart Metro conference, from October 29th – 31st, 2018 in Paris.
- Global Conference on Signalling : the Evolution of ERTMS
- CLEARSY will be present at the conference “1st UIC GLOBAL CONFERENCE ON SIGNALLING – The evolution of ERTMS”
- Technical seminar Newcastle University
- Formal methods for cyber-physical systems – Shonan
- Talk at the conference SBMF 2017
- Tutorial doctoral School ETMF 2017
- Rail+Metro China 2017: Come and meet us!
- Tutorial conference RSSR 2017
- UITP – Global transport Summit – Montreal from May 15th to 17th, 2017 – Booth 2 B 156
- CLEARSY organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h).
- CLEARSY vital relay was creating the buzz during Innotrans
- LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level.
- CLEARSY is participating to InnoTrans, the leading international trade fair for transport technology
- International Symposium on Software Reliability Engineering
- Double-Core SIL4 Architecture Presented During Open Source Innovation Spring (Paris)
- CLEARSY organizes the first annual Meeting of the European H2020 Project INTO-CPS, on the 18th and 19th of November 2015 in Marseille.
- CLEARSY participates to the 5th NEXTSTATION 2015 International Conference on Railway Stations
- CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015
- Sifer 2015 : Come to see us!
- Thanks for visiting us
- Innotrans 2014 – Come see us!
- AFADL 2014: on june 11th and 12th, 2014
- ABZ 2014 – From june 2d to 6th in Toulouse
- Engineering Complex Preponderant Software Systems Seminar in Toulouse
- Newcastle University Technical Seminar
- CAI 2013 Conference
- Dagstuhl Seminar 2013
- AI4FM 2011
- APM-ATS 2011
- SIFER 2011
- Nantes 2010 Conference : “From Research to Teaching Formal Methods – the B Method”
- Innotrans Fair 2010
- UITP Railway fair at Viennes
- SIFER Fair 2009 at Lille
- Lambda Mu16 – The New Challenges of Risk Control
- Negocios Nos Trilhos
- “B Dissemination Day 2008” Seminar in Brazil
- Vector Forum 2008: “Onboard Systems Today and in 20 Years”
- INNOTRANS Fair 2008
- CLEARSY attended the SMBF 2007 Conference in Brazil
- CLEARSY at the SAFECOMP 2007 Conference
- CLEARSY at the SIFER 2007 Fair
- Next RODIN conferences
- Neptune’2007 Conference
- B2007 Conference
- Same 2005 Conference
- Lambda Mu 15 Conference
- AFIS 2006 Conference
- AFADL’06
- SIFER 2017 – Come to see us !
