TACAS 2008
TACAS 2008 | |
---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008
| |
Event in series | TACAS |
Dates | 2008/03/29 (iCal) - 2008/04/06 |
Homepage: | www.cs.stonybrook.edu/~tacas2008/ |
Location | |
Location: | Budapest, Hungary |
Loading map... | |
Important dates | |
Papers: | 2007/10/12 |
Notification: | 2007/12/07 |
Table of Contents | |
Facts about "TACAS 2008"
End date | April 6, 2008 + |
Event type | Conference + |
Has coordinates | 47° 29' 52", 19° 2' 25"Latitude: 47.497877777778 Longitude: 19.040238888889 + |
Has location city | Budapest + |
Has location country | Category:Hungary + |
Homepage | http://www.cs.stonybrook.edu/~tacas2008/ + |
IsA | Event + |
Notification | December 7, 2007 + |
Paper deadline | October 12, 2007 + |
Start date | March 29, 2008 + |
Submission deadline | October 12, 2007 + |
Title | International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008 + |