Seminar-Kalender

02. Jan – 06. Jan, 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)

07. Jan – 12. Jan, 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)

09. Jan – 13. Jan, 2007 • Dagstuhl-Seminar 07022

Visualization and Processing of Tensor Fields

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

14. Jan – 19. Jan, 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)

21. Jan – 26. Jan, 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)

28. Jan – 02. Feb, 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)

04. Feb – 09. Feb, 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)

11. Feb – 16. Feb, 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)

18. Feb – 23. Feb, 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)

25. Feb – 02. Mar, 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)

04. Mar – 09. Mar, 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)

11. Mar – 16. Mar, 2007 • Dagstuhl-Seminar 07111

Computational Geometry

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

13. Mar – 16. Mar, 2007 • Dagstuhl-Seminar 07112

Cutting, Packing, Layout and Space Allocation

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

18. Mar – 23. Mar, 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)

18. Mar – 23. Mar, 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)

25. Mar – 30. Mar, 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)

27. Mar – 30. Mar, 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)

09. Apr – 13. Apr, 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)

15. Apr – 20. Apr, 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)

22. Apr – 27. Apr, 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)

01. May – 04. May, 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)

06. May – 11. May, 2007 • Dagstuhl-Seminar 07191

Event Processing

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

20. May – 25. May, 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)

20. May – 25. May, 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)

28. May – 01. Jun, 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)

10. Jun – 15. Jun, 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)

24. Jun – 29. Jun, 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)

01. Jul – 06. Jul, 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)

08. Jul – 13. Jul, 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)

15. Jul – 20. Jul, 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)

22. Jul – 25. Jul, 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)

25. Jul – 28. Jul, 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)

29. Jul – 03. Aug, 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)

19. Aug – 24. Aug, 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)

26. Aug – 30. Aug, 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)

02. Sep – 07. Sep, 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)

09. Sep – 14. Sep, 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)

16. Sep – 21. Sep, 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)

23. Sep – 28. Sep, 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)

30. Sep – 05. Oct, 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)

07. Oct – 12. Oct, 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)

14. Oct – 19. Oct, 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)

21. Oct – 26. Oct, 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)

28. Oct – 02. Nov, 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)

04. Nov – 09. Nov, 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)

11. Nov – 14. Nov, 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)

14. Nov – 17. Nov, 2007 • Dagstuhl-Seminar 07462

Suche auf der Schloss Dagstuhl Webseite

Schloss Dagstuhl Services

Seminare

Innerhalb dieser Seite:

Externe Seiten:

Publishing

Innerhalb dieser Seite:

Externe Seiten:

dblp

Innerhalb dieser Seite:

Externe Seiten:

Seminar Kalender

2007