[SystemSafety] SaFoMe 2015 - 1st Call for Papers (June 22, 2015 -- co-located with FM2015)

From: David MENTRE < >
Date: Wed, 14 Jan 2015 08:34:37 +0100


Hello,

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é



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Wed Jan 14 2015 - 08:34:50 CET

This archive was generated by hypermail 2.3.0 : Sun Apr 21 2019 - 23:17:06 CEST