Carl Friedrich von Weizsäcker Center

26/07/2026

Workshop on Proof-theoretic Semantics
A small workshop, combining the Carl Friedrich von Weizsäcker Colloquium and Balthasar Grabmayr's WIP seminar, will be held at the CFvWC.
Date and time: September 10th, 2026, 10:00 - 13:00 CEST
Location: Doblerstraße 33, Tübingen, Germany
More information:

A small workshop, combining the Carl Friedrich von Weizsäcker Colloquium and Balthasar Grabmayr's WIP seminar, will be held at the CFvWC.

30/06/2026

The garden of forking paths: an excursion between probabilistic programming, logic and combinatorics
Talk by Prof. Dr. Prof. Dr. Paolo Pistone (ENS Lyon) in the Carl Friedrich von Weizsäcker Colloquium
Wednesday, July 15, 2026, 4:30 P.M. to 5:30 P.M. (CEST)
Join us in Room 1.3, Doblerstr. 33, or on Zoom: https://zoom.us/j/96822543209?pwd=My9vQ2NtSHhaMnpzWnpJZldib3gyUT09
More info: ttps://uni-tuebingen.de/en/228607

21/06/2026

Approximating the Values of Boolean Formulae in TC0
Talk by Prof. Dr. Klaus-Jörn Lange (University of Tübingen) in the Carl Friedrich von Weizsäcker Colloquium
Wednesday, June 24, 2026, 4:30 P.M. to 5:30 P.M. (CEST)
Join us in Room 1.3, Doblerstr. 33, or on Zoom: https://zoom.us/j/96822543209?pwd=My9vQ2NtSHhaMnpzWnpJZldib3gyUT09
More info: https://uni-tuebingen.de/en/228607

18/06/2026

General Meeting 2026 of the IRN-LI
June 23 - 24, 2026 in Lyons, Farnce
Invited talk by Dr. Melissa Antonelli:
Towards a unified perspective in circuit complexity via discrete ODEs

The next general meeting of the IRN LI will be held in at the ENS de Lyon, on 23-24 June 2026. It will be followed by the 25 June edition of the Chocola seminar.

18/06/2026

2026 Triennial Conference of the Italian Society for Logic and the Philosophy of Sciences (SILFS)
June 29 - July 2, 2026 in Pavia, Italy
Co-organized by Dr. Melissa Antonelli (CFvWC)
https://www.silfs.it/en/silfs-triennial-conference-2026-2/

16/06/2026

7th International Chaos and Complexity Symposium
June 19-21, 2026 in Athens, Greece
Opening talk by Prof. Dr. Klaus Mainzer (CFvWC):
From Complex Systems and Nonlinear Dynamics to Neuromorphic Systems and Physical AI

7th International Interdisciplinary Chaos Symposium on Chaos and Complex Systems, SCCS2026 - Athens, Greece 19-21 June

09/06/2026

KI, Neuromorphe Chips und Quantencomputer

In this interview, Prof. Dr. Klaus Mainzer explains how quantum computing, neuromorphic computing and artificial intelligence will determine the next generation of AI.

Wath the video:

Professor Dr. Klaus Mainzer zählt zu den bedeutendsten deutschen Wi...

25/05/2026

A survey of two strands in proof-theoretic semantics
Talk by Dr. Francesco Montesi (University of Napoli "Federico II") in the Carl Friedrich von Weizsäcker Colloquium
Wednesday, June 17, 2026, 4:30 P.M. to 5:30 P.M. (CEST)
Join us in person or on Zoom: https://uni-tuebingen.de/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/
More info: https://uni-tuebingen.de/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/

24/04/2026

The structure of the determinacy challenge for moderate mathematical realism
Talk by Dr. Sebastian Speitel (University of Bonn) in the Carl Friedrich von Weizsäcker Colloquium
Wednesday, April 29, 2026, 4:30 P.M. to 5:30 P.M. (CEST)
Join us in person or on Zoom: https://zoom.us/j/96822543209?pwd=My9vQ2NtSHhaMnpzWnpJZldib3gyUT09
More info: https://uni-tuebingen.de/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/

23/04/2026

8th international school and workshop of the Proof Society

Date: September 7 - 11, 2026

Location: Aussois, France

Organizers: Proof Society and IRIF; Program committee: Dr. Melissa Antonelli (CfvWC) and others

Sciencesconf.org