Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 04061

Real Computation and Complexity

( Feb 01 – Feb 06, 2004 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:



The seminar "Real Computation and Complexity" was intended as a meeting place of several tendencies in the complexity analysis of algorithms in real computation. One main idea therefore was to bring together scientists with rather different backgrounds such as numerical analysis, symbolic computing, real and complex algebraic geometry, logic, differential algebra and computational complexity. This broadness guaranteed to get a thorough overview of current results, methods and trends in the area. It allowed as well to discuss main problems related to all aspects of real computation and complexity from different perspectives.

The seminar was attended by 43 participants from 14 different countries (Argentina, Belgium, Brazil, Canada, Denmark, Germany, England, France, Israel, Italy, Russia, Spain, Switzerland, USA). During the five days 34 talks were presented.

The main topics of the seminar as addressed either in talks or in informal discussions were the following:

  • complexity upper bounds for linear optimization problems;
  • models of computation with real numbers and structural transfer results between them;
  • complexity issues and algorithmics in symbolic and numeric multivariate polynomial equation solving and elimination theory;
  • quantitative aspects in real equation solving;
  • algorithmic aspects and quantitative estimates in differential equation solving;
  • fast evaluation of polynomial and analytic functions.

The Dagstuhl-Seminar was devoted to honor renowned scientist, complexity theory pioneer and celebrity Arnold Schönhage on the occasion of his 70th birthday in December 2004. There will be a Festschrift for Arnold Schönhage special volume of Journal of Complexity issue of this Dagstuhl seminar.

  • Bernd Bank (HU Berlin, DE)
  • Markus Bläser (ETH Zürich, CH) [dblp]
  • Thomas Brihaye (University of Mons, BE) [dblp]
  • Jacques Calmet (KIT - Karlsruher Institut für Technologie, DE)
  • David Castro (University of Alcalá, ES)
  • Jean-Pierre Dedieu (Université Paul Sabatier - Toulouse, FR)
  • Christine Gaßner (Universität Greifswald, DE) [dblp]
  • Luca Gemignani (University of Pisa, IT)
  • Marc Giusti (Ecole Polytechnique - Palaiseau, FR)
  • Dimitry Grigoriev (University of Rennes, FR) [dblp]
  • Peter Hertling (Universität der Bundeswehr - München, DE) [dblp]
  • Erich Kaltofen (North Carolina State University - Raleigh, US) [dblp]
  • Pascal Koiran (ENS - Lyon, FR) [dblp]
  • Margarita Korovina (A. P. Ershov Institute - Novosibirsk, RU) [dblp]
  • Teresa Krick (University of Buenos Aires, AR)
  • Grégoire Lecerf (Université de Versailles, FR)
  • Lutz Lehmann (HU Berlin, DE)
  • Thomas Lickteig (University of Limoges, FR)
  • Johann A. Makowsky (Technion - Haifa, IL) [dblp]
  • Gregorio Malajovich (UFRJ - Rio de Janeiro, BR)
  • Guillermo Matera (University of Buenos Aires, AR)
  • Klaus Meer (University of Southern Denmark - Odense, DK) [dblp]
  • Andreas Meyer (xxxx Zürich, CH)
  • Christian Michaux (University of Mons, BE)
  • Jose Luis Montana (University of Cantabria, ES)
  • Jose Enrique Morais (University of Alcalá, ES)
  • Erich Novak (Universität Jena, DE) [dblp]
  • Luis Miguel Pardo (University of Cantabria, ES) [dblp]
  • Sawas Perikleous (University of Rennes, FR)
  • Natacha Portier (ENS - Lyon, FR) [dblp]
  • Mihai Prunescu (Universität Freiburg, DE)
  • Fabrice Rouiller (INRIA - Le Chesnay, FR) [dblp]
  • Marie-Françoise Roy (University of Rennes, FR) [dblp]
  • Jorge San Martin Corujo (Universidad Rey Juan Carlos - Móstoles, ES)
  • Arnold Schönhage (Universität Bonn, DE)
  • Arne Storjohann (University of Waterloo, CA)
  • Jan Verschelde (University of Illinois - Chicago, US)
  • Nicolai Vorobjov (University of Bath, GB) [dblp]
  • Klaus Weihrauch (FernUniversität in Hagen, DE) [dblp]
  • Jacques-Arthur Weil (University of Limoges, FR)
  • Michael Werman (The Hebrew University of Jerusalem, IL)
  • Jean-Claude Yakoubsohn (Université Paul Sabatier - Toulouse, FR)
  • Martin Ziegler (Universität Paderborn, DE) [dblp]

Related Seminars
  • Dagstuhl Seminar 9545: Real Computation and Complexity (1995-11-06 - 1995-11-10) (Details)
  • Dagstuhl Seminar 98241: Real Computation and Complexity (1998-06-15 - 1998-06-19) (Details)