Program

All lectures are held in room S2|02 C110. A description is available here.

 

Thursday, October 4:

12h45 Welcome note

1. Session

Chair: Martin Ziegler

13h00 Klaus Meer (Technische Universität Cottbus): Probabilistisch prüfbare Beweise im BSS Modell über R (Vortragsfolien)

14h00 Peter Scheiblechner (FH Luzern): Effective De Rham Cohomology (Vortragsfolien)

14h30 Johanna Sokoli (TU Darmstadt): Komplexität des Erfüllbarkeitsproblems von Kreuzprodukt-Termen (Vortragsfolien)

15h00 Break

2. Session

Chair: Ulrike Brandt

15h30 Ulf Lorenz (TU Darmstadt): Quantifizerte Lineare Programmierung: Komplexität, Algorithmik und Anwendungsgebiete

16h00 Christian Engels (Universität des Saarlandes): Random Shortest Path Metrics (Vortragsfolien)

16h30 Robert Bredereck (Technische Universität Berlin): A Multivariate Complexity Analysis of Lobbying in Multiple Referenda

17h00 Break (Photo of the participants)

3. Session

Chair: Martin Ziegler

17h30 Ed Blakey (University of Bristol): Generalizing Complexity Theory (Vortragsfolien)

18h00 Amin Coja-Oghlan (Goethe Universität Frankfurt): Phase Transitions and Computational Complexity (Vortragsfolien)

19h00 Pizza (Raum E102)

 

Friday, October 5:

4. Session

Chair: Ulrike Brandt

9h00 Marc Fischlin (TU Darmstadt): Reduktionen in der Kryptographie

10h00 Andreas Cord-Landwehr (University of Paderborn): Basic Network Creation Games with Communication Interests (Vortragsfolien)

10h30 Fabio Campos (Hochschule Rhein-Main): Verteiltes Rechnen für zahlentheoretische Anwendungen (Vortragsfolien)

11h00 Break

5. Session

Chair: Martin Ziegler

11h30 Hermann Walter (TU Darmstadt): Kohäsivität in Promise Problemen (Vortragsfolien)

12h00 Norbert Müller (Universität Trier): Real Numbers and Computational Complexity (Vortragsfolien)

13h00 Closing

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang