Jump to Navigation | Search | Content area | Page footer

Seminars 2009:


Seminar 09021, 04.01.09 - 07.01.09

  Software Service Engineering

Frank Leymann (Universität Stuttgart, DE), Tony Shan (University of Phoenix, US), Willem-Jan van den Heuvel (Tilburg University, NL), Olaf Zimmermann (IBM Research Zürich - Rüschlikon, CH)

Top

Seminar 09031, 11.01.09 - 16.01.09

  Symmetric Cryptography

Helena Handschuh (Palo Alto, US), Stefan Lucks (Bauhaus-Universität Weimar, DE), Bart Preneel (K.U. Leuven, BE), Phillip Rogaway (University of California - Davis, US)

Top

Seminar 09041, 18.01.09 - 23.01.09

  Hybrid and Robust Approaches to Multiobjective Optimization

Kalyanmoy Deb (Indian Inst. of Technology - Kanpur, IN), Salvatore Greco (Università di Catania, IT), Kaisa Miettinen (University of Jyväskylä, FI), Eckart Zitzler (ETH Zürich, CH)

Sponsored by: Esteco

Top

Seminar 09051, 25.01.09 - 30.01.09

  Knowledge representation for intelligent music processing

Eleanor Selfridge-Field (Stanford University, US), Frans Wiering (Utrecht University, NL), Geraint A. Wiggins (University of London, GB)

Top

Seminar 09052, 27.01.09 - 30.01.09

  Management of the Future Internet

Olivier Festor (INRIA - Nancy Grand Est, FR), Aiko Pras (University of Twente, NL), Burkhard Stiller (Universität Zürich, CH)

Top

Seminar 09061, 01.02.09 - 06.02.09

  Combinatorial Scientific Computing

Uwe Naumann (RWTH Aachen, DE), Olaf Schenk (Universität Basel, CH), Horst D. Simon (Lawrence Berkeley National Laboratory, US), Sivan Toledo (Tel Aviv University, IL)

Top

Seminar 09071, 08.02.09 - 11.02.09

  Delay and Disruption-Tolerant Networking (DTN) II

Kevin Fall (Intel Berkeley Labs, US), Cecilia Mascolo (University of Cambridge, GB), Jörg Ott (Helsinki University of Technology, FI), Lars Wolf (TU Braunschweig, DE)

Top

Seminar 09072, 08.02.09 - 11.02.09

  Bandwidth on Demand

Panayotis Antoniadis (Université Pierre et Marie Curie, Paris, FR), David Hausheer (Universität Zürich, CH), Kohei Shiomoto (NTT Network Service Systems Labs - Tokyo, JP), Burkhard Stiller (Universität Zürich, CH), Jean Walrand (University of California - Berkeley, US)

Top

Seminar 09073, 11.02.09 - 14.02.09

  Model-Based Design of Trustworthy Health Information Systems

Ruth Breu (Universität Innsbruck, AT), John C. Mitchell (Stanford University, US), Janos Sztipanovits (Vanderbilt University, US), Alfred Winter (Universität Leipzig, DE)

Top

Seminar 09081, 15.02.09 - 20.02.09

  Similarity-based learning on structures

Michael Biehl (University of Groningen, NL), Barbara Hammer (TU Clausthal, DE), Sepp Hochreiter (University of Linz, AT), Stefan C. Kremer (University of Guelph, CA), Thomas Villmann (Hochschule Mittweida, DE)

Top

Seminar 09082, 15.02.09 - 20.02.09

  Perspectives Workshop: The Future of Grid Computing

Dieter Kranzlmüller (LMU München, DE), Andreas Reuter (Europ. Media Lab. - Heidelberg, DE), Uwe Schwiegelshohn (TU Dortmund, DE)

Top

Seminar 09091, 22.02.09 - 27.02.09

  Formal Methods in Molecular Biology

Rainer Breitling (University of Groningen, NL), David Roger Gilbert (University of Glasgow, GB), Monika Heiner (BTU Cottbus, DE), Corrado Priami (Microsoft Research - University Trento, IT)

Top

Seminar 09101, 01.03.09 - 06.03.09

  Interactive Information Retrieval

Nicholas J. Belkin (Rutgers Univ. - New Brunswick, US), Norbert Fuhr (Universität Duisburg-Essen, DE), Joemon Jose (University of Glasgow, GB), C.J. Keith van Rijsbergen (University of Glasgow, GB)

Top

Seminar 09102, 01.03.09 - 04.03.09

  Perspectives Workshop: Naming and Addressing in a Future Internet

Jari Arkko (Ericsson - Jorvas, FI), Marcelo Bagnulo Braun (Univ. Carlos III de Madrid, ES), Scott Brim (CISCO Systems - Ithaca, US), Lars Eggert (NOKIA Research Center - Helsinki, FI), Christian Vogt (Ericsson - San Jose, US), Lixia Zhang (Univ. California - Los Angeles, US)

Top

Seminar 09111, 08.03.09 - 13.03.09

  Computational Geometry

Pankaj Kumar Agarwal (Duke University, US), Helmut Alt (FU Berlin, DE), Monique Teillaud (INRIA Sophia Antipolis, FR)

Top

Seminar 09121, 15.03.09 - 20.03.09

  Normative Multi-Agent Systems

Guido Boella (University of Torino, IT), Pablo Noriega (IIIA - CSIC - Barcelona, ES), Gabriella Pigozzi (University of Luxembourg, LU), Harko Verhagen (Stockholm University, SE)

Top

Seminar 09131, 22.03.09 - 27.03.09

  Service Level Agreements in Grids

Hans Michael Gerndt (TU München, DE), Omer F. Rana (Cardiff University, GB), Gregor von Laszewski (Rochester Institute of Technology, US), Wolfgang Ziegler (Fraunhofer SCAI - St. Augustin, DE)

Top

Seminar 09141, 29.03.09 - 03.04.09

  Web Application Security

Dan Boneh (Stanford University, US), Ulfar Erlingsson (Reykjavik University, IS), Martin Johns (Universität Passau, DE), Benjamin Livshits (Microsoft Research - Redmond, US)

Top

Seminar 09142, 31.03.09 - 03.04.09

  Perspectives Workshop: Preventing the Brainware Crisis

Stephan Diehl (Universität Trier, DE), Michael Fellows (University of Newcastle, AU), Werner Hartmann (PH Bern, CH), Ulrike Stege (University of Victoria, CA)

Sponsored by: Pädagogische Hochschule PHBern

Top

Seminar 09161, 13.04.09 - 17.04.09

  Generalization of spatial information

Sébastien Mustière (Institut Géographique National - Saint-Mandé, FR), Monika Sester (Leibniz Universität Hannover, DE), Frank van Harmelen (VU University Amsterdam, NL), Peter van Oosterom (TU Delft, NL)

Top

Seminar 09162, 14.04.09 - 17.04.09

  Perspectives Workshop: Architecture and Design of the Future Internet

Georg Carle (TU München, DE), David Hutchison (Lancaster University, GB), Bernhard Plattner (ETH Zürich, CH), James P. G. Sterbenz (University of Kansas - Lawrence, US)

Top

Seminar 09171, 19.04.09 - 24.04.09

  Adaptive, Output Sensitive, Online and Parameterized Algorithms

Jérémy Barbay (University of Chile - Santiago, CL), Rolf Klein (Universität Bonn, DE), Alejandro Lopez-Ortiz (University of Waterloo, CA), Rolf Niedermeier (Universität Jena, DE)

Top

Seminar 09181, 26.04.09 - 30.04.09

  Sampling-based Optimization in the Presence of Uncertainty

Jürgen Branke (University of Warwick, GB), Barry L. Nelson (Northwestern University - Evanston, US), Warren Buckler Powell (Princeton University, US), Thomas J. Santner (Ohio State University, US)

Top

Seminar 09191, 03.05.09 - 08.05.09

  Fault Tolerance in High-Performance Computing and Grids

Franck Cappello (INRIA - Orsay, FR), Laxmikant Kale (University of Illinois - Urbana, US), Frank Mueller (North Carolina State University, US), Keshav Pingali (University of Texas - Austin, US), Alexander Reinefeld (K. Zuse Zentrum Berlin, DE)

Top

Seminar 09192, 05.05.09 - 08.05.09

  From Quality of Service to Quality of Experience

Markus Fiedler (Blekinge Institute of Technology - Karlskrona, SE), Kalevi Kilkki (TKK, FI), Peter Reichl (FZ Telekommunikation Wien, AT)

Top

Seminar 09201, 10.05.09 - 15.05.09

  Self-Healing and Self-Adaptive Systems

Artur Andrzejak (K. Zuse Zentrum Berlin, DE), Kurt Geihs (Universität Kassel, DE), Onn Shehory (IBM - Haifa, IL), John Wilkes (Google Inc. - Mountain View, US)

Top

Seminar 09211, 17.05.09 - 20.05.09

  Visualization and Monitoring of Network Traffic

Daniel A. Keim (Universität Konstanz, DE), Aiko Pras (University of Twente, NL), Jürgen Schönwälder (Jacobs Universität - Bremen, DE), Pak Chung Wong (Pacific Northwest National Lab., US)

Top

Seminar 09221, 24.05.09 - 29.05.09

  Algorithms and Number Theory

Johannes A. Buchmann (TU Darmstadt, DE), John Cremona (University of Warwick, GB), Michael E. Pohst (TU Berlin, DE)

Top

Seminar 09251, 14.06.09 - 19.06.09

  Scientific Visualization

David S. Ebert (Purdue University, US), Eduard Gröller (TU Wien, AT), Hans Hagen (TU Kaiserslautern, DE), Arie Kaufman (SUNY - Stony Brook, US)

Top

Seminar 09261, 21.06.09 - 26.06.09

  Models and Algorithms for Optimization in Logistics

Cynthia Barnhart (MIT - Cambridge, US), Uwe Clausen (TU Dortmund, DE), Ulrich Lauther (Siemens AG - München, DE), Rolf H. Möhring (TU Berlin, DE)

Top

Seminar 09271, 28.06.09 - 03.07.09

  Perspectives Workshop: Semantic Web Reflections and Future Directions

John Domingue (The Open University - Milton Keynes, GB), Dieter Fensel (Universität Innsbruck, AT), James A. Hendler (Rensselaer Polytechnic, US), Rudi Studer (KIT - Karlsruhe Institute of Technology, DE)

Top

Seminar 09281, 05.07.09 - 10.07.09

  Search Methodologies

Rudolf Ahlswede (Universität Bielefeld, DE), Ferdinando Cicalese (University of Salerno, IT), Ugo Vaccaro (University of Salerno, IT)

Top

Seminar 09282, 05.07.09 - 08.07.09

  Foundations for Forgery-Resilient Cryptographic Hardware

Jorge Guajardo Merchan (Philips Research - Eindhoven, NL), Bart Preneel (K.U. Leuven, BE), Ahmad-Reza Sadeghi (Ruhr-Universität Bochum, DE), Pim Tuyls (Intrinsic-ID - Mol, BE)

Top

Seminar 09291, 12.07.09 - 17.07.09

  Computational Creativity : An Interdisciplinary Approach

Margaret Boden (University of Sussex - Brighton, GB), Mark d'Inverno (University of London, GB), Jon McCormack (Monash University - Clayton, AU)

Top

Seminar 09292, 12.07.09 - 17.07.09

  The Java Modeling Language (JML)

Joseph R. Kiniry (University College - Dublin, IE), Gary T. Leavens (University of Central Florida - Orlando, US), Robby (Kansas State University, US), Peter H. Schmitt (KIT - Karlsruhe Institute of Technology, DE)

Top

Seminar 09301, 19.07.09 - 24.07.09

  Typing, Analysis and Verification of Heap-Manipulating Programs

Peter O'Hearn (University of London, GB), Arnd Poetzsch-Heffter (TU Kaiserslautern, DE), Mooly Sagiv (Tel Aviv University, IL)

Sponsored by: Microsoft Research, Cambridge, UK

Top

Seminar 09302, 19.07.09 - 24.07.09

  New Developments in the Visualization and Processing of Tensor Fields

Bernhard Burgeth (Universität des Saarlandes, DE), David H. Laidlaw (Brown University - Providence, US)

Top

Seminar 09311, 26.07.09 - 31.07.09

  Classical and Quantum Information Assurance Foundations and Practice

Samuel L. Braunstein (University of York, GB), Hoi-Kwong Lo (University of Toronto, CA), Kenny Paterson (Royal Holloway Univ. - London, GB), Peter Y. A. Ryan (University of Luxembourg, LU)

Top

Seminar 09341, 16.08.09 - 21.08.09

  Cognition, Control and Learning for Robot Manipulation in Human Environments

Michael Beetz (TU München, DE), Oliver Brock (TU Berlin, DE), Gordon Cheng (ATR - Kyoto, JP), Jan Peters (MPI für biologische Kybernetik - Tübingen, DE)

Top

Seminar 09351, 23.08.09 - 27.08.09

  Information processing, rational belief change and social interaction

Giacomo Bonanno (Univ. of California at Davis, US), James Delgrande (Simon Fraser University - Burnaby, CA), Hans Rott (Univ. of Regensburg, DE)

Top

Seminar 09361, 30.08.09 - 04.09.09

  Design and Validation of Concurrent Systems

Cormac Flanagan (University of California - Santa Cruz, US), Susanne Graf (VERIMAG - Gières, FR), Madhusudan Parthasarathy (University of Illinois - Urbana, US), Shaz Qadeer (Microsoft Research - Redmond, US)

Top

Seminar 09371, 06.09.09 - 11.09.09

  Algorithmic Methods for Distributed Cooperative Systems

Sándor Fekete (TU Braunschweig, DE), Stefan Fischer (Universität Lübeck, DE), Martin Riedmiller (Universität Freiburg, DE), Suri Subhash (Univ. California - Santa Barbara, US)

Top

Seminar 09381, 13.09.09 - 18.09.09

  Refinement Based Methods for the Construction of Dependable Systems

Jean-Raymond Abrial (ETH Zürich, CH), Michael Butler (University of Southampton, GB), Rajeev Joshi (Jet Propulsion Laboratory, US), Elena Troubitsyna (Aabo Akademi University - Turku, FI), Jim C. P. Woodcock (University of York, GB)

Top

Seminar 09391, 20.09.09 - 25.09.09

  Algorithms and Complexity for Continuous Problems

Thomas Müller-Gronbach (Universität Passau, DE), Leszek Plaskota (University of Warsaw, PL), Joseph F. Traub (Columbia University, US)

Top

Seminar 09401, 27.09.09 - 02.10.09

  Machine learning approaches to statistical dependences and causality

Dominik Janzing (MPI für biologische Kybernetik - Tübingen, DE), Steffen Lauritzen (University of Oxford, GB), Bernhard Schölkopf (MPI für biologische Kybernetik - Tübingen, DE)

Top

Seminar 09402, 27.09.09 - 02.10.09

  Perspectives Workshop: Democracy in a Network Society

David Chaum (K.U. Leuven, BE), William H. Dutton (University of Oxford, GB), Miroslaw Kutylowski (Wroclaw University of Technology, PL), Tracy Westen (Center for Governmental Studies - Los Angeles, US)

Top

Seminar 09411, 04.10.09 - 09.10.09

  Interaction versus Automation: The two Faces of Deduction

Thomas Ball (Microsoft Research - Redmond, US), Jürgen Giesl (RWTH Aachen, DE), Reiner Hähnle (Chalmers UT - Göteborg, SE), Tobias Nipkow (TU München, DE)

Top

Seminar 09421, 11.10.09 - 16.10.09

  Algebraic Methods in Computational Complexity

Manindra Agrawal (Indian Inst. of Technology - Kanpur, IN), Lance Fortnow (Northwestern University - Evanston, US), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech - Pasadena, US)

Top

Seminar 09431, 18.10.09 - 23.10.09

  From Form to Function

Darius Burschka (TU München, DE), Heiner Deubel (LMU München, DE), Danica Kragic (KTH - Stockholm, SE), Markus Vincze (TU Wien, AT)

Top

Seminar 09432, 20.10.09 - 23.10.09

  Quantitative Software Design

Astrid Kreissig (IBM Deutschland - Böblingen, DE), Iman Poernomo (King's College - London, GB), Ralf Reussner (KIT - Karlsruhe Institute of Technology, DE)

Top

Seminar 09441, 25.10.09 - 30.10.09

  The Constraint Satisfaction Problem: Complexity and Approximability

Andrei A. Bulatov (Simon Fraser University - Burnaby, CA), Martin Grohe (HU Berlin, DE), Phokion G. Kolaitis (IBM Almaden Center - San José, US), Andrei Krokhin (University of Durham, GB)

Top

Seminar 09451, 01.11.09 - 06.11.09

  Geometric Networks, Metric Space Embeddings and Spatial Data Mining

Gautam Das (University of Texas at Arlington, US), Joachim Gudmundsson (NICTA - Sydney, AU), Rolf Klein (Universität Bonn, DE), Christian Knauer (FU Berlin, DE), Michiel Smid (Carleton University - Ottawa, CA)

Top

Seminar 09461, 08.11.09 - 13.11.09

  Algorithms and Applications for Next Generation SAT Solvers

Bernd Becker (Universität Freiburg, DE), Valeria Bertacco (Univ. of Michigan - Ann Arbor, US), Rolf Drechsler (Universität Bremen, DE), Masahiro Fujita (University of Tokyo, JP)

Top

Seminar 09471, 15.11.09 - 20.11.09

  Computer-assisted proofs - tools, methods and applications

B. Malcolm Brown (University of Wales, GB), Erich Kaltofen (North Carolina State University, US), Shin'ichi Oishi (Waseda University - Tokyo, JP), Siegfried M. Rump (TU Hamburg-Harburg, DE)

Top

Seminar 09481, 22.11.09 - 27.11.09

  SYNCHRON 2009

Albert Benveniste (INRIA - Rennes, FR), Stephen A. Edwards (Columbia University, US), Edward Lee (University of California - Berkeley, US), Klaus Schneider (TU Kaiserslautern, DE), Reinhard von Hanxleden (Universität Kiel, DE)

Sponsored by: Artist - Network of Excellence on Embedded Systems Design

Top

Seminar 09491, 29.11.09 - 04.12.09

  Graph Search Engineering

Lubos Brim (Masaryk University, CZ), Stefan Edelkamp (Universität Bremen, DE), Eric Hansen (Mississippi State University, US), Peter Sanders (KIT - Karlsruhe Institute of Technology, DE)

Top

Seminar 09493, 02.12.09 - 04.12.09

  Perspectives Workshop: Evolving Critical Systems

José Luiz Fiadeiro (University of Leicester, GB), Michael G. Hinchey (University of Limerick, IE), Bashar Nuseibeh (The Open University - Milton Keynes, GB)

Top

Seminar 09501, 06.12.09 - 11.12.09

  Software Synthesis

Rastislav Bodik (Univ. California - Berkeley, US), Orna Kupferman (The Hebrew University of Jerusalem, IL), Douglas R. Smith (Kestrel Institute, US), Eran Yahav (IBM TJ Watson Research Center - Hawthorne, US)

Top

Seminar 09502, 06.12.09 - 09.12.09

  Coalgebraic Logics

Ernst-Erich Doberkat (TU Dortmund, DE), Alexander Kurz (University of Leicester, GB)

Top

Seminar 09511, 13.12.09 - 17.12.09

  Parameterized complexity and approximation algorithms

Erik Demaine (MIT - Cambridge, US), MohammadTaghi HajiAghayi (AT&T Research - Florham Park, US), Dániel Marx (Tel Aviv University, IL)

Top