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

HIrCOcervus - Higher-Order Computation in Implicit and Descriptive Complexity

Workshop zu maschinenunabhängigen Ansätzen zur rechnerischen Komplexität

Datum: 26.-27. Mai 2026

Ort: IRIF Paris, Frankreich

Unterstützt von: dem French Institute in Finnland, dem französischen Forschungsministerium, der Finnish Society for Science and Letters, IRIF (Université Paris Cité), und dem UIF/UFI Label scientifique; Chair: Dr. Melissa Antonelli (CFvWZ) und weitere

 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

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

DIALOGUES4PEACE

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

Ort: Zappaion Megaron, Athens, Greece

Datum: 25. - 27. Oktober 2026

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


News

Towards new characterizations of small circuit classes via discrete ordinary differential equations

In der Zeitschrift Theoretical Computer Science ist ein Artikel von Dr. Melissa Antonelli et. al. erschienen.

Artikel lesen

Nested Indirect Proofs in Aristotle’s Deductive Logic

In der Zeitschrift Studia Logica ist ein Artikel von Dr. Melissa Antonelli et. al. erschienen.

Artikel lesen

Do Different Artificial Neural Networks Think Alike? On the Feasibility of Cataloging Representations

In der Zeitschrift Minds and Machines ist ein Artikel von Philipp Stecher, Dr. Vlasta Sikimić und Prof. Reinhard Kahle erschienen.

Artikel lesen

Hilbert’s Programme and Georg Kreisel I: The Post-Gödelian Perspective

In der Zeitschrift Topoi ist ein Artikel von Prof. Reinhard Kahle erschienen.

Artikel lesen

Keine Angst: So werden wir KI-fit!

Im Magazin WirtschaftsWoche ist ein Artikel von Prof. Reinhard Kahle et. al. erschienen.

Artikel lesen