Home | english | Impressum | Sitemap | KIT

Kontakt
Institut für Theoretische Informatik

Am Fasanengarten 5
76131 Karlsruhe
Tel: +49 721 608-44023
Fax: +49 721 608-44021
E-Mail: simone meinhartHfu8∂kit edu

Anreise

Willkommen

Seit Ende 2009 existiert unsere Gruppe am Institut für Theoretische Informatik. Wir beschäftigen uns maßgeblich mit der Frage, wie Logik und formale Methoden, Spezifikation und Verifikation für die praktische Anwendung in der Software-Entwicklung nutzbar gemacht werden können.

Forschungsthemen

  • Formale Methoden im Software-Engineering
  • Spezifikation und Verifikation
  • Automatisches Beweisen in klassischen und nicht-klassischen Logiken

 

 

NEWS

Informationsveranstaltung zu "Praxis der Forschung" im Wintersemester 2014/15

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

 

 

Dann ist die Projektgruppe genau das Richtige für Sie!


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

Themen und weitere Informationen
Informationsveranstaltung zu "Praxis der Forschung" im Sommersemester 2014

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

 

 

Dann ist die Projektgruppe genau das Richtige für Sie!


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

Themen und weitere Informationen
 
Proseminar: Formale Analyse von Wahlverfahren

Dieses Wintersemester bieten wir ein Proseminar an. Es steht diesmal unter dem Thema "Formale Analyse von Wahlverfahren" und beinhaltet aktuelle und spannende Themen aus dem Bereich der formalen Analyse von Wahlverfahren.

 

Die Auftaktveranstaltung findet am 23.10.2013 um 13:00 Uhr - 14:00 Uhr in SR 236 statt.

Weitere Informationen
Informationsveranstaltung zur Projektgruppe im Wintersemester 2013/14

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?


Dann ist die Projektgruppe genau das Richtige für Sie!


Im Wintersemester 2013/14 bieten die Lehrstühle von Professor Beckert und Professor Beigl eine neue Veranstaltung für Master-Studierende an. Die Informationsveranstaltung findet am 22.10.2013 um 13:00 Uhr in Raum 301 (Gebäude 50.34) statt.

 

Weitere Informationen
 
Seminar "Formale Methoden für Software-Sicherheit"

Auch dieses Sommersemester bieten wir wieder ein Seminar an. Es steht diesmal unter dem Thema "Formale Methoden für Software-Sicherheit" und beinhaltet aktuelle und spannende Themen aus dem Bereich der Software-Verifikation. Das Seminar findet als Blockveranstaltung am Semesterende statt.

Weitere Information und Anmeldung
COMPARE 2012

Bernhard Beckert und Vladimir Klebanov sind Mitorganisatoren des Workshops "1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems" (COMPARE). Dieser findet im Rahmen der IJCAR 2012  am 30. Juni 2012 in Manchester, UK statt.

Themen dieses Workshops befassen sich mit der komparativen Evaluation von Reasoning Systemen.

 

Weitere Informationen