About

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.

Over the past four decades FAMT has established itself as a solid research field with a strong and evolving community of researchers with a shared research agenda. Much of the progress can be traced to the regular meetings of the community. The previous meetings were in Dagstuhl in 2022, Dagstuhl in 2017, Les Houches in 2012, Bedlewo in 2003, Luminy in 2000, Oberwolfach in 1998, Luminy in 1995, Oberwolfach in 1994.

This is a closed workshop, attendance is only by invitation.

Organization

Organized by Diego Figueira, Luc Segoufin & Szymon Toruńczyk.

Website by Rémi Morvan.