|
||
| Abstract |
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
Swissotel Tallinn, Tallinn, Harju, Estonia
The 18. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2012
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 safety, security, or dependability;
- Analytical techniques for real-time, hybrid, or stochastic systems;
- Integration of formal methods and static analysis in high-level hardware design or software environments;
- Tool environments and tool architectures;
- SAT and SMT solvers;
- Applications and case studies.
Submissions
TACAS will accept the following kinds of submissions: Research papers cover one or more of the topics above, including tool development and case studies from a perspective of scientific research. They have a maximum of 15 pages.
Case study papers that report on case studies (preferably in a "real life" setting) are also welcome. They should focus on providing sufficiently detailed 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 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 focus primarily on engineering aspects, with special emphasis on important design and implementation concerns. A thorough discussion of theoretical foundations is not required, although the paper should provide with a summary of such, with relevant citations. A tool paper should describe the tool's software architecture and core data structures and algorithms, and also give a clear account of its functionality. The paper should discuss the tool's practical capabilities with reference to the type and size of problems it can handle, and experience with realistic case studies. 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. Tool papers are evaluated by the TACAS Tool Chair with the help of the Programme Committee. Tool papers have a maximum of 15 pages.
Tool demonstration papers present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or falling into relevant application areas (e.g., system construction and transformation, testing, analysis of real-time, hybrid or biological systems, etc.) and focus on the usage aspects of the tool. Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Programme Committee. Tools presented in tool demonstration papers must be publicly available. Tool demo papers have a maximum of 6 pages.
In order to make the reviewing of tool papers as fair as possible, we established the following guidelines and would like to ask potential authors to study them.
Submitted papers in all categories must:
- be in English,
- present original research which is unpublished and not submitted elsewhere (conferences or journals) - in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden,
- use the Springer LNCS style, and
- fit within the page limit, including figures and bibliography (papers may include an optional appendix containing ancillary material such as proofs, but TACAS referees are at liberty to ignore appendices, and
- be submitted electronically in pdf via the TACAS 2012 Easychair author interface.
Important Dates
7 October 2011 (2359 Apria, Samoa time): Submission deadline for abstracts (strict)
14 October 2011 (2359 Apia, Samoa time): Submission deadline for full papers (strict)
16 December 2011: Notification of acceptance
6 January 2012: Camera-ready versions due
