IARCS Verification Seminar Series

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