Schloss Dagstuhl : Calendar

Jump to Navigation | Search | Content area | Page footer

2011 2010 2009 2008 2007 2006 2005 2004 Previous

Seminars 2010:

Seminar 10011, 03.01.10 - 08.01.10

Pervasive Public Displays

Nigel Davies (Lancaster University, GB), Antonio Krüger (Universität des Saarlandes, DE), Marc Langheinrich (Universität Lugano, CH), Albrecht Schmidt (Universität Duisburg-Essen, DE), Martin Strohbach (NEC Laboratories Europe - Heidelberg, DE)

Seminar 10021, 10.01.10 - 15.01.10

Service-Oriented Architecture and (Multi-)Agent SystemsTechnology

Monique Calisti (Whitestein Technologies AG - Zürich, CH), Frank Dignum (Utrecht University, NL), Ryszard Kowalczyk (Swinburne Univ. - Melbourne, AU), Frank Leymann (Universität Stuttgart, DE), Rainer Unland (Universität Duisburg-Essen, DE)

Seminar 10031, 17.01.10 - 22.01.10

Quantitative Models: Expressiveness and Analysis

Christel Baier (TU Dresden, DE), Manfred Droste (Universität Leipzig, DE), Paul Gastin (ENS - Cachan, FR), Kim Guldstrand Larsen (Aalborg University, DK)

Seminar 10041, 24.01.10 - 29.01.10

Perspectives Workshop: Digital Social Networks

François Bry (LMU München, DE), Clemens Cap (Universität Rostock, DE), Ingo Dahm (Microsoft Deutschland GmbH - Unterschleissheim, DE), Julia Maintz (Maintz Research, DE), Sebastian Schaffert (Salzburg Research Forschungsgesellschaft m.b.H., AT)

Sponsored by: Microsoft Academic Relations

Seminar 10042, 24.01.10 - 29.01.10

Semantic Challenges in Sensor Networks

Karl Aberer (EPFL - Lausanne, CH), Avigdor Gal (Technion - Haifa, IL), Manfred Hauswirth (National University of Ireland - Galway, IE), Kai-Uwe Sattler (TU Ilmenau, DE), Amit P. Sheth (Wright State University - Dayton, US)

Seminar 10051, 31.01.10 - 05.02.10

Quantitative and Qualitative Analysis of Network Protocols

Timothy G. Griffin (University of Cambridge, GB), Bengt Jonsson (University of Uppsala, SE), Jörg Kreiker (TU München, DE), Marta Kwiatkowska (University of Oxford, GB)

Seminar 10061, 07.02.10 - 12.02.10

Circuits, Logic, and Games

Benjamin Rossmann (MIT - Cambridge, US), Thomas Schwentick (TU Dortmund, DE), Denis Therien (McGill University - Montreal, CA), Heribert Vollmer (Leibniz Universität Hannover, DE)

Seminar 10071, 14.02.10 - 19.02.10

Scheduling

Susanne Albers (HU Berlin, DE), Sanjoy K. Baruah (University of North Carolina - Chapel Hill, US), Rolf H. Möhring (TU Berlin, DE), Kirk Pruhs (University of Pittsburgh, US)

Seminar 10081, 21.02.10 - 26.02.10

Cognitive Robotics

Gerhard Lakemeyer (RWTH Aachen, DE), Hector Levesque (University of Toronto, CA), Fiora Pirri (University of Rome "La Sapienza", IT)

Seminar 10082, 21.02.10 - 26.02.10

Locating Biology: The Development and Application of an Environment Ontology

Michael Ashburner (University of Cambridge, GB), Christian Freksa (Universität Bremen, DE), Suzanna Lewis (Lawrence Berkeley National Laboratory, US), Norman Morrison (University of Manchester, GB), Barry Smith (SUNY - Buffalo, US)

Seminar 10091, 28.02.10 - 05.03.10

Data Structures

Lars Arge (Aarhus University, DK), Erik Demaine (MIT - Cambridge, US), Raimund Seidel (Universität des Saarlandes, DE)

Seminar 10101, 07.03.10 - 12.03.10

Computational Foundations of Social Choice

Felix Brandt (LMU München, DE), Vincent Conitzer (Duke University, US), Lane Hemaspaandra (University of Rochester, US), Jean-Francois Laslier (Ecole Polytechnique - Palaiseau, FR), William S. Zwicker (Union College - Schenectady, US)

Seminar 10102, 07.03.10 - 12.03.10

Grand Challenges for Discrete Event Logistics Systems

Peter Lendermann (D-SIMLAB - Singapore, SG), Leon F. McGinnis (Georgia Institute of Technology, US), Lars Mönch (FernUniversität in Hagen, DE), Arnd Schirrmann (EADS - Hamburg, DE)

Seminar 10111, 14.03.10 - 19.03.10

Practical Software Testing : Tool Automation and Human Factors

Mark Harman (King's College - London, GB), Henry Muccini (Univ. degli Studi di L'Aquila, IT), Wolfram Schulte (Microsoft Corp. - Redmond, US), Tao Xie (North Carolina State University, US)

Sponsored by: Microsoft Research Redmond, Software Engineering Group, US

Seminar 10121, 21.03.10 - 26.03.10

Computational Transportation Science

Glenn Geers (NICTA - Kensington, AU), Monika Sester (Leibniz Universität Hannover, DE), Stephan Winter (University of Melbourne, AU), Ouri E. Wolfson (University of Illinois - Chicago, US), Dean Zabrieszach (VicRoads - Kew, AU)

Seminar 10122, 21.03.10 - 24.03.10

Perspectives Workshop: New Frontiers for Empirical Software Engineering

Victor R. Basili (University of Maryland - College Park, US), Nachiappan Nagappan (Microsoft Research - Redmond, US), H. Dieter Rombach (Fraunhofer-Institut - Kaiserslautern, DE), Andreas Zeller (Universität des Saarlandes, DE)

Seminar 10131, 28.03.10 - 01.04.10

Spatial Representation and Reasoning in Language : Ontologies and Logics of Space

John A. Bateman (Universität Bremen, DE), Anthony G. Cohn (University of Leeds, GB), James Pustejovsky (Brandeis Univ. Waltham, US)

Seminar 10141, 06.04.10 - 09.04.10

Distributed Usage Control

Sandro Etalle (TU Eindhoven, NL), Alexander Pretschner (TU Kaiserslautern, DE), Ravi Sandhu (Univ. of Texas at San Antonio, US), Marianne Winslett (University of Illinois - Urbana, US)

Seminar 10151, 11.04.10 - 16.04.10

Enabling Holistic Approaches to Business Process Lifecycle Management

Richard Hull (IBM TJ Watson Research Center, US), Andreas Oberweis (Universität Karlsruhe, DE), Jianwen Su (Univ. California - Santa Barbara, US)

Seminar 10152, 11.04.10 - 16.04.10

Relationships, Objects, Roles, and Queries in Modern Programming Languages

Guido Boella (University of Torino, IT), Erik Meijer (Microsoft Corp. - Redmond, US), David J. Pearce (Victoria University of Wellington, NZ), Friedrich Steimann (Fernuniversität in Hagen, DE), Frank Tip (IBM TJ Watson Research Center - Hawthorne, US)

Seminar 10161, 18.04.10 - 23.04.10

Decision Procedures in Software, Hardware and Bioware

Nikolaj Bjorner (Microsoft Research - Redmond, US), Robert Nieuwenhuis (UPC - Barcelona, ES), Helmut Veith (TU Darmstadt, DE), Andrei Voronkov (University of Manchester, GB)

Seminar 10171, 25.04.10 - 30.04.10

Equilibrium Computation

Edith Elkind (Nanyang TU - Singapore, SG), Nimrod Megiddo (IBM Almaden Center - San José, US), Peter Bro Miltersen (Aarhus University, DK), Vijay Vazirani (Georgia Institute of Technology, US), Bernhard von Stengel (London School of Economics, GB)

Seminar 10181, 02.05.10 - 07.05.10

Program Development for Extreme-Scale Computing

Jesus Labarta (Barcelona Supercomputing Center, ES), Barton P. Miller (University of Wisconsin - Madison, US), Bernd Mohr (Jülich Supercomputing Centre, DE), Martin Schulz (LLNL - Livermore, US)

Seminar 10191, 09.05.10 - 12.05.10

Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond

Christoph W. Kessler (Linköping University, SE), Welf Löwe (Linnaeus University - Växjö, SE), David Padua (University of Illinois - Urbana, US), Markus Püschel (Carnegie Mellon University - Pittsburgh, US)

Seminar 10201, 16.05.10 - 21.05.10

Event Processing

K. Mani Chandy (CalTech - Pasadena, US), Opher Etzion (IBM - Haifa, IL), Rainer von Ammon (CITT GmbH - Regensburg, DE)

Seminar 10211, 24.05.10 - 28.05.10

Flexible Network Design

Anupam Gupta (Carnegie Mellon University - Pittsburgh, US), Stefano Leonardi (Università di Roma "La Sapienza", IT), Berthold Vöcking (RWTH Aachen, DE), Roger Wattenhofer (ETH Zürich, CH)

Seminar 10231, 06.06.10 - 11.06.10

Structure Discovery in Biology: Motifs, Networks & Phylogenies

Alberto Apostolico (Georgia Institute of Technology, US), Andreas Dress (Shanghai Institutes for Biological Sciences, CN), Laxmi Parida (IBM TJ Watson Research Center, US)

Seminar 10232, 06.06.10 - 11.06.10

The Semantics of Information

Keye R. Martin (Naval Research - Washington, US), Michael W. Mislove (Tulane University, US)

Seminar 10241, 13.06.10 - 18.06.10

Information Visualization

Andreas Kerren (Linnaeus University - Växjö, SE), Catherine Plaisant (University of Maryland - College Park, US), John T. Stasko (Georgia Institute of Technology, US)

Seminar 10251, 20.06.10 - 25.06.10

Probabilistic Methods for Perceiving, Learning and Reasoning about Everyday Activities

Tanzeem Choudhury (Dartmouth College - Hanover, US), Fernando de la Torre (Carnegie Mellon University - Pittsburgh, US), Dieter Fox (University of Washington - Seattle, US), Andreas Krause (CalTech - Pasadena, US), Anna Schubö (LMU München, DE)

Seminar 10252, 20.06.10 - 25.06.10

Game Semantics and Program Verification

Paul-Andre Mellies (University Paris-Diderot, FR), Andrzej St. Murawski (University of Oxford, GB), Andrea Schalk (University of Manchester, GB), Igor Walukiewicz (LaBRI - Bordeaux, FR)

Seminar 10261, 27.06.10 - 02.07.10

Algorithm Engineering

Giuseppe F. Italiano (Università di Roma "Tor Vergata", IT), David S. Johnson (AT&T Research - Florham Park, US), Petra Mutzel (TU Dortmund, DE), Peter Sanders (KIT - Karlsruhe Institute of Technology, DE)

Seminar 10271, 04.07.10 - 09.07.10

Verification over discrete-continuous boundaries

Bernd Becker (Universität Freiburg, DE), Luca Cardelli (Microsoft Research UK - Cambridge, GB), Holger Hermanns (Universität des Saarlandes, DE), Sofiene Tahar (Concordia Univ. - Montreal, CA)

Sponsored by: Microsoft Research, Cambridge, UK

Seminar 10281, 11.07.10 - 16.07.10

Dynamically Reconfigurable Architectures

Peter M. Athanas (Virginia Polytechnic Institute - Blacksburg, US), Jürgen Becker (KIT - Karlsruhe Institute of Technology, DE), Jürgen Teich (Universität Erlangen-Nürnberg, DE), Ingrid Verbauwhede (K.U. Leuven, BE)

Seminar 10291, 18.07.10 - 23.07.10

Automation in Digital Preservation

Jean-Pierre Chanod (Xerox Research Center Europe - Grenoble, FR), Milena Dobreva (Bulgarian Academy, BG & The Univ. of Strathclyde, GB), Andreas Rauber (TU Wien, AT), Seamus Ross (University of Toronto, CA)

Seminar 10292, 18.07.10 - 23.07.10

Resilience Assessment and Evaluation

Alberto Avritzer (Siemens - Princeton, US), Manfred Reitenspieß (Fujitsu-Siemens Computers - München, DE), Aad van Moorsel (University of Newcastle, GB), Katinka Wolter (HU Berlin, DE)

Seminar 10301, 25.07.10 - 30.07.10

Perspectives Workshop: Service Value Networks

Bill Hefley (University of Pittsburgh, US), Steffen Lamparter (Siemens - München, DE), Christos Nikolaou (University of Crete - Heraklion, GR), Stefan Tai (KIT - Karlsruhe Institute of Technology, DE)

Seminar 10302, 25.07.10 - 30.07.10

Learning paradigms in dynamic environments

Barbara Hammer (TU Clausthal, DE), Pascal Hitzler (Wright State University - Dayton, US), Wolfgang Maass (TU Graz, AT), Marc Toussaint (TU Berlin, DE)

Seminar 10341, 22.08.10 - 26.08.10

Insider Threats: Strategies for Prevention, Mitigation, and Response

Lizzie Coles-Kemp (RHUL - London, GB), Dieter Gollmann (TU Hamburg-Harburg, DE), Jeffrey Hunker (Carnegie Mellon University - Pittsburgh, US), Christian W. Probst (Technical University of Denmark, DK)

Seminar 10351, 29.08.10 - 03.09.10

Modelling, Controlling and Reasoning About State

Amal Ahmed (Indiana Univ. - Bloomington, US), Nick Benton (Microsoft Research UK - Cambridge, GB), Lars Birkedal (IT University of Copenhagen, DK), Martin Hofmann (LMU München, DE)

Seminar 10361, 05.09.10 - 10.09.10

Theory of Evolutionary Algorithms

Anne Auger (INRIA - Orsay, FR), Jonathan L. Shapiro (University of Manchester, GB), L. Darrell Whitley (Colorado State University, US), Carsten Witt (Technical University of Denmark, DK)

Seminar 10371, 12.09.10 - 17.09.10

Dynamic Maps

Claus Brenner (Leibniz Universität Hannover, DE), Wolfram Burgard (Universität Freiburg, DE), Mark Pauly (EPFL - Lausanne, CH), Marc Pollefeys (ETH Zürich, CH), Christoph Stiller (KIT - Karlsruhe Institute of Technology, DE)

Seminar 10372, 12.09.10 - 15.09.10

User-Centric Networking

Jon Crowcroft (Cambridge University, GB), James Kempf (Ericsson - San Jose, US), Paulo Jorge Mendes (INESC Porto, PT), Rute Sofia (INESC Porto, PT)

Seminar 10373, 15.09.10 - 18.09.10

Demarcating User Experience

Jettie Hoonhout (Philips Research Lab. - Eindhoven, NL), Effie Lai-Chong Law (ETH Zürich, CH), Virpi Roto (NOKIA Research Center - Helsinki, FI), Arnold Vermeeren (TU Delft, NL)

Seminar 10381, 19.09.10 - 24.09.10

Robust Query Processing

Arnd Christian König (Microsoft Research - Redmond, US), Harumi Anne Kuno (Hewlett Packard Labs - Palo Alto, US), Volker Markl (TU Berlin, DE), Kai-Uwe Sattler (TU Ilmenau, DE)

Seminar 10401, 03.10.10 - 08.10.10

Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction

Rachid Alami (LAAS - Toulouse, FR), Rüdiger Dillmann (KIT - Karlsruhe, DE), Thomas C. Henderson (University of Utah, US), Alexandra Kirsch (TU München, DE)

Seminar 10411, 10.10.10 - 15.10.10

Computational Video

Daniel Cremers (Universität Bonn, DE), Marcus A. Magnor (TU Braunschweig, DE), Wojciech Matusik (Adobe Systems - Newton, US), Lihi Zelnik-Manor (Technion - Haifa, IL)

Seminar 10412, 10.10.10 - 13.10.10

QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning

Anthony G. Cohn (University of Leeds, GB), Jochen Renz (Australian National University - Canberra, AU), Geoff Sutcliffe (University of Miami, US), Stefan Wölfl (Universität Freiburg, DE)

Seminar 10421, 17.10.10 - 22.10.10

Model-Based Testing in Practice

Wolfgang Grieskamp (Microsoft Corp. - Redmond, US), Robert Hierons (Brunel University, GB), Alexander Pretschner (TU Kaiserslautern, DE)

Seminar 10431, 24.10.10 - 29.10.10

Software Engineering for Self-Adaptive Systems

Rogerio de Lemos (University of Kent, GB), Holger Giese (Hasso-Plattner-Institut - Potsdam, DE), Hausi Müller (University of Victoria, CA), Mary Shaw (Carnegie Mellon University - Pittsburgh, US)

Seminar 10441, 31.10.10 - 05.11.10

Exact Complexity of NP-hard Problems

Thore Husfeldt (Lund University, SE), Dieter Kratsch (Université Paul Verlaine - Metz, FR), Ramamohan Paturi (UC San Diego, US), Gregory Sorkin (IBM TJ Watson Research Center, US)

Seminar 10451, 07.11.10 - 12.11.10

Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

Klaus Havelund (Jet Propulsion Laboratory, US), Martin Leucker (TU München, DE), Martin Sachenbacher (TU München, DE), Oleg Sokolsky (University of Pennsylvania, US), Brian C. Williams (MIT - Cambridge, US)

Seminar 10461, 14.11.10 - 19.11.10

Schematization in Cartography, Visualization, and Computational Geometry

Jason Dykes (City University - London, GB), Matthias Müller-Hannemann (Martin-Luther-Universität Halle-Wittenberg, DE), Alexander Wolff (Universität Würzburg, DE)

Seminar 10471, 21.11.10 - 26.11.10

Scalable Visual Analytics

Daniel A. Keim (Universität Konstanz, DE), Jim Thomas (Pacific Northwest National Lab., US), Stefan Wrobel (Fraunhofer IAIS - St. Augustin, DE)

Seminar 10481, 28.11.10 - 03.12.10

Computational Counting

Peter Bürgisser (Universität Paderborn, DE), Leslie Ann Goldberg (University of Liverpool, GB), Mark Jerrum (University of London, GB)

Seminar 10491, 05.12.10 - 10.12.10

Representation, Analysis and Visualization of Moving Objects

Jörg-Rüdiger Sack (Carleton University - Ottawa, CA), Bettina Speckmann (TU Eindhoven, NL), Emiel Van Loon (University of Amsterdam, NL), Robert Weibel (Universität Zürich, CH)

Seminar 10501, 12.12.10 - 17.12.10

Advances and Applications of Automata on Words and Trees

Christian Glasser (Universität Stuttgart, DE), Jean-Eric Pin (University Paris-Diderot, FR), Nicole Schweikardt (Universität Frankfurt, DE), Victor Selivanov (Pedagogical University - Novosibirsk, RU), Wolfgang Thomas (RWTH Aachen, DE)