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

Abstract:
TBD