We will not have a talk in July, in light of the Formal Methods Update Meeting 2022.
Title: TBD
Speaker: TBD
Nathanaël 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.
When: Tuesday, 02 August 2022 at 1900 hrs (IST)
Meeting Details: Zoom link, ID: 891 6409 4870, Passcode: 082194
Abstract:
TBD