Difference between revisions of "TACAS 2009"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
| Start date=3/22/2009 | | Start date=3/22/2009 | ||
| End date=3/29/2009 | | End date=3/29/2009 | ||
| − | | City=York | + | | City=York |
| + | | Country=UK | ||
| Paper deadline=10/2/2008 | | Paper deadline=10/2/2008 | ||
| Notification=12/12/2008 | | Notification=12/12/2008 | ||
}} | }} | ||
Revision as of 16:26, 20 August 2008
| TACAS 2009 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2009
| |
| Dates | 3/22/2009 (iCal) - 3/29/2009 |
| Homepage: | www.cs.york.ac.uk/etaps09/ |
| Location | |
| Location: | York, UK |
| Important dates | |
| Papers: | 10/2/2008 |
| Notification: | 12/12/2008 |
| Table of Contents | |