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

Programm

Grußworte Prof. Bernhard Beckert und Prof. Peter Sanders
Verabschiedung Prof. Dorothea Wagner durch Prof. Anita Schöbel
Antrittsvorlesung T.-T.-Prof. Thomas Bläsius

Beim Informatikerinnen-Mittagessen treffen sich Professorinnen, Mitarbeiterinnen und Studentinnen im Informatikbereich, um sich in einer freundlichen und offenen Umgebung auszutauschen.
 
Im Semester treffen wir uns immer um 12 Uhr vor dem Infobau (Gebäude 50.34) und gehen zusammen in die Mensa. Alle in der Informatik beschäftigten Frauen, Intersex-, Nicht-binäre-, Trans- und Agender-Personen sind herzlich eingeladen, ob Mitarbeitende, Professorinnen oder Studierende.

Wir wollen neue Kontakte knüpfen, herausfinden was an der Fakultät so geforscht wird und einfach die Gelegenheit nutzen um uns untereinander auszutauschen.

An diesem Tag verabschiedet die KIT-Fakultät für Informatik traditionell alle Absolvent:innen der Bachelor- und Masterstudiengänge Informatik, Informatik Lehramt, Wirtschaftsinformatik und Informationswirtschaft sowie die Promovierten. Außerdem werden die besten Leistungen mit Preisen geehrt. Daneben ist der Tag der Informatik auch immer ein Anlass für alle Mitglieder der Fakultät zusammenzukommen, auf das vergangene Studienjahr zurückzublicken und gemeinsam einen Ausblick zu wagen.



Programm

ab 16:00 Uhr Sektempfang und Registrierung (Foyer Audimax)
16:30 Uhr Akademische Feier (Hörsaal Audimax)
-Neues aus der Informatik
-Verabschiedung und Ehrung der Promovierten
-Alumnivortrag Dr. Sebastian Labitzke, car byte
Chief Information Security Officer (CISO)
-Verabschiedung und Ehrung der Absolventinnen und Absolventen


Im Anschluss an die Verabschiedungsfeier lädt die Begabtenstiftung Informatik zum Sommerfest der Informatik ein. (Foyer und Vorplatz Audimax)

KI verleiht Flügel
Künstliche Intelligenz meint die Automatisierung intelligenten Verhaltens und die Lernfähigkeit von Maschinen und Systemen. Im Science Camp KI übertragen wir diese Prinzipien auf die Vogelwelt. Ob Ente, Adler oder Blaumeise: in vier Workshop-Tagen wollen wir Vögel von einer KI trainieren lassen und fit für das große Wettfliegen machen.
Neben einer kleinen Einführung in Python und maschinelles Lernen, erstellen wir mit euch einen eigenen Eier-Datensatz und klassifizieren diesen mit einem neuronalen Netzwerk. Außerdem erproben wir genetische Algorithmen, Mutationen und Fitnessfunktionen für die Rennvögel.

Daneben gibt‘s natürlich auch einen Einblick in das Informatikstudium, den Campus und das Studileben in Karlsruhe.

Das Science Camp KI findet vom 31.07.-04.08.2023 am KIT in Karlsruhe statt und richtet sich an Schülerinnen und Schüler ab Klasse 10.

Maximal 15 Teilnehmende
 
Der Unkostenbeitrag für fünf Workshop-Tage inkl. Verpflegung und Programm beträgt 75€.
(Zahlung per Kreditkarte. Bei Zahlungswunsch auf Rechnung bitte eine Mail an sciencecamp∂informatik.kit.edu)

Wir räumen auf mit Vorurteilen und wollen im Rahmen des Science Camps zeigen, dass Informatik viele Facetten hat und genauso Mädchen wie Jungs begeistern kann. 
Egal ob in der Medizin, im Film, in der Automobilindustrie oder in der Finanzwelt: Informatik hilft heutzutage in fast allen Lebensbereichen, Prozesse zu optimieren und Informationen zu sammeln und darzustellen. Die Arbeit von Informatiker:innen spielt sich dabei aber nicht ausschließlich alleine vor dem Computer ab, vielmehr sind die Zusammenarbeit im Team und eine stetige und gute Kommunikation für ein erfolgreiches Informatikprojekt entscheidend.
Habt ihr Lust, das Fach Informatik in fünf Workshop-Tagen gemeinsam mit anderen Mädchen kennenzulernen, euch mit Informatikthemen praktisch zu beschäftigen und mit uns eure ersten Schritte als Coderinnen zu gehen?
Dann ist das Science Camp Informatik genau das Richtige für Euch!
Nach einer Einführung HTML erstellt jede von euch eine eigene Website, die mithilfe von CSS und JavaScript ganz nach Belieben gestaltet werden kann. Daneben gibt‘s auch Einblicke in andere interessante Bereiche der Informatik und ihr lernt andere Mädchen und Frauen kennen, die Informatik studieren oder bereits im Informatikbereich arbeiten und könnt so von deren Erlebnissen und Erfahrungen profitieren.

Scienc Camp MakeIT
Du zockst nicht nur gerne, sondern interessierst dich auch dafür, was dahintersteckt? Dann bist du im Science Camp MakeIT genau richtig! Im Science Camp MakeIT entwickelst du deine eigene Spielekonsole – und zwar von der Hardware bis zum fertigen Spiel. 
In einer Woche lernst du, wie Hardware und Software zusammenpassen, machst dir Gedanken über Inputmöglichkeiten und entwirfst dein ganz eigenes Spiel. Das Science Camp MakeIT richtet sich sowohl an Neueinsteiger als auch an Fortgeschrittene, denn hier ist für alle was dabei: Wer den Fokus lieber auf die Hardware legt, nutzt den Makey Makey, um eigene Inputmöglichkeiten zu erfinden und wer sich lieber aufs Coden konzentrieren möchte, nutzt einen Raspberry Pi Pico als Grundlage für die eigene Konsole.
 
Neben spannenden Inhalten aus der Informatik, lernt ihr bei der Gelegenheit auch den Campus und das „Studileben“ in Karlsruhe kennen. 
 
Das Science Camp MakeIT richtet sich an Schüler:innen von Klasse 8 bis 10. Wer jünger oder älter ist, kann sich aber auf die Warteliste setzen lassen.