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.
Dichotomies for open dihypergraphs on generalized Baire spaces
Teaching Logic, Formalization, and Verification by Analyzing Theories and Algorithms with the RISCAL Model Checker
Some Ramsey theory and topological dynamics for first order theories
Luca Motto Ros
(Generalized) Descriptive Set Theory meets Model Theory
Perspectives of semantic modeling in categories
Generalized model theory and continuous logic
Virtual lunch break
On minimal expansions of elementary extensions of the ordered group of integers
On elusive properties of infinite graphs
Categories, coalgebras and Hopf algebras defined from logical structures
On the relative asymptotic expressivity of probabilistic inference frameworks: an approach via finite model theory
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?’
Idempotent Keisler measures
Symbiosis and Upwards Reflection Principles