TACAS 2008: Difference between revisions
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
| Start date=3/29/2008 | | Start date=3/29/2008 | ||
| End date=4/6/2008 | | End date=4/6/2008 | ||
| City=Budapest | | City=Budapest | ||
| Country=Hungary | |||
| Paper deadline=10/12/2007 | | Paper deadline=10/12/2007 | ||
| Notification=12/7/2007 | | Notification=12/7/2007 | ||
}} | }} | ||
Revision as of 15:17, 20 August 2008
| TACAS 2008 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008
| |
| Dates | 3/29/2008 (iCal) - 4/6/2008 |
| Homepage: | www.cs.stonybrook.edu/~tacas2008/ |
| Location | |
| Location: | Budapest, Hungary |
| Important dates | |
| Papers: | 10/12/2007 |
| Notification: | 12/7/2007 |
| Table of Contents | |