02. – 06. Januar 2007, Dagstuhl-Seminar 07011Runtime VerificationBernd 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) | Top |
07. – 12. Januar 2007, Dagstuhl-Seminar 07021Symmetric CryptographyEli 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) | Top |
09. – 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, US) | Top |
21. – 26. Januar 2007, Dagstuhl-Seminar 07041Power-aware Computing SystemsLuca 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) | Top |
24. – 31. Januar 2007, Event 07043Retreat der Gruppe Thomas in der RiedenThomas In der Rieden (DFKI – Saarbrücken, DE) | Top |
28. Januar – 02. 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 |
04. – 09. Februar 2007, Dagstuhl-Seminar 07061Autonomous and Adaptive Web ServicesJana 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) | Top |
11. – 16. Februar 2007, Dagstuhl-Seminar 07071Web Information Retrieval and Linear Algebra AlgorithmsAndreas Frommer (Bergische Universität Wuppertal, DE), Michael W. Mahoney (Yahoo Research – Sunnyvale, US), Daniel B. Szyld (Temple University – Philadelphia, US) | Top |
11. – 14. Februar 2007, GI-Dagstuhl-Seminar 07072Software Development Methodologies for Mobile ApplicationsSusanne Boll (Universität Oldenburg, DE), Birgitta König-Ries (Universität Jena, DE), Daniela Nicklas (Universität Oldenburg, DE) | Top |
18. – 23. Februar 2007, Dagstuhl-Seminar 07081End-User Software EngineeringMargaret 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) | Top |
25. Februar – 02. 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 |
04. – 09. 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 RecognitionJean-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) | Top |
18. – 23. März 2007, Dagstuhl-Seminar 07122Normative Multi-agent SystemsGuido Boella (University of Turin, 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 (University of Louvain, BE), Thomas Villmann (Universität Leipzig, DE) | Top |
27. – 30. März 2007, Dagstuhl-Seminar 07132Towards Interoperability of Biomedical OntologiesMark A. Musen (Stanford University, US), Michael Schroeder (TU Dresden, DE), Barry Smith (SUNY – Buffalo, US) | Top |
09. – 13. April 2007, Dagstuhl-Seminar 07151Geometry in Sensor NetworksSubhash Suri (University of California – Santa Barbara, US), Roger Wattenhofer (ETH Zürich, CH), Peter Widmayer (ETH Zürich, CH) | Top |
15. – 20. April 2007, Dagstuhl-Seminar 07161Probabilistic, Logical and Relational Learning - A Further SynthesisLuc 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) | 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), Hans-Peter Seidel (MPI für Informatik – Saarbrücken, DE), Harry Shum (Microsoft Research Asia – Beijing, CN) | Top |
01. – 04. Mai 2007, Dagstuhl-Seminar 07181Parallel Universes and Local PatternsMichael R. Berthold (Universität Konstanz, DE), Katharina Morik (TU Dortmund, DE), Arno Siebes (Utrecht University, NL) | Top |
06. – 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 |
08. – 11. Mai 2007, Event 07192DIA-Seminar: Objektorientierte Konstruktionstechniken und Software-ArchitekturenReinhard Budde (Fraunhofer IAIS – St. Augustin, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE) | Top |
20. – 25. Mai 2007, Dagstuhl-Seminar 07211Exact, Approximative, Robust and Certifying Algorithms on Particular Graph ClassesAndreas Brandstädt (Universität Rostock, DE), Klaus Jansen (Universität Kiel, DE), Dieter Kratsch (University of Metz, FR), Jeremy P. Spinrad (Vanderbilt University, US) | Top |
20. – 25. Mai 2007, Dagstuhl-Seminar 07212Constraint Databases, Geometric Elimination and Geographic Information SystemsBernd Bank (HU Berlin, DE), Max J. Egenhofer (University of Maine, US), Bart Kuijpers (Hasselt University – Diepenbeek, BE) | Top |
28. Mai – 01. Juni 2007, Dagstuhl-Seminar 07221Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and EvaluationJean-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) | Top |
28. Mai – 01. Juni 2007, Event 07223Bundeswettbewerb Informatik: Deutsches IOI-AbschlusstrainingWolfgang Pohl (BWINF – Bonn, DE) | 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 |
20. – 23. Juni 2007, Event 07253Ontological Spring IIIBarry Smith (SUNY – Buffalo, US) | Top |
24. – 29. Juni 2007, Dagstuhl-Seminar 07261Fair DivisionSteven J. Brams (New York University, US), Kirk Pruhs (University of Pittsburgh, US), Gerhard J. Woeginger (TU Eindhoven, NL) | Top |
01. – 06. Juli 2007, Dagstuhl-Seminar 07271Computational Social Systems and the InternetPeter Cramton (University of Maryland – College Park, US), Rudolf Müller (Maastricht University, NL), Éva Tardos (Cornell University, US), Moshe Tennenholtz (Technion – Haifa, IL) | Top |
02. – 03. Juli 2007, Event 07272Informatik in der Sek. I - Fachdidaktische Synopse der LehrpläneMartin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE) | Top |
08. – 13. Juli 2007, Dagstuhl-Seminar 07281Structure Theory and FPT Algorithmics for Graphs, Digraphs and HypergraphsErik 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) | Top |
08. – 11. Juli 2007, Event 07282Workshop Wissenschaftsjournalismus "Schreiben über Informatik"Roswitha Bardohl (Schloss Dagstuhl, DE), Jörg Göpfert (Berlin, DE), Winfried Göpfert (FU Berlin, DE), Friederike Meyer zu Tittingdorf (Universität des Saarlandes, DE) | Top |
15. – 20. Juli 2007, Dagstuhl-Seminar 07291Scientific VisualizationDavid 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) | 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 ServicesRaouf 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) | Top |
29. Juli – 03. 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 |
31. Juli – 03. August 2007, GI-Dagstuhl-Seminar 07312Modelling Contest: Common Component Modelling ExampleRaffaela Mirandola (Polytechnic University of Milan, IT), Frantisek Plasil (Charles University – Prague, CZ), Andreas Rausch (TU Clausthal, DE), Ralf H. Reussner (KIT – Karlsruher Institut für Technologie, DE) | Top |
19. – 24. August 2007, Dagstuhl-Seminar 07341Code Instrumentation and Modeling for Parallel Performance AnalysisAdolfy Hoisie (Pacific Northwest National Lab. – Richland, 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 AgentsGiacomo 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) | Top |
02. – 07. September 2007, Dagstuhl-Seminar 07361Programming Models for Ubiquitous ParallelismAlbert 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) | Top |
09. – 14. September 2007, Dagstuhl-Seminar 07371Mobile Interfaces Meet Cognitive TechnologiesJan-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) | 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 |
27. – 28. September 2007, Event 07393Doktorandenseminar „Wie schreibe ich ein Forschungspapier?“Stephan Diehl (Universität Trier, DE) | Top |
30. September – 05. Oktober 2007, Dagstuhl-Seminar 07401Deduction and Decision ProceduresFranz Baader (TU Dresden, DE), Byron Cook (Microsoft Research UK – Cambridge, GB), Jürgen Giesl (RWTH Aachen, DE), Robert Nieuwenhuis (UPC – Barcelona, ES) | Top |
07. – 12. Oktober 2007, Dagstuhl-Seminar 07411Algebraic Methods in Computational ComplexityManindra Agrawal (Indian Institute 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), Jérôme Lang (Paul Sabatier University – Toulouse, FR), Francesca Rossi (University of Padova, IT), Tuomas Sandholm (Carnegie Mellon University – Pittsburgh, US) | Top |
28. Oktober – 02. 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 – Houston, US) | Top |
04. – 09. 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 (Free University of Brussels, 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 – Coventry, GB), Peter Bro Miltersen (Aarhus University, DK), Éva Tardos (Cornell University, US), Bernhard von Stengel (London School of Economics, GB) | Top |
02. – 07. 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 – Raleigh, US), Andreas Zeller (Universität des Saarlandes, DE) | Top |
12. – 14. Dezember 2007, Event 07503Lehrerfortbildung in InformatikHeinz Dabrock (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes – Saarbrücken, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE) | Top |