Seminar Calendar

Jan 02 – Jan 06, 2007 • Dagstuhl Seminar 07011

Runtime Verification

Bernd Finkbeiner (Universität des Saarlandes, DE) • Klaus Havelund (NASA - Pasadena, US) • Grigore Rosu (University of Illinois - Urbana-Champaign, US) • Oleg Sokolsky (University of Pennsylvania - Philadelphia, US)

Jan 07 – Jan 12, 2007 • Dagstuhl Seminar 07021

Symmetric Cryptography

Eli Biham (Technion - Haifa, IL) • Helena Handschuh (KIT - Karlsruher Institut für Technologie, DE) • Stefan Lucks (Bauhaus-Universität Weimar, DE) • Vincent Rijmen (Conecta - Tavagnacco, IT)

Jan 09 – Jan 13, 2007 • Dagstuhl Seminar 07022

Visualization and Processing of Tensor Fields

David H. Laidlaw (Brown University - Providence, US) • Joachim Weickert (Universität des Saarlandes, DE)

Jan 14 – Jan 19, 2007 • Dagstuhl Seminar 07031

Software Dependability Engineering

Rance Cleaveland (Univ. of Maryland at College Park, US) • H. Dieter Rombach (Fraunhofer ITWM - Kaiserslautern, DE) • Mary Shaw (Carnegie Mellon University, US)

Jan 21 – Jan 26, 2007 • Dagstuhl Seminar 07041

Power-aware Computing Systems

Luca Benini (University of Bologna, IT) • Naehyuck Chang (Centro Universitario da FEI - Sao Paolo, BR) • Ulrich Kremer (Rutgers University - Piscataway, US) • Christian W. Probst (Technical University of Denmark - Lyngby, DK)

Jan 28 – Feb 02, 2007 • Dagstuhl Seminar 07051

Programming Paradigms for the Web: Web Programming and Web Services

Richard Hull (Bell Labs - Murray Hill, US) • Peter Thiemann (Universität Freiburg, DE) • Philip Wadler (University of Edinburgh, GB)

Feb 04 – Feb 09, 2007 • Dagstuhl Seminar 07061

Autonomous and Adaptive Web Services

Jana Köhler (IBM Research GmbH - Zürich, CH) • Marco Pistore (Università di Trento, IT) • Amit P. Sheth (Wright State University - Dayton, US) • Paolo Traverso (ITC - Trento, IT) • Martin Wirsing (LMU München, DE)

Feb 11 – Feb 16, 2007 • Dagstuhl Seminar 07071

Web Information Retrieval and Linear Algebra Algorithms

Andreas Frommer (Bergische Universität Wuppertal, DE) • Michael W. Mahoney (Yahoo Research - Sunnyvale, US) • Daniel B. Szyld (Temple University - Philadelphia, US)

Feb 18 – Feb 23, 2007 • Dagstuhl Seminar 07081

End-User Software Engineering

Margaret M. Burnett (Oregon State University, US) • Gregor Engels (Universität Paderborn, DE) • Brad Myers (Carnegie Mellon University, US) • Gregg Rothermel (University of Nebraska - Lincoln, US)

Feb 25 – Mar 02, 2007 • Dagstuhl Seminar 07091

Mobility, Ubiquity and Security

Gilles Barthe (INRIA Sophia Antipolis - Méditerranée, FR) • Heiko Mantel (RWTH Aachen, DE) • Peter Müller (ETH Zürich, CH) • Andrew Myers (Cornell University, US) • Andrei Sabelfeld (Chalmers UT - Göteborg, SE)

Mar 04 – Mar 09, 2007 • Dagstuhl Seminar 07101

Quantitative Aspects of Embedded Systems

Boudewijn Haverkort (University of Twente, NL) • Joost-Pieter Katoen (RWTH Aachen, DE) • Lothar Thiele (ETH Zürich, CH)

Mar 11 – Mar 16, 2007 • Dagstuhl Seminar 07111

Computational Geometry

Pankaj Kumar Agarwal (Duke University - Durham, US) • Helmut Alt (FU Berlin, DE) • Franz Aurenhammer (TU Graz, AT)

Mar 13 – Mar 16, 2007 • Dagstuhl Seminar 07112

Cutting, Packing, Layout and Space Allocation

Karen M. Daniels (TU München, DE) • Graham Kendall (University of Nottingham, GB)

Mar 18 – Mar 23, 2007 • Dagstuhl Seminar 07121

Experimental Fluid Mechanics, Computer Vision & Pattern Recognition

Jean-Paul Bonnet (CEAT - Poitiers, FR) • Etienne Mémin (INRIA Rennes - Bretagne Atlantique, FR) • Christoph Schnörr (Universität Mannheim, DE) • Cameron Tropea (TU Darmstadt, DE)

Mar 18 – Mar 23, 2007 • Dagstuhl Seminar 07122

Normative Multi-agent Systems

Guido Boella (University of Turin, IT) • Leon van der Torre (University of Luxembourg, LU) • Harko Verhagen (Stockholm University, SE)

Mar 25 – Mar 30, 2007 • Dagstuhl Seminar 07131

Similarity-based Clustering and its Application to Medicine and Biology

Michael Biehl (University of Groningen, NL) • Barbara Hammer (TU Clausthal, DE) • Michel Verleysen (University of Louvain, BE) • Thomas Villmann (Universität Leipzig, DE)

Mar 27 – Mar 30, 2007 • Dagstuhl Seminar 07132

Towards Interoperability of Biomedical Ontologies

Mark A. Musen (Stanford University, US) • Michael Schroeder (TU Dresden, DE) • Barry Smith (SUNY - Buffalo, US)

Apr 09 – Apr 13, 2007 • Dagstuhl Seminar 07151

Geometry in Sensor Networks

Subhash Suri (University of California - Santa Barbara, US) • Roger Wattenhofer (ETH Zürich, CH) • Peter Widmayer (ETH Zürich, CH)

Apr 15 – Apr 20, 2007 • Dagstuhl Seminar 07161

Probabilistic, Logical and Relational Learning – A Further Synthesis

Luc De Raedt (KU Leuven, BE) • Thomas G. Dietterich (Oregon State University, US) • Lise Getoor (University of Maryland - College Park, US) • Kristian Kersting (Fraunhofer IAIS - St. Augustin, DE) • Stephen H. Muggleton (Imperial College London, GB)

Apr 22 – Apr 27, 2007 • Dagstuhl Seminar 07171

Visual Computing – Convergence of Computer Graphics and Computer Vision

Markus Gross (ETH Zürich, CH) • Heinrich Müller (TU Dortmund, DE) • Hans-Peter Seidel (MPI für Informatik - Saarbrücken, DE) • Harry Shum (Microsoft Research Asia - Beijing, CN)

May 01 – May 04, 2007 • Dagstuhl Seminar 07181

Parallel Universes and Local Patterns

Michael R. Berthold (Universität Konstanz, DE) • Katharina Morik (TU Dortmund, DE) • Arno Siebes (Utrecht University, NL)

May 06 – May 11, 2007 • Dagstuhl Seminar 07191

Event Processing

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

May 20 – May 25, 2007 • Dagstuhl Seminar 07211

Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes

Andreas Brandstädt (Universität Rostock, DE) • Klaus Jansen (Universität Kiel, DE) • Dieter Kratsch (University of Metz, FR) • Jeremy P. Spinrad (Vanderbilt University, US)

May 20 – May 25, 2007 • Dagstuhl Seminar 07212

Constraint Databases, Geometric Elimination and Geographic Information Systems

Bernd Bank (HU Berlin, DE) • Max J. Egenhofer (University of Maine, US) • Bart Kuijpers (Hasselt University - Diepenbeek, BE)

May 28 – Jun 01, 2007 • Dagstuhl Seminar 07221

Information Visualization – Human-Centered Issues in Visual Representation, Interaction, and Evaluation

Jean-Daniel Fekete (University of Paris South XI, FR) • Andreas Kerren (Linnaeus University - Växjö, SE) • Chris North (Virginia Polytechnic Institute - Blacksburg, US) • John T. Stasko (Georgia Institute of Technology - Atlanta, US)

Jun 10 – Jun 15, 2007 • Dagstuhl Seminar 07241

Tools for the Model-based Development of Certifiable, Dependable Systems

Michaela Huhn (TU Braunschweig, DE) • Hardi Hungar (OFFIS - Oldenburg, DE) • Doron A. Peled (Bar-Ilan University - Ramat Gan, IL)

Jun 24 – Jun 29, 2007 • Dagstuhl Seminar 07261

Fair Division

Steven J. Brams (New York University, US) • Kirk Pruhs (University of Pittsburgh, US) • Gerhard J. Woeginger (TU Eindhoven, NL)

Jul 01 – Jul 06, 2007 • Dagstuhl Seminar 07271

Computational Social Systems and the Internet

Peter Cramton (University of Maryland - College Park, US) • Rudolf Müller (Maastricht University, NL) • Éva Tardos (Cornell University, US) • Moshe Tennenholtz (Technion - Haifa, IL)

Jul 08 – Jul 13, 2007 • Dagstuhl Seminar 07281

Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs

Erik D. Demaine (MIT - Cambridge, US) • Gregory Z. Gutin (Royal Holloway University of London, GB) • Dániel Marx (Budapest University of Technology & Economics, HU) • Ulrike Stege (University of Victoria, CA)

Jul 15 – Jul 20, 2007 • Dagstuhl Seminar 07291

Scientific Visualization

David S. Ebert (Purdue University - West Lafayette, US) • Hans Hagen (TU Kaiserslautern, DE) • Kenneth Joy (University of California - Davis, US) • Daniel A. Keim (Universität Konstanz, DE)

Jul 22 – Jul 25, 2007 • Dagstuhl Seminar 07301

Resilient and Survivable Networks, Infrastructure and Services

Hermann de Meer (Universität Passau, DE) • David Hutchison (Lancaster University, GB) • Bernhard Plattner (ETH Zürich, CH) • James P. G. Sterbenz (University of Kansas - Lawrence, US)

Jul 25 – Jul 28, 2007 • Dagstuhl Seminar 07302

Autonomic Management of Networks and Services

Raouf Boutaba (University of Waterloo, CA) • Marcus Brunner (NEC Laboratories Europe - Heidelberg, DE) • Jürgen Schönwälder (Jacobs Universität - Bremen, DE) • Rolf Stadler (KTH - Stockholm, SE)

Jul 29 – Aug 03, 2007 • Dagstuhl Seminar 07311

Frontiers of Electronic Voting

David Chaum (KU Leuven, BE) • Miroslaw Kutylowski (Wroclaw University of Technology, PL) • Ronald L. Rivest (MIT - Cambridge, US) • Peter Y. A. Ryan (Newcastle University, GB)

Aug 19 – Aug 24, 2007 • Dagstuhl Seminar 07341

Code Instrumentation and Modeling for Parallel Performance Analysis

Adolfy Hoisie (Pacific Northwest National Lab. - Richland, US) • Barton P. Miller (University of Wisconsin - Madison, US) • Bernd Mohr (Jülich Supercomputing Centre, DE)

Aug 26 – Aug 30, 2007 • Dagstuhl Seminar 07351

Formal Models of Belief Change in Rational Agents

Giacomo Bonanno (University of California - Davis, US) • James P. Delgrande (Simon Fraser University - Burnaby, CA) • Jérôme Lang (Paul Sabatier University - Toulouse, FR) • Hans Rott (Universität Regensburg, DE)

Sep 02 – Sep 07, 2007 • Dagstuhl Seminar 07361

Programming Models for Ubiquitous Parallelism

Albert Cohen (University of Paris South XI, FR) • Maria J. Garzaran (University of Illinois - Urbana-Champaign, US) • Christian Lengauer (Universität Passau, DE) • Samuel P. Midkiff (Purdue University - West Lafayette, US) • Chi-Leung David Wong (Intel Corporation - Champaign, US)

Sep 09 – Sep 14, 2007 • Dagstuhl Seminar 07371

Mobile Interfaces Meet Cognitive Technologies

Jan-Olof Eklundh (KTH Royal Institute of Technology, SE) • Ales Leonardis (University of Ljubljana, SI) • Lucas Paletta (Joanneum Research - Graz, AT) • Bernt Schiele (TU Darmstadt, DE)

Sep 16 – Sep 21, 2007 • Dagstuhl Seminar 07381

Cryptography

Johannes Blömer (Universität Paderborn, DE) • Dan Boneh (Stanford University, US) • Ronald Cramer (CWI - Amsterdam, NL) • Ueli Maurer (ETH Zürich, CH)

Sep 23 – Sep 28, 2007 • Dagstuhl Seminar 07391

Probabilistic Methods in the Design and Analysis of Algorithms

Martin Dietzfelbinger (TU Ilmenau, DE) • Shang-Hua Teng (Boston University, US) • Eli Upfal (Brown University - Providence, US) • Berthold Vöcking (RWTH Aachen, DE)

Sep 30 – Oct 05, 2007 • Dagstuhl Seminar 07401

Deduction and Decision Procedures

Franz Baader (TU Dresden, DE) • Byron Cook (Microsoft Research UK - Cambridge, GB) • Jürgen Giesl (RWTH Aachen, DE) • Robert Nieuwenhuis (UPC - Barcelona, ES)

Oct 07 – Oct 12, 2007 • Dagstuhl Seminar 07411

Algebraic Methods in Computational Complexity

Manindra Agrawal (Indian Institute of Technology - Kanpur, IN) • Harry Buhrman (CWI - Amsterdam, NL) • Lance Fortnow (Northwestern University - Evanston, US) • Thomas Thierauf (Hochschule Aalen, DE)

Oct 14 – Oct 19, 2007 • Dagstuhl Seminar 07421

Formal Protocol Verification Applied

Liqun Chen (HP Lab - Bristol, GB) • Steve Kremer (ENS - Cachan, FR) • Mark D. Ryan (University of Birmingham, GB)

Oct 21 – Oct 26, 2007 • Dagstuhl Seminar 07431

Computational Issues in Social Choice

Ulle Endriss (University of Amsterdam, NL) • Jérôme Lang (Paul Sabatier University - Toulouse, FR) • Francesca Rossi (University of Padova, IT) • Tuomas Sandholm (Carnegie Mellon University - Pittsburgh, US)

Oct 28 – Nov 02, 2007 • Dagstuhl Seminar 07441

Algorithmic-Logical Theory of Infinite Structures

Rodney Downey (Victoria University of Wellington, NZ) • Bakh Khoussainov (University of Auckland, NZ) • Dietrich Kuske (Universität Leipzig, DE) • Markus Lohrey (Universität Leipzig, DE) • Moshe Y. Vardi (Rice University - Houston, US)

Nov 04 – Nov 09, 2007 • Dagstuhl Seminar 07451

Model-Based Engineering of Embedded Real-Time Systems

Holger Giese (Universität Paderborn, DE) • Gabor Karsai (Vanderbilt University, US) • Edward A. Lee (University of California - Berkeley, US) • Bernhard Rumpe (TU Braunschweig, DE) • Bernhard Schätz (TU München, DE)

Nov 11 – Nov 14, 2007 • Dagstuhl Seminar 07461

Numerical Methods for Structured Markov Chains

Dario Andrea Bini (University of Pisa, IT) • Beatrice Meini (University of Pisa, IT) • Vaidyanathan Ramaswami (AT&T Labs Research - Florham Park, US) • Marie-Ange Remiche (Free University of Brussels, BE) • Peter Taylor (The University of Melbourne, AU)

Nov 14 – Nov 17, 2007 • Dagstuhl Seminar 07462

Search the Dagstuhl Website

Schloss Dagstuhl Services

Seminars

Within this website:

External resources:

Publishing

Within this website:

External resources:

dblp

Within this website:

External resources:

Seminar Calendar

2007