AG Horsten Calendar Overview

Horsten Group Upcoming Events

10. Jan

Frege and Others on the Justification of Basic Logical Laws

Speaker: Gottfried Gabriel (Universität Jena)

11:45 - 13:15
D 435

17. Jan

Silviu Federovici (Alexandru Ioan Cuza University of Iasi, Romania)

Speaker: Silviu Federovici (Alexandru Ioan Cuza University of Iasi, Romania)

11:45 - 13:15
D 435

24. Jan

Sander Pouliart (University of Antwerp)

Speaker: Sander Pouliart (University of Antwerp)

11:45 - 13:15
D 435

31. Jan

Hadil Karawani (University of Konstanz)

Speaker: Hadil Karawani (University of Konstanz)

11:45 - 13:15
D 435

03. Feb

Maud van Lier (joint talk with Uni Konstanz Logic Colloquium)

Speaker: Maud van Lier (Universität Konstanz)

15:15 - 16:45
F 426

Past Events

Below, you'll find a calendar view of our past events

19. Jan

What can we learn by studying mathematical notations?

Speaker: Dirk Schlimm (McGill University)

11:45 - 13:15
D 435

11. Jan – 12. Jan

Workshop: Gödel Notebooks

Speaker:

Hotel St. Elisabeth, Hegne

11. Jan – 12. Jan

2-Day Workshop: Gödel Notebooks

Speaker: (see contents)

Hotel St. Elisabeth, Hegne

15. Dec

Can proofs by mathematical induction be explanatory?

Speaker: Sofie Vaas (Master's Student, University of Konstanz)

11:45 - 13:15
D 435

08. Dec

Defectiveness of Formal Concepts (Work-in-Progress)

Speaker: Carolin Antos (Universität Konstanz)

11:45 - 13:15
D 435

01. Dec

The Frege-Hilbert Controversy in Context.

Speaker: Tabea Rohr (CNRS, Université Paris Cité)

11:45 - 13:15
D 435