KIT-Fakultät für Informatik

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

180 followers35 following212 posts

KIT-Fakultät für Informatik reposted

Wir begüßen am 1. Oktober 2026 gleich zwei neue Professor:innen: Prof. Juliane Krämer (Informationssicherheit) kommt von der Universität Regensburg ans KIT und Prof. Thomas Bläsius (Scalable Algorithms) verstetigt mit seiner W3-Professur seine KIT-Karriere. Herzlich willkommen! 👏

Happy to see Minister-President of Baden-Württemberg Cem Özdemir shake hands yesterday with Armar 7, who had just returned from a presentation at the EU parliament in Brussels. Armar's home is at H²T Lab at @kit.edu

Cyber Valley@cyber-valley.bsky.social

🚀 Cyber Valley Day way a blast yesterday - almost 1000 guests, more than 40 exhibitors, more than 40 1:1 sessions with investors, more than 30 start-ups from the Cyber Valley network involved 🙌 🙏 Thanks to everybody for coming and making this day a great success! 🎉

Heute zum letzten Tag der Vorlesungszeit verabschieden wir unsere Absolventinnen und Absolventen sowie die Promovierten des aktuellen akademischen Jahres. Gleich beginnen wir mit dem Aufbau, damit alles um 16:00 Uhr fertig ist. #GraduationDay #KITInformatik

KIT-Fakultät für Informatik reposted

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.

KIT-Fakultät für Informatik reposted

Data poisoning is best tackled at its root, i.e., by learning a clean (backdoor-free) model despite a poisoned training data. @qzhao903.bsky.social presents a defense at ICML 2026, in which we reformulate this strategy as a coreset selection problem, giving rise to "Anti-Backdoor Coreset Selection"

KIT-Fakultät für Informatik reposted

KIT-Fakultät für Informatik reposted

KIT-Fakultät für Informatik reposted

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!🎆

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.eurosky.social

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!

KIT-Fakultät für Informatik reposted

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!

KIT-Fakultät für Informatik reposted

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! 🎉

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

gulas.ch24. Gulaschprogrammiernacht – Entropia
KIT-Fakultät für Informatik@kitinformatik.bsky.social

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

KIT-Fakultät für Informatik reposted

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

cfp.gulas.chhttps://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-...

Wir heißen Andreas Sattler als neuen Professor für Recht und Informatik willkommen. Er folgt auf Thomas Dreier und stärkt die Schnittstelle zwischen Technik und Recht an der KIT‑Fakultät Informatik. Viel Erfolg und spannende Impulse in Forschung & Lehre. #kitinformatik #rechtundinformatik #zar