Difference between revisions of "FM 2008"
m (Typo correction) |
|||
(2 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | | Title=International Symposium on Formal Methods 2008 | + | | Title=15th International Symposium on Formal Methods 2008 |
+ | | Series=International Symposium on Formal Methods | ||
| Type = Conference | | Type = Conference | ||
| Field = Software engineering | | Field = Software engineering | ||
− | | Homepage=www.fm2008.abo.fi | + | | Homepage=www.fm2008.abo.fi |
| Start date=5/26/2008 | | Start date=5/26/2008 | ||
| End date=5/30/2008 | | End date=5/30/2008 | ||
− | | City=Turku | + | | City=Turku |
+ | | Country=Finland | ||
| Paper deadline=11/10/2007 | | Paper deadline=11/10/2007 | ||
| 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]] |
Latest revision as of 01: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 |
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 date | May 30, 2008 + |
Event in series | FM + |
Event type | Conference + |
Has coordinates | 60° 27' 6", 22° 16' 1"Latitude: 60.451752777778 Longitude: 22.267052777778 + |
Has location city | Turku + |
Has location country | Category:Finland + |
Homepage | http://www.fm2008.abo.fi + |
IsA | Event + |
Notification | February 1, 2008 + |
Paper deadline | November 10, 2007 + |
Start date | May 26, 2008 + |
Submission deadline | November 10, 2007 + |
Title | 15th International Symposium on Formal Methods 2008 + |