Please note that this newsitem has been archived, and may contain outdated information or links.
10 - 12 November 2022, Workshop on finite model theory and many-valued logic, Virtual
The model-theoretic study of finite structures (such as relational databases) as a systematic area of research was started in the 1970s with Ronald Fagin's seminal doctoral thesis. To this date it has produced a plethora of significant results such as logical characterizations of complexity classes and 0-1 laws. On the other hand, many-valued logics have been studied at least since George Boole to handle reasoning with uncertainty and imprecision. In the 1990s, research in this area was boosted by the work of Petr Hájek and several others. Both fields have impacted theoretical computer science, particularly in the area of databases. The goal of this event is to bring researchers from these two worlds together to discuss problems in their respective areas and potential points of interaction.
This ia a three-day fully online workshop organized in the context of the ARC funded project DE220100544 hosted at the University of Queensland. The organizers of the event are Guillermo Badia (Queensland), Carles Noguera (Siena) and Lluis Godo (IIAI-Barcelona). Keynote speakers: Ronald Fagin (IBM) and Daniele Mundici (Florence).
Please note that this newsitem has been archived, and may contain outdated information or links.