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

[David MENTRE]

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é
-------------- next part --------------
An embedded message was scrubbed...
From: Announcements of FME events <events at fmeurope.org>
Subject: SaFoMe 2015 - 1st Call for Papers (June 22,
	2015 -- co-located with FM2015)
Date: Tue, 13 Jan 2015 09:01:47 +0100
Size: 17267
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150114/6984f495/attachment.eml>