Seminar Kalender
2006
Gehe zu:
03. Jan
– 06. Jan, 2006
• Dagstuhl-Perspektiven-Workshop 06011
Autonomic Networking
Georg Carle (TU München, DE) • Randy H. Katz (University of California - Berkeley, US) • Bernhard Plattner (ETH Zürich, CH) • Mikhail Smirnov (Fraunhofer FOKUS - Berlin, DE)
08. Jan
– 13. Jan, 2006
• Dagstuhl-Seminar 06021
Reliable Implementation of Real Number Algorithms: Theory and Practice
Peter Hertling (Universität der Bundeswehr - München, DE) • Christoph M. Hoffmann (Purdue University - West Lafayette, US) • Wolfram Luther (Universität Duisburg-Essen, DE) • Nathalie Revol (ENS - Lyon, FR)
15. Jan
– 20. Jan, 2006
• Dagstuhl-Seminar 06031
Organic Computing – Controlled Emergence
Kirstie Bellman (The Aerospace Corp. - Los Angeles, US) • Peter Hofmann (Daimler Research - Stuttgart, DE) • Christian Müller-Schloer (Leibniz Universität Hannover, DE) • Hartmut Schmeck (KIT - Karlsruhe, DE) • Rolf P. Würtz (Ruhr-Universität Bochum, DE)
29. Jan
– 03. Feb, 2006
• Dagstuhl-Seminar 06051
Kolmogorov Complexity and Applications
Marcus Hutter (IDSIA - Manno, CH) • Wolfgang Merkle (Universität Heidelberg, DE) • Paul M. B. Vitanyi (CWI - Amsterdam, NL)
05. Feb
– 10. Feb, 2006
• Dagstuhl-Seminar 06061
Theory of Evolutionary Algorithms
Dirk Arnold (Dalhousie University, CA) • Thomas Jansen (TU Dortmund, DE) • Jonathan Rowe (University of Birmingham, GB) • Michael D. Vose (University of Tennessee, US)
12. Feb
– 17. Feb, 2006
• Dagstuhl-Seminar 06071
Architectures and Algorithms for Petascale Computing
Ulrich Rüde (Universität Erlangen-Nürnberg, DE) • Horst D. Simon (Lawrence Berkeley National Laboratory, US) • Peter Sloot (VU University Amsterdam, NL)
19. Feb
– 24. Feb, 2006
• Dagstuhl-Seminar 06081
Software Verification: Infinite-State Model Checking and Static Program Analysis
Parosh Aziz Abdulla (Uppsala University, SE) • Ahmed Bouajjani (University Paris-Diderot, FR) • Markus Müller-Olm (Universität Münster, DE)
26. Feb
– 03. Mar, 2006
• Dagstuhl-Seminar 06091
Data Structures
Lars Arge (Aarhus University, DK) • Robert Sedgewick (Princeton University, US) • Dorothea Wagner (KIT - Karlsruher Institut für Technologie, DE)
05. Mar
– 10. Mar, 2006
• Dagstuhl-Seminar 06101
Spatial Data: Mining, Processing and Communicating
Jörg-Rüdiger Sack (Carleton University - Ottawa, CA) • Monika Sester (Leibniz Universität Hannover, DE) • Peter van Oosterom (TU Delft, NL) • Michael Worboys (University of Maine, US)
12. Mar
– 17. Mar, 2006
• Dagstuhl-Seminar 06111
Complexity of Boolean Functions
Matthias Krause (Universität Mannheim, DE) • Pavel Pudlák (Czech Academy of Sciences, CZ) • Rüdiger Reischuk (Universität Lübeck, DE) • Dieter van Melkebeek (University of Wisconsin - Madison, US)
19. Mar
– 24. Mar, 2006
• Dagstuhl-Seminar 06121
Atomicity: A Unifying Concept in Computer Science
Cliff B. Jones (University of Newcastle, GB) • David B. Lomet (Microsoft Research - Redmond, US) • Alexander Romanovsky (University of Newcastle, GB) • Gerhard Weikum (MPI für Informatik - Saarbrücken, DE)
26. Mar
– 29. Mar, 2006
• Dagstuhl-Seminar 06131
Peer-to-Peer-Systems and -Applications
Anthony D. Joseph (University of California - Berkeley, US) • Ralf Steinmetz (TU Darmstadt, DE) • Ion Stoica (University of California - Berkeley, US) • Klaus Wehrle (RWTH Aachen, DE)
28. Mar
– 31. Mar, 2006
• Dagstuhl-Seminar 06132
Internet Economics
Martin Karsten (University of Waterloo, CA) • Lee McKnight (Syracuse University, US) • Peter Reichl (FTW Forschungszentrum Telekommunikation Wien GmbH, AT) • Burkhard Stiller (Universität Zürich, CH)
02. Apr
– 07. Apr, 2006
• Dagstuhl-Seminar 06141
Dynamically Reconfigurable Architectures
Peter M. Athanas (Virginia Polytechnic Institute - Blacksburg, US) • Jürgen Becker (KIT - Karlsruher Institut für Technologie, DE) • Gordon Brebner (Xilinx - San José, US) • Jürgen Teich (Universität Erlangen-Nürnberg, DE)
17. Apr
– 22. Apr, 2006
• Dagstuhl-Seminar 06161
Simulation and Verification of Dynamic Systems
David M. Nicol (University of Illinois - Urbana Champaign, US) • Corrado Priami (Università di Trento, IT) • Hanne Riis Nielson (Technical University of Denmark - Lyngby, DK) • Adelinde M. Uhrmacher (Universität Rostock, DE)
23. Apr
– 28. Apr, 2006
• Dagstuhl-Seminar 06171
Content-Based Retrieval
Tim Crawford (University of London/Goldsmiths, GB) • Remco Veltkamp (Utrecht University, NL)
26. Apr
– 29. Apr, 2006
• Dagstuhl-Seminar 06172
Directed Model Checking
Stefan Edelkamp (TU Dortmund, DE) • Stefan Leue (Universität Konstanz, DE) • Alberto Lluch Lafuente (Lyngby, DK) • Willem Visser (NASA / RIACS - Moffett Field, US)
01. May
– 06. May, 2006
• Dagstuhl-Seminar 06181
Latently-Typed Languages
Ralph Johnson (University of Illinois - Urbana-Champaign, US) • Shriram Krishnamurthi (Brown University - Providence, US) • Thomas Kühne (Victoria University of Wellington, NZ) • Michael Sperber (Tübingen, DE)
07. May
– 12. May, 2006
• Dagstuhl-Seminar 06191
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial (ETH Zürich, CH) • Uwe Glässer (Simon Fraser University - Burnaby, CA)
14. May
– 19. May, 2006
• Dagstuhl-Seminar 06201
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery
Rudolf Ahlswede (Universität Bielefeld, DE) • Alberto Apostolico (Georgia Institute of Technology - Atlanta, US) • Vladimir I. Levenshtein (Keldysh Institute - Moscow, RU)
28. May
– 02. Jun, 2006
• Dagstuhl-Seminar 06221
Computational Aesthetics in Graphics, Visualization and Imaging
Bruce Gooch (Northwestern University - Evanston, US) • László Neumann (University of Girona, ES) • Werner Purgathofer (TU Wien, AT) • Mateu Sbert (University of Girona, ES)
05. Jun
– 09. Jun, 2006
• Dagstuhl-Seminar 06231
Towards Affordance-Based Robot Control
Patrick Doherty (Linköping University, SE) • Georg Dorffner (ÖSGK - Vienna, AT) • Joachim Hertzberg (Universität Osnabrück, DE) • Erich Rome (Fraunhofer IAIS - St. Augustin, DE)
11. Jun
– 16. Jun, 2006
• Dagstuhl-Seminar 06241
Human Motion – Understanding, Modeling, Capture and Animation. 13th Workshop on Theoretical Foundations of Computer Vision
Reinhard Klette (University of Auckland, NZ) • Dimitris Metaxas (Rutgers University - Piscataway, US) • Bodo Rosenhahn (Leibniz Universität Hannover, DE)
19. Jun
– 23. Jun, 2006
• Dagstuhl-Seminar 06251
Multi-Robot Systems: Perception, Behaviors, Learning, and Action
Hans-Dieter Burkhard (HU Berlin, DE) • Martin Riedmiller (Universität Osnabrück, DE) • Uwe Schwiegelshohn (TU Dortmund, DE) • Manuela Veloso (Carnegie Mellon University, US)
25. Jun
– 30. Jun, 2006
• Dagstuhl-Seminar 06261
Foundations and Practice of Programming Multi-Agent Systems
Rafael H. Bordini (Federal University of Rio Grande do Sul, BR) • Mehdi Dastani (Utrecht University, NL) • John-Jules Ch. Meyer (Utrecht University, NL)
26. Jun
– 30. Jun, 2006
• Dagstuhl-Seminar 06262
Empirical Software Engineering
Victor R. Basili (University of Maryland - College Park, US) • H. Dieter Rombach (Fraunhofer ITWM - Kaiserslautern, DE) • Kurt Schneider (Leibniz Universität Hannover, DE)
02. Jul
– 07. Jul, 2006
• Dagstuhl-Seminar 06271
Challenges in Symbolic Computation Software
Wolfram Decker (Universität des Saarlandes, DE) • Mike Dewar (NAG Ltd. - Oxford, GB) • Erich Kaltofen (MIT - Cambridge, US) • Stephen M. Watt (University of Western Ontario - London, CA)
09. Jul
– 13. Jul, 2006
• Dagstuhl-Seminar 06281
The Challenge of Software Verification
Manfred Broy (TU München, DE) • Patrick Cousot (ENS - Paris, FR) • Jayadev Misra (University of Texas - Austin, US) • Peter O'Hearn (Queen Mary University of London, GB)
16. Jul
– 21. Jul, 2006
• Dagstuhl-Seminar 06291
The Role of Business Processes in Service Oriented Architectures
Frank Leymann (Universität Stuttgart, DE) • Wolfgang Reisig (HU Berlin, DE) • Satish R. Thatte (Microsoft Corporation - Redmond, US) • Wil van der Aalst (TU Eindhoven, NL)
23. Jul
– 26. Jul, 2006
• Dagstuhl-Seminar 06301
Duplication, Redundancy, and Similarity in Software
Rainer Koschke (Universität Bremen, DE) • Arun Lakhotia (University of Louisiana - Lafayette, US) • Ettore Merlo (Ècole Polytechnique - Montréal, CA) • Andrew Walenstein (University of Louisiana - Lafayette, US)
26. Jul
– 29. Jul, 2006
• Dagstuhl-Seminar 06302
Aspects For Legacy Applications
Siobhán Clarke (Trinity College Dublin, IE) • Leon Moonen (CWI - Amsterdam, NL) • Ganesan Ramalingam (IBM India Research Lab, IN)
30. Jul
– 04. Aug, 2006
• Dagstuhl-Seminar 06311
Sensor Data and Information Fusion in Computer Vision and Medicine
Joachim Denzler (Universität Jena, DE) • Joachim Hornegger (Universität Erlangen - Nürnberg, DE) • Josef Kittler (University of Surrey, GB)
20. Aug
– 25. Aug, 2006
• Dagstuhl-Seminar 06341
Computational Structures for Modelling Space, Time and Causality
Ralph Kopperman (City University of New York, US) • Prakash Panangaden (McGill University - Montreal, CA) • Michael B. Smyth (Imperial College London, GB) • Dieter Spreen (Universität Siegen, DE)
27. Aug
– 01. Sep, 2006
• Dagstuhl-Seminar 06351
Methods for Modelling Software Systems (MMOSS)
Ed Brinksma (University of Twente, NL) • David Harel (Weizmann Institute - Rehovot, IL) • Perdita Stevens (University of Edinburgh, GB) • Roel J. Wieringa (University of Twente, NL)
03. Sep
– 08. Sep, 2006
• Dagstuhl-Seminar 06361
Computing Media and Languages for Space-Oriented Computation
André DeHon (University of Pennsylvania, US) • Jean-Louis Giavitto (University of Evry, FR) • Frédric Gruau (Université Paris Sud, FR)
10. Sep
– 15. Sep, 2006
• Dagstuhl-Seminar 06371
From Security to Dependability
Christian Cachin (IBM Research GmbH - Zürich, CH) • Felix Freiling (Universität Mannheim, DE) • Jaap-Henk Hoepman (Radboud University Nijmegen, NL)
17. Sep
– 20. Sep, 2006
• Dagstuhl-Seminar 06381
Computer Science in Sport
Arnold Baca (Universität Wien, AT) • Larry Katz (University of Calgary, CA) • Jürgen Perl (Universität Mainz, DE) • Otto Spaniol (RWTH Aachen, DE)
24. Sep
– 29. Sep, 2006
• Dagstuhl-Seminar 06391
Algorithms and Complexity for Continuous Problems
Stephan Dahlke (Universität Marburg, DE) • Klaus Ritter (TU Darmstadt, DE) • Ian H. Sloan (UNSW - Sydney, AU) • Joseph F. Traub (Columbia University - New York, US)
01. Oct
– 06. Oct, 2006
• Dagstuhl-Seminar 06401
Complexity of Constraints
Nadia Creignou (University of Marseille, FR) • Phokion G. Kolaitis (IBM Almaden Center & UC Santa Cruz, US) • Heribert Vollmer (Leibniz Universität Hannover, DE)
08. Oct
– 13. Oct, 2006
• Dagstuhl-Seminar 06411
Specification, Verification and Test of Open Systems
Valentin Goranko (University of the Witwatersrand - Johannesburg, ZA) • Radu Grosu (SUNY - Stony Brook, US) • Stephan Merz (LORIA - Nancy, FR) • Holger Schlingloff (Fraunhofer Institut - Berlin, DE)
15. Oct
– 20. Oct, 2006
• Dagstuhl-Seminar 06421
Robot Navigation
Sándor Fekete (TU Braunschweig, DE) • Rudolf Fleischer (Fudan University - Shanghai, CN) • Rolf Klein (Universität Bonn, DE) • Alejandro Lopez-Ortiz (University of Waterloo, CA)
22. Oct
– 27. Oct, 2006
• Dagstuhl-Seminar 06431
Scalable Data Management in Evolving Networks
Stefan Böttcher (Universität Paderborn, DE) • Le Gruenwald (NSF - Arlington, US) • Pedro Jose Marrón (Universität Stuttgart, DE) • Evaggelia Pitoura (University of Ioannina, GR)
29. Oct
– 01. Nov, 2006
• Dagstuhl-Seminar 06441
Naming and Addressing for Next-Generation Internetworks
Bengt Ahlgren (Swedish Institute of Computer Science - Kista, SE) • Lars Eggert (NEC Laboratories Europe - Heidelberg, DE) • Anja Feldmann (Deutsche Telekom Laboratories - Berlin, DE) • Andrei Gurtov (HIIT - Helsinki, FI) • Tom R. Henderson (Boeing Research & Technology - Seattle, US)
08. Nov
– 10. Nov, 2006
• Dagstuhl-Seminar 06451
Circuits, Logic, and Games
Thomas Schwentick (TU Dortmund, DE) • Denis Therien (McGill University - Montreal, CA) • Heribert Vollmer (Leibniz Universität Hannover, DE)
12. Nov
– 17. Nov, 2006
• Dagstuhl-Seminar 06461
Negotiation and Market Engineering
Nick Jennings (University of Southampton, GB) • Gregory Kersten (Concordia University - Montreal, CA) • Axel Ockenfels (Universität Köln, DE) • Christof Weinhardt (KIT - Karlsruher Institut für Technologie, DE)
19. Nov
– 22. Nov, 2006
• Dagstuhl-Perspektiven-Workshop 06471
Quo vadis Informatik – Innovation dank Informatik
Hans-Joachim Bungartz (TU München, DE) • Christoph Meinel (Hasso-Plattner-Institut - Potsdam, DE) • Reinhard Wilhelm (Universität des Saarlandes, DE)
19. Nov
– 22. Nov, 2006
• Dagstuhl-Seminar 06472
XQuery Implementation Paradigms
Peter A. Boncz (CWI - Amsterdam, NL) • Torsten Grust (TU München, DE) • Jérome Siméon (IBM TJ Watson Research Center - Hawthorne, US) • Maurice van Keulen (University of Twente, NL)
26. Nov
– 01. Dec, 2006
• Dagstuhl-Seminar 06481
Geometric Networks and Metric Space Embeddings
Joachim Gudmundsson (NICTA - Sydney, AU) • Rolf Klein (Universität Bonn, DE) • Giri Narasimhan (Florida International University - Miami, US) • Michiel Smid (Carleton University - Ottawa, CA) • Alexander Wolff (KIT - Karlsruher Institut für Technologie, DE)
03. Dec
– 08. Dec, 2006
• Dagstuhl-Seminar 06491
Digital Historical Corpora – Architecture, Annotation, and Retrieval
Lou Burnard (University of Oxford, GB) • Milena Dobreva (Bulgarian Academy of Sciences, BG) • Norbert Fuhr (Universität Duisburg-Essen, DE) • Anke Lüdeling (HU Berlin, DE)
10. Dec
– 15. Dec, 2006
• Dagstuhl-Seminar 06501
