Seminars 1999:



January 24th – January 29th 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 14th – February 19th 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 21st – February 26th 1999, Dagstuhl Seminar 99081

Component-based Programming under Different Paradigms


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

Top

February 28th – March 5th 1999, Dagstuhl Seminar 99091

Deduction


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

Top

March 7th – March 12th 1999, Dagstuhl Seminar 99102

Computational Geometry


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

Top

March 14th – March 19th 1999, Dagstuhl Seminar 99111

Systems Integration


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

Top

March 21st – March 26th 1999, Dagstuhl Seminar 99121

Unsupervised Learning


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

Top

April 11th – April 16th 1999, Dagstuhl Seminar 99151

Program Analysis


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

Top

April 18th – April 23rd 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 25th – April 30th 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 4th – May 6th 1999, Dagstuhl Seminar 99061

Mobile Multimedia Communication - Systems and Networks


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

Top

May 16th – May 21st 1999, Dagstuhl Seminar 99201

Geometric Modelling


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

Top

June 6th – June 11th 1999, Dagstuhl Seminar 99231

Graph Decompositions and Algorithmic Applications


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

Top

June 13th – June 18th 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 20th – June 25th 1999, Dagstuhl Seminar 99251

Competitive Algorithms


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

Top

June 27th – July 2nd 1999, Dagstuhl Seminar 99261

Foundations for Information Integration


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

Top

July 4th – July 9th 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 18th – July 23rd 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 9th – August 12th 1999, Dagstuhl Seminar 99321

Astromomie und Informatik


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

Top

August 22nd – August 27th 1999, Dagstuhl Seminar 99341

Linear Logic and Applications


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

Top

August 29th – September 3rd 1999, Dagstuhl Seminar 99351

Multimedia Database Support for Digital Libraries


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

Top

September 5th – September 10th 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 12th – September 17th 1999, Dagstuhl Seminar 99371

Declarative Data Access on the Web


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

Top

September 19th – September 24th 1999, Dagstuhl Seminar 99381

Computational Cartography


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

Top

October 3rd – October 8th 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 10th – October 15th 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 17th – October 22nd 1999, Dagstuhl Seminar 99421

Efficient Language Processing with High-level Grammar Formalisms


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

Top

October 24th – October 29th 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 31st – November 5th 1999, Dagstuhl Seminar 99441

Complexity of Boolean Functions


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

Top

November 7th – November 12th 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 14th – November 19th 1999, Dagstuhl Seminar 99461

Computability and Complexity in Analysis


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

Top

November 21st – November 26th 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 5th – December 10th 1999, Dagstuhl Seminar 99491

Content-Based Image and Video Retrieval


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

Top