Difference between revisions of "FM 2008"

From Openresearch
Jump to: navigation, 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

Contents


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

See also

Facts about "FM 2008"
End dateMay 30, 2008 +
Event in seriesInternational Symposium of Formal Methods +
Event typeConference +
Has coordinates60° 27' 6", 22° 16' 1"Latitude: 60.451752777778
Longitude: 22.267052777778
+
Has location cityTurku +
Has location countryCategory:Finland +
Homepagehttp://www.fm2008.abo.fi +
IsAEvent +
NotificationFebruary 1, 2008 +
Paper deadlineNovember 10, 2007 +
Start dateMay 26, 2008 +
Submission deadlineNovember 10, 2007 +
Title15th International Symposium on Formal Methods 2008 +