Difference between revisions of "TACAS 2008"
Jump to navigation
Jump to search
| 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 16: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 | |