From Vasco.Brattka at FernUni-Hagen.de Mon Mar 8 13:25:44 2004 From: Vasco.Brattka at FernUni-Hagen.de (Vasco Brattka) Date: Mon, 8 Mar 2004 14:25:44 +0100 (CET) Subject: [Comprox] RNC 6 - Second Call for Papers Message-ID: <20040308132544.0EDA02E1E@newton.fernuni-hagen.de> Second call for papers 6th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC6) November 15-17, 2004 Schloss Dagstuhl, Germany Web site: http://cca-net.de/rnc6/ Dates: Submission of manuscripts: May 1, 2004 Notification of acceptance: July 15, 2004 Revised Papers required by: September 1, 2004 Conference: November 15-17, 2004 Objective: The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, serial, on line, continued fractions, exact, multiple precision, interval and stochastic arithmetic. Results are sought on both applied and fundamental questions. Important topics discussed during these conferences include but are not limited to: * Foundation and properties of number systems * Computability and complexity * Formal aspects and automatic proof checking * Links with number theory and automata theory * Basic arithmetic operations * Implementation of the standard and special functions * Engineering of floating and fixed point algorithms * Symbolic manipulation of numbers * Accuracy and reliability for applications and industry * Robust geometric algorithms and exact geometric computation * Hardware design support and implementations The conference will feature invited lectures and contributed talks. Original research results and insightful analyses of current concerns are solicited for submission. Survey and tutorial articles may be suitable for submission if clearly identified as such. Invited lectures: Benno Fuchssteiner, Paderborn, Germany Simon Plouffe, Montreal, Canada Stefan Schirra, Magdeburg, Germany Submissions: Instructions for how to submit will be posted on the website of the conference. The proceedings will be distributed at the conference. Steering Committee: Jean-Claude Bajard, Montpellier, France Jean-Marie Chesneaux, Paris, France Marc Daumas, Lyon, France Christiane Frougny, Paris, France Peter Kornerup, Odense, Denmark (Chair) Dominique Michelucci, Dijon, France Jean-Michel Muller, Lyon, France Program Committee: Jean-Paul Allouche, Orsay, France Jean-Claude Bajard, Montpellier, France Vasco Brattka, Hagen, Germany Jean-Marie Chesneaux, Paris, France Marc Daumas, Lyon, France Mart?n Escard?, Birmingham, United Kingdom Guy Even, Tel Aviv, Israel Christiane Frougny, Paris, France (Chair) Peter Kornerup, Odense, Denmark Philippe Langlois, Perpignan, France Dominique Michelucci, Dijon, France Paolo Montuschi, Torino, Italy Michael Parks, Sun, United States Siegfried Rump, Hamburg, Germany Laurent Thery, Sophia Antipolis, France Organizing Committee: Vasco Brattka, Hagen, Germany (Publicity Chair) Norbert M?ller, Trier, Germany (Local Organizer) From Vasco.Brattka at FernUni-Hagen.de Mon Mar 29 16:25:10 2004 From: Vasco.Brattka at FernUni-Hagen.de (Vasco Brattka) Date: Mon, 29 Mar 2004 17:25:10 +0200 (CEST) Subject: [Comprox] CCA 2004 - Second Announcement and Call for Papers Message-ID: <20040329152510.72F8B5792@newton.fernuni-hagen.de> ________________________________________________________________________________ C C A 2 0 0 4 Sixth International Workshop on Computability and Complexity in Analysis August 16-20, 2004, Lutherstadt Wittenberg, Germany ________________________________________________________________________________ Second Announcement and Call for Papers Scientific Program Committee Andrej Bauer (Ljubljana, Slovenia) Vasco Brattka, chair (Hagen, Germany) Abbas Edalat (London, UK) Armin Hemmerling (Greifswald, Germany) Peter Hertling (Duisburg-Essen, Germany) Ker-I Ko (Stony-Brook, USA) Ulrich Kohlenbach (Aarhus, Denmark) Vladik Kreinovich (El Paso, USA) Matthias Schroeder (Edinburgh, UK) Hideki Tsuiki (Kyoto, Japan) John V. Tucker (Swansea, UK) Klaus Weihrauch (Hagen, Germany) Xizhong Zheng (Cottbus, Germany) Ning Zhong (Cincinnati, USA) Organizing Committee (Halle-Wittenberg, Germany) Ludwig Staiger, chair staiger at informatik.uni-halle.de Sibylle Schwarz schwarzs at informatik.uni-halle.de Ramona Vahrenhold vahrenho at informatik.uni-halle.de Renate Winter winter at informatik.uni-halle.de Rene Mazala mazala at informatik.uni-halle.de Submissions The workshop proceedings will be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). Hardcopies will be made available during the workshop. Authors are invited to submit LaTeX and PostScript versions of papers with a length of 10 to 12 pages to cca at fernuni-hagen.de Papers have to be prepared according to the guidelines of ENTCS using the corresponding style file (see webpage below). Deadlines Submission deadline: May 3, 2004 Notification: June 7, 2004 Camera-ready versions: July 5, 2004 Information For further information please contact Vasco Brattka (Vasco.Brattka at FernUni-Hagen.de) or Ludwig Staiger (staiger at informatik.uni-halle.de) Webpage http://cca-net.de/cca2004/ Scope The workshop is concerned with the theory of computability and complexity over real-valued data. Computability theory and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Such strings may represent various discrete objects such as integers or algebraic expressions, but cannot represent a general real or complex number, unless it is rounded. The classical theory of computation does not deal adequately with computations that operate on real-valued data. Most computational problems in the physical sciences and engineering are of this type, such as the complexity of network flow problems and of dynamical and hybrid systems. To study these types of problem, alternative models over real-valued data and other continuous structures have been developed in recent years. Unlike the well established classical theory of computation over discrete structures, the theory of computation over continuous data is still in its infancy. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics, analysis, etc. The workshop provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge. The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers; complexity-theoretic investigations, both foundational and with respect to concrete problems; and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers. This will require the extension of existing computability notions to more general classes of objects. Venue The workshop will take place in Lutherstadt Wittenberg, located at the river Elbe roughly halfway between Berlin (100 km) and Leipzig (70km). Lutherstadt Wittenberg (not to be confused with a place called "Wittenberge", also located at the river Elbe) is famous as an old German university town: in 1502 one of the first universities has been founded at this place (which now is part of the University Halle-Wittenberg). Nowadays, the historical building of the University of Wittenberg hosts the Academy Leucorea which will be the venue of our workshop. Wittenberg is called Lutherstadt ("city of Luther") since in 1517 Martin Luther declared his famous 95 theses in Wittenberg which started the process of reformation and, finally, led to the protestantic religion. Since 1508 Luther has been a professor of theology in Wittenberg. Wittenberg is part of the UNESCO world heritage. ________________________________________________________________________________