June 1 – 6 , 2014, Dagstuhl Seminar 14232
Last update: August 24 2014
Design and Synthesis from Components
Participants
- Farhad Arbab (CWI – Amsterdam, NL) [dblp]
- Christel Baier (TU Dresden, DE) [dblp]
- Ugo de' Liguoro (University of Turin, IT) [dblp]
- Mariangiola Dezani (University of Turin, IT) [dblp]
- Laurent Doyen (ENS – Cachan, FR) [dblp]
- Boris Düdder (TU Dortmund, DE) [dblp]
- Bernd Finkbeiner (Universität des Saarlandes, DE) [dblp]
- Dror Fried (Rice University – Houston, US) [dblp]
- George T. Heineman (Worcester Polytechnic Institute, US) [dblp]
- Fritz Henglein (University of Copenhagen, DK) [dblp]
- Paola Inverardi (University of L'Aquila, IT) [dblp]
- Neil D. Jones (University of Copenhagen, DK) [dblp]
- Bengt Jonsson (Uppsala University, SE) [dblp]
- Axel Legay (INRIA Rennes – Bretagne Atlantique, FR) [dblp]
- Moritz Martens (TU Dortmund, DE) [dblp]
- Hongyang Qu (University of Sheffield, GB) [dblp]
- Jean-Francois Raskin (Free University of Brussels, BE) [dblp]
- Jakob Rehof (TU Dortmund, DE) [dblp]
- Sven Schewe (University of Liverpool, GB) [dblp]
- Joseph Sifakis (VERIMAG – Grenoble, FR) [dblp]
- Bernhard Steffen (TU Dortmund, DE) [dblp]
- Wolfgang Thomas (RWTH Aachen, DE) [dblp]
- Massimo Tivoli (University of L'Aquila, IT) [dblp]
- Stavros Tripakis (University of California – Berkeley, US) [dblp]
- Pawel Urzyczyn (University of Warsaw, PL) [dblp]
- Moshe Y. Vardi (Rice University – Houston, US) [dblp]
- Clemens Wiltsche (University of Oxford, GB) [dblp]
- Eran Yahav (Technion – Haifa, IL) [dblp]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner