|
||
| Abstract |
|
||
| Submission |
|
||
| Paper |
|
||
| Notification |
|
||
| Camera-Ready |
Orea Hotel Pyramida, Prague, Capital City of Prague, Czech Republic
The 25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019
TOPICS
Theoretical papers with clear relevance for tool construction and analysis as well as tool descriptions and case studies with a conceptual message are all encouraged. The topics covered by the conference include, but are not limited to:
- specification and verification techniques;
- software and hardware verification;
- analytical techniques for real-time, hybrid, or stochastic systems;
- analytical techniques for safety, security, or dependability;
- SAT and SMT solving;
- theorem-proving;
- model-checking;
- static and dynamic program analysis;
- testing;
- abstraction techniques for modeling and verification;
- compositional and refinement-based methodologies;
- system construction and transformation techniques;
- machine-learning techniques for synthesis and verification;
- tool environments and tool architectures;
- applications and case studies.
Submissions
Submit your paper via the TACAS 2019 author interface of Easy Chair. Please see additional instructions on submitting through the Easy Chair interface that are available once you log into Easy Chair and explain how to submit an artifact, etc.
TACAS 2019 will not have 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. Where applicable, they are supported by experimental validation.
- Case-study papers report on case studies, preferably in a real-world setting. They should provide information about the following aspects: the system being studied and the reasons why it is of interest, the goals of the study, the challenges the system poses to automated analysis/testing/synthesis, research methodologies and approaches used, the degree to which the goals were met, and how the results can be generalized to other problems and domains.
- Regular tool papers present a new tool, a new tool component, or novel extensions to an existing tool, and are subject to an artifact submission requirement (see below). 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, describe 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.
- Tool demonstration papers focus on the usage aspects of tools and are also subject to an artifact submission requirement (see below). Theoretical foundations and experimental evaluation are not required, however, a motivation as to why the tool is interesting and significant should be provided. Further, the paper should describe aspects such as, for example, the assumptions about application domain and/or extent of potential generality, demonstrate the tool workflow(s), explain integration and/or human interaction, evaluate the overall role and the impact to the development process.
Paper length limits: The length of research, case-study, and regular tool papers is limited to 15 pages in the LNCS format, excluding the blibliography. The length of tool-demonstration papers is limited to 6 pages in the LNCS format, including the bibliography.
Appendices going beyond the above page limits are not allowed! Additional (unlimited) appendices can be made available separately or as part of an extended version of the paper made available via arXiv, Zenodo, or a similar service, and cited in the paper. The reviewers are, however, not obliged to read such appendices.
Important Dates
AoE (UTC-12h)
Conference: Mon 8 - Thu 11 Apr 2019
Camera-ready versions; Fri 15 Feb 2019
Notifications: Fri 25 Jan 2019
Full papers due: Fri 16 Nov 2018
Abstracts due: Fri 9 Nov 2018
