posted by user: HybridSystems || 6893 views || tracked by 27 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Tools and Algorithms for Construction and Analysis of Systems
 
Link: http://www.etaps.org/2013/tacas13
 
When Mar 16, 2013 - Mar 24, 2013
Where Rome
Abstract Registration Due Oct 7, 2012
Submission Deadline Oct 14, 2012
Notification Due Dec 14, 2012
Final Version Due Jan 8, 2013
 

Call For Papers

19th 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 serves to bridge the gaps between different communities that share common interests in, and techniques for, tool development and its algorithmic foundations. The research areas covered by such communities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, communications protocols, and biological systems. The TACAS forum provides a venue for such communities at which common problems, heuristics, algorithms, data structures and methodologies can be discussed and explored. In doing so, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.

Tool descriptions and case studies with a conceptual message, as well as theoretical papers with clear relevance for tool construction are all encouraged. The specific topics covered by the conference include, but are not limited to, the following:

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.
Important dates and submission

See the common call for papers of ETAPS 2013. Submit your paper via the TACAS 2013 author interface of Easychair.

Competition on Software Verification

Associated with TACAS '13 there will be a competition on software verification. TACAS '13 hosts the second such competition event with the goal to evaluate the technology transfer and compare state-of-the-art software verifiers with respect to effectiveness and efficiency.

Invited speaker

Orna Grumberg (Technion, Haifa, Israel)

Programme co-chairs

Nir Piterman (University of Leicester, UK)
Scott Smolka (Stony Brook University, USA)

Programme committee

Marsha Chechik (University of Toronto, Canada)
Rance Cleaveland (University of Maryland, USA)
Leonardo De Moura (Microsoft Research, USA)
Cindy Eisner (IBM Research Haifa, Israel)
Cédric Fournet (Microsft Research Cambridge, USA)
Dimitra Giannakopoulou (NASA Ames Research Center, USA)
Susanne Graf (Verimag Laboratory, France)
Laurie Hendren (McGill University, Montreal, Canada)
Gerard Holzmann (NASA JPL, USA)
Michael Huth (Imperial College London, UK)
Paola Inverardi (University of L'Aquila, Italy)
Joost-Pieter Katoen (RWTH Aachen University and University of Twente, Netherlands)
Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)
Hillel Kugler (Microsoft Research Cambridge, USA)
Barbara König (University of Duisburg-Essen, Germany)
Kim Guldstrand Larsen (Aalborg University, Denmark)
Axel Legay (IRISA/INRIA Rennes, France)
Tobias Nipkow (Technical University of Munich, Germany)
Gethin Norman (University of Glasgow, UK)
Corina Pasareanu (NASA Ames Research Center, USA)
Mooly Sagiv (Tel Aviv University, Israel)
Natasha Sharygina (University of Lugano, Switzerland)
Bernhard Steffen (University of Dortmund, Germany)
Cesare Tinelli (University of Iowa, USA)
Verena Wolf (Saarland University, Germany)
Lenore Zuck (University of Illinois at Chicago, USA)

Related Resources

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2022   28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
SGRECT 2023   2023 2nd Asia Conference on Smart Grid, Renewable Energy and Computing Technology (SGRECT 2023)
Electronics SI 2022   Electronics: Special Issue on Cybersecurity and Privacy Issues in Cyber-Physical Systems and Industrial Control Systems
IEEE CCNC STP-CPS 2023   5th International Workshop on Security Trust Privacy for Cyber-Physical Systems (STP-CPS'23) with IEEE CCNC 2023, 8-11 January, Las Vegas, NV, USA
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
CDC 2023   IEEE Conference on Decision and Control
DT4CS 2023   Special Issue on Digital Twins for Complex Systems in Big Data and Cognitive Computing Journal