TACAS: Tools and Algorithms for Construction and Analysis of Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TACAS 2019 International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Apr 8, 2019 - Apr 11, 2019 Prague, Czech Republic Nov 15, 2018 (Nov 7, 2018)
TACAS 2016 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Apr 2, 2016 - Apr 8, 2016 Eindhoven, The Netherlands Oct 16, 2015 (Oct 9, 2015)
TACAS 2015 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Apr 11, 2015 - Apr 19, 2015 London, UK Oct 17, 2014 (Oct 10, 2014)
TACAS 2014 Tools and Algorithms for Construction and Analysis of Systems
Apr 5, 2014 - Apr 13, 2014 Grenoble Oct 11, 2013 (Oct 4, 2013)
TACAS 2013 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Mar 16, 2013 - Mar 24, 2013 Rome Oct 14, 2012 (Oct 7, 2012)
TACAS 2012 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Mar 24, 2012 - Apr 1, 2012 Tallinn, Estonia Oct 14, 2011 (Oct 7, 2011)
TACAS 2011 International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Mar 26, 2011 - Apr 3, 2011 Saarbr├╝cken, Germany Oct 8, 2010 (Oct 1, 2010)
TACAS 2010 Sixteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
Mar 20, 2010 - Mar 28, 2010 Paphos, Cyprus Oct 8, 2009 (Oct 1, 2009)
 
 

Present CFP : 2019

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;
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.
 

Related Resources

MCDMT 2018   Special Issue - Modeling Computing and Data Handling for Marine Transportation - Algorithms, MDPI - Open Access Journal
BES 2018   3rd International Conference on Biomedical Engineering and Science
IROS 2019   Intelligent RObots and Systems
FCT 2019   22nd Symposium on Fundamentals of Computation Theory
CAIP 2019   Computer Analysis of Images and Patterns
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
ICTAI 2018   International Conference on Tools with Artificial Intelligence
ICDAR 2019   International Conference on Document Analysis and Recognition
ACSD 2019   19th International Conference on Application of Concurrency to System Design
DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems