April 2 – 5 , 2017, Dagstuhl Seminar 17142
Last update: December 21 2017

Formal Methods of Transformations

Participants

  • Johanna Björklund (University of Umeå, SE) [dblp]
  • Adrien Boiret (INRIA Lille, FR) [dblp]
  • Mikolaj Bojanczyk (University of Warsaw, PL) [dblp]
  • Michaël Cadilhac (Universität Tübingen, DE) [dblp]
  • Olivier Carton (University Paris-Diderot, FR) [dblp]
  • Loris d'Antoni (University of Wisconsin – Madison, US) [dblp]
  • Luc Dartois (Free University of Brussels, BE) [dblp]
  • Frank Drewes (University of Umeå, SE) [dblp]
  • Emmanuel Filiot (Free University of Brussels, BE) [dblp]
  • Olivier Gauwin (University of Bordeaux, FR) [dblp]
  • Bruno Guillon (University of Warsaw, PL) [dblp]
  • Florent Jacquemard (IRCAM & INRIA – Paris, FR) [dblp]
  • Ismaël Jecker (Free University of Brussels, BE) [dblp]
  • Aurélien Lemay (INRIA Lille, FR) [dblp]
  • Nathan Lhote (University of Bordeaux, FR) [dblp]
  • Christof Löding (RWTH Aachen, DE) [dblp]
  • Andreas Maletti (Universität Leipzig, DE) [dblp]
  • Sebastian Maneth (University of Edinburgh, GB) [dblp]
  • Anca Muscholl (University of Bordeaux, FR) [dblp]
  • Keisuke Nakano (The University of Electro-Communications – Tokyo, JP) [dblp]
  • Joachim Niehren (INRIA Lille, FR) [dblp]
  • Chih-Hao Luke Ong (University of Oxford, GB) [dblp]
  • Raphaela Palenta (TU München, DE) [dblp]
  • Rogério Reis (University of Porto, PT) [dblp]
  • Pierre-Alain Reynier (Aix-Marseille University, FR) [dblp]
  • Jacques Sakarovitch (Telecom ParisTech, FR) [dblp]
  • Helmut Seidl (TU München, DE) [dblp]
  • Frédéric Servais (Free University of Brussels, BE) [dblp]
  • Krishna Shankaranarayanan (Indian Institute of Technology – Mumbai, IN)
  • Jean-Marc Talbot (Aix-Marseille University, FR) [dblp]
  • Margus Veanes (Microsoft Corporation – Redmond, US) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner