Difference between revisions of "FM 2008"
Jump to navigation
Jump to search
(Added intro, "see also" section) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (One intermediate revision by one other user not shown) | |||
| 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 | ||
| Line 11: | Line 11: | ||
| Paper deadline=11/10/2007 | | Paper deadline=11/10/2007 | ||
| Notification=2/1/2008 | | Notification=2/1/2008 | ||
| + | |pageCreator=Soeren | ||
| + | |pageEditor=Jpbowen | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 19: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 |
| Important dates | |
| Papers: | 11/10/2007 |
| Notification: | 2/1/2008 |
| Table of Contents | |
The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.
Part of the International Symposium on Formal Methods series organized by Formal Methods Europe.