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

B Srivathsan sri at cmi.ac.in
Mon Dec 7 09:18:50 IST 2020

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)



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 


Registration to conference FSTTCS is required - approximately costs 12 

Registration link: https://www.fsttcs.org.in/2020/#register

Deadline: December 8, 2020


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

More information about the FMIndia mailing list