Search
Login
VIDEO PORTAL
Videos
Speakers
Conferences
Seminars
Lectures
MTF2022
Conferences
Model theoretic logics and their frontiers
Data sheet
The home page of the conference
Video storage
Some Ramsey theory and topological dynamics for first order theories
Krupiński Krzysztof
on 1/16/22
Generalized model theory and continuous logic
Alexander Ivanov
on 1/16/22
Categories, coalgebras and Hopf algebras defined from logical structures
Beke Tibor
on 1/16/22
A multifaceted Approach to algebraic logic: What happened since ‘Algebraic logic, where does it stand today?’
Sayed Ahmed Tarek
on 1/16/22
Teaching Logic, Formalization, and Verification by Analyzing Theories and Algorithms with the RISCAL Model Checker
Schreiner Wolfgang
on 1/15/22
Perspectives of semantic modeling in categories
Steingartner William
on 1/15/22
On elusive properties of infinite graphs
Soukup Lajos
on 1/15/22
Strong Downward Löwenheim-Skolem theorems, large cardinals and set-theoretic complexity
Lücke Philipp
on 1/15/22
Symbiosis and Upwards Reflection Principles
Khomskii Yurii
on 1/15/22
On minimal expansions of elementary extensions of the ordered group of integers
Kaplan Itay
on 1/14/22
On the relative asymptotic expressivity of probabilistic inference frameworks: an approach via finite model theory
Koponen Vera
on 1/14/22
Idempotent Keisler measures
Chernikov Artem
on 1/14/22
Dichotomies for open dihypergraphs on generalized Baire spaces
Schlicht Philipp
on 1/14/22
(Generalized) Descriptive Set Theory meets Model Theory
Motto Ros Luca
on 1/14/22
×
