TACAS 2022

TACAS 2022
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ordinal	28
Event in series	TACAS
Subevent of	ETAPS
Dates	2022/04/02 (iCal) - 2022/04/07
Presence	presence
Homepage:	https://etaps.org/2022/tacas
Location
Location:	Munich, Germany
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":48.1371079,"lon":11.5753822,"icon":""}],"imageoverlays":null}
Important dates
Papers:	2021/12/23
Submissions:	2022/01/05
Table of Contents

The 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2022

Topics

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

Important Dates

Paper submission deadline (also, pre-paper-acceptance artifact registration deadline (TACAS)): 14 October 2021 23:59 AoE (=GMT-12)
Pre-paper-acceptance artifact submission deadline (TACAS): 4 November 2021 23:59 AoE
Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 2021 00:01 AoE - 9 December 2021 23:59 AoE
Paper notification: 23 December 2021
Post-paper-acceptance artifact submission deadline (ESOP, FASE, TACAS): 5 January 2022 23:59 AoE
Paper final versions: 26 January 2022
Artifact notification: 16 February 2022

Committees

• Co-Organizers
• General Co-Chairs
  • some person, some affiliation, country

• PC Co-Chairs
  • some person, some affiliation, country

• Workshop Chair
  • some person, some affiliation, country

• Panel Chair
  • some person, some affiliation, country

• Seminars Chair
  • some person, some affiliation, country

• Demonstration Co-Chairs
  • some person, some affiliation, country
  • some person, some affiliation, country

• Local Organizing Co-Chairs
  • some person, some affiliation, country

• Program Committee Members
  • some person, some affiliation, country

-->