Carl Friedrich von Weizsäcker-Zentrum

Regular events

Carl Friedrich von Weizsäcker Colloquium

Every week, the Carl Friedrich von Weizsäcker colloquium welcomes guest speakers and members of the center for various talks surrounding our main research areas. Open to everyone!

Learn more

Seminar: Philosophical aspects of computer sciences – Ethics, Norms & Responsibility

Season 2025/2026

Learn more  

Online Colloquium Fast Forward Future

Deep Tech knowledge transfer and building community for an optimal transformation towards regenerative models of economy and closed circular loops

Learn more

AI competence seminars

In the field of AI, the CFvWC offers a wide range of interactive and well-structured AI literacy seminars designed to address the requirements of the EU AI
Act. These seminars provide participants with the skills needed to use artificial intelligence responsibly in business and society and help companies meet the requirements of Article 4 of the EU AI Act.

Learn more


Upcoming events

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

Learn more

Proof Society International School and Workshop

8th school and workshop of the Proof Society on proof theory and related subjects

Date: September 7th - 11th, 2026

Location: Aussois, France

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

Learn more

DIALOGUES4PEACE

Dialogues with the past: Timeless Wisdom for Contemporary Peacebuilding - First conference

Date: October 25th - 27th, 2026

Location: Zappaion Megaron, Athens, Greece

Lead: Prof. Dr. DDr. h.c. Klaus Mainzer (Hon. Prof. h.c. mult., President of EASA), Prof. Dr. Ioannis Liritzis (Hon. Prof. h.c. mult., Dist. Prof. mult., Dean of Class IV: Natural Sciences, Senator of EASAM)

Learn more

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.

Online seminars – monthly Tuesday 18:00 - 20:00 (CET)

Workshop in Vienna – February 9th - 11th, 2026

Workshop in Tübingen – December 2026

Learn more


News

Partnership with the University of Athens

The European Academy of Sciences and Arts (president: Prof. Klaus Mainzer) and the National University of Athens signed a Memorandum of Understanding establishing a new partnership. At a ceremony held on June 17th, 2026 at the University of Athens, Prof. Mainzer concluded with a keynote address entitled Challenges of Europe’s Future: From Greek Heritage to Innovative Competitiveness.

Watch the speech

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

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

From Complex Systems and Nonlinear Dynamics to Neuromorphic Systems and Physical AI

Opening talk by Klaus Mainzer at the 7th International Chaos and Complexity Symposium

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 unified perspective in circuit complexity via discrete ODEs

Invited talk by Melissa Antonelli at the General Meeting 2026 of the IRN-LI (International Research Network: Logic and Interaction)

Learn more

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

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