Aktuelle und Bevorstehende Veranstaltungen

Konzeptionelle Herausforderungen für die KI

INFORMATIK2020

Workshop auf der Jahrsetagung der Gesellschaft für Informatik.

Carl Friedrich von Weizsäcker-Kolloquium

Mittwochs 17-18h

Im Carl Friedrich von Weizsäcker-Kolloquium werden wöchentlich Vorträge von Gästen und Mitarbeitern des CFvW-Zentrums angeboten, die sich im weiten Sinne mit Themen befassen, die am Zentrum diskutiert werden.

Bisherige Veranstaltungen

5. – 9. Juli 2021: Celebrating 90 Years of Gödel's Incompleteness Theorems

Nürtingen, Online - Celebrating 90 Years of Gödel's Incompleteness Theorems

The topics of the conference comprise all areas of logic relating in a narrower or wider sense to Gödel's incompleteness results. This includes the history of logic, proof theory, philosophy of mathematics, aspects of incompleteness in computer science and others. The conference is organised as a collection of workshops for these specific topics.

28. September 2020: Konzeptionelle Herausforderungen für die KI

6. Februar 2020: Vlasta Sikimić - Team composition and inclusion in contemporary science

Keplerstr. 2, 6. Februar 2020

Vortrag: Vlasta Sikimić - Team composition and inclusion in contemporary science

7.–8. Oktober 2019: 3. Workshop zum VolkswagenStiftung Planning Grant

21.–27. Juli 2019: Hilbert-Bernays Summer School on Logic and Computation

14.–19. Juli 2019: Proof, Computation, Complexity

Mittag-Leffler Institute, Djursholm - Proof, Computation, Complexity

25.–26. Juni 2019: 2. Workshop zum VolkswagenStiftung Planning Grant

21.–22. Mai 2019: 1. Workshop zum VolkswagenStiftung Planning Grant

27.–30. März 2019: Proof-Theoretic Semantics: Assessment and Future Perspectives

Third Tübingen Conference on Proof-Theoretic Semantics - Proof-Theoretic Semantics: Assessment and Future Perspectives
 


2021
Celebrating 90 Years of Gödel's Incompleteness Theorems

5. – 9. Juli

Making Responsible Decisions in and about Science

6. April

2020
Responsible Life Science Policy between Public and Private Funding

14. November

Konzeptionelle Herausforderungen für die KI

28. September

Celebrating and commemorating Er­win Engeler’s 90th birth­day

21.–22. Februar

Vlasta Sikimić - Team composition and inclusion in contemporary science

6. Februar

2019
3. Workshop zum VolkswagenStiftung Planning Grant

7.–8. Oktober

Hilbert-Bernays Summer School on Logic and Computation

21.–27. Juli

Proof, Computation, Complexity

14.–19. Juli

2. Workshop zum VolkswagenStiftung Planning Grant

25.–26. Juni

1. Workshop zum VolkswagenStiftung Planning Grant

21.–22. Mai

Proof-Theoretic Semantics: Assessment and Future Perspectives

27.–30. März