01. – 06. November 2015, Dagstuhl Seminar 15451
Letzte Aktualisierung: 11. März 2016

Verification of Evolving Graph Structures

Participants

  • Mohamed-Faouzi Atig (Uppsala University, SE) [dblp]
  • Parosh Aziz Abdulla (Uppsala University, SE) [dblp]
  • Peter Backes (Universität des Saarlandes, DE) [dblp]
  • Paolo Baldan (University of Padova, IT) [dblp]
  • Ahmed Bouajjani (University of Paris VII, FR) [dblp]
  • Andrea Corradini (University of Pisa, IT) [dblp]
  • Aiswarya Cyriac (Uppsala University, SE) [dblp]
  • Giorgio Delzanno (University of Genova, IT) [dblp]
  • Cezara Dragoi (IST Austria – Klosterneuburg, AT) [dblp]
  • Constantin Enea (University of Paris VII, FR) [dblp]
  • Javier Esparza (TU München, DE) [dblp]
  • Fabio Gadducci (University of Pisa, IT) [dblp]
  • Silvio Ghilardi (University of Milan, IT) [dblp]
  • Holger Giese (Hasso-Plattner-Institut – Potsdam, DE) [dblp]
  • Christoph Haase (ENS – Cachan, FR) [dblp]
  • Annegret Habel (Universität Oldenburg, DE) [dblp]
  • Reiko Heckel (University of Leicester, GB) [dblp]
  • Alexander Heußner (Universität Bamberg, DE) [dblp]
  • Lukas Holik (Brno University of Technology, CZ) [dblp]
  • David Janin (University of Bordeaux, FR) [dblp]
  • Christina Jansen (RWTH Aachen, DE) [dblp]
  • Bengt Jonsson (Uppsala University, SE) [dblp]
  • Joost-Pieter Katoen (RWTH Aachen, DE) [dblp]
  • Barbara König (Universität Duisburg-Essen, DE) [dblp]
  • Tomer Kotek (TU Wien, AT) [dblp]
  • Narayan Kumar Krishnan (Chennai Mathematical Institute, IN) [dblp]
  • Leen Lambers (Hasso-Plattner-Institut – Potsdam, DE) [dblp]
  • Michele Loreti (University of Firenze, IT) [dblp]
  • Roland Meyer (TU Kaiserslautern, DE) [dblp]
  • Thomas Noll (RWTH Aachen, DE) [dblp]
  • Fernando Orejas (UPC – Barcelona, ES) [dblp]
  • Eugenio Orlandelli (CIS, IT) [dblp]
  • Oded Padon (Tel Aviv University, IL) [dblp]
  • Detlef Plump (University of York, GB) [dblp]
  • Chris Poskitt (ETH Zürich, CH) [dblp]
  • Arend Rensink (University of Twente, NL) [dblp]
  • Ahmed Rezine (Linköping University, SE) [dblp]
  • Leila Ribeiro (Federal University of Rio Grande do Sul, BR) [dblp]
  • Xavier Rival (ENS – Paris, FR) [dblp]
  • Arnaud Sangnier (University of Paris VII, FR) [dblp]
  • Richard Trefler (University of Waterloo, CA) [dblp]
  • Viktor Vafeiadis (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Tomas Vojnar (Brno University of Technology, CZ) [dblp]
  • Thomas Wies (New York University, US) [dblp]
  • Florian Zuleger (TU Wien, AT) [dblp]


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