Seminar Kalender
2000
Gehe zu:
16. Jan
– 21. Jan, 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)
23. Jan
– 28. Jan, 2000
• Dagstuhl-Seminar 00041
Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization Problems
J. Rolim (Geneva) • K. Jansen (Kiel) • M. Sudan (MIT Cambridge)
30. Jan
– 04. Feb, 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)
13. Feb
– 18. Feb, 2000
• Dagstuhl-Seminar 00071
Theory of Evolutionary Algorithms
D. Fogel (San Diego) • H.-G. Beyer (Dortmund) • I. Wegener (Dortmund) • K. De Jong (Fairfax)
20. Feb
– 25. Feb, 2000
• Dagstuhl-Seminar 00081
Specification of Distributed Information Systems
A. Pnueli (Rehovot) • H.-D. Ehrich (Braunschweig) • J. Meseguer (SRI, Menlo Park) • U. Goltz (Braunschweig)
27. Feb
– 03. Mar, 2000
• Dagstuhl-Seminar 00091
Data Structures
I. Munro (Waterloo) • P. Widmayer (Zürich) • S. Albers (MPI, Saarbrücken)
12. Mar
– 17. Mar, 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)
19. Mar
– 24. Mar, 2000
• Dagstuhl-Seminar 00121
Semantics for the Web
D. Fensel (Karlsruhe) • H. Lieberman (MIT, Cambridge) • J. Hendler (Maryland) • W. Wahlster (DFKI, Saarbrücken)
26. Mar
– 31. Mar, 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)
02. Apr
– 07. Apr, 2000
• Dagstuhl-Seminar 00141
Verification of Infinite-state Systems
A. Bouajjani (LIAFA - Univ. Paris 7) • J. Esparza (TU München)
09. Apr
– 14. Apr, 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)
30. Apr
– 05. May, 2000
• Dagstuhl-Seminar 00181
Probabilistic Methods in Verification
Ch. Meinel (Trier) • M. Kwiatkowska (Birmingham) • M. Vardi (Houston) • U. Herzog (Erlangen)
07. May
– 10. May, 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)
21. May
– 26. May, 2000
• Dagstuhl-Seminar 00211
Scientific Visualization
F. Post (Delft) • G. Nielson (Tempe) • G.-P. Bonneau (IMAG, Grenoble)
04. Jun
– 09. Jun, 2000
• Dagstuhl-Seminar 00231
Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization
D. Spreen (Siegen) • M. Smyth (London) • R. Kopperman (New York)
11. Jun
– 16. Jun, 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)
18. Jun
– 23. Jun, 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)
25. Jun
– 30. Jun, 2000
• Dagstuhl-Seminar 00261
Dynamically Reconfigurable Architectures
G. Brebner (Edinburgh) • H. ElGindy (Newcastle, AUS) • H. Schmeck (Karlsruhe) • K.-H. Brenner (Mannheim)
02. Jul
– 07. Jul, 2000
• Dagstuhl-Seminar 00271
Stochastic and Dynamic Real-Time Systems
G. Hommel (Berlin) • L.R. Welch (Athens, Ohio)
09. Jul
– 14. Jul, 2000
• Dagstuhl-Seminar 00281
Knowledge Management: An Interdisciplinary Approach
D. E. O'Leary (Los Angeles) • M. Jarke (Aachen) • R. Studer (Karlsruhe)
16. Jul
– 21. Jul, 2000
• Dagstuhl-Seminar 00291
Logics for Emerging Applications of Databases
G. Saake (Magdeburg) • J. Chomicki (Monmouth Univ.) • R. van der Meyden (Sydney)
13. Aug
– 18. Aug, 2000
• Dagstuhl-Seminar 00331
Intelligent Data Analysis
H. Szczerbicka (Hannover) • M. Berthold (Berkeley) • R. Kruse (Magdeburg) • X. Liu (London)
20. Aug
– 25. Aug, 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)
10. Sep
– 15. Sep, 2000
• Dagstuhl-Seminar 00371
Experimental Algorithmics
B. Moret (Albuquerque) • E. M. Schmidt (Aarhus) • R. Fleischer (Waterloo)
17. Sep
– 22. Sep, 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)
24. Sep
– 29. Sep, 2000
• Dagstuhl-Seminar 00391
Algorithms and Complexity for Continuous Problems
G. Wasilkowski (Lexington) • J. Traub (New York) • S. Heinrich (Kaiserslautern) • S. Pereverzev (Kiew)
08. Oct
– 13. Oct, 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)
15. Oct
– 20. Oct, 2000
• Dagstuhl-Seminar 00421
Modelling of Sensor-Based Intelligent Robot Systems
G. Hager (Baltimore) • H. Bunke (Bern) • H. I. Christensen (Stockholm) • R. Klein (Hagen)
22. Oct
– 27. Oct, 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)
05. Nov
– 10. Nov, 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)
26. Nov
– 01. Dec, 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)
03. Dec
– 08. Dec, 2000
• Dagstuhl-Seminar 00491
Bioinformatics
D. Brutlag (Stanford) • M. Vingron (DKFZ, Heidelberg) • T. Lengauer (St. Augustin)
10. Dec
– 15. Dec, 2000
• Dagstuhl-Seminar 00501
