TACAS 21 - Artefact Evaluation, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Event)

  • Mathias Fleury (Member)
  • Daniela Kaufmann (Member)

Activity: Membership/Function › Program committee

Description

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.
Period27 Mar 2021 → 01 Apr 2021
Event titleTACAS 21 - Artefact Evaluation, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Event typeOther
LocationLuxembourgShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

Documents & Links