The attached call for paper might be of interest for readers of this list.
"""
2nd International Workshop on Safety and Formal Methods -- SaFoMe 2015
Co-located with FM 2015: 20th International Symposium on Formal Methods
(http://fm2015.ifi.uio.no)
June 22-26, 2015 -- Oslo, Norway
Workshop will take place on June 22, 2015
Web: https://es-static.fbk.eu/events/safome15
For more information: tonettas[at]fbk[dot]eu and
rj[dot]rodriguez[at]unileon[dot]es
"""
Sincerely yours,
D. Mentré
This archive was generated by hypermail 2.3.0 : Sat Feb 23 2019 - 01:17:07 CET