03.01.-06.01.06, Seminar Nº 06011
Perspectives Workshop: Autonomic Networking
G. Carle (Univ. Tübingen, DE), R. H. Katz (Univ. California – Berkeley, US), B. Plattner (ETH Zürich, CH), M. Smirnov (FhG FOKUS – Berlin, DE)
08.01.-13.01.06, Seminar Nº 06021
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)
15.01.-20.01.06, Seminar Nº 06031
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)
29.01.-03.02.06, Seminar Nº 06051
Kolmogorov Complexity and Applications
M. Hutter (IDSIA – Lugano, CH), W. Merkle (Univ. Heidelberg, DE), P. Vitanyi (CWI – Amsterdam, NL),
05.02.-10.02.06, Seminar Nº 06061
Theory of Evolutionary Algorithms
D.V. Arnold (Dalhousie Univ., CA), T. Jansen (Univ. Dortmund, DE), J. E. Rowe (Univ. of Birmingham, GB), M.D. Vose (Univ. of Tennessee, US)
12.02.-17.02.06, Seminar Nº 06071
Architectures and Algorithms for Petascale Computing
U. Rüde (Univ. Erlangen-Nürnberg, DE), H. D. Simon (Lawrence Berkeley Nat. Lab, US), P. Sloot (Univ. of Amsterdam, NL)
19.02.-24.02.06, Seminar Nº 06081
Software Verification: Infinite-State Model Checking and Static Program Analysis