A workshop entitled ‘Finite Model Theory and Many-Valued Logic: Challenges and Interactions’ was held in Brisbane, Australia on November 10–12, 2022, hosted online by the University of Queensland. The workshop brought together researchers from both finite model theory and many-valued logics for three intense days of online talks and discussion. There were 22 speakers in the conference. Generous support was provided by the Australian Research Council grant DE220100544 (awarded to Guillermo Badia), and the Association for Symbolic Logic.
The organizers of the event consisted of Guillermo Badia (University of Queensland), Lluís Godo (Artificial Intelligence Research Institute, Spain) and Carles Noguera (University of Siena, Italy). They also had the assistance of James Carr (University of Queensland).
A total of 19 invited lectures were delivered at the meeting. They included two keynotes, one given by Ronald Fagin (IBM), entitled Applying theory (including real-valued logic) to practice, and the other delivered by Daniele Mundici (University of Florence, Italy), entitled Finite models in Łukasiewicz logic. The other invited speakers were: Paolo Agliano (University of Siena, Italy), Xavier Caicedo (Universidad de los Andes, Colombia), Petr Cintula (Czech Academy of Sciences, Czech Republic), Anuj Dawar (University of Cambridge, UK), Tommaso Flaminio (Artificial Intelligence Research Institute, Spain), Chris Fermüller (Technical University of Vienna, Austria), Erich Grädel (RWTH Aachen University, Germany), Yuri Gurevich (University of Michigan, USA), Marcel Jackson (La Trobe University, Australia), Phokion Kolaitis (UC Santa Cruz & IBM Research, USA), Leonid Libkin (University of Edinburgh, UK), George Metcalfe (University of Bern, Switzerland), Sara Ugolini (Artificial Intelligence Research Institute, Spain), Jouko Väänänen (University of Helsinki, Finland), Moshe Vardi (Rice University, USA), Amanda Vidal (Artificial Intelligence Research Institute, Spain), and Stephen Wolfram (Wolfram Research, USA).
Further information, as well as recordings of the talks, can be found at the website:
https://sites.google.com/view/workshop-fmtmvlci/home.
For the Organizing Committee
Guillermo Badia, Lluís Godo, and Carles Noguera
