TACAS 2005
Revision as of 09:04, 11 October 2021 by Tolga.karaarslan (talk | contribs) (Created page with "{{Event |Acronym=TACAS 2005 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=11 |Series=TACAS |Type=Conference |Su...")
TACAS 2005 | |
---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
Ordinal | 11 |
Event in series | TACAS |
Subevent of | ETAPS |
Dates | 2005/04/04 (iCal) - 2005/04/08 |
Presence | presence |
Homepage: | http://www-verimag.imag.fr/PEOPLE/halbwach/TACAS2005.html |
Location | |
Location: | Edinburgh, UK |
Committees | |
PC chairs: | Nicolas Halbwachs, Lenore D. Zuck |
Keynote speaker: | Ken McMillan |
Table of Contents | |
The 11. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2005