April 20 – 25 , 2008, Dagstuhl Seminar 08171
Last update: January 27 2011

Beyond the Finite: New Challenges in Verification and Semistructured Data

Participants

  • Serge Abiteboul (INRIA SaclaY, FR)
  • Parosh Aziz Abdulla (Uppsala University, SE)
  • Henrik Björklund (TU Dortmund, DE)
  • Bernard Boigelot (University of Liège, BE)
  • Mikolaj Bojanczyk (University of Warsaw, PL)
  • Ahmed Bouajjani (University of Paris VII, FR)
  • Patricia Bouyer-Decitre (ENS – Cachan / CNRS – LSV, FR)
  • Supratik Chakraborty (Indian Institute of Technology – Mumbai, IN)
  • Jorge R. Cuéllar (Siemens AG – München, DE)
  • Deepak D'Souza (Chennai Mathematical Institute, IN)
  • Claire David (University of Paris VII, FR)
  • Stéphanie Delaune (ENS – Cachan, FR)
  • Stéphane Demri (ENS – Cachan, FR)
  • Alin Deutsch (University of California – San Diego, US)
  • Javier Esparza (TU München, DE)
  • Gaelle Fontaine (University of Amsterdam, NL)
  • Wouter Gelade (Hasselt University – Diepenbeek, BE)
  • Blaise Genest (IRISA / CNRS, FR)
  • Florent Jacquemard (ENS – Cachan, FR)
  • Michael Kaminski (Technion – Haifa, IL)
  • Bakhadyr Khoussainov (University of Auckland, NZ)
  • Felix Klaedtke (ETH Zürich, CH)
  • Pavel Krcal (Uppsala University, SE)
  • Ranko Lazic (University of Warwick – Coventry, GB)
  • Christof Löding (RWTH Aachen, DE)
  • Wim Martens (TU Dortmund, DE)
  • Maarten Marx (University of Amsterdam, NL)
  • Antoine Miné (ENS – Paris, FR)
  • Markus Müller-Olm (Universität Münster, DE)
  • Madhavan Mukund (Chennai Mathematical Institute, IN)
  • Anca Muscholl (University of Bordeaux, FR)
  • Martin Otto (TU Darmstadt, DE)
  • Shaz Qadeer (Microsoft Research – Redmond, US)
  • Ramaswamy Ramanujam (Chennai Mathematical Institute, IN)
  • Michaël Rusinowitch (INRIA Lorraine – Nancy, FR)
  • Philippe Schnoebelen (ENS – Cachan, FR)
  • Nicole Schweikardt (Universität Frankfurt, DE)
  • Thomas Schwentick (TU Dortmund, DE)
  • Luc Segoufin (ENS – Cachan, FR)
  • Helmut Seidl (TU München, DE)
  • Olivier Serre (University Paris-Diderot, FR)
  • Axel Simon (ENS – Paris, FR)
  • S.P. Suresh (Chennai Mathematical Institute, IN)
  • Wolfgang Thomas (RWTH Aachen, DE)
  • Jan Van den Bussche (Hasselt University – Diepenbeek, BE)
  • Kumar Neeraj Verma (TU München, DE)
  • Victor Vianu (University of California – San Diego, US)
  • Igor Walukiewicz (University of Bordeaux, FR)
  • Volker Weber (TU Dortmund, DE)
  • Marc Zeitoun (University of Bordeaux, FR)