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 event is organized by Guillermo Badia (Queensland), Lluis Godo (IIAI-Barcelona) and Carles Noguera (Siena) with the assistance of James Carr (Queensland). This meeting is sponsored by the Association for Symbolic Logic.