01. – 06. November 2015, Dagstuhl-Seminar 15451
Letzte Aktualisierung: 11. März 2016
Verification of Evolving Graph Structures
Teilnehmer
- 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