May 5 – 8 , 2013, Dagstuhl Seminar 13192
Last update: June 2 2013

Tree Transducers and Formal Methods

Participants

  • Henrik Björklund (University of Umeå, SE)
  • Johanna Björklund (University of Umeå, SE)
  • Adrien Boiret (ENS – Paris, FR)
  • Bruno Courcelle (University of Bordeaux, FR)
  • Loris d'Antoni (University of Pennsylvania – Philadelphia, US)
  • Frank Drewes (University of Umeå, SE)
  • Emmanuel Filiot (Université Paris-Est Créteil, FR)
  • Zoltan Fülöp (University of Szeged, HU)
  • Olivier Gauwin (University of Bordeaux, FR)
  • Daniel Gildea (University of Rochester, US)
  • Kazuhiro Inaba (Google Japan, JP)
  • Florent Jacquemard (IRCAM & INRIA – Paris, FR)
  • Jan Janousek (Czech Technical University – Prague, CZ)
  • Naoki Kobayashi (University of Tokyo, JP)
  • Marco Kuhlmann (Uppsala University, SE)
  • Pavel Labath (Comenius University in Bratislava, SK)
  • Aurélien Lemay (University of Lille III, FR)
  • Sebastian Maneth (NICTA, AU & University of New South Wales – Sydney, AU)
  • Wim Martens (Universität Bayreuth, DE)
  • Uwe Mönnich (Universität Tübingen, DE)
  • Keisuke Nakano (The University of Electro-Communications – Tokyo, JP)
  • Joachim Niehren (INRIA – University of Lille 1, FR)
  • Damian Niwinski (University of Warsaw, PL)
  • Chih-Hao Luke Ong (University of Oxford, GB)
  • Pierre-Alain Reynier (University of Marseille, FR)
  • Kai T. Salomaa (Queen's University – Kingston, CA)
  • Helmut Seidl (TU München, DE)
  • Frédéric Servais (Hasselt University – Diepenbeek, BE)
  • Jean-Marc Talbot (Aix-Marseille University, FR)
  • Sophie Tison (Lille I University, FR)
  • Jan Van den Bussche (Hasselt University – Diepenbeek, BE)
  • Margus Veanes (Microsoft Corporation – Redmond, US)
  • Heiko Vogler (TU Dresden, DE)