Seminare 2007:
2. – 6. Januar 2007, Dagstuhl Seminar 07011Runtime VerificationBernd Finkbeiner (Universität des Saarlandes, DE), Klaus Havelund (CalTech – Pasadena, US), Grigore Rosu (University of Illinois – Urbana, US), Oleg Sokolsky (University of Pennsylvania, US) | Top |
7. – 12. Januar 2007, Dagstuhl Seminar 07021Symmetric CryptographyEli Biham (Technion – Haifa, IL), Helena Handschuh (KIT – Karlsruhe Institute of Technology, DE), Stefan Lucks (Bauhaus-Universität Weimar, DE), Vincent Rijmen (Conecta – Tavagnacco, IT) | Top |
9. – 13. Januar 2007, Dagstuhl Seminar 07022Visualization and Processing of Tensor FieldsDavid H. Laidlaw (Brown University – Providence, US), Joachim Weickert (Universität des Saarlandes, DE) | Top |
14. – 19. Januar 2007, Dagstuhl Seminar 07031Software Dependability EngineeringRance Cleaveland (Univ. of Maryland at College Park, US), H. Dieter Rombach (Fraunhofer ITWM – Kaiserslautern, DE), Mary Shaw (Carnegie Mellon University – Pittsburgh, US) | Top |
21. – 26. Januar 2007, Dagstuhl Seminar 07041Power-aware Computing SystemsNaehyuck Chang (Centro Universitario da FEI – Sao Paolo, BR), Ulrich Kremer (Rutgers University – Piscataway, US), Christian W. Probst (Technical University of Denmark, DK) | Top |
28. Januar bis 2. Februar 2007, Dagstuhl Seminar 07051Programming Paradigms for the Web: Web Programming and Web ServicesRichard Hull (Bell Labs – Murray Hill, US), Peter Thiemann (Universität Freiburg, DE), Philip Wadler (University of Edinburgh, GB) | Top |
4. – 9. Februar 2007, Dagstuhl Seminar 07061Autonomous and Adaptive Web ServicesJana Koehler (IBM Research – Zürich, CH), Marco Pistore (Università di Trento, IT), Amit P. Sheth (Wright State University – Dayton, US), Martin Wirsing (LMU München, DE) | Top |
11. – 16. Februar 2007, Dagstuhl Seminar 07071Web Information Retrieval and Linear Algebra AlgorithmsAndreas Frommer (Universität Wuppertal, DE), Michael W. Mahoney (Yahoo Research – Sunnyvale, US), Daniel B. Szyld (Temple University – Philadelphia, US) | Top |
18. – 23. Februar 2007, Dagstuhl Seminar 07081End-User Software EngineeringMargaret M. Burnett (Oregon State University, US), Gregor Engels (Universität Paderborn, DE), Brad A. Myers (Carnegie Mellon University, US), Gregg Rothermel (University of Nebraska – Lincoln, US) | Top |
25. Februar bis 2. März 2007, Dagstuhl Seminar 07091Mobility, Ubiquity and SecurityGilles 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) | Top |
4. – 9. März 2007, Dagstuhl Seminar 07101Quantitative Aspects of Embedded SystemsBoudewijn Haverkort (University of Twente, NL), Joost-Pieter Katoen (RWTH Aachen, DE), Lothar Thiele (ETH Zürich, CH) | Top |
11. – 16. März 2007, Dagstuhl Seminar 07111Computational GeometryPankaj Kumar Agarwal (Duke University – Durham, US), Helmut Alt (FU Berlin, DE), Franz Aurenhammer (TU Graz, AT) | Top |
13. – 16. März 2007, Dagstuhl Seminar 07112Cutting, Packing, Layout and Space AllocationKaren M. Daniels (TU München, DE), Graham Kendall (University of Nottingham, GB) | Top |
18. – 23. März 2007, Dagstuhl Seminar 07121Experimental Fluid Mechanics, Computer Vision & Pattern RecognitionEtienne Mémin (INRIA Bretagne Atlantique – Rennes, FR), Christoph Schnörr (Universität Mannheim, DE), Cam Tropea (TU Darmstadt, DE) | Top |
18. – 23. März 2007, Dagstuhl Seminar 07122Normative Multi-agent SystemsGuido Boella (University of Torino, IT), Leon van der Torre (University of Luxembourg, LU), Harko Verhagen (Stockholm University, SE) | Top |
25. – 30. März 2007, Dagstuhl Seminar 07131Similarity-based Clustering and its Application to Medicine and BiologyMichael Biehl (University of Groningen, NL), Barbara Hammer (TU Clausthal, DE), Michel Verleysen (Université Catholique de Louvain, BE), Thomas Villmann (Universität Leipzig, DE) | Top |
27. – 30. März 2007, Dagstuhl Seminar 07132Towards Interoperability of Biomedical OntologiesMichael Schroeder (TU Dresden, DE), Barry Smith (SUNY – Buffalo, US) | Top |
9. – 13. April 2007, Dagstuhl Seminar 07151Geometry in Sensor NetworksS. Suri (Univ. California - St. Barbara, US), R. Wattenhofer (ETH Zürich, CH), P. Widmayer (ETH Zürich, CH) | Top |
15. – 20. April 2007, Dagstuhl Seminar 07161Probabilistic, Logical and Relational Learning - A Further SynthesisLuc De Raedt (Katholieke Universiteit 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) | Top |
22. – 27. April 2007, Dagstuhl Seminar 07171Visual Computing - Convergence of Computer Graphics and Computer VisionMarkus Gross (ETH Zürich, CH), Heinrich Müller (TU Dortmund, DE) | Top |
1. – 4. Mai 2007, Dagstuhl Seminar 07181Parallel Universes and Local PatternsMichael R. Berthold (Universität Konstanz, DE), Katharina Morik (TU Dortmund, DE), Arno P. Siebes (Utrecht University, NL) | Top |
6. – 11. Mai 2007, Dagstuhl Seminar 07191Event ProcessingK. Mani Chandy (CalTech – Pasadena, US), Opher Etzion (IBM – Haifa, IL), Rainer von Ammon (CITT GmbH – Regensburg, DE) | Top |
20. – 25. Mai 2007, Dagstuhl Seminar 07211Exact, Approximative, Robust and Certifying Algorithms on Particular Graph ClassesA. Brandstädt (Univ. Rostock, DE), K. Jansen (Univ. Kiel, DE), D. Kratsch (Univ. de Metz, FR), J. P. Spinrad (Vanderbilt Univ., US) | Top |
20. – 25. Mai 2007, Dagstuhl Seminar 07212Constraint Databases, Geometric Elimination and Geographic Information SystemsB. Bank (HU Berlin, DE), M. J. Egenhofer (Univ. of Maine, US), B. Kuijpers (Hasselt Univ. - Diepenbeek, BE) | Top |
28. Mai bis 1. Juni 2007, Dagstuhl Seminar 07221Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and EvaluationJean-Daniel Fekete (Université Paris Sud, FR), Andreas Kerren (Linnaeus University – Växjö, SE), Chris North (Virginia Polytechnic Institute – Blacksburg, US), John T. Stasko (Georgia Institute of Technology, US) | Top |
10. – 15. Juni 2007, Dagstuhl Seminar 07241Tools for the Model-based Development of Certifiable, Dependable SystemsMichaela Huhn (TU Braunschweig, DE), Hardi Hungar (OFFIS – Oldenburg, DE), Doron A. Peled (Bar-Ilan University – Ramat-Gan, IL) | Top |
24. – 29. Juni 2007, Dagstuhl Seminar 07261Fair DivisionSteven J. Brams (New York University, US), Kirk Pruhs (University of Pittsburgh, US) | Top |
1. – 6. Juli 2007, Dagstuhl Seminar 07271Computational Social Systems and the InternetP. Cramton (Univ. of Maryland - College Park, USA), R. Müller (Maastricht Univ., NL), E. Tardos (Cornell Univ., US), M. Tennenholtz (Technion - Haifa, IL) | Top |
8. – 13. Juli 2007, Dagstuhl Seminar 07281Structure Theory and FPT Algorithmics for Graphs, Digraphs and HypergraphsErik D. Demaine (MIT – Cambridge, US), Gregory Z. Gutin (RHUL – London, GB), Dániel Marx (Budapest Univ. of Technology & Economics, HU), Ulrike Stege (University of Victoria, CA) | Top |
15. – 20. Juli 2007, Dagstuhl Seminar 07291Scientific VisualizationD. Ebert (Purdue Univ. West Lafayette, US), H. Hagen (TU Kaiserslautern, DE), K. Joy (UC, Davis, US), D. Keim (Univ. Konstanz, DE) | Top |
22. – 25. Juli 2007, Dagstuhl Seminar 07301Resilient and Survivable Networks, Infrastructure and ServicesHermann 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) | Top |
25. – 28. Juli 2007, Dagstuhl Seminar 07302Autonomic Management of Networks and ServicesMarcus Brunner (NEC Laboratories Europe – Heidelberg, DE), Jürgen Schönwälder (Jacobs Universität – Bremen, DE), Rolf Stadler (KTH – Stockholm, SE) | Top |
29. Juli bis 3. August 2007, Dagstuhl Seminar 07311Frontiers of Electronic VotingDavid Chaum (KU Leuven, BE), Miroslaw Kutylowski (Wroclaw University of Technology, PL), Ronald L. Rivest (MIT – Cambridge, US), Peter Y. A. Ryan (Newcastle University, GB) | Top |
19. – 24. August 2007, Dagstuhl Seminar 07341Code Instrumentation and Modeling for Parallel Performance AnalysisAdolfy Hoisie (Pacific Northwest National Lab., US), Barton P. Miller (University of Wisconsin – Madison, US), Bernd Mohr (Jülich Supercomputing Centre, DE) | Top |
26. – 30. August 2007, Dagstuhl Seminar 07351Formal Models of Belief Change in Rational AgentsG. Bonanno (UC Davis, US), J. Delgrande (Simon Fraser Univ., CA), J. Lang (Univ. of Toulouse, FR), H. Rott (Univ. of Regensburg, DE) | Top |
2. – 7. September 2007, Dagstuhl Seminar 07361Programming Models for Ubiquitous ParallelismA. Cohen INRIA Futurs, Orsay, FR), M. J. Garzaran (Univ. of Illinois - Urbana, US), C. Lengauer (Univ. Passau, DE), S. P. Midkiff (Purdue Univ., US), D. Chi-Leung Wong (Intel Corp., US) | Top |
9. – 14. September 2007, Dagstuhl Seminar 07371Mobile Interfaces Meet Cognitive TechnologiesJan-Olof Eklundh (KTH Stockholm, SE), Ales Leonardis (University of Ljubljana, SI), Lucas Paletta (Joanneum Research – Graz, AT), Bernt Schiele (TU Darmstadt, DE) | Top |
16. – 21. September 2007, Dagstuhl Seminar 07381CryptographyJohannes Blömer (Universität Paderborn, DE), Dan Boneh (Stanford University, US), Ronald Cramer (CWI – Amsterdam, NL), Ueli Maurer (ETH Zürich, CH) | Top |
23. – 28. September 2007, Dagstuhl Seminar 07391Probabilistic Methods in the Design and Analysis of AlgorithmsMartin Dietzfelbinger (TU Ilmenau, DE), Shang-Hua Teng (Boston University, US), Eli Upfal (Brown University – Providence, US), Berthold Vöcking (RWTH Aachen, DE) | Top |
30. September bis 5. Oktober 2007, Dagstuhl Seminar 07401Deduction and Decision ProceduresFranz Baader (TU Dresden, DE), Jürgen Giesl (RWTH Aachen, DE), Robert Nieuwenhuis (UPC – Barcelona, ES) | Top |
7. – 12. Oktober 2007, Dagstuhl Seminar 07411Algebraic Methods in Computational ComplexityManindra Agrawal (Indian Inst. of Technology – Kanpur, IN), Harry Buhrman (CWI – Amsterdam, NL), Lance Fortnow (Northwestern University – Evanston, US), Thomas Thierauf (Hochschule Aalen, DE) | Top |
14. – 19. Oktober 2007, Dagstuhl Seminar 07421Formal Protocol Verification AppliedLiqun Chen (HP Lab – Bristol, GB), Steve Kremer (ENS – Cachan, FR), Mark D. Ryan (University of Birmingham, GB) | Top |
21. – 26. Oktober 2007, Dagstuhl Seminar 07431Computational Issues in Social ChoiceUlle Endriss (University of Amsterdam, NL), Jerome Lang (Paul Sabatier University – Toulouse, FR), Francesca Rossi (University of Padova, IT), Tuomas Sandholm (Carnegie Mellon University – Pittsburgh, US) | Top |
28. Oktober bis 2. November 2007, Dagstuhl Seminar 07441Algorithmic-Logical Theory of Infinite StructuresRodney Downey (Victoria University of Wellington, NZ), Bakhadyr Khoussainov (University of Auckland, NZ), Dietrich Kuske (Universität Leipzig, DE), Markus Lohrey (Universität Leipzig, DE), Moshe Y. Vardi (Rice University, US) | Top |
4. – 9. November 2007, Dagstuhl Seminar 07451Model-Based Engineering of Embedded Real-Time SystemsHolger 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) | Top |
11. – 14. November 2007, Dagstuhl Seminar 07461Numerical Methods for Structured Markov ChainsDario Andrea Bini (University of Pisa, IT), Beatrice Meini (University of Pisa, IT), Vaidyanathan Ramaswami (AT&T Labs Research – Florham Park, US), Marie-Ange Remiche (Université Libre de Bruxelles, BE), Peter Taylor (The University of Melbourne, AU) | Top |
14. – 17. November 2007, Dagstuhl Seminar 07462Assisted Living Systems – Models, Architectures and Engineering ApproachesArthur I. Karshmer (Coverity Inc. – San Francisco, US), Jürgen Nehmer (TU Kaiserslautern, DE), Hartmut Raffler (Siemens AG – München, DE), Gerhard Tröster (ETH Zürich, CH) | Top |
18. – 23. November 2007, Dagstuhl Seminar 07471Equilibrium ComputationJean-Jacques Herings (Maastricht University, NL), Marcin Jurdzinski (University of Warwick, GB), Peter Bro Miltersen (Aarhus University, DK), Eva Tardos (Cornell University, US), Bernhard von Stengel (London School of Economics, GB) | Top |
2. – 7. Dezember 2007, Dagstuhl Seminar 07491Mining Programs and ProcessesAbraham Bernstein (Universität Zürich, CH), Harald Gall (Universität Zürich, CH), Tao Xie (North Carolina State University, US), Andreas Zeller (Universität des Saarlandes, DE) | Top |