Beschreibung

In zweiwöchentlichen Treffen wird jeweils ein Thema, mit dem sich der Vortragende zur Zeit beschäftigt, vorgestellt. Insbesondere sollen auch noch unpublizierte oder unfertige Arbeiten ausführlich diskutiert werden.

Die Vorträge sollen in informellem Rahmen an der Tafel oder am Whiteboard gehalten werden, um bis tief ins Detail gehen zu können und keine Unklarheiten unterdrücken zu müssen. Insbesondere sollen so alle im Laufe des Vortrags auftretenden Fragen sofort geklärt werden können.

Die generelle Themenausrichtung ist absichtlich offen gehalten, da sich die Themen nach den Forschungsgebieten der Teilnehmer richten. Das nächste Thema wird in der Vorwoche im Plenum festgelegt.

Organisation

• Die Vorträge finden jeden zweiten Dienstag im Seminarraum vom Lehrstuhl Informatik 7 um 10:30 Uhr statt.
• Es gibt einen öffentlichen Kalender zum Seminar mit Informationen zum nächsten Vortrag unter
  https://www.google.com/calendar/ical/r7st6mb38u0qj2ce4c75rjk3ls%40group.calendar.google.com/public/basic.ics
• Wir haben eine Mailingliste zum Seminar eingerichtet, über die Ankündigungen über den jeweils nächsten Vortrag mitgeteilt werden. Bitte kontaktieren Sie uns, wenn Sie sich in die Liste eintragen lassen wollen.

Nächster Vortrag

Strategy Composition in Compositional Games
Marcus Gelderie
Dienstag, 22. Januar 2012, 10:30 Uhr

Zusammenfassung: When solving games played on finite arenas, the arena is given explicitly as part of the input. This explicit representation hides the underlying structure of the arena and prevents from exploiting this structure when solving the game. We study games where the global arena is a product of several smaller, local arenas. We investigate how these "global games" can be solved by playing "local games" on the local arenas. To this end, we introduce two kinds of products of arenas. Moreover, we define a suitable notion of strategy composition and show how, for the first notion of product, strategies in reachability and Büchi games can be composed from strategies in games on the local arenas. An investigation of the complexity of solving the global game shows that our approach cannot yield a similar result for the second notion of product.

Vorherige Vorträge

• Upper bounds for Choiceless Polynomial-Time
  Wied Pakusa
  Dienstag, 15. Januar 2012, 10:30 Uhr
• Solving Parity Games Quickly
  Roman Rabinovich
  Dienstag, 18. Dezember 2012, 10:30 Uhr
• Synthesis of Structured Reactive Programs
  Benedikt Brütsch
  Dienstag, 26. November 2012, 10:30 Uhr
• A lower bound for the existential k-pebble game
  Christoph Berkholz
  Dienstag, 13. November 2012, 10:30 Uhr
• A Max-Flow Generalization of the Shannon Switching Game
  Paul Bonsma
  Dienstag, 30. Oktober 2012, 10:30 Uhr
• Tree width (Part II)
  Roman Rabinovich
  Montag, 22. Oktober 2012, 13:00 Uhr
• Tree width
  Roman Rabinovich
  Montag, 8. Oktober 2012, 13:00 Uhr
• A logical characterization of rational relations
  Nans Lefebvre
  Montag, 20. Juli 2012, 13:00 Uhr
• The Composition Method Reviewed Part II
  Ingo Felscher
  Montag, 30. Juli 2012, 13:00 Uhr
• The Composition Method Reviewed
  Ingo Felscher
  Montag, 23. Juli 2012, 13:00 Uhr
• Strategy Machines and their Complexity, Part II
  Marcus Gelderie
  Montag, 16. Juli 2012, 13:00 Uhr
• Models for Interaction under Partial Information
  Bernd Puchala
  Montag, 9. Juli 2012, 13:00 Uhr
• Strategy Machines and their Complexity
  Marcus Gelderie
  Montag, 2. Juli 2012, 13:00 Uhr
• Regularity Test for Deterministic omega-Pushdown Languages
  Stefan Repke
  Montag, 25. Juni 2012, 13:00 Uhr
• An Introduction to Linear Logic
  Nans Lefebvre
  Montag, 18. Juni 2012, 13:00 Uhr
• History Deterministic Automata
  Christof Löding
  Mittwoch, 13. Juni 2012, 15:00 Uhr
• Synthesis of Distributed Reactive Systems from omega-Regular Trace Langauges
  Namit Chaturvedi
  Dienstag, 5. Juni 2012, 14:00 Uhr
• Monotonicity in Cops and Robber Games
  Roman Rabinovich
  Mittwoch, 30. Mai 2012, 14:00 Uhr
• Omega-Automatic Boolean Algebras
  Faried Abu Zaid
  Mittwoch, 9. Mai 2012, 14:00 Uhr
• Quantitative MSO
  Simon Leßenich
  Mittwoch, 2. Mai 2012, 14:00 Uhr
• Weisfeiler-Lehman for Groups
  Wied Pakusa
  Mittwoch, 25. April 2012, 14:00 Uhr
• Tutorial on Complexity Measures for Directed Graphs
  Roman Rabinovich
  Mittwoch, 18. April 2012, 14:00 Uhr
• Graph Searching Games with Multiple Robbers and Imperfect Information
  Bernd Puchala
  Mittwoch, 11. April 2012, 14:00 Uhr
• The Field of Reals is not omega-Automatic
  Faried Abu Zaid
  Dienstag, 3. April 2012, 14:00 Uhr
• Counter Games and Imperfect Recall
  Simon Leßenich
  Montag, 26. März 2012, 13:00 Uhr
• Directed Graphs of Entanglement Two
  Roman Rabinovich
  Dienstag, 20. März 2012, 13:00 Uhr

Rückfragen

Simon Lessenich, Roman Rabinovich