Carl Friedrich von Weizsäcker Center

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:

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.

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

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

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

IRN-LI - Journées 2026 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.

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/

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

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

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:

DAS ist alles erst der ANFANG! KI, Neuromorphe Chips & Quantencomputer (Prof. Dr. Klaus Mainzer) Professor Dr. Klaus Mainzer zählt zu den bedeutendsten deutschen Wi...

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/

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/

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

2026 Workshop and Summer school of the Proof Society - Sciencesconf.org Sciencesconf.org