![CAI-2013](https://www.atelierb.eu/wp-content/uploads/2013/09/CAI-2013.jpg)
Publié le 30/09/2013 |
CLEARSY participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013.
A talk, entitled “Railways formal data validation“, was given during the industrial session.