TACAS 2005

From Openresearch
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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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
Loading map...

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


Topics

Submissions

Important Dates