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

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

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


News

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

Membership in the program commitee for BEWARE-26

Melissa Antonelli is part of the program committee for the workshop BEWARE-26.

Learn more

Recursion and Proof Theoretical Characterization of Small Circuit Classes with Modulo Counting via Discrete Differential Equations

Talk by Melissa Antonelli at the Computability and Complexity by Gender Minorities (CoCoGEMS) 2026

Learn more

Partnership with the University of Athens

The European Academy of Sciences and Arts (president: 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 Characterization of Small Circuit Classes with Modulo Counting via Discrete Differential Equations

Talk by Melissa Antonelli jointly with Arnaud Durand and Rui Li at the International Colloquium on Automata, Languages, and Programming (ICALP) 2026

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

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, 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