YouTube KIT-Fakultät für Informatik

Vorlesungen, Einblicke und Wissenswertes:
Die KIT-Fakultät für Informatik auf YouTube.

YouTube-Kanal

News | Newsarchiv

Gruppenbild aller KIT-Teilnehmenden am GcPC im PoolraumKIT
They did it again!

KIT-Team Kindergarten Timelimit gewinnt erneut den GCPC. Weitere KIT-Teams waren ebenfalls erfolgreich. [28.06.2024]

mehr
Roboter ARMAR 6 hebt Akkuschrsauber in Richtung der KameraKIT
Kräfte bündeln in der KI-Forschung

Das KIT ist nun Teil des Innovationscampus Cyber Valley – Künstliche Intelligenz als integraler Bestandteil der Forschung. [26.06.2024]

mehr
Gründung des Robotics Institute GermanyBMBF/Hans-Joachim Rickel
Robotics Institute Germany (RIG) treibt KI-basierte Robotik in Deutschland voran

Mit dem RIG wollen Forschende die globale Wettbewerbsfähigkeit und technologische Souveränität Deutschlands in der KI-basierten Robotik stärken. [21.06.2024]

mehr
Logo-WirtschaftsinformatikDie Wirtschaftsinformatik e.V.
Wirtschaftsinformatik-Stipendium 2024/25

Die Wirtschaftsinformatik e.V. vergibt mit der Schwarz IT KG insgesamt drei Stipendien für Wirtschaftsinformatik-Studierende [14.05.2024]

mehr

Veranstaltungen

Meet the Speaker: Prof. Jeremy Avigad - Mathematics and the Formal Turn

Meet the Speaker: Prof. Jeremy Avigad - Mathematics and the Formal Turn

15. Juli 2024 17:30 - 18:30KIT, Campus Süd Geb. 10.11, Heinrich-Hertz-Hörsaal Kaiserstraße 12 76131 Karlsruhe
Since the early twentieth century, it has been understood that mathematical definitions and proofs can be represented in formal systems with precise grammars and rules of use. Building on such foundations, computational proof assistants now make it possible to encode mathematical knowledge in digital form. In this talk, I'll explore some of the ways that these and related technologies can help us do mathematics.
 
Jeremy Avigad is a professor of philosophy and a professor of mathematical sciences at Carnegie Mellon University. He received a B.A. in mathematics from Harvard University in 1989, and a Ph.D. in mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver. He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics. He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after Charles Hoskinson donated $20 Million in September 2021 to establish it.
 
For some insightful discussions afterwards, and to meet with the speaker, we invite you to join us over dinner in downtown Karlsruhe right after the talk. If you would like to join in for dinner, please register by sending an email to mathsee@kit.edu (no registration needed for attending the talk).
 
The talk & the dinner are aimed at a broad scientific audience and everyone is welcome to attend!
 
Download Link: Event Poster

zum Eventkalender