Upcoming Events

Video recordings will be made available on our Youtube Channel.

Verifiability Talk 21: CIRCUS: an Integrated Modelling and Development Environment Dedicated to Interactive Systems with Explicit Support to Verification and Validation
Thursday, 4 November 2021 at

Speaker: Phillipe Palanque (IRIT)
Title: “CIRCUS: an Integrated Modelling and Development Environment Dedicated to Interactive Systems with Explicit Support to Verification and Validation”
Date: 04/11/2021 – Meeting Link
Time: 16:00-17:00 (British Summer Time, GMT+1)

Past Events

Twitter feeds

Twitter Feeds

Please follow us on Twitter to receive instant updates on events, activities and news related to the node.

Join Us twitter

Jan Oliver Ringert's Verifiability Talk on Synthesis Technologies for Reactive Systems is now out, enjoy:
https://youtu.be/PT01aZ2rcVQ

@tas_verif @tas_hub @TAS_Security @tas_resilience @tas_governance @tas_trust

Load More...

RSS Feed Events