January 2 – 6 , 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 |
January 7 – 12 , 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 |
January 9 – 13 , 2007, Dagstuhl Seminar 07022Visualization and Processing of Tensor FieldsDavid H. Laidlaw (Brown University – Providence, US), Joachim Weickert (Universität des Saarlandes, DE) | Top |
January 14 – 19 , 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 |
January 21 – 26 , 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 |
January 24 – 31 , 2007, Event 07043Retreat der Gruppe Thomas in der RiedenThomas In der Rieden (DFKI – Saarbrücken, DE) | Top |
January 28 – February 2 , 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 |
February 4 – 9 , 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 |
February 11 – 16 , 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 |
February 11 – 14 , 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 |
February 18 – 23 , 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 |
February 25 – March 2 , 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 |
March 4 – 9 , 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 |
March 11 – 16 , 2007, Dagstuhl Seminar 07111Computational GeometryPankaj Kumar Agarwal (Duke University – Durham, US), Helmut Alt (FU Berlin, DE), Franz Aurenhammer (TU Graz, AT) | Top |
March 13 – 16 , 2007, Dagstuhl Seminar 07112Cutting, Packing, Layout and Space AllocationKaren M. Daniels (TU München, DE), Graham Kendall (University of Nottingham, GB) | Top |
March 18 – 23 , 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 |
March 18 – 23 , 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 |
March 25 – 30 , 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 |
March 27 – 30 , 2007, Dagstuhl Seminar 07132Towards Interoperability of Biomedical OntologiesMark A. Musen (Stanford University, US), Michael Schroeder (TU Dresden, DE), Barry Smith (SUNY – Buffalo, US) | Top |
April 9 – 13 , 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 |
April 15 – 20 , 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 |
April 22 – 27 , 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 |
May 1 – 4 , 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 |
May 6 – 11 , 2007, Dagstuhl Seminar 07191Event ProcessingK. Mani Chandy (CalTech – Pasadena, US), Opher Etzion (IBM – Haifa, IL), Rainer von Ammon (CITT GmbH – Regensburg, DE) | Top |
May 8 – 11 , 2007, Event 07192DIA-Seminar: Objektorientierte Konstruktionstechniken und Software-ArchitekturenReinhard Budde (Fraunhofer IAIS – St. Augustin, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE) | Top |
May 20 – 25 , 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 |
May 20 – 25 , 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 |
May 28 – June 1 , 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 |
May 28 – June 1 , 2007, Event 07223Bundeswettbewerb Informatik: Deutsches IOI-AbschlusstrainingWolfgang Pohl (BWINF – Bonn, DE) | Top |
June 10 – 15 , 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 |
June 20 – 23 , 2007, Event 07253Ontological Spring IIIBarry Smith (SUNY – Buffalo, US) | Top |
June 24 – 29 , 2007, Dagstuhl Seminar 07261Fair DivisionSteven J. Brams (New York University, US), Kirk Pruhs (University of Pittsburgh, US), Gerhard J. Woeginger (TU Eindhoven, NL) | Top |
July 1 – 6 , 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 |
July 2 – 3 , 2007, Event 07272Informatik in der Sek. I - Fachdidaktische Synopse der LehrpläneMartin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE) | Top |
July 8 – 13 , 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 |
July 8 – 11 , 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 |
July 15 – 20 , 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 |
July 22 – 25 , 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 |
July 25 – 28 , 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 |
July 29 – August 3 , 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 |
July 31 – August 3 , 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 |
August 19 – 24 , 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 |
August 26 – 30 , 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 |
September 2 – 7 , 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 |
September 9 – 14 , 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 |
September 16 – 21 , 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 |
September 23 – 28 , 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 |
September 27 – 28 , 2007, Event 07393Doktorandenseminar „Wie schreibe ich ein Forschungspapier?“Stephan Diehl (Universität Trier, DE) | Top |
September 30 – October 5 , 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 |
October 7 – 12 , 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 |
October 14 – 19 , 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 |
October 21 – 26 , 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 |
October 28 – November 2 , 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 |
November 4 – 9 , 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 |
November 11 – 14 , 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 |
November 14 – 17 , 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 |
November 18 – 23 , 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 |
December 2 – 7 , 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 |
December 12 – 14 , 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 |