| Acronym | TACAS 2009 + |
| End date | March 29, 2009 + |
| Event in series | TACAS + |
| Event type | Conference + |
| Has PC member | Marco Bernardo +, Ahmed Bouajjani +, Ed Brinksma +, Alessandro Cimatti +, Rance Cleaveland +, Swarat Chaudhuri +, Veronique Cortier +, Patrice Godefroid +, Orna Grumberg +, Aarti Gupta +, Nicolas Halbwachs +, Michael Huth +, Kim Larsen +, Stefan Kowalewski +, Thomas Kropf +, Marta Kwiatkowska +, Panagiotis Manolios +, Radu Mateescu +, Ken McMillan +, Anna Philippou +, Andreas Podelski +, C.R. Ramakrishnan +, Natasha Sharygina +, Oleg Sokolsky +, Bernhard Steffen +, Frits Vaandrager +, Carsten Weise + and Lenore Zuck + |
| Has coordinates | 53° 57' 33", -1° 4' 54"Latitude: 53.959055555556
Longitude: -1.0815361111111 + |
| Has location city | York + |
| Has location country | Category:UK + |
| Homepage | http://www.cs.york.ac.uk/etaps09/ + |
| IsA | Event + |
| Notification | December 12, 2008 + |
| Paper deadline | October 2, 2008 + |
| Start date | March 22, 2009 + |
| Submission deadline | October 2, 2008 + |
| Title | International Conference on Tools and Algorithms for the Construction and Analysis of Systems + |
