TACAS 2009
Revision as of 12:26, 27 September 2021 by Tolga.karaarslan (talk | contribs)
| TACAS 2009 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 15 |
| Event in series | TACAS |
| Subevent of | ETAPS |
| Dates | 2009/03/22 (iCal) - 2009/03/29 |
| Presence | presence |
| Homepage: | http://web.embedded.rwth-aachen.de/tacas09/ |
| Submitting link: | https://senldogo0039.springer-sbm.com/tacas09/servlet/Conference |
| Location | |
| Location: | York, UK |
| Important dates | |
| Papers: | 2008/10/02 |
| Notification: | 2008/12/12 |
| Camera ready due: | 2009/01/05 |
| Table of Contents | |
The 15. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss (TACAS) 2009
Topics
- Specification and verification techniques for finite and infinite-state systems;
- Software and hardware verification;
- Theorem-proving and model-checking;
- System construction and transformation techniques;
- Static and run-time analysis;
- Abstraction techniques for modeling and validation;
- Compositional and refinement-based methodologies;
- Testing and test-case generation;
- Analytical techniques for secure, real-time, hybrid, critical, biological or dependable systems;
- Integration of formal methods and static analysis in high-level hardware design or software environments;
- Tool environments and tool architectures;
- SAT solvers;
- Applications and case studies.
Submissions
Important Dates
2 October, 2008 - Deadline for submission of abstracts (strict)
9 October, 2008 - Deadline for submission of full versions (strict)
12 December, 2008 - Notification of acceptance / rejection
5 January, 2009 - Camera-ready paper versions due (strict)
22 - 29 March 2009 - TACAS 2009 Conference