AG Horsten Kalender Übersicht

AG Horsten Kommende Veranstaltungen

Frege and Others on the Justification of Basic Logical Laws

Vortragende Person/Vortragende Personen: Gottfried Gabriel (Universität Jena)

11:45 - 13:15 Uhr
D 435

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

Vortragende Person/Vortragende Personen: Silviu Federovici (Alexandru Ioan Cuza University of Iasi, Romania)

11:45 - 13:15 Uhr
D 435

24. Jan.

Sander Pouliart (University of Antwerp)

Vortragende Person/Vortragende Personen: Sander Pouliart (University of Antwerp)

11:45 - 13:15 Uhr
D 435

31. Jan.

Hadil Karawani (University of Konstanz)

Vortragende Person/Vortragende Personen: Hadil Karawani (University of Konstanz)

11:45 - 13:15 Uhr
D 435

03. Feb.

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

Vortragende Person/Vortragende Personen: Maud van Lier (Universität Konstanz)

15:15 - 16:45 Uhr
F 426

Vergangene Veranstaltungen

Unten finden Sie einen Kalender der vergangenen Veranstaltungen

19. Jan.

What can we learn by studying mathematical notations?

Vortragende Person/Vortragende Personen: Dirk Schlimm (McGill University)

11:45 - 13:15 Uhr
D 435

11. Jan. – 12. Jan.

Workshop: Gödel Notebooks

Vortragende Person/Vortragende Personen:

Hotel St. Elisabeth, Hegne

11. Jan. – 12. Jan.

2-Day Workshop: Gödel Notebooks

Vortragende Person/Vortragende Personen: (see contents)

Hotel St. Elisabeth, Hegne

15. Dez.

Can proofs by mathematical induction be explanatory?

Vortragende Person/Vortragende Personen: Sofie Vaas (Master's Student, University of Konstanz)

11:45 - 13:15 Uhr
D 435

08. Dez.

Defectiveness of Formal Concepts (Work-in-Progress)

Vortragende Person/Vortragende Personen: Carolin Antos (Universität Konstanz)

11:45 - 13:15 Uhr
D 435

01. Dez.

The Frege-Hilbert Controversy in Context.

Vortragende Person/Vortragende Personen: Tabea Rohr (CNRS, Université Paris Cité)

11:45 - 13:15 Uhr
D 435