Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference
Activity: Organising or participating in an event › Organising an event
Persons and affiliations
- Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Programme committee chair)
Date
2015
Description
Program chairConference
| Title | Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference |
|---|---|
| Subtitle | Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 |
| Abbreviated title | TACAS 2015 |
| Conference number | |
| Duration | 11 - 18 April 2015 |
| Website | |
| Degree of recognition | International event |
| Location | |
| City | London |
| Country | United Kingdom |