Hostname: page-component-74656f9884-c52kr Total loading time: 0 Render date: 2026-11-07T04:58:31.209Z Has data issue: false hasContentIssue false
  • English
  • Français

WORKSHOP: FINITE MODEL THEORY AND MANY-VALUED LOGIC: CHALLENGES AND INTERACTIONS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia (online) November 10–12, 2022

Published online by Cambridge University Press:  11 November 2024

Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.

Information

Type
Meeting Report
Information
Bulletin of Symbolic Logic , Volume 30 , Issue 2 , June 2024 , pp. 292
Check for updates
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

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