KIT-Fakultät für Informatik

@kitinformatik.bsky.social

KIT-Fakultät für Informatik am Karlsruher Institut für Technologie https://www.informatik.kit.edu/ Impressum: https://www.informatik.kit.edu/impressum.php

Yesterday, many students attended the summer edition of "Crypto with Cookies" at the KASTEL Cryptography and Security Group. Gathered around multiple tables, participants had the opportunity to learn about our state-of-the-art research and engage directly with our researchers.

Bild

Congratulations!👍🎉 The paper “Anti-Backdoor Coreset Selection via Cumulative Entropy” by Q. Zhao and C. Wressnegger has been accepted to ICML 2026, which will take place in Seoul from July 6–11. Congratulations to the authors on this outstanding achievement!🎆

Bild

Professor der KIT-Fakultät für Informatik und GI-Präsidiumsmitglied Prof. Wolfgang Karl überreicht Alois Bachmann den GI-Sonderpreis für die Verdeutlichung des besonderen Nutzens der GI aus Anlass des 61. Bundeswettbewerb Jugend forscht in Herzogenaurach. (Schamlos aus dem Foto-ALT-Text geklaut)

Gesellschaft für Informatik e.V.@informatik.bsky.social · 2mo ago

Herzlichen Glückwunsch! 🙌 Alois Bachmann (19) konnte bei #Jugendforscht mit seiner Arbeit: „KI-Krankheitserkennung via Anomaliedetektion und neue Aktivierungsfunktionen“ die Jury für den Sonderpreis der GI überzeugen. Mit seiner Forschung verdeutlicht er den besonderen Nutzen der Informatik!

GI-Präsidiumsmitglied Prof. Wolfgang Karl überreicht Alois Bachmann den GI-Sonderpreis für die Verdeutlichung des besonderen Nutzens der GI. Hinter ihnen ist eine Wand mit der Aufschrift: "61. Bundeswettbewerb Jugend forscht | 28. - 31. Mai 2026 in Herzogenaurach"

This week, our Abhi is at AsiaCCS where he'll present the paper he wrote at Inria with Mathieu and Héber, tomorrow. They show that current approaches to anonymization of trajectories fail utterly when faced by strategic adversaries. Don't miss out if you're in Bangalore, it's impressive work!

Title page of the paper by Abhishek Mishra, Mathieu Cunche, and Héber H. Arcolezi

Congratulations! Paper accepted!👍 The Paper “Heterogeneous Dynamic Logic: Provability Modulo Program Theories” by Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert has been accepted at PLDI 2026, taking place in Boulder, Colorado on June 15-19. Congratulations to the authors! 🎉

Bild

Wollt ihr ohne Anmeldung spontan bei der Gulaschprogrammiernacht in der HfG vorbeischauen? Soweit verfügbar, gibt es eine begrenzte Menge Tagespässe vor Ort. Ab Beginn der #GPN24 morgen kann die Verfügbarkeit der Tagespässe unter social.gulas.ch/@ampel eingesehen werden. Mehr Infos: gulas.ch #GPN

24. Gulaschprogrammiernacht – Entropia

gulas.ch

KIT-Fakultät für Informatik@kitinformatik.bsky.social · 2mo ago

In einer Woche beginnt in #Karlsruhe die zweitgrößte jährliche Veranstaltung des Chaos Computer Club nach dem Chaos Communication Congress: Die Gulaschprogrammiernacht! Mit IT-Fachvorträgen, Diskussionsrunden und Workshops. Zum Programm geht's hier: cfp.gulas.ch/gpn24/schedu... #GPN24 gulas.ch

In einer Woche beginnt in #Karlsruhe die zweitgrößte jährliche Veranstaltung des Chaos Computer Club nach dem Chaos Communication Congress: Die Gulaschprogrammiernacht! Mit IT-Fachvorträgen, Diskussionsrunden und Workshops. Zum Programm geht's hier: cfp.gulas.ch/gpn24/schedu... #GPN24 gulas.ch

https://cfp.gulas.ch/gpn24/schedule/

24. Gulaschprogrammiernacht Get different formats: curl https://cfp.gulas.ch/gpn24/schedule/\?format=table (default) curl https://cfp.gulas.ch/gpn24/schedule/\?format=list 2026-...

cfp.gulas.ch