Jump to Navigation | Search | Content area | Page footer

Seminars 2000:


Seminar 00031, 16.01.00 - 21.01.00

  Constraint Programming and Integer Programming

K. Apt (Amsterdam), M. Jünger (Köln), P. van Hentenryck (Providence), L. Wolsey (Louvain-La-Neuve)

Top

Seminar 00041, 23.01.00 - 28.01.00

  Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization Problems

K. Jansen (Kiel), J. Rolim (Geneva), M. Sudan (MIT Cambridge)

Top

Seminar 00051, 30.01.00 - 04.02.00

  Digital Media in Computer Science Teaching at University Level

W. Coy (HU Berlin), O. Foelsche (Darthmouth Coll, Hanover), T. Ottmann (Freiburg)

Top

Seminar 00071, 13.02.00 - 18.02.00

  Theory of Evolutionary Algorithms

H.-G. Beyer (Dortmund), K. De Jong (Fairfax), D. Fogel (San Diego), I. Wegener (Dortmund)

Top

Seminar 00081, 20.02.00 - 25.02.00

  Specification of Distributed Information Systems

H.-D. Ehrich (Braunschweig), U. Goltz (Braunschweig), J. Meseguer (SRI, Menlo Park), A. Pnueli (Rehovot)

Top

Seminar 00091, 27.02.00 - 03.03.00

  Data Structures

S. Albers (MPI, Saarbrücken), I. Munro (Waterloo), P. Widmayer (Zürich)

Top

Seminar 00111, 12.03.00 - 17.03.00

  Multi-Image Search, Filtering, Reasoning and Visualisation

A. Bruckstein (Technion, Israel), T. Huang (Urbana), R. Klette (Auckland), Song De Ma (Beijing)

Top

Seminar 00121, 19.03.00 - 24.03.00

  Semantics for the Web

D. Fensel (Karlsruhe), J. Hendler (Maryland), H. Lieberman ( MIT, Cambridge), W. Wahlster (DFKI, Saarbrücken)

Top

Seminar 00131, 26.03.00 - 31.03.00

  Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems

A. Bondavalli (Pisa), M. Dal Cin (Erlangen), K. Echtle (Essem), E. Maehle (Lübeck)

Top

Seminar 00141, 02.04.00 - 07.04.00

  Verification of Infinite-state Systems

A. Bouajjani (LIAFA - Univ. Paris 7), J. Esparza (TU München)

Top

Seminar 00151, 09.04.00 - 14.04.00

  Advanced Stochastic Modelling in Telecommunications

U. Herzog (Erlangen), G. Latouche (UL Brussels), V. Ramaswami (AT&T, Middletown), P. Tran-Gia (Würzburg)

Top

Seminar 00181, 30.04.00 - 05.05.00

  Probabilistic Methods in Verification

U. Herzog (Erlangen), M. Kwiatkowska (Birmingham), Ch. Meinel (Trier ), M. Vardi (Houston)

Top

Seminar 00191, 07.05.00 - 10.05.00

  Quality of Service in Networks and Distributed Systems

A. Campbell (New York), D. Ferrari (Piacenza), S. Fischer (Bruchsal), L. Wolf (Karlsruhe)

Top

Seminar 00211, 21.05.00 - 26.05.00

  Scientific Visualization

G.-P. Bonneau (IMAG, Grenoble), G. Nielson (Tempe), F. Post (Delft)

Top

Seminar 00231, 04.06.00 - 09.06.00

  Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization

R. Kopperman (New York), M. Smyth (London), D. Spreen (Siegen)

Top

Seminar 00241, 11.06.00 - 16.06.00

  Multimedia for Multimedia: Learning and Teaching at the University in the Next Decade

E. Fox (Blacksburg), W. Effelsberg (Mannheim), N. Georganas (Ottawa), R. Steinmetz (GMD, Darmstadt)

Top

Seminar 00251, 18.06.00 - 23.06.00

  Image Synthesis and Interactive 3D Graphics

M. Cohen (Microsoft Redmond), H. Müller (Dortmund), C. Puech (Grenoble), H.-P. Seidel (Erlangen)

Top

Seminar 00261, 25.06.00 - 30.06.00

  Dynamically Reconfigurable Architectures

G. Brebner (Edinburgh), K.-H. Brenner (Mannheim), H. ElGindy (Newcastle, AUS), H. Schmeck (Karlsruhe)

The Dagstuhl Foundation received a donation from: Xilinx Inc., San Jose

Top

Seminar 00271, 02.07.00 - 07.07.00

  Stochastic and Dynamic Real-Time Systems

G. Hommel (Berlin), L.R. Welch (Athens, Ohio)

Top

Seminar 00281, 09.07.00 - 14.07.00

  Knowledge Management: An Interdisciplinary Approach

M. Jarke (Aachen), D. E. O'Leary (Los Angeles), R. Studer (Karlsruhe)

Top

Seminar 00291, 16.07.00 - 21.07.00

  Logics for Emerging Applications of Databases

J. Chomicki (Monmouth Univ.), R. van der Meyden (Sydney), G. Saake (Magdeburg)

Top

Seminar 00331, 13.08.00 - 18.08.00

  Intelligent Data Analysis

M. Berthold (Berkeley), R. Kruse (Magdeburg), X. Liu (London), H. Szczerbicka (Hannover)

Top

Seminar 00341, 20.08.00 - 25.08.00

  High Performance Computing and Java

S. Flynn-Hummel (IBM Watson), V. Getov (Univ. Westminster, London-Harrow), F. Irigoin (Paris), Ch. Lengauer (Passau)

The Dagstuhl Foundation received a donation from: IBM Research

Top

Seminar 00350, 28.08.00 - 31.08.00

  "Informatics - 10 Years Back, 10 Years Ahead" Conference for Dagstuhl's 10th Anniversary

R. Wilhelm (Schloss Dagstuhl)

Top

Seminar 00371, 10.09.00 - 15.09.00

  Experimental Algorithmics

R. Fleischer (Waterloo), B. Moret (Albuquerque), E. M. Schmidt (Aarhus)

Top

Seminar 00381, 17.09.00 - 22.09.00

  Code Optimisation: Trends, Challenges and Perspectives

C. Dulong (Intel, Santa Clara), R. Gupta (Tucson), R. Kennedy (Tensilica, Sta. Clara), J. Knoop (Dortmund), J. Pierce (Intel, Santa Clara)

The Dagstuhl Foundation received a donation from: Intel Corp.

Top

Seminar 00391, 24.09.00 - 29.09.00

  Algorithms and Complexity for Continuous Problems

S. Heinrich (Kaiserslautern), S. Pereverzev (Kiew), J. Traub (New York), G. Wasilkowski (Lexington)

Top

Seminar 00411, 08.10.00 - 13.10.00

  Semi-Formal and Formal Specification Techniques for Software Systems

H. Ehrig (TU, Berlin), G. Engels (Paderborn), F. Orejas (Barcelona), M. Wirsing (Uni München)

Top

Seminar 00421, 15.10.00 - 20.10.00

  Modelling of Sensor-Based Intelligent Robot Systems

H. Bunke (Bern), H. I. Christensen (Stockholm), G. Hager (Baltimore), R. Klein (Hagen)

Top

Seminar 00431, 22.10.00 - 27.10.00

  Self-Stabilization

A. Arora (Ohio State), J. Beauquier (Paris), S. Dolev (Beer-Sheva, Israel), T. Herman (Iowa City), W.P. de Roever (Kiel)

Top

Seminar 00451, 05.11.00 - 10.11.00

  Effective Implementation of Object-Oriented Programming Languages

U. Assmann (Karlsruhe), L. Hendren (McGill Univ.), B. Ryder (Rutgers Univ.), F. Tip (IBM Yorktown Heights)

The Dagstuhl Foundation received a donation from: IBM Research

Top

Seminar 00481, 26.11.00 - 01.12.00

  Logic, Algebra, and Formal Verification of Concurrent Systems

V. Diekert (Stuttgart), M. Droste (Dresden), A. Muscholl (Paris), D. A. Peled (Bell Labs, Murray Hill)

Top

Seminar 00491, 03.12.00 - 08.12.00

  Bioinformatics

D. Brutlag (Stanford), T. Lengauer (St. Augustin), M. Vingron (DKFZ, Heidelberg)

Top

Seminar 00501, 10.12.00 - 15.12.00

  Security through Analysis and Verification

P. Degano (Pisa), R. Gorrieri (Bologna), C. Hankin (London), F. Nielson (Aarhus), H. Riis Nielson (Aarhus)

Top