Advances in Verification – Call for Workshop Participation

Advances in Verification is a post conference workshop of FSTTCS 2020 and takes place online on December 18, 2020. Please find the Call for Participation and relevant links below. Note that even without registration you can attend the talks online via the live stream. Enjoy this workshop!


ADVANCES IN VERIFICATION – a post conference workshop of FSTTCS 2020

18 December, 2020 (online using Zoom + Slack +

Live streaming link (open to all, requires no registration):


The subject of verification is well studied and has been successfully deployed in practice. As a result, several fundamental techniques have evolved over the years. The workshop aims to discuss some of the classical concepts in verification, with a focus on recent advances.

There will be four tutorial style talks, of about 1 hour duration each.

+ Parosh Aziz Abdulla : Partial Order Reduction
+ Karoliina Lehtinen : Monitorability
+ Joshua Moerman : Automata Learning
+ Jaco van de Pol : Concurrent Algorithms and Data Structures for Model Checking


Registration to conference FSTTCS is required – approximately costs 12 Euros

Registration link:

Deadline: December 8, 2020


Prakash Saivasan – Institute of Mathematical Sciences (India)
B Srivathsan – Chennai Mathematical Institute (India)