Forschungsseminar des Institutes für Theoretische Informatik

Herzlich Willkommen auf der Homepage des Forschungsseminares desInstitutes für Theoretische Informatik (ITI) der Technischen Universität Ilmenau.

Im Forschungsseminar finden Vorträge zu Themen statt, die für die Forschung am Institut von Interesse sind. Hierbei tragen sowohl die Mitglieder und Studenten des Institutes als auch unsere Gäste vor. Sowohl Teilnehmer als auch Zuhörer sind jederzeit willkommen.

Mit Hinweisen, Anfragen, Vorschlägen für Vorträge u.ä. wenden Sie sich bitte an Prof. Kuske.

 

Es findet am Donnerstag in den ungeraden Kalenderwochen, 11:00- 13:00 Uhr im Zusebau, Raum 2073 statt. Es bietet ein Forum für

  • Forschungsberichte
  • Diplom-, Bachelor-, Masterverteidigungen
  • Studienarbeitsberichte
 

Vorträge

 
2020VortragenderThema 

08.10.2020

11:00 Uhr

Z 2073

Christian Schwarz

Die Quantorenalternierungshierarchie von synchron-rationalen Relationen

 

04.09.2020

14:00 Uhr

Z 4005

Tanja Schellmann

Determinisierung endlich-mehrdeutiger nicht-kopierender Kosten-Register-Automaten

 

2019

Vortragender Thema 

11.12.2019

09:00 Uhr

Z1014/1015

Christian Hohlbein

Experimente mit grundlegenden Algorithmen und Datenstrukturen und deren Implementierung

 

19.09.2019

11:00 Uhr

Z 2086

Petros Simidyan

Zählende und invertierbare Bloom-Filter: Theorie und Experiment

 

12.07. 2019

13: Uhr

Z 2086

Tanja Schellmann

Model-Checking von Kellersystemen

 

07.03.2019

14:00 Uhr

Z 2073

René Schwetschenau

Sortieren und Suchbäume für Strings im Word-RAM-Modell

(Bachelorarbeit)

 

07.03.2019

10:00 Uhr

Z 2073

Christopher Hugenroth (RWTH Aachen)

Trennbarkeit von regulären omega-Sprachen

 
17.01.2019Tanja Schellmann

Pumping-Lemmata für reguläre Sprachen