19. – 24. Mai 2013, Dagstuhl-Seminar 13211
Letzte Aktualisierung: 16. Juni 2013

Automated Reasoning on Conceptual Schemas

Participants

  • Alessandro Artale (Free University of Bozen-Bolzano, IT)
  • Thomas Baar (Hochschule für Technik und Wirtschaft – Berlin, DE)
  • Mira Balaban (Ben Gurion University – Beer Sheva, IL)
  • Joachim Biskup (TU Dortmund, DE)
  • Xavier Blanc (University of Bordeaux, FR)
  • Achim D. Brucker (University of Karlskrona Ronneby, SE)
  • Diego Calvanese (Free University of Bozen-Bolzano, IT)
  • Marco A. Casanova (PUC – Rio de Janeiro, BR)
  • Carolina Dania (IMDEA Software – Madrid, ES)
  • Sophie Dupuy-Chessa (University of Grenoble – LIG, FR)
  • David W. Embley (Brigham Young Univ., US)
  • Ingo Feinerer (TU Wien, AT)
  • Enrico Franconi (Free University of Bozen-Bolzano, IT)
  • Geri Georg (Colorado State University, US)
  • Parke Godfrey (York University – Toronto, CA)
  • Martin Gogolla (Universität Bremen, DE)
  • Sven Hartmann (TU Clausthal, DE)
  • Stephen J. Hegner (University of Umeå, SE)
  • C. Maria Keet (University of KwaZulu-Natal – Durban, ZA)
  • Roman Kontchakov (University of London, GB)
  • Mirco Kuhlmann (Universität Bremen, DE)
  • Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, DE)
  • Jorge Lobo (UPF – Barcelona, ES)
  • Carsten Lutz (Universität Bremen, DE)
  • Stephan Mäs (TU Dresden, DE)
  • Jerzy Marcinkowski (University of Wroclaw, PL)
  • Marco Montali (Free University of Bozen-Bolzano, IT)
  • Alessandro Mosca (Free University of Bozen-Bolzano, IT)
  • Xavier Oriol (UPC – Barcelona, ES)
  • Elena V. Ravve (ORT Braude College – Karmiel, IL)
  • Guillem Rull (UPC – Barcelona, ES)
  • Klaus-Dieter Schewe (Software Competence Center – Hagenberg, AT)
  • Ernest Teniente (UPC – Barcelona, ES)
  • Bernhard Thalheim (Universität Kiel, DE)
  • Dániel Varró (Budapest Univ. of Technology & Economics, HU)
  • Qing Wang (Australian National University, AU)
  • Michael Zakharyaschev (University of London, GB)