21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
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 | 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Abbreviated title | TACAS 2015 |
| Conference number | 21 |
| Description | held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 |
| Duration | 11 - 18 April 2015 |
| Website | |
| Degree of recognition | International event |
| City | London |
| Country | United Kingdom |