Carl Friedrich von Weizsäcker-Zentrum

Regelmäßige Veranstaltungen

Carl Friedrich von Weizsäcker Kolloquium

Im Carl Friedrich von Weizsäcker-Kolloquium werden wöchentlich Vorträge von Gästen und Mitarbeitern des CFvW-Zentrums angeboten, die sich um unsere Forschungsgebiete drehen. Jeder ist herzlich willkommen! 

Mehr erfahren

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

Saison 2025/2026

Mehr erfahren

Online-Kolloquium Fast Forward Future

Deep Tech Knowledgetransfer und Communityaufbau für eine optimierte Transformation hin zu regenerativen Wirtschaftsmodellen und Closed Circular Loops

Mehr erfahren

KI-Kompetenzseminare

Im Bereich KI bietet das CFvWZ vielfältige, interaktive und gut strukturierte AI Literacy Seminare für die Anforderungen des EU AI
Acts an. Diese Seminare vermitteln Kompetenzen zum verantwortungsvollen Umgang mit Künstlicher Intelligenz in Wirtschaft und Gesellschaft und helfen Unternehmen, die Anforderungen des Artikels 4 des EU AI Acts zu erfüllen.

Mehr erfahren


Anstehende Veranstaltungen

Workshop zu Beweistheoretischer Semantik

Am CFvWZ findet ein kleiner Workshop statt, der das Carl Friedrich von Weizsäcker-Kolloquium und Balthasar Grabmayr WIP-Seminar verbindet.

Datum und Uhrzeit: 10. September 2026, 10:00 - 13:00

Ort: Doblerstraße 33, Tübingen

Mehr erfahren

Proof Society International School and Workshop

8. Workshop der Proof Society zu Beweistheorie und verwandten Gebieten

Datum: 7. - 11. September 2026

Ort: Aussois, Frankreich

Organisatoren: Proof Society und IRIF; Programmkommittee: Dr. Melissa Antonelli (CfvWZ) und weitere

Mehr erfahren

DIALOGUES4PEACE

Dialogues with the past: Timeless Wisdom for Contemporary Peacebuilding - Erste Konferenz

Datum: 25. - 27. Oktober 2026

Ort: Zappaion Megaron, Athens, Greece

Organisatoren: 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)

Mehr erfahren

Abstraction, Structures and Proofs

Die Veranstaltungsreihe untersucht Verbindungen zwischen Abstraktionismus, Strukturalismus und der beweistheoretischen Tradition, und wirft dabei ein neues Licht auf die möglichen Schnittpunkte dieser Ansätze, wobei der Schwerpunkt auf ihrem methodologischen Vergleich liegt.

Online-Seminare – monatlich dienstags 18:00 - 20:00

Workshop in Wien – 9. - 11. Februar 2026

Workshop in Tübingen – Dezember 2026

Mehr erfahren


News

Partnerschaft mit der Universität Athen

The Europäische Akademie der Wissenschaften und Künste (Präsident: Prof. Klaus Mainzer) und die Nationale Universität Athen haben eine Absichtserklärung unterzeichnet, die eine neue Partnerschaft begründet. Den Abschluss der Feierlichkeiten am 17. Juni 2026 an der Universität Athen bildete eine Grundsatzrede von Prof. Mainzer mit dem Titel Challenges of Europe’s Future: From Greek Heritage to Innovative Competitiveness.

Rede ansehen

Meaning and Understanding via Proofs

Eine Sonderausgabe herausgegeben von Antonio Piccolomini d’Aragona, Constantin C. Brîncuș und Thomas Piecha wurde in der Zeitschrift Topoi veröffentlicht.

Sammlung lesen

Recursion and Proof Theoretical Characterizations of Small Circuit Classes

In den Leibniz International Proceedings in Informatics ist ein Artikel von Melissa Antonelli et. al. erschienen.

Artikel lesen

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

Eröffnungsvortrag von Klaus Mainzer beim 7th International Chaos and Complexity Symposium

Mehr erfahren

KI, Neuromorphe Chips und Quantencomputer

Im Interview erklärt Prof. Dr. Klaus Mainzer, wie Quantencomputing, Neuromorphic Computing und künstliche Intelligenz zusammen die nächste Generation der KI bestimmen werden.

Video ansehen

Towards a unified perspective in circuit complexity via discrete ODEs

Eingeladener Vortrag von Melissa Antonelli beim General Meeting 2026 des IRN-LI (International Research Network: Logic and Interaction)

Mehr erfahren

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

In der Zeitschrift Topoi ist ein Artikel von Antonio Piccolomini d'Aragona et. al. erschienen.

Artikel lesen

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

In der Zeitschrift Bulletin of the section of logic ist ein Artikel von Antonio Piccolomini d'Aragona erschienen.

Artikel lesen