[FM-India] Online workshop on "Advances in Verification" - Dec 18 2020 - Part of FSTTCS 2020

[B Srivathsan]

CALL FOR PARTICIPATION     (Apologies for multiple receipts)
----------------------

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/


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. 
Speakers and tentative titles below:

+ 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)