[FM-India] iVerif (FSTTCS Pre-Conference Workshop) Call for participation: December 14

[Madhavan Mukund]

----- Forwarded message from Shibashis Guha <shibashis.guha at tifr.res.in> -----

Date: Wed, 01 Dec 2021 15:43:54 +0530
From: Shibashis Guha <shibashis.guha at tifr.res.in>
To: fmindia at cmi.ac.in
Cc: Guillermo Alberto Perez <GuillermoAlberto.Perez at uantwerpen.be>
Subject: iVerif (FSTTCS Pre-Conference Workshop) Call for participation:
  December 14


Apologies for multiple copies of this email; please re-distribute as you see 
fit.

Call for Participation
iVerif Workshop on Artificial Intelligence and Verification
https://www.tifr.res.in/~shibashis.guha/iVerif
December 14, 2021, Online (pre-FSTTCS workshop)

Recently, efficient artificial intelligence techniques are increasingly 
applied to problems which are (theoretically) hard or even undecidable, while 
usually no formal correctness guarantees are given. These shortcomings raise 
the following question: Can AI borrow from the verification techniques where 
correctness is of paramount importance, and thus provide correctness 
guarantees? On the other hand, verification algorithms often suffer from 
scalability issues while providing correctness. This raises the following 
question: Can we leverage machine learning techniques to implement better, 
more efficient verification tools?

The iVerif workshop aims at bringing together researchers working on different 
aspects of AI for verification, the verification of AI-enabled systems, and 
safe AI, amongst others.

Invited lectures:

Dana Fisman
Jan Křetínský
Pavithra Prabhakar
Ashutosh Trivedi

The workshop will also consist of short invited student presentations as well 
as a panel discussion (panelists: Supratik Chakraborty (Chair), Nils Jansen, 
Jan Křetínský, Pavithra Prabhakar, and Ashutosh Trivedi).
Full program with talk abstracts: 
https://www.tifr.res.in/~shibashis.guha/iVerif/

Registration is free but mandatory.
https://www.tifr.res.in/~shibashis.guha/iVerif/#participate


Organisers:

Shibashis Guha
Guillermo A. Pérez

----- End forwarded message -----