Jump to Navigation | Search | Content area | Page footer

Seminars 2006:


Seminar 06011, 03.01.06 - 06.01.06

  Perspectives Workshop: Autonomic Networking

G. Carle (Universität Tübingen, DE), R. H. Katz (Univ. California - Berkeley, US), B. Plattner (ETH Zürich, CH), M. Smirnov (FhG FOKUS - Berlin, DE)

Top

Seminar 06021, 08.01.06 - 13.01.06

  Reliable Implementation of Real Number Algorithms: Theory and Practice

P. Hertling (Univ. der Bundeswehr - Neubiberg, DE), Ch. M. Hoffmann (Purdue Univ., US), W. Luther (Univ. Duisburg-Essen, DE), N. Revol (ENS - Lyon, FR)

Top

Seminar 06031, 15.01.06 - 20.01.06

  Organic Computing - Controlled Emergence

K. Bellman (Aerospace Corp. - Los Angeles, US), P. Hofmann (DaimlerChrysler Research - Stuttgart, DE), Ch. Müller-Schloer (Univ. Hannover, DE), H. Schmeck (Univ. Karlsruhe, DE), R. Würtz (Ruhr-Univ. Bochum, DE)

Top

Seminar 06051, 29.01.06 - 03.02.06

  Kolmogorov Complexity and Applications

Marcus Hutter (IDSIA - Lugano, CH), Wolfgang Merkle (Universität Heidelberg, DE), Paul M.B. Vitanyi (CWI - Amsterdam, NL)

Top

Seminar 06061, 05.02.06 - 10.02.06

  Theory of Evolutionary Algorithms

Dirk V. Arnold (Dalhousie University, CA), Thomas Jansen (Universität Dortmund, DE), Jonathan E. Rowe (University of Birmingham, GB), Michael D. Vose (University of Tennessee, US)

Top

Seminar 06071, 12.02.06 - 17.02.06

  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 (University of Amsterdam, NL)

Top

Seminar 06081, 19.02.06 - 24.02.06

  Software Verification: Infinite-State Model Checking and Static Program Analysis

Parosh Aziz Abdulla (University of Uppsala, SE), Ahmed Bouajjani (University Paris-Diderot, FR), Markus Müller-Olm (Universität Münster, DE)

Top

Seminar 06091, 26.02.06 - 03.03.06

  Data Structures

Lars Arge (BRICS - Aarhus, DK), Robert Sedgewick (Princeton University, US), Dorothea Wagner (KIT - Karlsruhe Institute of Technology, DE)

Top

Seminar 06101, 05.03.06 - 10.03.06

  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)

Top

Seminar 06111, 12.03.06 - 17.03.06

  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)

Top

Seminar 06121, 19.03.06 - 24.03.06

  Atomicity: A Unifying Concept in Computer Science

Clifford B. Jones (University of Newcastle, GB), David Lomet (Microsoft Corp. - Redmond, US), Alexander Romanovsky (University of Newcastle, GB), Gerhard Weikum (MPI für Informatik - Saarbrücken, DE)

Sponsored by: Microsoft Corporation, Redmond, US

Top

Seminar 06131, 26.03.06 - 29.03.06

  Peer-to-Peer-Systems and -Applications

Anthony D. Joseph (University of California - Berkeley, US), Ralf Steinmetz (TU Darmstadt, DE), Ion Stoica (Univ. California - Berkeley, US), Klaus Wehrle (RWTH Aachen, DE)

Top

Seminar 06132, 28.03.06 - 31.03.06

  Internet Economics

Martin Karsten (University of Waterloo, CA), Lee McKnight (Syracuse University, US), Peter Reichl (FZ Telekommunikation Wien, AT), Burkhard Stiller (Universität Zürich, CH)

Top

Seminar 06141, 02.04.06 - 07.04.06

  Dynamically Reconfigurable Architectures

Peter M. Athanas (Virginia Polytechnic Institute - Blacksburg, US), Jürgen Becker (KIT - Karlsruhe Institute of Technology, DE), Gordon Brebner (Xilinx - San José, US), Jürgen Teich (Universität Erlangen-Nürnberg, DE)

Top

Seminar 06161, 17.04.06 - 22.04.06

  Simulation and Verification of Dynamic Systems

David M. Nicol (University of Illinois - Urbana, US), Corrado Priami (Università di Trento, IT), Hanne Riis Nielson (Technical University of Denmark, DK), Harald Ruess (SRI - Menlo Park, US), Adelinde M. Uhrmacher (Universität Rostock, DE)

Top

Seminar 06171, 23.04.06 - 28.04.06

  Content-Based Retrieval

Tim Crawford (University of London, GB), Remco Veltkamp (Utrecht University, NL)

Top

Seminar 06172, 26.04.06 - 29.04.06

  Directed Model Checking

Stefan Edelkamp (TU Dortmund, DE), Stefan Leue (Universität Konstanz, DE), Alberto Lluch Lafuente (Pisa, IT), Willem Visser (NASA / RIACS - Moffett Field, US)

Top

Seminar 06181, 01.05.06 - 06.05.06

  Latently-Typed Languages

Ralph Johnson (University of Illinois - Urbana, US), Shriram Krishnamurthi (Brown University - Providence, US), Thomas Kühne (Victoria University of Wellington, NZ), Michael Sperber (Tübingen, DE)

Top

Seminar 06191, 07.05.06 - 12.05.06

  Rigorous Methods for Software Construction and Analysis

Jean-Raymond Abrial (ETH Zürich, CH), Uwe Glässer (Simon Fraser University - Burnaby, CA)

Top

Seminar 06201, 14.05.06 - 19.05.06

  Combinatorial and Algorithmic Foundations of Pattern and Association Discovery

Rudolf Ahlswede (Universität Bielefeld, DE), Alberto Apostolico (Georgia Institute of Technology, US), Vladimir I. Levenshtein (Keldysh Institute - Moscow, RUS)

Top

Seminar 06221, 28.05.06 - 02.06.06

  Computational Aesthetics in Graphics, Visualization and Imaging

Bruce Gooch (NW University - Evanston, USA), László Neumann (University of Girona, ES), Werner Purgathofer (TU Wien, AT), Mateu Sbert (University of Girona, ES)

Top

Seminar 06231, 05.06.06 - 09.06.06

  Towards Affordance-Based Robot Control

Patrick Doherty (Linköping University, SE), Georg Dorffner (ÖSGK - Vienna, A), Joachim Hertzberg (Universität Osnabrück, DE), Erich Rome (Fraunhofer IAIS - St. Augustin, DE)

Top

Seminar 06241, 11.06.06 - 16.06.06

  Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop "Theoretical Foundations of Computer Vision"

Reinhard Klette (University of Auckland, NZ), Dimitris Metaxas (Rutgers Univ. - Piscataway, US), Bodo Rosenhahn (Universität Hannover, DE)

Top

Seminar 06251, 19.06.06 - 23.06.06

  Multi-Robot Systems: Perception, Behaviors, Learning, and Action

Hans-Dieter Burkhard (HU Berlin, DE), Martin Riedmiller (Universität Osnabrück, DE), Uwe Schwiegelshohn (Universität Dortmund, DE), Manuela Veloso (Carnegie Mellon University - Pittsburgh, US)

Top

Seminar 06261, 25.06.06 - 30.06.06

  Foundations and Practice of Programming Multi-Agent Systems

Rafael Bordini (University of Durham, GB), Mehdi Dastani (Utrecht University, NL), John-Jules Meyer (Utrecht University, NL)

Top

Seminar 06262, 26.06.06 - 30.06.06

  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)

Top

Seminar 06271, 02.07.06 - 07.07.06

  Challenges in Symbolic Computation Software

Wolfram Decker (Universität des Saarlandes, DE), Mike Dewar (NAG Ltd. - Oxford, GB), Erich Kaltofen (MIT - Cambridge, US), Stephen Watt (University of Western Ontario, CA)

Top

Seminar 06281, 09.07.06 - 13.07.06

  The Challenge of Software Verification

Manfred Broy (TU München, DE), Patrick Cousot (ENS - Paris, FR), Jayadev Misra (Univ. of Texas at Austin, US), Peter O'Hearn (University of London, GB)

Sponsored by: Microsoft Research, Cambridge, UK

Top

Seminar 06291, 16.07.06 - 21.07.06

  The Role of Business Processes in Service Oriented Architectures

Frank Leymann (Universität Stuttgart, DE), Wolfgang Reisig (HU Berlin, DE), Satish R. Thatte (Microsoft Corp. - Redmond, US), Wil van der Aalst (TU Eindhoven, NL)

Top

Seminar 06301, 23.07.06 - 26.07.06

  Duplication, Redundancy, and Similarity in Software

Rainer Koschke (Universität Bremen, DE), Arun Lakhotia (Univ. of Louisiana - Lafayette, US), Ettore Merlo (Ècole Polytechnique de Montréal, CDN), Andrew Walenstein (Univ. of Louisiana - Lafayette, US)

Top

Seminar 06302, 26.07.06 - 29.07.06

  Aspects For Legacy Applications

Siobhán Clarke (Trinity College - Dublin, IE), Leon Moonen (CWI - Amsterdam, NL), Ganesan Ramalingam (IBM India Research Lab, IN)

Top

Seminar 06311, 30.07.06 - 04.08.06

  Sensor Data and Information Fusion in Computer Vision and Medicine

Joachim Denzler (Universität Jena, DE), Joachim Hornegger (Universität Erlangen, DE), Josef Kittler (University of Surrey, GB), Calvin R. Maurer JR. (Stanford University, US)

Top

Seminar 06341, 20.08.06 - 25.08.06

  Computational Structures for Modelling Space, Time and Causality

Ralph Kopperman (City University of New York, USA), Prakash Panangaden (McGill University - Montreal, CA), Michael B. Smyth (Imperial College London, GB), Dieter Spreen (Universität Siegen, DE)

Top

Seminar 06351, 27.08.06 - 01.09.06

  Methods for Modelling Software Systems (MMOSS)

Ed Brinksma (University of Twente, NL), David Harel (Weizmann Institute - Rehovot, IL), Angelika Mader (University of Twente, NL), Perdita Stevens (University of Edinburgh, GB), Roel Wieringa (University of Twente, NL)

Top

Seminar 06361, 03.09.06 - 08.09.06

  Computing Media and Languages for Space-Oriented Computation

André DeHon (CalTech - Pasadena, US), Jean-Louis Giavitto (University of Evry, F), Frédric Gruau (Université Paris Sud, FR)

Top

Seminar 06371, 10.09.06 - 15.09.06

  From Security to Dependability

Christian Cachin (IBM Research Zürich - Rüschlikon, CH), Felix C. Freiling (Universität Mannheim, DE), Jaap-Henk Hoepman (Radboud University Nijmegen, NL)

Top

Seminar 06381, 17.09.06 - 20.09.06

  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)

Sponsored by: Deutsche Forschungsgemeinschaft, Bonn

Top

Seminar 06391, 24.09.06 - 29.09.06

  Algorithms and Complexity for Continuous Problems

Stephan Dahlke (Universität Marburg, DE), Klaus Ritter (TU Darmstadt, DE), Ian H. Sloan (Univ. of New South Wales, AU), Joseph F. Traub (Columbia University, US)

Top

Seminar 06401, 01.10.06 - 06.10.06

  Complexity of Constraints

Nadia Creignou (Université de Marseille, FR), Phokion G. Kolaitis (IBM Almaden Center & UC Santa Cruz, USA), Heribert Vollmer (Universität Hannover, DE)

Top

Seminar 06411, 08.10.06 - 13.10.06

  Specification, Verification and Test of Open Systems

Valentin Goranko (University of the Witwatersrand - Johannesburg, ZA), Radu Grosu (SUNY - Stony Brook, US), Stephan Merz (INRIA - Nancy, FR), Holger Schlingloff (Fraunhofer Institut - Berlin, DE)

Top

Seminar 06421, 15.10.06 - 20.10.06

  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)

Top

Seminar 06431, 22.10.06 - 27.10.06

  Scalable Data Management in Evolving Networks

Stefan Böttcher (Universität Paderborn, DE), Le Gruenwald (US National Science Foundation - Arlington, US), Pedro Jose Marrón (Universität Stuttgart, DE), Evaggelia Pitoura (University of Ioannina, GR)

Top

Seminar 06441, 29.10.06 - 01.11.06

  Naming and Addressing for Next-Generation Internetworks

Bengt Ahlgren (SICS - Kista, SE), Lars Eggert (NEC Laboratories Europe - Heidelberg, DE), Anja Feldmann (Deutsche Telekom Laboratories - Berlin, D), Andrei Gurtov (HIIT - Helsinki, FI), Tom R. Henderson (Boeing Phantom Works - Seattle, US)

Sponsored by: Boeing Phantom Works

Top

Seminar 06451, 08.11.06 - 10.11.06

  Circuits, Logic, and Games

Thomas Schwentick (TU Dortmund, DE), Denis Thérien (McGill University - Montreal, CA), Heribert Vollmer (Universität Hannover, DE)

Top

Seminar 06461, 12.11.06 - 17.11.06

  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 (Universität Karlsruhe, DE)

Top

Seminar 06471, 19.11.06 - 22.11.06

  Perspectives Workshop: 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)

Top

Seminar 06472, 19.11.06 - 22.11.06

  XQuery Implementation Paradigms

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

Top

Seminar 06481, 26.11.06 - 01.12.06

  Geometric Networks and Metric Space Embeddings

Joachim Gudmundsson (NICTA - Sydney, AU), Rolf Klein (Universität Bonn, DE), Giri Narasimhan (Florida Int. Univ. - Miami, US), Michiel Smid (Carleton University - Ottawa, CA), Alexander Wolff (Universität Karlsruhe, DE)

Top

Seminar 06491, 03.12.06 - 08.12.06

  Digital Historical Corpora- Architecture, Annotation, and Retrieval

Lou Burnard (Oxford University Computing Services, GB), Milena Dobreva (Bulgarian Academy of Sciences, BG), Norbert Fuhr (Universität Duisburg-Essen, DE), Anke Lüdeling (HU Berlin, D)

Top

Seminar 06501, 10.12.06 - 15.12.06

  Practical Approaches to Multi-Objective Optimization

Jürgen Branke (KIT - Karlsruhe Institute of Technology, DE), Kalyanmoy Deb (Indian Inst. of Technology - Kanpur, IN), Kaisa Miettinen (Helsinki School of Economics, FI), Roman Slowinski (Poznan University of Technology, PL)

Top