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 to 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 to 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 to 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 to 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