posted by user: ndisp || 13959 views || tracked by 52 users: [display]

TACAS 2016 : 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems

FacebookTwitterLinkedInGoogle


Conference Series : Tools and Algorithms for Construction and Analysis of Systems
 
Link: http://www.etaps.org/index.php/2016/tacas
 
When Feb 4, 2016 - Feb 8, 2016
Where Eindhoven, The Netherlands
Abstract Registration Due Oct 9, 2015
Submission Deadline Oct 16, 2015
Notification Due Dec 18, 2015
Final Version Due Jan 8, 2016
Categories    verification   model checking   SMT   formal methods
 

Call For Papers

22nd 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.

Important dates and submission

See the ETAPS 2016 joint call for papers. Submit your paper via the TACAS 2016 author interface of EasyChair.

TACAS 2016 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. Research papers can have a maximum of 15 pages.
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 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, 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 pages.
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.

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.
Competition on Software Verification

TACAS 2016 hosts the 5th Competition on Software Verification with the goal to evaluate technology transfer and compare state-of-the-art software verifiers with respect to effectiveness and efficiency. More information can be found on the webpage of the competition.


Programme chairs

Marsha Chechik (University of Toronto, Canada)
Jean-François Raskin (Université Libre de Bruxelles, Belgium)


Tool chair

Radu Mateescu (INRIA Grenoble - Rhône-Alpes, France)


Programme committee

Parosh Aziz Abdulla (Uppsala Universitet, Sweden)
Aws Albarghouthji (University of Wisconsin-Madison, USA)
Christel Baier (Technische Universität Dresden, Germany)
Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique, France)
Patricia Bouyer (LSV, CNRS & ENS Cachan, France)

Radu Calinescu (University of York, UK)
Franck Cassez (NICTA, Australia)
Pavol Cerny (University of Colorado Boulder, USA)
Krishnendu Chatterjee (Institute of Science and Technology, Austria)
Rance Cleaveland (University of Maryland, USA)

Javier Esparza (Technische Universität München, Germany)
Pierre Ganty (IMDEA Software, Spain)
Radu Grosu (Technische Universität Wien, Austria / Stony Brook University, USA)
Orna Grumberg (Technion, Israel)
Arie Gurfinkel (Carnegie Mellon University, USA)

Holger Hermanns (Universität des Saarlandes, Germany)
Zachary Kincaid (University of Toronto, Canada)
Daniel Kroening (University of Oxford, UK)
Akash Lal (Microsoft Research, India)
Kim G. Larsen (Aalborg Universitet, Denmark)

Rupak Majumdar (MPI-SWS, Germany)
Tiziana Margaria (Universität Potsdam, Germany / University of Limerick, Ireland)
Nicolas Markey (LSV, CNRS & ENS Cachan, France)
Roland Meyer (Universität Kaiserslautern, Germany)
Corina Pasareanu (Carnegie Mellon University / NASA Ames Research Center, USA)

Nir Piterman (University of Leicester, UK)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Natasha Sharygina (Università della Svizzera Italiana, Switzerland)
Bernhard Steffen (Technische Universität Dortmund, Germany)
Cesare Tinelli (The University of Iowa, USA)

Lenore Zuck (University of Illinois at Chicago, USA)


Steering committee

Rance Cleaveland (University of Maryland, USA)
Holger Hermanns (Universität des Saarlandes, Germany)
Kim G. Larsen (Aalborg Universitet, Denmark)
Bernhard Steffen (Technische Universität Dortmund, Germany)
Lenore Zuck (University of Illinois at Chicago, USA)

Related Resources

TACAS 2024   Tools and Algorithms for Construction and Analysis of Systems
AVC 2024   Advances in Vision Computing: An International Journal
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
FM 2024   Formal Methods
ITE 2024   5th International Conference on Integrating Technology in Education
SOEN 2024   9th International Conference on Software Engineering
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
CCBDIOT 2024   2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
NLPA 2024   5th International Conference on Natural Language Processing and Applications