Seminar Calendar
2000
Directly go to:
Jan 16
– Jan 21, 2000
• Dagstuhl Seminar 00031
Constraint Programming and Integer Programming
K. Apt (Amsterdam) • L. Wolsey (Louvain-La-Neuve) • M. Jünger (Köln) • P. van Hentenryck (Providence)
Jan 23
– Jan 28, 2000
• Dagstuhl Seminar 00041
Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization Problems
J. Rolim (Geneva) • K. Jansen (Kiel) • M. Sudan (MIT Cambridge)
Jan 30
– Feb 04, 2000
• Dagstuhl Seminar 00051
Digital Media in Computer Science Teaching at University Level
O. Foelsche (Darthmouth Coll, Hanover) • T. Ottmann (Freiburg) • W. Coy (HU Berlin)
Feb 13
– Feb 18, 2000
• Dagstuhl Seminar 00071
Theory of Evolutionary Algorithms
D. Fogel (San Diego) • H.-G. Beyer (Dortmund) • I. Wegener (Dortmund) • K. De Jong (Fairfax)
Feb 20
– Feb 25, 2000
• Dagstuhl Seminar 00081
Specification of Distributed Information Systems
A. Pnueli (Rehovot) • H.-D. Ehrich (Braunschweig) • J. Meseguer (SRI, Menlo Park) • U. Goltz (Braunschweig)
Feb 27
– Mar 03, 2000
• Dagstuhl Seminar 00091
Data Structures
I. Munro (Waterloo) • P. Widmayer (Zürich) • S. Albers (MPI, Saarbrücken)
Mar 12
– Mar 17, 2000
• Dagstuhl Seminar 00111
Multi-Image Search, Filtering, Reasoning and Visualisation
A. Bruckstein (Technion, Israel) • R. Klette (Auckland) • Song De Ma (Beijing) • T. Huang (Urbana)
Mar 19
– Mar 24, 2000
• Dagstuhl Seminar 00121
Semantics for the Web
D. Fensel (Karlsruhe) • H. Lieberman (MIT, Cambridge) • J. Hendler (Maryland) • W. Wahlster (DFKI, Saarbrücken)
Mar 26
– Mar 31, 2000
• Dagstuhl Seminar 00131
Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems
A. Bondavalli (Pisa) • E. Maehle (Lübeck) • K. Echtle (Essem) • M. Dal Cin (Erlangen)
Apr 02
– Apr 07, 2000
• Dagstuhl Seminar 00141
Verification of Infinite-state Systems
A. Bouajjani (LIAFA - Univ. Paris 7) • J. Esparza (TU München)
Apr 09
– Apr 14, 2000
• Dagstuhl Seminar 00151
Advanced Stochastic Modelling in Telecommunications
G. Latouche (UL Brussels) • P. Tran-Gia (Würzburg) • U. Herzog (Erlangen) • V. Ramaswami (AT&T, Middletown)
Apr 30
– May 05, 2000
• Dagstuhl Seminar 00181
Probabilistic Methods in Verification
Ch. Meinel (Trier) • M. Kwiatkowska (Birmingham) • M. Vardi (Houston) • U. Herzog (Erlangen)
May 07
– May 10, 2000
• Dagstuhl Seminar 00191
Quality of Service in Networks and Distributed Systems
A. Campbell (New York) • D. Ferrari (Piacenza) • L. Wolf (Karlsruhe) • S. Fischer (Bruchsal)
May 21
– May 26, 2000
• Dagstuhl Seminar 00211
Scientific Visualization
F. Post (Delft) • G. Nielson (Tempe) • G.-P. Bonneau (IMAG, Grenoble)
Jun 04
– Jun 09, 2000
• Dagstuhl Seminar 00231
Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization
D. Spreen (Siegen) • M. Smyth (London) • R. Kopperman (New York)
Jun 11
– Jun 16, 2000
• Dagstuhl Seminar 00241
Multimedia for Multimedia: Learning and Teaching at the University in the Next Decade
E. Fox (Blacksburg) • N. Georganas (Ottawa) • R. Steinmetz (GMD, Darmstadt) • W. Effelsberg (Mannheim)
Jun 18
– Jun 23, 2000
• Dagstuhl Seminar 00251
Image Synthesis and Interactive 3D Graphics
C. Puech (Grenoble) • H. Müller (Dortmund) • H.-P. Seidel (Erlangen) • M. Cohen (Microsoft Redmond)
Jun 25
– Jun 30, 2000
• Dagstuhl Seminar 00261
Dynamically Reconfigurable Architectures
G. Brebner (Edinburgh) • H. ElGindy (Newcastle, AUS) • H. Schmeck (Karlsruhe) • K.-H. Brenner (Mannheim)
Jul 02
– Jul 07, 2000
• Dagstuhl Seminar 00271
Stochastic and Dynamic Real-Time Systems
G. Hommel (Berlin) • L.R. Welch (Athens, Ohio)
Jul 09
– Jul 14, 2000
• Dagstuhl Seminar 00281
Knowledge Management: An Interdisciplinary Approach
D. E. O'Leary (Los Angeles) • M. Jarke (Aachen) • R. Studer (Karlsruhe)
Jul 16
– Jul 21, 2000
• Dagstuhl Seminar 00291
Logics for Emerging Applications of Databases
G. Saake (Magdeburg) • J. Chomicki (Monmouth Univ.) • R. van der Meyden (Sydney)
Aug 13
– Aug 18, 2000
• Dagstuhl Seminar 00331
Intelligent Data Analysis
H. Szczerbicka (Hannover) • M. Berthold (Berkeley) • R. Kruse (Magdeburg) • X. Liu (London)
Aug 20
– Aug 25, 2000
• Dagstuhl Seminar 00341
High Performance Computing and Java
Ch. Lengauer (Passau) • F. Irigoin (Paris) • S. Flynn-Hummel (IBM Watson) • V. Getov (Univ. Westminster, London-Harrow)
Sep 10
– Sep 15, 2000
• Dagstuhl Seminar 00371
Experimental Algorithmics
B. Moret (Albuquerque) • E. M. Schmidt (Aarhus) • R. Fleischer (Waterloo)
Sep 17
– Sep 22, 2000
• Dagstuhl Seminar 00381
Code Optimisation: Trends, Challenges and Perspectives
C. Dulong (Intel, Santa Clara) • J. Knoop (Dortmund) • J. Pierce (Intel, Santa Clara) • R. Gupta (Tucson) • R. Kennedy (Tensilica, Sta. Clara)
Sep 24
– Sep 29, 2000
• Dagstuhl Seminar 00391
Algorithms and Complexity for Continuous Problems
G. Wasilkowski (Lexington) • J. Traub (New York) • S. Heinrich (Kaiserslautern) • S. Pereverzev (Kiew)
Oct 08
– Oct 13, 2000
• Dagstuhl Seminar 00411
Semi-Formal and Formal Specification Techniques for Software Systems
F. Orejas (Barcelona) • G. Engels (Paderborn) • H. Ehrig (TU, Berlin) • M. Wirsing (Uni München)
Oct 15
– Oct 20, 2000
• Dagstuhl Seminar 00421
Modelling of Sensor-Based Intelligent Robot Systems
G. Hager (Baltimore) • H. Bunke (Bern) • H. I. Christensen (Stockholm) • R. Klein (Hagen)
Oct 22
– Oct 27, 2000
• Dagstuhl Seminar 00431
Self-Stabilization
A. Arora (Ohio State) • J. Beauquier (Paris) • S. Dolev (Beer-Sheva, Israel) • T. Herman (Iowa City) • W.P. de Roever (Kiel)
Nov 05
– Nov 10, 2000
• Dagstuhl Seminar 00451
Effective Implementation of Object-Oriented Programming Languages
B. Ryder (Rutgers Univ.) • F. Tip (IBM Yorktown Heights) • L. Hendren (McGill Univ.) • U. Assmann (Karlsruhe)
Nov 26
– Dec 01, 2000
• Dagstuhl Seminar 00481
Logic, Algebra, and Formal Verification of Concurrent Systems
A. Muscholl (Paris) • D. A. Peled (Bell Labs, Murray Hill) • M. Droste (Dresden) • V. Diekert (Stuttgart)
Dec 03
– Dec 08, 2000
• Dagstuhl Seminar 00491
Bioinformatics
D. Brutlag (Stanford) • M. Vingron (DKFZ, Heidelberg) • T. Lengauer (St. Augustin)
Dec 10
– Dec 15, 2000
• Dagstuhl Seminar 00501
