Difference between revisions of "FM 2008"
Jump to navigation
Jump to search
(Added intro, "see also" section) |
m (Typo correction) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
| Title=15th International Symposium on Formal Methods 2008 | | Title=15th International Symposium on Formal Methods 2008 | ||
− | | Series=International Symposium | + | | Series=International Symposium on Formal Methods |
| Type = Conference | | Type = Conference | ||
| Field = Software engineering | | Field = Software engineering |
Revision as of 02:50, 13 July 2010
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 |
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.