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

Madhavan Mukund madhavan at cmi.ac.in
Wed Dec 1 20:31:21 IST 2021

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

Call for Participation
iVerif Workshop on Artificial Intelligence and Verification
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: 

Registration is free but mandatory.


Shibashis Guha
Guillermo A. Pérez

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

More information about the FMIndia mailing list