If you already have an account, please login! forgot your password?
Videos and slides of the talks are available below. The times in the programme are indicated in CET.
FRIDAY
SATURDAY
Welcome, opening
Philipp Schlicht
Dichotomies for open dihypergraphs on generalized Baire spaces
Abstract
Video Slides
Wolfgang Schreiner
Teaching Logic, Formalization, and Verification by Analyzing Theories and Algorithms with the RISCAL Model Checker
Krzysztof Krupiński
Some Ramsey theory and topological dynamics for first order theories
Luca Motto Ros
(Generalized) Descriptive Set Theory meets Model Theory
William Steingartner
Perspectives of semantic modeling in categories
Aleksander Ivanov
Generalized model theory and continuous logic
Virtual lunch break
Itay Kaplan
On minimal expansions of elementary extensions of the ordered group of integers
Lajos Soukup
On elusive properties of infinite graphs
Tibor Beke
Categories, coalgebras and Hopf algebras defined from logical structures
Vera Koponen
On the relative asymptotic expressivity of probabilistic inference frameworks: an approach via finite model theory
Philipp Lücke
Strong Downward Löwenheim-Skolem theorems, large cardinals and set-theoretic complexity
Tarek Sayed Ahmed
A multifaceted Approach to algebraic logic: What happened since ‘Algebraic logic, where does it stand today?’
Artem Chernikov
Idempotent Keisler measures
Yurii Khomskii
Symbiosis and Upwards Reflection Principles
Video