15. – 18. August 2011, Dagstuhl Seminar 11332
Letzte Aktualisierung: 26. September 2012

Security and Rewriting

Participants

  • Myrto Arapinis (University of Birmingham, GB)
  • Alessandro Armando (University of Genova, IT)
  • Yannick Chevalier (Paul Sabatier University – Toulouse, FR)
  • Hubert Comon-Lundh (ENS – Cachan, FR)
  • Cas Cremers (ETH Zürich, CH)
  • Stéphanie Delaune (ENS – Cachan, FR)
  • Dan Dougherty (Worcester Polytechnic Institute, US)
  • Santiago Escobar (Technical University of Valencia, ES)
  • Maribel Fernandez (King's College London, GB)
  • Cédric Fournet (Microsoft Research UK – Cambridge, GB)
  • Joshua D. Guttman (Worcester Polytechnic Institute, US)
  • Hélène Kirchner (INRIA – Le Chesnay, FR)
  • Steve Kremer (INRIA Lorraine – Nancy, FR)
  • Ralf Küsters (Universität Trier, DE)
  • Christopher Lynch (Clarkson University – Potsdam, US)
  • Catherine Meadows (NRL – Washington, US)
  • José Meseguer (University of Illinois – Urbana-Champaign, US)
  • Sebastian Mödersheim (Technical University of Denmark – Lyngby, DK)
  • Paliath Narendran (University of Albany – SUNY, US)
  • Vivek Nigam (LMU München, DE)
  • Michaël Rusinowitch (INRIA Lorraine – Nancy, FR)
  • Mark D. Ryan (University of Birmingham, GB)
  • Ralf Sasse (University of Illinois – Urbana-Champaign, US)
  • Benedikt Schmidt (ETH Zürich, CH)
  • Helmut Seidl (TU München, DE)
  • Slawomir Staworko (University of Lille III, FR)
  • Carolyn L. Talcott (SRI – Menlo Park, US)
  • Sophie Tison (Lille I University, FR)
  • Alwen Tiu (Australian National University – Canberra, AU)
  • Tomasz Truderung (University of Wroclaw, PL)
  • Luca Vigano (University of Verona, IT)
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)