Kolloquium zu Kompexität und Logik
anlässlich der Emeritierung von Prof. Dr. Martin Mundhenk
Prof. Dr. Martin Mundhenk
Diese Veranstaltung ist beendet.
Veranstaltungseckdaten
Diese Veranstaltung im ICS-Format exportieren
- Beginn
- Ende
- Veranstaltungsarten
- Veranstaltung der Fakultät
- Wissenschaftliche Veranstaltung
- Ort
-
Haus auf der Mauer
Johannisplatz 26, Großer Saal
07743 Jena
Google Maps – LageplanExterner Link - Veranstalter
-
Olia Blacher
- Veranstaltungssprache
- Deutsch
- Veranstaltungswebseite
- Mehr erfahrenExterner Linken
- Barrierefreier Zugang
- ja
- Öffentlich
- ja
- Anmeldung erforderlich
- ja
Programm
Filter ausblenden Filter einblenden
-
- –
-
Arrival and Welcome
- präsenz
- öffentlich
- –
-
The good, the bad, and the ugly days of a long-lasting friendshipSpeaker: Heribert Vollmer (Hannover)
- präsenz
- öffentlich
- –
-
On the Satisfaction Probability of k-CNF FormulasSpeaker: Till Tantau (Lübeck)
- präsenz
- öffentlich
- –
-
Break
- präsenz
- öffentlich
- –
-
Persönliche Erfahrungen mit SAT-Solvern: Theorie und PraxisSpeaker: Uwe Schöning (Ulm)
- präsenz
- öffentlich
- –
-
Spiele auf Graphen und die Komplexität von ResolutionSpeaker: Jacobo Toran (Ulm)
- präsenz
- öffentlich
- –
-
Farewell to Martin Mundhenk
- präsenz
- öffentlich
- –
-
Get-together with snacks
- präsenz
- öffentlich
Anlässlich der Emeritierung von Prof. Dr. Martin Mundhenk organisiert das Graduiertenkolleg Interactive Inference ein Kolloquium zu Komplexität und Logik.
Alle Interessierten sind herzlich eingeladen, um Voranmeldung wird gebeten.
Mehr Informationen auf der VeranstaltungsseiteExterner Link.