Nord pas de Calais/Belgium Congress of Mathematics: Game Theory

Nicolas Markey, Quentin Menet, Mickael Randour, James Worrell
Monday, 28 October, 2013 - 14:00
Valenciennes, ISTV2 Building

Mathematics, game theory, and verification of complex computer systems
Organizer: T. Brihaye (UMONS)

  1. Nicolas Markey (ENS Cachan) — Quantified CTL.
  2. Quentin Menet (UMONS) — Banach-Mazur games.
  3. Mickael Randour (UMONS) — Beyond Worst-Case Synthesis in Two-Player Quantitative Games.
  4. James Worrell (Université d'Oxford) — Positivity Problems for Linear Recurrence Sequences.

Additional information:
Registration required.