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!
CALL FOR PARTICIPATION
ADVANCES IN VERIFICATION – a post conference workshop of FSTTCS 2020
18 December, 2020 (online using Zoom + Slack + gather.town)
https://www.imsc.res.in/~prakashs/Conference/AdvVer/
Live streaming link (open to all, requires no registration): https://www.youtube.com/watch?v=H0gAGqUcot8
PROGRAM:
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:
Registration to conference FSTTCS is required – approximately costs 12 Euros
Registration link: https://www.fsttcs.org.in/2020/#register
Deadline: December 8, 2020
ORGANIZERS:
Prakash Saivasan – Institute of Mathematical Sciences (India)
B Srivathsan – Chennai Mathematical Institute (India)