Prof. Dr. Drs. h.c. Michael Molls - Das Institute for Advanced Study der TU München @weizsacker-zentrumuniversi3136

Uploaded July 2022 | Updated September 2026, 1 day ago

Recorded as part of the Carl Friedrich von Weizsäcker Colloquium on July 13th

Prof. Dr. Drs. h.c. Michael Molls (Technical University Munich, Institute for Advanced Study) - Das Institute for Advanced Study der TU München - Interdisziplinarität und Internationalisierung der Forschung

Explore our colloquium schedule on our website: bit.ly/3sM4IFX

Prof. Dr. Drs. h.c. Michael Molls - Das Institute for Advanced Study der TU München

Prof. Dr. Wolfgang Bibel: Laßt hundert Blumen blühen

Prof. Dr. Thomas Studer: Justification Logic - Introduction and Recent Developments

Ivor Ralph Edwards (Uppsala Monitoring Center)

Helmut Schwichtenberg - Linear Two-Sorted Constructive Arithmetic (Gödel Conference)

Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory II

Dr. Francesco Montesi - A survey of two strands in proof-theoretic semantics

Leonardo Ceragioli - A Proof-Theoretic Approach to Bias

Miloš Adžić - Gödels Introduction to Deduction: Logic Lectures at Notre Dame (Gödel Conference)

Raysa Benatti - Intimate Partner Violence Risk Assessment Tools

Thierry Coquand - Internal Models of Type Theory (Gödel Conference)

Samuel Schindler - Scientific Discovery and AI