Advances in Verification

A post conference workshop of FSTTCS 2020.
Date: December 18, 2020

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. This workshop aims to discuss some of the classical concepts in verification, with a focus on recent advances.


Talks

Tentative Title: Concurrent Algorithms and Data Structures for Model Checking

Speaker: Jaco van de Pol

Abstract: TBA


Program

Speaker IST CET
TBA 13:30 - 14:30 9:00 - 10:00
Break 14:30 - 15:00 10:00 - 10:30
TBA 15:00 - 16:00 10:30 - 11:30
Long Break 16:00 - 17:30 11:30 - 13:00
TBA 17:30 - 18:30 13:00 - 14:00
Break 18:30 - 19:00 14:00 - 14:30
TBA 19:00 - 20:00 14:30 - 15:30

Organizers

B Srivathsan

Chennai Mathematical Institute

Prakash Saivasan

Institute of Mathematical Sciences