CLEARSY is participating to the “international conference on rigorous state based methods” which will take place from June 07 to 11, 2011.
The conference being virtual, the access is free without registration. The complete program is available here.
3 events to note in chronological order:
- tutorial “Using B to program the CLEARSY Safety Platform” on June 8 from 3:30-5:30pm. Register directly at https://my.demio.com/ref/XCAMy6daO1HAhmUl
- talk “Programming the CLEARSY Safety Platform with B” on June 9 from 3:00 to 3:30 pm. The access link via zoom will be available from 25/05/2021 on this page.
- talk “Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B” on June 10 from 3:00 pm to 3:15 pm. The link to access via zoom is available from 25/05/2021 on this page.