[TYPES/announce] iVerif (FSTTCS Pre-Conference Workshop) Call for participation: December 14

[Shibashis Guha]

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://urldefense.com/v3/__https://www.tifr.res.in/*shibashis.guha/iVerif__;fg!!IBzWLUs!E0lOQDNLbwasZ491E6K86D5BtzE_59XmckKY3YTScNLtgiOhoVoATSDVm9kU0xrbWqx-Jn7pyxyigQ$ 
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://urldefense.com/v3/__https://www.tifr.res.in/*shibashis.guha/iVerif/__;fg!!IBzWLUs!E0lOQDNLbwasZ491E6K86D5BtzE_59XmckKY3YTScNLtgiOhoVoATSDVm9kU0xrbWqx-Jn5Rcs-DVw$ 

Registration is free but mandatory.
https://urldefense.com/v3/__https://www.tifr.res.in/*shibashis.guha/iVerif/*participate__;fiM!!IBzWLUs!E0lOQDNLbwasZ491E6K86D5BtzE_59XmckKY3YTScNLtgiOhoVoATSDVm9kU0xrbWqx-Jn4Q109Eyg$ 


Organisers:

Shibashis Guha
Guillermo A. Pérez
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211201/6a77c83b/attachment-0001.htm>