Seminars 1999:



January 24 – 29 , 1999, Dagstuhl Seminar 99041

Computer Aided Design and Test Decision Diagrams - Concepts and Applications


B. Becker (Freiburg), C. Meinel (Trier), S.-I. Minato (NTT Optical Network, Japan), F. Somenzi (Univ. of Colorado)

Top

February 14 – 19 , 1999, Dagstuhl Seminar 99071

Software Engineering Research and Education: Seeking a new Agenda


E. Denert (sd&m, München), D. Hoffman (Victoria), J. Ludewig (Stuttgart), D. Parnas (McMaster)

The Dagstuhl Foundation received a donation from: sd&m, München

Top

February 21 – 26 , 1999, Dagstuhl Seminar 99081

Component-based Programming under Different Paradigms


P. Wadler (Bell Labs), K. Weihe (Konstanz)

Top

February 28 – March 5 , 1999, Dagstuhl Seminar 99091

Deduction


U. Furbach (Koblenz), H. Ganzinger (MPI-Saarbrücken), D. Kapur (Albany)

Top

March 7 – 12 , 1999, Dagstuhl Seminar 99102

Computational Geometry


M. Goodrich (Baltimore), R. Klein (Hagen), R. Seidel (Saarbrücken)

Top

March 14 – 19 , 1999, Dagstuhl Seminar 99111

Systems Integration


P. Ciancarini (Bologna), S. Conrad (Magdeburg), W. Hasselbring (Tilburg)

Top

March 21 – 26 , 1999, Dagstuhl Seminar 99121

Unsupervised Learning


J.M. Buhmann (Bonn), W. Maass (Graz), H. Ritter (Bielefeld), N. Tishby (Jerusalem)

Top

April 11 – 16 , 1999, Dagstuhl Seminar 99151

Program Analysis


H. Riis Nielson (Aarhus), M. Sagiv (Tel Aviv)

Top

April 18 – 23 , 1999, Dagstuhl Seminar 99161

Instruction-Level Parallelism and Parallelizing Compilation


D. Arvind (Edinburgh), K. Ebcioglu (IBM Yorktown Heights), Ch. Lengauer (Passau), K. Pingali (Ithaca), R. Schreiber (HP, Palo Alto)

Top

April 25 – 30 , 1999, Dagstuhl Seminar 99171

High Level Parallel Programming: Applicability, Analysis and Performance


M. Cole (Edinburgh), S. Gorlatch (Passau), J. Prins (UNC Chapel Hill), D. Skillicorn (QU Kingston, Canada)

Top

May 4 – 6 , 1999, Dagstuhl Seminar 99061

Mobile Multimedia Communication - Systems and Networks


A. Campbell (New York), S. Pink (Lulea), M. Zitterbart (Braunschweig)

Top

May 16 – 21 , 1999, Dagstuhl Seminar 99201

Geometric Modelling


H. Bieri (Bern), G. Brunnett (Kaiserslautern), G. Farin (Arizona State Univ.)

Top

June 6 – 11 , 1999, Dagstuhl Seminar 99231

Graph Decompositions and Algorithmic Applications


A. Brandstädt (Rostock), S. Olariu (Norfolk), J. P. Spinrad (Nashville)

Top

June 13 – 18 , 1999, Dagstuhl Seminar 99241

Requirements Capture, Documentation and Validation


E. Börger (Pisa), B. Hörger (Daimler-Benz, Ulm), D. Parnas (McMaster), D. Rombach (Kaiserslautern)

Top

June 20 – 25 , 1999, Dagstuhl Seminar 99251

Competitive Algorithms


A. Fiat (Tel Aviv), A. Karlin (Seattle), G. Woeginger (TU Graz)

Top

June 27 – July 2 , 1999, Dagstuhl Seminar 99261

Foundations for Information Integration


S. Abiteboul (INRIA Rocquencourt), D. Florescu (INRIA Rocquencourt), A. Levy (Seattle), G. Moerkotte (Mannheim)

Top

July 4 – 9 , 1999, Dagstuhl Seminar 99271

Agent Oriented Approaches in Distributed Modeling and Simulation: Challenges and Methodologies


P. Fishwick (Univ. of Florida), A. Uhrmacher (Ulm), B. Zeigler (Univ. of Arizona)

Top

July 18 – 23 , 1999, Dagstuhl Seminar 99291

Parallel and Distributed Algorithms


B. Maggs (CMU, Pittsburgh), F. Meyer auf der Heide (Paderborn), E. Mayr (TU München)

Top

August 9 – 12 , 1999, Dagstuhl Seminar 99321

Astromomie und Informatik


W. Oberschelp (Aachen), W. Seggewiss (Bonn / Hoher List), R. Wilhelm (Saarbrücken)

Top

August 22 – 27 , 1999, Dagstuhl Seminar 99341

Linear Logic and Applications


V. de Paiva (Birmingham), J. van Genabith (Dublin), E. Ritter (Birmingham)

Top

August 29 – September 3 , 1999, Dagstuhl Seminar 99351

Multimedia Database Support for Digital Libraries


E. Bertino (Milano), A. Heuer (Rostock), T. Ozsu (Alberta), G. Saake (Magdeburg)

Top

September 5 – 10 , 1999, Dagstuhl Seminar 99361

Social Thinking - Software Practice. Approaches Relating Software Development, Work, and Organisational Change


Ch. Floyd (Hamburg), N. A. Jayaratna (Perth), F. Kensing (Roskilde)

Top

September 12 – 17 , 1999, Dagstuhl Seminar 99371

Declarative Data Access on the Web


N. Spyratos (Paris), K. Vidyasankar (Newfoundland), G. Vossen (Münster)

Top

September 19 – 24 , 1999, Dagstuhl Seminar 99381

Computational Cartography


M. Molenaar (Enschede), M. van Kreveld (Utrecht), F. Wagner (FU Berlin), R. Weibel (Zürich)

Top

October 3 – 8 , 1999, Dagstuhl Seminar 99401

Finite Model Theory, Databases, and Computer-Aided Verification


G. Gottlob (Vienna), E. Grädel (Aachen), M. Vardi (Houston), V. Vianu (San Diego)

Top

October 10 – 15 , 1999, Dagstuhl Seminar 99411

Temporal Logics for Distributed Systems - Paradigms and Algorithms


E. Clarke (Pittsburgh), U. Goltz (Hildesheim), P. Niebert (VERIMAG Grenoble), W. Penczek (Warszawa)

Top

October 17 – 22 , 1999, Dagstuhl Seminar 99421

Efficient Language Processing with High-level Grammar Formalisms


H. Uszkoreit (Saarbrücken), J.-I. Tsujii (Tokyo)

Top

October 24 – 29 , 1999, Dagstuhl Seminar 99431

Scheduling in Computer and Manufacturing Systems


J. Blazewicz (Poznan), E. Coffman (Murray Hill), K. Ecker (Clausthal), G. Finke (Grenoble)

Top

October 31 – November 5 , 1999, Dagstuhl Seminar 99441

Complexity of Boolean Functions


D. M. Barrington (Amherst), R. Reischuk (Lübeck), I. Wegener (Dortmund)

Top

November 7 – 12 , 1999, Dagstuhl Seminar 99451

Rigorous Analysis and Design for Software Intensive Systems


S. Jähnichen (Berlin), M. Lemoine (Toulouse), T. Maibaum (London), M. Wirsing (Univ. München)

Top

November 14 – 19 , 1999, Dagstuhl Seminar 99461

Computability and Complexity in Analysis


Ker-I Ko (Stony Brook), A. Nerode (Ithaka), K. Weihrauch (Hagen)

Top

November 21 – 26 , 1999, Dagstuhl Seminar 99471

Symbolic-algebraic Methods and Verification Methods - Theory and Applications


G. Alefeld (Karlsruhe), J. Rohn (Prague), S. Rump (Hamburg-Harburg), T. Yamamoto (Matsuyama)

Top

December 5 – 10 , 1999, Dagstuhl Seminar 99491

Content-Based Image and Video Retrieval


H. Burkhardt (Freiburg), H.-P. Kriegel (Univ. München), R. Veltkamp (Utrecht)

Top