[FM-India] IARCS Verification Seminar Series -- Talk by Nathanael Fijalkow on April 5 at 1900 hrs IST

[VSS IARCS]

Dear all,

The next talk in the IARCS Verification Seminar Series will be given by
Nathanael Fijalkow, a CNRS researcher in LaBRI, Bordeaux, France, and The
Alan Turing Institute of data science in London, United Kingdom. The talk
is scheduled on Tuesday, April 5, at 1900 hrs IST (add to calendar
<https://fmindia.cmi.ac.in/vss/cal/vss-5Apr2022.ics>:
https://fmindia.cmi.ac.in/vss/cal/vss-5Apr2022.ics).

The details of the talk can be found on the webpage (
https://fmindia.cmi.ac.in/vss/), and also appended to the body of this
email.

The Verification Seminar Series, an initiative by the Indian Association
for Research in Computing Science (IARCS), is a monthly, online
talk-series, broadly in the area of Formal Methods and Programming
Languages, with applications in Verification and Synthesis. The aim of this
talk-series is to provide a platform for Formal Methods researchers to
interact regularly. In addition, we hope that it will make it easier for
researchers to explore newer problems/areas and collaborate on them, and
for younger researchers to start working in these areas.

All are welcome to join.


Best regards,
Deepak, Madhukar, Rahul, Srivathsan

=============================================================

Title: Scaling Neural Program Synthesis with Distribution-based Search

Meeting Link:
https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09
(Meeting ID: 891 6409 4870, Passcode: 082194)

Abstract: In this talk, we will explore an unexpected connection between
program synthesis, airport screening, and DNA sequencing: they are all
about finding a needle in a (probabilistic) haystack! Based on some recent
work (to appear in AAAI'22, see below), I will introduce the framework of
predictions-guided program synthesis, and discuss its algorithmic
challenges.

Link to the technical report: https://arxiv.org/abs/2110.12485

Bio: Nathanael Fijalkow is a CNRS researcher in LaBRI, Bordeaux, France,
and The Alan Turing Institute of data science in London, United Kingdom.
His research interests include program synthesis, games, and automata
theory.