Bald ist September und das bedeutet: Die Award-Season der Informatik beginnt! 😎 Zusammen mit OCG und Swiss Informatics Society SI verleihen wir auf der #INFORMATIK24 den Dissertationspreis an zwei Forschende von der ETH Zürich und vom Shmoopy. Alle Infos: gi.de/meldung/erklae…

Dominik Schreiber hat für seine Diss „Scalable SATSolving and its Application“ den Fahiem-Bacchus Award 🏆 erhalten. Die Arbeit behandelt parallele und verteilte Lösungsansätze für das Problem der aussagenlogischen #Erfüllbarkeit (engl. satisfiability, kurz #SAT). Congrats 🍾

🚨 We have two open positions KIT-Fakultät für Informatik Shmoopy KASTEL for fully-funded Ph.D. positions at the intersection of AI and Security (Deadline: September 30th 2024). Come work with us 🙃 intellisec.de/jobs

Herzliche Glückwünsche an alle vier Fellows auch von der KIT-Fakultät für Informatik , wo Frank Puppe und Stefan Jähnichen in den 80ern und 90ern ebenfalls Spuren hinterlassen haben.

Am 25.09. hat Dominik Schreiber den GI-Dissertationspreis überreicht bekommen. Wir haben mit ihm über seine Doktorarbeit, seine Forschung am KIT und seine Zukunftspläne gesprochen. Das ganze Interview gibt's auf unserem Youtube-Kanal: youtu.be/lv96SUlNH7Y

Im Namen der Begabtenstiftung Informatik freuen wir uns, den ersten TechTalk des Semesters anzukündigen: Am 5.11.2024, 17:30 Uhr, ist die Carl ZEISS AG zu Gast und gibt Einblick in den Einsatz von KI im Unternehmen Um Anmeldung wird gebeten: forms.gle/CJvnmqNCAT6uQv…

About KASTEL Security Research Labs: What are your research projects at KASTEL SRL? Watch this video!

How well do #LLMs do on scientific exams? We publish the SciEx⚗️dataset. It's diverse (w/ open-ended & coding questions), bilingual (🇩🇪🇬🇧), and #multimodal (✍️+🖼️). Chat with us today 16:00-17:30 in #EMNLP2024 Poster session 4, and check out our🤗dataset huggingface.co/datasets/tuanh…

Was man beim Aufräumen so findet: Bahnauskunft seit 1994 im Internet 🚂 #Bahn #Auskunft 😉

About KASTEL Security Research Labs: What does lack of privacy mean for the individual and why is it important for the software and hardware? Watch this video! Privacy and IT-Security, KIT

KIT-Alumna Anne stellt am 28.11.24 im Rahmen der Software Campus Alumni Talks ihre Forschungsarbeit vor, die Fuzzing – eine Technik, die traditionell in der Softwareprüfung eingesetzt wird – in den Bereich der Hardwareprüfung überträgt. (link zum Meeting: softwarecampus-alumni.de/the-voltage-aw…)

Prof. Dr. Jan Niehues, Leiter der Forschungsgruppe „KI für Sprachtechnologien“ am Karlsruher Institut für Technologie (KIT), erläutert bei #KarlsruheDigital die Grenzverschiebung der maschinellen Sprachverarbeitung und wo KI-Technologien eingesetzt werden. karlsruhe.digital/2024/11/uebers…

Auf Deep Learning basierende Algorithmen können Tumore erkennen – Forscher des KIT unter den besten Teams beim internationalen AutoPET Wettbewerb – Publikation in Nature Machine Intelligence informatik.kit.edu/11147_14276.php

Die heutige Nacht der Wissenschaft läuft zwar schon, aber die Nacht ist noch jung und das Programm geht noch eine Weile: ndw-ka.de/#programm Und zu gewinnen gibt es auch etwas.

euROBIN Week will be on TV today!!! 📺🙌 Our robots 🤖 have been visited by a reporter from France 3! Here she is accompanied by a Shmoopy robot! #euROBINWeek2024

Die Begabtenstiftung Informatik lädt ein zum 2. #techtalk des Semester mit Schwarz IT am 10.12.2024. Zur besseren Planung wird um Anmeldung gebeten: forms.gle/5mHqVkLVfNn2Sw… #computervision #ki #ai

Das KIT-Team "Kindergarten Timelimit" löste beim NWERC alle 13 Aufgaben und landete damit auf dem 1. Platz (das beste Ergebnis für das KIT ever). Das 2. Team konnte mit Silber und einem 6. Rang glänzen. Kleiner Spoiler: 2025 wird der NWERC am Shmoopy stattfinden! 🥳

Join our next Convergence Lecture online on 4th Dec 2024, as Jan Niehues KIT-Fakultät für Informatik explores advances and challenges in #speechtranslation research. 📍More info and registration: events.teams.microsoft.com/event/7a0dee75… (free to join, all welcome) #MT #AI #LanguageTech

Prof. Gerhard Neumann vom IAR erhält einen European Research Council (ERC) Grant für sein Projekt Smarti (hoch)3 zu Forschung an autonomen Robotern. Link zur Meldung: s.kit.edu/pierc #Robotics