Difference between revisions of "FM 2008"

From Openresearch
Jump to navigation Jump to search
(Added intro, "see also" section)
Line 1: Line 1:
 
{{Event
 
{{Event
  | Title=International Symposium on Formal Methods 2008
+
  | Title=15th International Symposium on Formal Methods 2008
 +
| Series=International Symposium of Formal Methods
 
  | Type = Conference
 
  | Type = Conference
 
  | Field = Software engineering
 
  | Field = Software engineering
Line 11: Line 12:
 
  | Notification=2/1/2008
 
  | Notification=2/1/2008
 
}}
 
}}
 +
 +
Part of the [[International Symposium on Formal Methods]] series organized by [[Formal Methods Europe]].
 +
 +
== See also ==
 +
* [[FM 2011]]
 +
 +
[[Category:Formal methods]]

Revision as of 02:33, 13 July 2010

FM 2008
15th International Symposium on Formal Methods 2008
Event in series International Symposium of Formal Methods
Dates 5/26/2008 (iCal) - 5/30/2008
Homepage: www.fm2008.abo.fi
Location
Location: Turku, Finland
Loading map...

Important dates
Papers: 11/10/2007
Notification: 2/1/2008
Table of Contents



Part of the International Symposium on Formal Methods series organized by Formal Methods Europe.

See also