Die Professur Theoretische Informatik veranstaltet regelmäßig Vorträge und Kolloquien zu unterschiedlichen Themen des Fachgebiets. Alle Interessenten sind herzlich eingeladen. Die Ankündigungen finden Sie hier auf dieser Seite.
| Dr. Jochen Messner Das Lovász Local Lemma für SAT Dienstag, 15.11.2011, 14:00, 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 |