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