[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)
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)
More information about the FMIndia
mailing list