TACAS 2018 : International Conference on Tools and Algorithms for the Construction and Analysis of Systems

  in Conferences   Posted on August 19, 2017

Conference Information

Submission Deadline Friday 13 Oct 2017
Conference & Submission Link https://www.etaps.org/index.php/2018/tacas
Conference Dates Apr 14, 2018 - Apr 21, 2018
Conference Address Thessaloniki, Greece
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 36
CORE 2017 Rating: A
Guide2Research Overall Ranking: 85
Category Rankings
Software Engineering & Programming 20

Conference Call for Papers

24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.

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;
model-checking;
theorem-proving;
SAT and SMT solving;
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.

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. Research papers can have a maximum of 15 pp (excluding bibliography of max 2 pp).
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 it is of interest, the goals of the study, the challenges the system poses to automated analysis, research methodologies and approaches 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 pp (excluding bibliography of max 2 pp).
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, 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. Authors are strongly encouraged to make their tools publicly available, preferably on the web, even if only for the evaluation process. Tool papers can have a maximum of 15 pp (excluding bibliography of max 2 pp).
Tool demonstration papers focus on the usage aspects of tools. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. 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.

Other Conferences in Greece

ETAPS 2018 : ETAPS 2018: European Joint Conferences on Theory and Practice of Software

Deadline :
Fri 20 Oct 2017
Apr 14, 2018 - Apr 21, 2018 - Thessaloniki
Greece

COMOREA 2018 : 14th Workshop on Context and Activity Modeling and Recognition

Deadline :
Sat 11 Nov 2017
Mar 19, 2018 - Mar 23, 2018 - Athens
Greece