3rd Gasics Workshop: 2011, Sept 10, Aachen
5th Meeting: 2011, May 5-6, Mons (Belgium)
4th Meeting: 2010, November 18-19, Paris (LIAFA)
2nd Gasics Workshop: 2010, Sept 4, Paris
3rd Meeting: 2010, May 11-12, Aalborg
2nd Meeting: 2009, October 22-23, Aachen
including partipants from the LogiCCC projects LINT, CFSC. More information.
1st Gasics Workshop, 2009, June 29, Grenoble
First GASICS Workshop, colocated with CAV.
First Meeting: 2009, March 5-6, Brussels
The first meeting took place in Brussels at ULB.
Regular Talks
- An Antichain Algorithm for LTL Realizability. Emmanuel Filiot (ULB). Slides
- Time-optimal Winning Strategies in Infinite Games. Martin Zimmermann (RWTH Aachen University). Slides
- Qualitative Concurrent Games. Olivier Serre (LIAFA). Slides
- Quantitative Time Games. Patricia Bouyer (LSV - CNRS & ENS Cachan).
- Natural Specifications Yield Decidability Results for Distributed Synthesis of Asynchronous Systems . Nathalie Tali Sznajder (LSV - CNRS & ENS Cachan). Slides
- Playing Games with Timed Interfaces. Kim Larsen (Aalborg University).
- Computing Weakest Strategies for Safety Games of Imperfect Information. Wouter Kuijper (Universiteit Twente).
- Game on Hybrid Automata with Strong Resets. Michal Rutkowski (University of Warwick). Slides
- Supervisory Control vs Game Automata.. Line Juhl and Mikkel Larsen Pedersen (Aalborg University). Slides
- What is a Randomized Strategy with Memory? Florian Horn (CWI Amsterdam). Slides
Tutorials
- Timed Games in UPPAAL Tiga. Alexandre David (Aalborg University). Slides
Team Session
Brussels-Mons, Namur, Paris (LIAFA, LSV Cachan), Aalborg, Warwick, Aachen.