Die Professur Theoretische Informatik veranstaltet regelmäßig Vorträge und Kolloquien zu unterschiedlichen Themen des Fachgebiets. Alle Interessenten sind herzlich eingeladen.
| Dr. Olaf Beyersdorff Parametrisierte Beweiskomplexität Donnerstag, 12. Juli 2012, 14:00 Uhr, Raum 1/336 |
| Peter Gmeiner Laplace Operatoren auf Hypergraphen Donnerstag, 24. Mai 2012, 10:45 Uhr, Raum 1/336 |
| Dr. Jochen Messner Das Lovász Local Lemma für SAT Dienstag, 15. November 2011, 14:00 Uhr, Raum 1/336 |
| Prof. Dr. Stephan Waack Eine Verallgemeinerung des klassischen Modells des PAC-Lernens mit Rauschen auf der Klassifikation und seine Anwendung in Bio- und Wirtschaftsinformatik Montag, 15. November 2010, 15:00 Uhr, Raum 1/336 |
| Prof. Dr. Dieter Kratsch Exact Exponential Algorithms Montag, 25. Oktober 2010, 15:00 Uhr, Raum 1/336 |
| Marc Dietzschkau Spektrale Partitionierung bipartiter Graphen Mittwoch, 17.09.2008, 11:00, Raum 1/346 |
| Steffen Riediger Schnelle Partitionierung von real-world- und Zufallsgraphen. Montag, 25.02.2008, 15:00, Raum 1/346 |
| Dr. Walter Guttmann Anordungsprobleme mit Einschränkungen Dienstag, 19.02.2008, 10:00, Raum 1/336 |
| Marc Dietzschkau Finden von eingepflanzten Cliquen in zufälligen Graphen Mittwoch, 23.01.2008, 14:30, Raum 1/232 |
| Prof. Dr. Petra Berenbrink A Sublinear-Time Approximation Scheme for Bin Packing Dienstag, 11.12.2007, 15:00, Raum 1/336 |
| Frank Fischer Effizientes Finden kleiner unabhängiger Mengen in zufälligen Graphen mit gegebener erwarteter Gradsequenz Donnerstag, 05.07.2007, 13:00, Raum 1/219 |
| Sebastian Dörn Quantum Query Komplexität von algebraischen Eigenschaften Mittwoch, 23. Mai 2007, 14:00 Raum 1/336 |
| André Lanka Spektrale Partitionierung zufälliger Graphen mit vorgegebener erwarteter Gradsequenz Freitag, 27.04.2007, 11:30 Raum 1/346 |
| Steffen Riediger Implementierung eines Algorithmus zur Partitionierung von Graphen Freitag, 30.03.2006, 11:30, Raum 1/346 |
| Markus John Grenzen von Algorithmen zur Exploration sehr großer Graphen Freitag, 06.10.2006, 14:00, Raum 1/346 |
| Christian Siebert The Quadratic Sieve Factoring Algorithm Donnerstag, 02.02.2006, 17:15, Raum 1/346 |
| Prof. Dr. Andreas Goerdt Grundlagen des Quantencomputing Donnerstag, 26.01.2006, 17:15, Raum 1/346 |
| Frank Fischer Ein auf dem longcode basierender Verifizierer Teil 2 Dienstag, 24.01.2006, 15:00, Raum 1/346 |
| Frank Fischer Ein auf dem longcode basierender Verifizierer Teil 1 Donnerstag, 19.01.2006, 17:15, Raum 1/346 |
| Markus John Implementierung und Evaluierung eines Algorithmus zur Exploration sehr großer Graphen. Freitag, 09.12.2005, 15:30, Raum 1/346 |
| Sascha Neupert Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln Freitag, 01.07.2005, 11:00, Raum 1/336 |
| Michael Auerbach Eine untere Schranke an die Approximationsgüte von Vertex Cover in 4-uniformen Hypergraphen Donnerstag, 03.02.2005, 15:30, Raum 1/201 |
| Prof. Dr. Ludek Kucera Low-degree connectivity in ad-hoc networks Dienstag, 14.12.2004, 14.30 Uhr, Raum 1/336 |
| Frank Schädlich Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen Mittwoch, 30.06.2004, 14:00, Raum 1/336 |
| Dr. Jan Johannsen Vollständige Erfüllbarkeitsprobleme für LogSpace Montag, 2.2.2004, 15.00 Uhr, Raum 1/336 |