Finite and Algorithmic Model Theory

Print Share
Workshop
May 25, 2025 - May 30, 2025
The workshop aims at bringing together researchers working on finite and algorithmic model theory (FAMT). FAMT has found applications in areas as diverse as database theory, computational complexity, graph theory, verification, automata theory, proof complexity, or algorithmic game theory.
This session is organized by:
Luc SEGOUFIN, INRIA (ENS-Paris)
Szymon TORUŃCZYK, University of Warsaw
Diego FIGUEIRA, CNRS (LaBRI, Université de Bordeaux)

More information can be found on the session's website.
Published on  September 5, 2024
Updated on  September 5, 2024