[SystemSafety] Fwd: Formal Methods upcoming conferences
Peter Bernard Ladkin
ladkin at rvs.uni-bielefeld.de
Tue Nov 11 09:01:37 CET 2014
Perhaps of interest to those here whi don't know of the FME organisation
Prof. Peter Bernard Ladkin, University of Bielefeld and Causalis Limited
Begin forwarded message:
> From: Announcements of FME events <events at fmeurope.org>
> Date: 11 November 2014 08:41:18 CET
> To: events at fmeurope.org
> Subject: Formal Methods upcoming conferences
> Reply-To: events at fmeurope.org
> Dear Colleague,
> We would like to bring to your attention a new resource made available by FME: a list of important dates of upcoming formal methods conferences. It can be found in http://www.fmeurope.org/?p=494 and can be reached from our page (http://www.fmeurope.org/). We hope this becomes a useful resource for conference organisers and participants alike.
> If you are organising an international conference (not workshop) that mentions "formal methods" in its call for papers, and would like its important dates to be advertised there, please get in touch with Bernhard Aichernig via aichernig at ist.tugraz.at.
> Best wishes,
> FME Board
> events mailing list
> events at fmeurope.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the systemsafety