Presse und Nachrichten

Neural Networks in Formal Verification

In diesem Wintersemester bieten wir das Seminar Neural Networks in Formal Verification an: Webseite (inkl. Link zur Registrierung)

Das Ziel des Seminars ist, einen Überblick über die aktuelle Forschungslandschaft im Bereich der formalen Verifikation und den Anwendungsbereich neuronaler Netze darin zu geben. Insbesondere werden die folgenden zwei Schlüsselaspekte untersucht:

1. (1) Verifikation neuronaler Netze (Techniken, Methoden und Werkzeuge, die sicherstellen, dass neuronale Netze sicher, zuverlässig und wie beabsichtigt funktionieren)

2. (2) Neuronale Netze für die Verifikation (Nutzung von KI und maschinellen Lerntechniken, um traditionelle Verifikationsmethoden zu verbessern)

Wir werden verschiedene Seminarthemen zu beiden Forschungsrichtungen anbieten (Liste noch unvollständig. Bitte teilen Sie uns mit, wenn Sie Interesse haben, aber ein anderes Thema suchen). Melden Sie sich bitte über das WiWi-Portal an. Das Seminar findet in englischer Sprache statt.

Mehr Informationen ...

Allgemein, unmittelbar, frei, gleich und geheim: Was sind sichere Wahlen?

Wie kann ein Wahlsystem garantieren, dass das Wählervotum unverfälscht bleibt? Wie sicher sind Online-Wahlsysteme und wo liegen ihre Grenzen? In ihren Vorträgen am 29.08.2024 beleuchten Felix Dörre und Michael Kirsten computergestützte Ansätze, die zur Sicherung der Integrität und Vertraulichkeit des (Online-) Wahlvorgangs beitragen.

Dieser Vortragsabend ist eine Begleitveranstaltung zur aktuellen Ausstellung »Digiloglounge N°3. Aber ist es sicher?«. Dort ist derzeit »Die Unwissende Wahlmaschine« zu sehen, die von Felix Dörre mit der Arbeitsgruppe Kryptographie und Sicherheit entwickelt wurde. Michael Kirsten und Felix Dörre geben Einblick in die Hintergründe der damit verbundenen Forschungsprojekte.

Die Veranstaltung beginnt um 18:30 Uhr. Sie haben außerdem die Möglichkeit, um 18 Uhr mit den Referenten die Ausstellung »Digiloglounge N°3. Aber ist es sicher?« kostenfrei zu besuchen und »Die Unwissende Wahlmaschine« selbst zu erproben.

Mehr Informationen ...

Offene Stellen für Doktoranden und/oder PostDoc-Forscher (m/w/d)

Interesse, an formalen Methoden zu forschen? Wir haben offene Stellen!

Mehr erfahren ...

Neue Seminarthemen zur Anwendung formaler Verifikation

In unserem Seminar Anwendung Formaler Verifikation bieten wir eine große Bandbreite an neuen Themen in verschiedenen Bereichen formaler Logik, Methoden und Verifikation mit Bezug zu zahlreichen Anwendungsfeldern an. Neben den ausgeschriebenen Themen sind wir offen für Ihre Ideen innerhalb unserer Forschungsgebiete. Wenn Sie Interesse haben, kontaktieren Sie einfach Wolfram Pfeifer sowie gegebenenfalls die betreffenden Mitarbeiterinnen und Mitarbeiter unserer Forschungsgruppe.

Weitere Informationen ...

Neue Seminarthemen zu Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik

In unserem Seminar Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik bieten wir neue Themen in der Schnittmenge zwischen theoretischer Informatik und praktischer Philosophie bzw. Ethik im Anwendungsgebiet der algorithmischen Fairness und maschinellem Lernen. Das Format des Seminars ist interdisziplinär geprägt und beinhaltet neben der vertieften Bearbeitung spezifischer Seminarthemen auch gemeinsame Diskussionen von Texten.

Wenn Sie Interesse haben, melden Sie sich bitte zum ILIAS-Kurs an und kontaktieren Sie formlos Michael Kirsten unter Angabe Ihres Namens und Studiengangs. Der Termin zur Auftaktveranstaltung sowie folgende Termine werden zeitnah bekanntgegeben.

Weitere Informationen ...

Praxis der Forschung im Sommersemester 2022

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Möchten Sie eine Alternative zu reinen Vorlesungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Sommersemester 2022 bieten die Forschungsgruppen der Professor:innen Beckert, Beyerer, Bläsius, Böhm, Koziolek, Neumann, Reussner, Schaefer, Strufe und Wagner wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 20.04.2022 um 11.30 Uhr im Hörsaal -102 statt. Direkt im Anschluss werden die angebotenen Themen durch die Betreuerinnen und Betreuer im Foyer vor der Informatik-Bibliothek vorgestellt.

Bitte treten Sie zur Teilnahme dem ILIAS-Kurs bei.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Neue Seminarthemen

In unserem Seminar Anwendung Formaler Verifikation bieten wir eine große Bandbreite an neuen Themen in verschiedenen Bereichen formaler Logik, Methoden und Verifikation mit Bezug zu zahlreichen Anwendungsfeldern an. Neben den ausgeschriebenen Themen sind wir offen für Ihre Ideen innerhalb unserer Forschungsgebiete. Wenn Sie Interesse haben, kontaktieren Sie einfach Jonas Schiffl sowie gegebenenfalls die betreffenden Mitarbeiterinnen und Mitarbeiter unserer Forschungsgruppe.

Seminarthemen und -Termine ...

Praxis der Forschung im Wintersemester 2021/22

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Möchten Sie eine Alternative zu reinen Vorlesungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Wintersemester 2021/22 bieten die Forschungsgruppen der Professor:innen Asfour, Beckert, Beigl, Beyerer, Böhm, Hartenstein, Koziolek, Mathis-Ulrich, Sanders und Wressnegger wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 21.10.2021 um 12:00 Uhr in der Informatik-Bibliothek statt. Direkt im Anschluss werden die angebotenen Themen durch die Betreuerinnen und Betreuer vorgestellt.

Bitte treten Sie zur Teilnahme dem ILIAS-Kurs bei.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Praxis der Forschung im Wintersemester 2020/21

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Möchten Sie eine Alternative zu reinen Vorlesungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Wintersemester 2020/21 bieten die Lehrstühle der Professoren Asfour, Beckert, Beigl, Böhm, Friederich, Henkel, Neumann, Sanders, Sinz und Strufe wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 03.11.2020 um 12:00 Uhr in MS-Teams (siehe ILIAS-Kurs) statt. Direkt im Anschluss werden die angebotenen Themen durch die Betreuerinnen und Betreuer vorgestellt.

Bitte treten Sie zur Teilnahme dem ILIAS-Kurs bei. Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Praxis der Forschung im Sommersemester 2020

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Möchten Sie eine Alternative zu reinen Vorlesungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Sommersemester 2020 bieten die Lehrstühle der Professoren Beckert, Beigl, Henkel, Koziolek, Neumann, Sanders, Sinz, Tichy und Wagner wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 21.04.2020 um 13:15 Uhr in MS-Teams (siehe ILIAS-Kurs) statt. Die Themen werden ab 17:15 Uhr in MS-Teams (siehe ILIAS-Kurs) durch die Betreuerinnen und Betreuer vorgestellt.

Bitte treten Sie zur Teilnahme dem ILIAS-Kurs bei. Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Meet & Prove -- Hineinschnuppern in die Forschung des Lehrstuhls

In die Forschung des Lehrstuhls hineinschnuppern...
...mit kleinen Challenges
...mit Themen für Abschlussarbeiten
...mit Themen für HiWi-Jobs
...und Pizza

Am 6.2.2020 ab 16Uhr findet in Raum 301 (Gebäude 50.34) das Meet & Prove statt. Um Anmeldung bis zum 3.2.2020 bei Jonas Schiffl wird gebeten.

Promotion von Mihai Herda am 13.12.2019

Mihai Herda hat seine Promotionsprüfung am 13.12.2019 sehr erfolgreich bestanden. Seine Dissertation behandelt "Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties".

Wir gratulieren ihm dazu herzlichst!

FoMSESS Jahrestagung 2019

Am 29./30.11.2019 findet an unserem Lehrstuhl das 15. Treffen der GI-Gruppe FoMSESS (Formale Methoden und Software Engineering für sichere Systeme) statt. Das Treffen soll dem Austausch auf dem Forschungsgebiet dienen und insbesondere Nachwuchswissenschaftlern die Möglichkeit geben, ihre Arbeiten in einem informellen Rahmen vorzustellen.

Praxis der Forschung im Wintersemester 2019/20

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Möchten Sie eine Alternative zu reinen Vorlesungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Wintersemester 2019/20 bieten die Lehrstühle der Professoren Asfour, Beckert, Beigl, Mathis-Ullrich, Müller-Quade, Sinz und Waibel wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 16.10.2019 um 13:15 Uhr in Raum 236 (Gebäude 50.34) statt. Die Themen werden ab 17:15 Uhr im Foyer vor der Bibliothek (Gebäude 50.34) durch die Betreuerinnen und Betreuer an Postern vorgestellt.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Meet & Prove -- Hineinschnuppern in die Forschung des Lehrstuhls

In die Forschung des Lehrstuhls hineinschnuppern...
...mit kleinen Challenges
...mit Themen für Abschlussarbeiten
...mit Themen für HiWi-Jobs
...und Pizza

Am 16.7.2019 von 11:30Uhr bis 13:00 findet in Raum 236 (Gebäude 50.34) das Meet & Prove statt. Um Anmeldung bis zum 12.7.2019 bei jonas.schiffl@kit.edu wird gebeten.

Informationsveranstaltung zu Studienprofilen

Am 29.04.2019 von 13 - 14 Uhr findet in Raum -101 (Geb. 50.34) eine Informationsveranstaltung zu den Studienprofilen im Master-Studiengang statt.

In dieser Veranstaltung werden die Studienprofile sowie deren Rahmenbedingungen vorgestellt. Es ist auch Zeit für allgemeine Fragen eingeplant.

Praxis der Forschung 2019

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Möchten Sie eine Alternative zu reinen Vorlesungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Sommersemester 2019 bieten die Lehrstühle der Professoren Asfour, Beckert, Beigl, Hanebeck, Karl, Reussner, Sinz, Snelting, Wagner, Waibel und Zitterbart wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 24.04.2019 um 13:15 Uhr in Raum 131 (Gebäu-de 50.34) statt. Die Themen werden ab 17:15 Uhr im Foyer vor der Bibliothek (Gebäude 50.34) durch die Betreuungspersonen an Postern vorgestellt.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Studierende entwickeln Open-Source-Lehrsoftware

In einem neuen Lehrlabor entstehen Tools und Programme für den Informatikunterricht – Entwickler orientieren sich direkt am Bedarf von Schülern und Lehrern.

Um als Erwachsene die Herausforderungen der Digitalisierung zu bewältigen, brauchen Schüle-rinnen und Schüler eine breite Grundbildung in Informatik. Doch oft fehlen den Lehrkräften die richti-gen Hilfsmittel, um Stoff wie Softwareentwicklung oder IT-Sicherheit zu vermitteln. Im neuen Open-Source-Lehrsoftware-Labor am Karlsruher Institut für Technologie (KIT) sollen Studentinnen und Studen-ten praktische Erfahrung in der Entwicklung von Open-Source-Software sammeln und gleichzeitig Materialien für den Informatikunterricht entwickeln.

Mehr ...

Promotion von Sarah Grebing am 07.02.2019

Sarah Grebing hat ihre Promotionsprüfung am 07.02.2019 sehr erfolgreich bestanden. Ihre Dissertation handelt von "User Interaction in Deductive Interactive Program Verification".

Wir gratulieren ihr dazu herzlichst!

Informationsveranstaltung zu Praxis der Forschung

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Wintersemester 2018/19 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Hanebeck, Professor Kröger, Juniorprofessor Koziolek, Professor Reussner und Professor Zitterbart wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 16.10.2018 um 13:15 Uhr in Raum 236 (Gebäude 50.34) statt. Die angebotenen Themen werden ab 17:15 Uhr im Foyer vor der Bibliothek (Gebäude 50.34) anhand von Postern durch die jeweiligen Betreuerinnen und Betreuer vorgestellt.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen

Softwareprojekt Blockchain-basiertes E-Voting

Auch in diesem Semester bieten wir wieder ein Projekt im Rahmen von "Praxis der Softwareentwicklung" an. Am 4. Mai 2018 begann das Projekt im Sommersemester 2018 zum Thema "Blockchain-basiertes E-Voting". Hierbei entwickeln fünf Studierende im Team ein vollständiges Softwareprojekt nach dem Stand der Softwaretechnik. Dieses Semester wird hierzu die permissioned Blockchain-Technologie Hyperledger Fabric verwendet, um nachvollziehbare elektronische Abstimmungen mittels eines verteilten Ledgers zu realisieren.

Informationsveranstaltung zu Praxis der Forschung

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Sommersemester 2018 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Hanebeck, Juniorprofessor Koziolek, Professor Kröger, Professor Müller-Quade, Professor Reussner, Professor Tichy und Professor Zitterbart wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 17.04.2018 um 13:15 Uhr in Raum 236 (Gebäude 50.34) statt. Die angebotenen Themen werden ab 17:15 Uhr im Keller-Foyer (Gebäude 50.34) anhand von Postern durch die jeweiligen Betreuerinnen und Betreuer vorgestellt.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen

Informationsveranstaltung zu
Praxis der Forschung

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Wintersemester 2017/18 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Juniorprofessor Koziolek, Professor Kröger, Professor Müller-Quade, Professor Reussner, Professor Snelting und Professor Zitterbart wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 18.10.2017 um 13:00 Uhr in Raum -101 (Gebäude 50.34) statt.

Themen und weitere Informationen

Neue Themen für Abschlussarbeiten

Wir bieten eine große Bandbreite an neuen Themen für Bachelor- und Masterarbeiten in Feldern wie PLC-Verifikation, Erweiterungen zum KeY-Verifikationsansatz, Formalisierung/Verifikation von Sozialwahl-Eigenschaften, und vieles mehr an. Neben den ausgeschriebenen Themen sind wir offen für Ihre Ideen innerhalb unserer Forschungsgebiete. Wenn Sie Interesse haben, kontaktieren Sie einfach die betreffenden Mitarbeiter unserer Forschungsgruppe.

Themen und Forschungsfelder für Abschlusssarbeiten

Informationsveranstaltung zu
Praxis der Forschung

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Sommersemester 2017 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Reussner und Professor Stiefelhagen wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 25.04.2017 um 13:00 Uhr in Raum -101 (Gebäude 50.34) statt.

Themen und weitere Informationen

Neues KeY-Buch veröffentlicht

Das neue KeY-Buch beschreibt alle Aspekte der Deduktiven Softwareverifikation, wie sie im KeY-Ansatz realisiert ist. Dieses Buch ist die umfassende Informationsquelle für das KeY-Werkzeug Version 2.6.

Das KeY-Buch ist erhältlich beim Springer-Verlag als Band 10001 in LNCS und bei Springer Link.

Mehr Informationen

Informationsveranstaltung zu
Praxis der Forschung

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Wintersemester 2016/17 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Karl, Professor Reussner und Professor Sanders wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 17.10.2016 um 13:00 Uhr in Raum -102 (Gebäude 50.34) statt.

Themen und weitere Informationen

CVE-2016-6313: Schwerwiegender Fehler in PRNG gefunden
(August 2016)

CVE-2016-6313 - Schwerwiegender Fehler im GnuPG/Libgcrypt PRNG mithilfe des Tools Entroposcope gefunden, welches von Felix Dörre und Dr. Vladimir Klebanov als Teil des DeduSec-Projekts innerhalb des RS³ Schwerpunktprogramms entwickelt wurde. Die Veröffentlichung, die beschreibt wie Entroposcope funktioniert, wurde im Oktober 2016 bei der ACM CCS 2016 in Wien vorgestellt.

Update: Präsentation auf dem 33. Chaos Communication Congress (33C3)

Informationsveranstaltung zu Praxis der Forschung

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Sommersemester 2016 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Reussner und Professor Sanders wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an. Die Informationsveranstaltung dazu findet am 19.04.2016 um 13:00 Uhr in Raum 236 (Gebäude 50.34) statt.

Themen und weitere Informationen

Informationsveranstaltung zu Praxis der Forschung

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Wintersemester 2015/16 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Reussner und Professor Sanders wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an. Die Informationsveranstaltung dazu findet am 20.10.2015 um 13:00 Uhr in Raum 301 (Gebäude 50.34) statt.

Themen und weitere Informationen

Meet & Prove -- Hineinschnuppern in die Forschung des Lehrstuhls

In die Forschung des Lehrstuhls hineinschnuppern...
...mit kleinen Challenges
...mit Themen für Abschlussarbeiten
...mit Themen für HiWi-Jobs
...und mit anschließendem Get-Together

Am 16.07.15 ab 15:45 Uhr findet in Raum 201 (Gebäude 50.34) das Meet & Prove statt. Um Anmeldung bis zum 13.07.15 bei simone.meinhart@kit.edu wird gebeten.

Trauer um Klaus Tschira

Das KIT und unsere Arbeitsgruppe trauern um Klaus Tschira. Ohne die Förderung der Klaus Tschira Stiftung wäre die Arbeitsgruppe in der Form nicht möglich gewesen.

Nachruf des KIT

Meet & Prove -- Hineinschnuppern in die Forschung des Lehrstuhls

In die Forschung des Lehrstuhls hineinschnuppern...
...mit kleinen Challenges
...mit Themen für Abschlussarbeiten
...mit Themen für HiWi-Jobs
...und mit anschließendem Get-Together

Am 04.02.15 ab 15:45 Uhr findet in Raum 201 (Gebäude 50.34) das Meet &nd Prove statt. Um Anmeldung bis zum 01.02.15 bei simone.meinhart@kit.edu wird gebeten.

Sarah Grebing vertritt das KIT und den Software Campus auf dem nationalen IT-Gipfel 2014

Neues Werkzeug für Regression Verification am Lehrstuhl entwickelt

Im Rahmen des Projekts IMPROVE und der Lehrveranstaltung "Praxis der Forschung" ist das Werkzeug rêve entwickelt worden.

Mit dem Werkzeug ist es möglich formal zu beweisen, dass zwei Versionen eines Programms sich entweder gleich verhalten oder in einer klar definierten Weise unterschiedlich.

Details dazu können der Publikationen von der ASE 2014 entnommen werden.

Webseite des Projekts

"Praxis der Softwareentwicklung" im Wintersemester

Auch in diesem Wintersemester bieten wir wieder "Praxis der Softwareentwicklung" an. Wenn Sie Teilnehmer/in sind, nehmen Sie bitte am verbindlichen ersten Gruppentermin am Mittwoch, 3. November um 15:45 Uhr im Raum 211 (Geb. 50.34) teil. Dort wird alles weitere Organisatorische besprochen.
Webseite zur Veranstaltung

Deduktionstreffen 2010

Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Dieses Treffen bietet allen, die an der Deduktion interessiert sind, die Möglichkeit über ihre Arbeit in informellem Rahmen zu berichten.
Das vom Lehrstuhl Anwendungsorientierte Formale Verifikation organisierte Deduktionstreffen 2010 wird vom 20.-21. September am KIT abgehalten.
Weitere Informationen

Best Paper Award für Diplomarbeit

Daniel Bruns hat für seine Diplomarbeit "Formal Semantics for the Java Modeling Language" eine Auszeichnung für das "Best Paper" zu den Informatiktagen 2010 der Gesellschaft für Informatik erhalten.

Reuse-based Verification of Software Product Lines

Dr. Ina Schaefer, Chalmers University, Göteborg, ist zu Gast und trägt über ihre Arbeiten zur Verifikation von Software Product Lines vor (Montag, 20.12.09, 14 Uhr, Raum 211, Gebäude 50.34)