Calendar : Druckversion


Seminars 2007:



January 2nd – January 6th 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

January 7th – January 12th 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

January 9th – January 13th 2007, Dagstuhl Seminar 07022

Visualization and Processing of Tensor Fields


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

Top

January 14th – January 19th 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

January 21st – January 26th 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

January 28th – February 2nd 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

February 4th – February 9th 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

February 11th – February 16th 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

February 18th – February 23rd 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

February 25th – March 2nd 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

March 4th – March 9th 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

March 11th – March 16th 2007, Dagstuhl Seminar 07111

Computational Geometry


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

Top

March 13th – March 16th 2007, Dagstuhl Seminar 07112

Cutting, Packing, Layout and Space Allocation


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

Top

March 18th – March 23rd 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)

The Dagstuhl Foundation received a donation from: Dantec Dynamics / LaVision - The Imaging Company

Top

March 18th – March 23rd 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

March 25th – March 30th 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

March 27th – March 30th 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

April 9th – April 13th 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

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

April 22nd – April 27th 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

May 1st – May 4th 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

May 6th – May 11th 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

May 20th – May 25th 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

May 20th – May 25th 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

May 28th – June 1st 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

June 10th – June 15th 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

June 24th – June 29th 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

July 1st – July 6th 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

July 8th – July 13th 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

July 15th – July 20th 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

July 22nd – July 25th 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

July 25th – July 28th 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

July 29th – August 3rd 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

August 19th – August 24th 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

August 26th – August 30th 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

September 2nd – September 7th 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)

The Dagstuhl Foundation received a donation from: Intel Corp.

Top

September 9th – September 14th 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

September 16th – September 21st 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

September 23rd – September 28th 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

September 30th – October 5th 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

October 7th – October 12th 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

October 14th – October 19th 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)

The Dagstuhl Foundation received a donation from: Microsoft Research, Cambridge, UK

Top

October 21st – October 26th 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

October 28th – November 2nd 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

November 4th – November 9th 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

November 11th – November 14th 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

November 14th – November 17th 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

November 18th – November 23rd 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

December 2nd – December 7th 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

Calendar : Last Update 26.10.2014, 02:48 o'clock