Ringvorlesung "Biggest Milestones - Research at Its Peak"
Teil des Programms des Graduiertenkollegs UnRAVeL ist die Ringvorlesung, eine Reihe von Einführungsvorlesungen zu den Themen „Zufälligkeit“ und „Unsicherheit“ in den Forschungshauptrichtungen von UnRAVeL Algorithmen und Komplexität, Verifikation, Logik und Sprachen sowie ihrer Anwendungsgebiete. Sie wird gehalten von allen beteiligten Forscherinnen und Forschern. Das Hauptziel ist, Doktorandinnen und Doktoranden wie auch Masterstudierenden einen umfangreichen Überblick über die wissenschaftlichen Gebiete von UnRAVeL zu geben.
Wir laden herzlich zur diesjährigen UnRAVeL-Ringvorlesung ein!
UnRAVeL-Professorinnen und -Professoren stellen den wichtigsten Meilenstein ihrer jeweiligen Forschung vor. Dabei geht es nicht nur um herausragende Ergebnisse für die jeweilige Community, sondern auch um ganz eigene wissenschaftliche Meilensteine, beispielsweise ein Paper oder Resultat, das den Vortragenden besonders gut gefällt und auf das sie sehr stolz sind.
Wir erhalten Antworten auf die Fragen:
- Welches Ihrer Papers/Ergebnisse dürfte niemals gelöscht werden, wenn Sie nur ein einziges behalten könnten?
- Welches Paper/Ergebnis hatte den größten Einfluss, auf die Wissenschaft oder auch auf Sie selbst?
- Warum und in welchem Kontext handelt es sich um einen Meilenstein?
Wir freuen uns auf spannende und erhellende Vorträge, individuell und sehr persönlich!
Diskutieren Sie anschließend mit den Professorinnen und Professoren über ihre Meilensteine.
SoS 2023, donnerstags 12:30 bis 14:00 Uhr, Informatikzentrum, Geb. E2, Erdgeschoss, B-IT-Raum 5053.2.
-
Datum
06.04.2023 Veranstaltung
Ringvorlesung: Michael Schaub: Learning from Networks with Unobserved Edges -
Datum
13.04.2023 Veranstaltung
Ringvorlesung: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking -
Datum
20.04.2023 Veranstaltung
Ringvorlesung: Martin Grohe: The Quest for a Logic Capturing PTIME -
Datum
27.04.2023 Veranstaltung
Ringvorlesung: Christina Büsing: Robust Strategic Planning for Mobile Medical Units -
Datum
04.05.2023 Veranstaltung
Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning -
Datum
11.05.2023 Veranstaltung
Ringvorlesung: Nils Nießen: Can Trains Be on Time? -
Datum
25.05.2023 Veranstaltung
Ringvorlesung: Jürgen Giesl: Proving Termination with Dependency Pairs -
Datum
15.06.2023 Veranstaltung
Ringvorlesung: Britta Peis: Ascending Auctions and Matroids -
Datum
22.06.2023 Veranstaltung
Ringvorlesung: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action -
Datum
29.06.2023 Veranstaltung
Ringvorlesung: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks -
Datum
13.07.2023 Veranstaltung
Ringvorlesung: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes!