Difference between revisions of "FM 2008"

Latest revision as of 18:04, 1 April 2022

FM 2008
15th International Symposium on Formal Methods 2008
Event in series	International Symposium on Formal Methods
Dates	5/26/2008 (iCal) - 5/30/2008
Homepage:	www.fm2008.abo.fi
Location
Location:	Turku, Finland
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":60.4515944,"lon":22.2669983,"icon":""}],"imageoverlays":null}
Important dates
Papers:	11/10/2007
Notification:	2/1/2008

Table of Contents
Contents 1 See also

@@ Line 1: / Line 1: @@
 {{Event
-  | Title=International Symposium on Formal Methods 2008
+  | Title=15th International Symposium on Formal Methods 2008
+ | Series=International Symposium on Formal Methods
   | Type = Conference
   | Field = Software engineering
-  | Homepage=www.fm2008.abo.fi/
+  | Homepage=www.fm2008.abo.fi
   | Start date=5/26/2008
   | End date=5/30/2008
-  | City=Turku/Finland
+  | City=Turku
+ | Country=Finland
   | Paper deadline=11/10/2007
   | Notification=2/1/2008
+|pageCreator=Soeren
+|pageEditor=Jpbowen
+|contributionType=1
 }}
+Part of the [[International Symposium on Formal Methods]] series organized by [[Formal Methods Europe]].
+== See also ==
+* [[FM 2011]]
+[[Category:Formal methods]]