30. März – 04. April 2014, Dagstuhl Seminar 14141
Letzte Aktualisierung: 29. Juli 2014

Reachability Problems for Infinite-State Systems

Participants

  • Mohamed-Faouzi Atig (Uppsala University, SE) [dblp]
  • Parosh Aziz Abdulla (Uppsala University, SE) [dblp]
  • Amir M. Ben-Amram (Academic College of Tel Aviv, IL) [dblp]
  • Michael Blondin (ENS – Cachan, FR) [dblp]
  • Bernard Boigelot (University of Liège, BE) [dblp]
  • Mikolaj Bojanczyk (University of Warsaw, PL) [dblp]
  • Rémi Bonnet (ENS – Cachan, FR) [dblp]
  • Ahmed Bouajjani (University of Paris VII, FR) [dblp]
  • Olivier Bournez (Ecole Polytechnique – Palaiseau, FR) [dblp]
  • TomᚠBrázdil (Masaryk University – Brno, CZ) [dblp]
  • Véronique Bruyère (University of Mons, BE) [dblp]
  • Michaël Cadilhac (University of Montréal, CA) [dblp]
  • Giorgio Delzanno (University of Genova, IT) [dblp]
  • Laurent Doyen (ENS – Cachan, FR) [dblp]
  • Diego Figueira (University of Edinburgh, GB) [dblp]
  • Alain Finkel (ENS – Cachan, FR) [dblp]
  • Pierre Ganty (IMDEA Software – Madrid, ES) [dblp]
  • Stefan Göller (Universität Bremen, DE) [dblp]
  • Jean Goubault-Larrecq (ENS – Cachan, FR) [dblp]
  • Christoph Haase (ENS – Cachan, FR) [dblp]
  • Peter Habermehl (University of Paris VII, FR) [dblp]
  • Radu Iosif (VERIMAG – Grenoble, FR) [dblp]
  • Petr Jancar (TU – Ostrava, CZ) [dblp]
  • Stefan Kiefer (University of Oxford, GB) [dblp]
  • Barbara König (Universität Duisburg-Essen, DE) [dblp]
  • Antonin Kucera (Masaryk University – Brno, CZ) [dblp]
  • Slawomir Lasota (University of Warsaw, PL) [dblp]
  • Ranko Lazic (University of Warwick – Coventry, GB) [dblp]
  • Jérôme Leroux (University of Bordeaux, FR) [dblp]
  • Richard Mayr (University of Edinburgh, GB) [dblp]
  • Pierre McKenzie (University of Montréal, CA) [dblp]
  • Roland Meyer (TU Kaiserslautern, DE) [dblp]
  • Joel Ouaknine (University of Oxford, GB) [dblp]
  • Andreas Podelski (Universität Freiburg, DE) [dblp]
  • Igor Potapov (University of Liverpool, GB) [dblp]
  • Fernando Rosa-Velardo (University Complutense – Madrid, ES) [dblp]
  • Sylvain Schmitz (ENS – Cachan, FR) [dblp]
  • Philippe Schnoebelen (ENS – Cachan, FR) [dblp]
  • Luc Segoufin (ENS – Cachan, FR) [dblp]
  • Jeffrey O. Shallit (University of Waterloo, CA) [dblp]
  • Grégoire Sutre (University of Bordeaux, FR) [dblp]
  • Wolfgang Thomas (RWTH Aachen, DE) [dblp]
  • Igor Walukiewicz (University of Bordeaux, FR) [dblp]
  • James Worrell (University of Oxford, GB) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner