Difference between revisions of "FORTE 2008"
Line 6: | Line 6: | ||
| Start date=6/10/2008 | | Start date=6/10/2008 | ||
| End date=6/13/2008 | | End date=6/13/2008 | ||
− | | City=Tokyo | + | | City=Tokyo |
+ | | Country=Japan | ||
| Paper deadline=1/4/2008 | | Paper deadline=1/4/2008 | ||
| Notification=2/29/2008 | | Notification=2/29/2008 | ||
}} | }} |
Revision as of 16:19, 20 August 2008
FORTE 2008 | |
---|---|
IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems 2008
| |
Dates | 6/10/2008 (iCal) - 6/13/2008 |
Homepage: | www-higashi.ist.osaka-u.ac.jp/FORTE08/index.html |
Location | |
Location: | Tokyo, Japan |
Loading map... | |
Important dates | |
Papers: | 1/4/2008 |
Notification: | 2/29/2008 |
Table of Contents | |
Facts about "FORTE 2008"
End date | June 13, 2008 + |
Event type | Conference + |
Has coordinates | 35° 40' 37", 139° 45' 50"Latitude: 35.676861111111 Longitude: 139.76389444444 + |
Has location city | Tokyo + |
Has location country | Category:Japan + |
Homepage | http://www-higashi.ist.osaka-u.ac.jp/FORTE08 + |
IsA | Event + |
Notification | February 29, 2008 + |
Paper deadline | January 4, 2008 + |
Start date | June 10, 2008 + |
Submission deadline | January 4, 2008 + |
Title | IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems 2008 + |