Kalender : Druckversion


Seminare 2007:



02. – 06. Januar 2007, Dagstuhl Seminar 07011

Runtime Verification


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

Top

07. – 12. Januar 2007, Dagstuhl Seminar 07021

Symmetric Cryptography


Eli 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

09. – 13. Januar 2007, Dagstuhl Seminar 07022

Visualization and Processing of Tensor Fields


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

Top

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

Top

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

Top

28. Januar – 02. Februar 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)

Top

04. – 09. Februar 2007, Dagstuhl Seminar 07061

Autonomous and Adaptive Web Services


Jana Koehler (IBM Research - 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 07071

Web Information Retrieval and Linear Algebra Algorithms


Andreas 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 07081

End-User Software Engineering


Margaret 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 – 02. März 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)

Top

04. – 09. März 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)

Top

11. – 16. März 2007, Dagstuhl Seminar 07111

Computational Geometry


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

Top

13. – 16. März 2007, Dagstuhl Seminar 07112

Cutting, Packing, Layout and Space Allocation


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

Top

18. – 23. März 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), Cam Tropea (TU Darmstadt, DE)

Die Dagstuhl-Stiftung erhielt eine Spende von: Dantec Dynamics / LaVision - The Imaging Company

Top

18. – 23. März 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)

Top

25. – 30. März 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)

Top

27. – 30. März 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)

Top

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

Top

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

Top

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

Top

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

Top

06. – 11. Mai 2007, Dagstuhl Seminar 07191

Event Processing


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

Top

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

Top

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

Top

28. Mai – 01. Juni 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, US)

Top

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

Top

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

Top

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

Top

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

Top

15. – 20. Juli 2007, Dagstuhl Seminar 07291

Scientific Visualization


David S. Ebert (Purdue University, 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 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)

Top

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

Top

29. Juli – 03. August 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)

Top

19. – 24. August 2007, Dagstuhl Seminar 07341

Code Instrumentation and Modeling for Parallel Performance Analysis


Adolfy 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 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)

Top

02. – 07. September 2007, Dagstuhl Seminar 07361

Programming Models for Ubiquitous Parallelism


Albert Cohen (INRIA Saclay – Île-de-France – Orsay, FR), Maria J. Garzaran (University of Illinois – Urbana, US), Christian Lengauer (Universität Passau, DE), Samuel P. Midkiff (Purdue University, US), Chi-Leung David Wong (Intel Corporation – Champaign, US)

Die Dagstuhl-Stiftung erhielt eine Spende von: Intel Corp.

Top

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

Top

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

Top

23. – 28. September 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, US), Berthold Vöcking (RWTH Aachen, DE)

Top

30. September – 05. Oktober 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 - BarcelonaTech, ES)

Top

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

Top

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

Die Dagstuhl-Stiftung erhielt eine Spende von: Microsoft Research, Cambridge, UK

Top

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

Top

28. Oktober – 02. November 2007, Dagstuhl Seminar 07441

Algorithmic-Logical Theory of Infinite Structures


Rodney 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

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

Top

11. – 14. November 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 (Université Libre de Bruxelles, BE), Peter Taylor (The University of Melbourne, AU)

Top

14. – 17. November 2007, Dagstuhl Seminar 07462

Assisted Living Systems – Models, Architectures and Engineering Approaches


Arthur 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 07471

Equilibrium Computation


Jean-Jacques Herings (Maastricht University, NL), Marcin Jurdzinski (University of Warwick, 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 07491

Mining Programs and Processes


Abraham 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

Kalender : Letzte Änderung 24.10.2014, 20:01 Uhr