|
||
| Abstract |
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
Grenoble World Trade Center, Grenoble, Auvergne-Rhône-Alpes, France
The 20. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2014
Topics
- Specification and verification techniques;
- Software and hardware verification;
- Analytical techniques for real-time, hybrid, or stochastic systems;
- Analytical techniques for safety, security, or dependability;
- Model-checking;
- Theorem-proving;
- SAT and SMT solvers;
- Static and dynamic program analysis;
- Testing;
- Abstraction techniques for modeling and verification;
- Compositional and refinement-based methodologies;
- System construction and transformation techniques;
- Tool environments and tool architectures;
- Applications and case studies.
Submissions
See the common call for papers of ETAPS 2014. Submit your paper via the TACAS 2014 author interface of Easy Chair.
TACAS 2014 will not use a rebuttal phase. TACAS paper categories
TACAS accepts four types of submissions: research papers, case study papers, regular tool papers, and tool demonstration papers. Papers of all four types will appear in the proceedings and have presentations during the conference.
- Research papers clearly identify and justify a principled advance to the theoretical foundations for the construction and analysis of systems and, where applicable, are supported by experimental validation. Research papers can have a maximum of 15 pages.
- Case study papers report on case studies (preferably in a "real life" setting). They should provide information about the following aspects: the system being studied and why it is of interest, the goals of the study, the challenges the system poses to automated analysis, research methodologies and the approach used, the degree to which goals were attained, and how the results can be generalized to other problems and domains. Case study papers can have a maximum of 15 pages.
- Regular tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, and emphasize the design and implementation concerns including software architecture and core data structures. A regular tool paper should give a clear account of the tool's functionality, discuss the tool's practical capabilities with reference to the type and size of problems it can handle, experience with realistic case studies, and where applicable, provide a rigorous experimental evaluation. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. We strongly suggest authors make their tools available via the web, even if only for the evaluation process. Tool papers can have a maximum of 15 pages.
- Tool demonstration papers focus on the usage aspects of tools. The described tools must be publicly available. Theoretical foundations and experimental evaluation are not required, however, a motivation as to why the tool is interesting and significant should be provided. Tool demonstration papers can have a maximum of 6 pages. They should have an appendix of up to 6 additional pages with details on the actual demonstration.
All papers will be evaluated by the TACAS programme committee, coordinated by the TACAS co-chairs for research papers and case study papers, and by the TACAS tool chair for regular tool papers and tool demonstration papers.
Important Dates
Abstract Submission: 4 October 2013
Paper Submission: 11 October 2013 AoE
Author Notification: 20 December 2013
Camera-ready version: 17 January 2014
