<div dir="ltr"><div><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br></span></div><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px">Apologies for multiple copies of this email; please re-distribute as you see fit.</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Call for Participation</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">iVerif Workshop on Artificial Intelligence and Verification</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap"><a rel="noreferrer" target="_blank" href="https://urldefense.com/v3/__https://www.tifr.res.in/*shibashis.guha/iVerif__;fg!!IBzWLUs!E0lOQDNLbwasZ491E6K86D5BtzE_59XmckKY3YTScNLtgiOhoVoATSDVm9kU0xrbWqx-Jn7pyxyigQ$" style="color:rgb(0,105,166)">https://www.tifr.res.in/~shibashis.guha/iVerif</a></span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">December 14, 2021, Online (pre-FSTTCS workshop)</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px">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?</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px">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.</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Invited lectures:</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Dana Fisman</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Jan Křetínský</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Pavithra Prabhakar</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Ashutosh Trivedi</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px">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).</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px">Full program with talk abstracts: </span><a rel="noreferrer" target="_blank" href="https://urldefense.com/v3/__https://www.tifr.res.in/*shibashis.guha/iVerif/__;fg!!IBzWLUs!E0lOQDNLbwasZ491E6K86D5BtzE_59XmckKY3YTScNLtgiOhoVoATSDVm9kU0xrbWqx-Jn5Rcs-DVw$" style="color:rgb(0,105,166);font-family:monospace;font-size:12px">https://www.tifr.res.in/~shibashis.guha/iVerif/</a><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Registration is free but mandatory.</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap"><a rel="noreferrer" target="_blank" href="https://urldefense.com/v3/__https://www.tifr.res.in/*shibashis.guha/iVerif/*participate__;fiM!!IBzWLUs!E0lOQDNLbwasZ491E6K86D5BtzE_59XmckKY3YTScNLtgiOhoVoATSDVm9kU0xrbWqx-Jn4Q109Eyg$" style="color:rgb(0,105,166)">https://www.tifr.res.in/~shibashis.guha/iVerif/#participate</a></span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Organisers:</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Shibashis Guha</span><br style="color:rgb(51,51,51);font-family:monospace;font-size:12px"><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap">Guillermo A. Pérez</span><div><span style="color:rgb(51,51,51);font-family:monospace;font-size:12px;white-space:nowrap"><br></span></div></div>