CFvW Center | University of Tübingen

Established as TüCAS (Tübingen Center for Advanced Studies), the Carl Friedrich von Weizsäcker Center is dedicated to interdisciplinary foundational research and offers postdocs a platform for reflection on science.

Mission

Based on the idea of a TüCAS, we provide a platform for reflections and guidance on questions of responsible science concerning ongoing societal challenges.

Community

We bring together researchers from all scientific areas to stimulate powerful dialogues across disciplines.

Goals

We aim at bringing new scientific ideas to life and to enrich the public debate by providing clear, well-reasoned information concerning responsible science.

News

On the role of Formal Methods for Neuro-Symbolic AI

Talk by Prof. Giuseppe Primiero (University of Milan) in the Carl Friedrich von Weizsäcker Colloquium on December 9, 2026

Learn more

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.

Watch the video

Towards a Characterization of Counting and Alternating Classes via Discrete Ordinary Differential Equations

An article by Melissa Antonelli and Eduardo Skapinakis has been published in the proceedings of the 27th Italian Conference on Theoretical Computer Science.

Read the article

Meaning and Understanding via Proofs

A special issue edited by Antonio Piccolomini d’Aragona, Constantin C. Brîncuș and Thomas Piecha has been published in the journal Topoi.

Read the collection

Classical logic, uniformity, and weak excluded middle in non-monotonic proof-theoretic semantics

An article by Antonio Piccolomini d'Aragona has been published in the journal Bulletin of the section of logic.

Read the article

Is it true? Let’s prove it!

Summer school on educational, epistemological and logical approaches to critical thinking

Date: July 5th - 7th, 2027

Location: Department of Mathematics, Sapienza University of Rome, Italy

Organizer: CIVIS Agora

Application: by October 31st, 2026

Learn more

AI & Society

The yearbook Wissenschaftsforschung 2024, edited by Reinhard Kahle et. al., has been published as part of the series Jahrbücher Wissenschaftsforschung.

Read the book

Abstraction, Structures and Proofs

The series of events will explore connections between abstractionism, structuralism, and the proof-theoretic tradition, thereby shedding a new light on the possible intersection of these approaches, with focus on their methodological comparison.

Date, time and location: Online seminars monthly Tuesday 18:00 - 20:00 (CET) · Workshop in Vienna February 9th - 11th, 2026 · Workshop in Tübingen December 14th - 16th, 2026

Organizers: Ludovica Conti, Antonio Piccolomini d'Aragona

Learn more

Recursion and Proof Theoretical Characterizations of Small Circuit Classes

An article by Melissa Antonelli et. al. has been published in the Leibniz International Proceedings in Informatics.

Read the article

Some variants of proof-theoretic semantics and their relations with intuitionistic logic

An article by Antonio Piccolomini d'Aragona et. al. has been published in the journal Topoi.

Read the article

Symposium on Proof-theoretic Semantics

7th symposium on proof-theoretic semantics - the idea that the meaning of logical expressions is given by the rules of proof

Date: March 17th - 19th, 2027

Location: CFvWC

Organizers: Alexander V. Gheorghiu, Antonio Piccolomini d'Aragona

Learn more

About Us

Events

Team

Research Areas

Projects

Publications

Social Media

Carl Friedrich von Weizsäcker Center for Foundational Research
Universität Tübingen
Doblerstraße 33
72074 Tübingen

Tel.: +49-7071-29-75334 (secretary's office, Ms. Aleksandra Rötschke)
E-mail: sekretariat.cfvw@uni-tuebingen.de

The Carl Friedrich von Weizsäcker Center is supported by the Udo Keller Stiftung Forum Humanum.