Forschungsseminar des Institutes für Theoretische Informatik
Herzlich Willkommen auf der Homepage des Forschungsseminares des Institutes 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
| 2020 | Vortragender | Thema | |
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.2019 | Tanja Schellmann | Pumping-Lemmata für reguläre Sprachen | |