Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference
Aktivität: Veranstaltungsorganisation und -teilnahmen › Organisation einer Veranstaltung
Personen und Einrichtungen
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Vorsitzende:r des Programmkomitees)
Datum
2015
Beschreibung
Program chairKonferenz
| Titel | Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference |
|---|---|
| Untertitel | Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 |
| Kurztitel | TACAS 2015 |
| Veranstaltungsnummer | |
| Dauer | 11 - 18 April 2015 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | London |
| Land | Großbritannien/Vereinigtes Königreich |