From owner-reliable_computing Thu Oct 5 15:26:50 1995 Received: by interval.usl.edu id AA02746 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 5 Oct 1995 22:26:57 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA02740 (5.65c/IDA-1.4.4 for ); Thu, 5 Oct 1995 22:26:53 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA23476; Thu, 5 Oct 95 21:26:50 MDT Date: Thu, 5 Oct 95 21:26:50 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9510060326.AA23476 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: student issues of Reliable Computing Sender: owner-reliable_computing Precedence: bulk CALL FOR PAPERS STUDENT ISSUES of the International Journal RELIABLE COMPUTING Editors of student issues: Guenter Mayer and Vladik Kreinovich The future of Interval Computations is with the student researchers entering the field. Their vision, their insights, and their approaches will shape future research. To highlight their contributions, the Editorial Board of the Reliable Computing Journal, encouraged by the success of the first student issue, decided to regularly allocate special issues for high-quality papers written by students (either alone, or in co-authorship with their professors). These papers will undergo the same refereeing as all the other papers. We will try our best to publish these issues as fast as possible. The nearest student issue is No. 2, 1996. Papers should be (ideally) written in a version of TeX (preferably plain LaTeX or plain TeX). Please submit your papers to Vladik Kreinovich Department of Computer Science University of Texas at El Paso El Paso, TX 79968 phone (915) 747-6951 fax (915) 747-5030 email vladik [at] cs [dot] utep.edu From owner-reliable_computing Mon Oct 9 12:16:12 1995 Received: by interval.usl.edu id AA04396 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 9 Oct 1995 05:16:54 -0500 Received: from wrzx01.rz.uni-wuerzburg.de by interval.usl.edu with SMTP id AA04390 (5.65c/IDA-1.4.4 for ); Mon, 9 Oct 1995 05:16:23 -0500 Received: from wi2x24.informatik.uni-wuerzburg.de by wrzx01.rz.uni-wuerzburg.de (4.1/uniwue-M-3.2) id AA14216; Mon, 9 Oct 95 11:16:14 +0100 Received: by wi2x24.informatik.uni-wuerzburg.de (5.65v3.0/uniwue-C-3.2) id AA21733; Mon, 9 Oct 1995 11:16:13 +0100 Date: Mon, 9 Oct 1995 11:16:12 +0100 (MET) From: Michael Lerch To: reliable_computing [at] interval [dot] usl.edu Subject: INTERVAL'96 Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk >>> I N T E R V A L '96 <<< >>> FIRST ANNOUNCEMENT and CALL FOR PAPERS <<< +------------------------------------------------+ | INTERNATIONAL CONFERENCE ON | | INTERVAL METHODS AND COMPUTER AIDED PROOFS | | IN SCIENCE AND ENGINEERING | | | | SEP 30 - OCT 2, 1996 | | WUERZBURG, GERMANY | +------------------------------------------------+ ORGANIZED BY - Faculty of Mathematics and Computer Science, Wuerzburg University - The Editorial Board of the International Journal "Reliable Computing" The following scientists have agreed to join the PROGRAM COMMITTEE Chairmen: R.B.Kearfott (USA), V.M.Nesterov (Russia), J.Wolff von Gudenberg (Germany) G.Alefeld (Germany), G.Corliss (USA), B.Dobronets (Russia), H.Hong (Austria), U.Kulisch (Germany), S.Markov (Bulgaria), A.Neumaier (Austria), W. Older (Canada), H.Ratschek (Germany), S.Rump (Germany), S.Shary (Russia), C.Ullrich (Switzerland) Local organizer: J.Wolff von Gudenberg INTERVAL'XX-CONFERENCES The conferences INTERVAL'XX are significant meetings devoted to various aspects of reliable numerical computations based on the interval approach. (Sometimes the terms validated numerics, localizational computations, or enclosure methods are used). Talks are devoted to development of corresponding mathematical structures, design of computer tools, and applications in a wide range of areas. The first conference was held in September 1992 near Moscow, with impressive success. Papers were presented by 106 participants from 17 countries throughout the world. It was decided to hold the INTERVAL'XX conferences biannually. The INTERVAL'92 conference emphasized the relation of interval computations to mathematical statistics. (The complete title of the conference was "INTERVAL AND STOCHASTIC METHODS IN SCIENCE AND ENGINEERING"). The INTERVAL'94 conference emphasized interdisciplinary research with computer algebra.(The complete title of the conference was "INTERVAL AND COMPUTER ALGEBRAIC METHODS IN SCIENCE AND ENGINEERING"). It took place March 6-11, 1994 in St.Petersburg, Russia. There were more than 120 talks presented by participants from 18 countries. INTERVAL'96 will focus on computer assisted proofs ranging from symbolic computation through rigorous error estimation, and including different paradigms such as functional and logic programming as well as solution of constraint systems. The traditional interval approach will appear as one important aspect common to most of the approaches. Although papers may be restricted to one of these topics, we especially encourage the submission of reports on combination of several approaches. Interval constraints, e.g., provides an efficient model for computing reliable bounds for numerical constraint systems. It opens a way of application of interval arithmetic for commercial rather than scientific problems. The combination of control theory and game theory together with interval or standard numerical methods to obtain reliable inclusions may be quoted as another example of interesting applications. TOPICS The following topics will be considered: interval mathematics, hardware and software for interval and computer-algebraic methods, SC-languages, logic constraint programming, interval modelling, interval constraints, computer aided proofs in analysis, interval algorithms in control theory, organization of symbolic-numeric interfaces, programming environments for scientific computing, and applications in various fields of science and engineering as well as commercial issues. TIME AND PLACE The Conference will be held September 30 - October 2, 1996 in Wuerzburg, Germany. Wuerzburg is a baroque city with many restored and well-preserved buildings; the most famous of which is the former bishops residence with its beautiful staircase. Excursions to other beautiful cities such as Rothenburg may be organised. FEES Information on registration fee for the conference, hotel and other costs will be sent in further announcements. EXTENDED ABSTRACTS AND PAPERS Two copies of an extended abstract of maximum 2 pages are requested for selection purposes. The deadline will be May 1, 1996. Electronic submission is strongly recommended. A LaTex format will be available via WWW (see address below). A collection of extended abstracts will be printed before the conference. Refereed proceedings including full versions of selected papers will be published after the conference. LANGUAGES The official language is English. IF YOU WISH TO GET MORE DETAILED AND CURRENT INFORMATION, LOOK AT WWW: http://www.informatik.uni-wuerzburg.de/interval96 OR WRITE: Prof. Dr. J. Wolff v. Gudenberg email: wolff [at] informatik [dot] uni-wuerzburg.de Mail address: Lehrstuhl fuer Informatik II Universitaet Wuerzburg Am Hubland D-97074 Wuerzburg Tel. +49 - 931-888-5517 Fax. +49 - 931-888-4602 From owner-reliable_computing Fri Oct 27 02:18:14 1995 Received: by interval.usl.edu id AA17464 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 27 Oct 1995 09:18:21 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA17458 (5.65c/IDA-1.4.4 for ); Fri, 27 Oct 1995 09:18:18 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA12523; Fri, 27 Oct 95 08:18:14 MDT Date: Fri, 27 Oct 95 08:18:14 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9510271418.AA12523 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: a new success of intervals Sender: owner-reliable_computing Precedence: bulk Double Bubble Minimizes: Interval Computations Help in Solving a Long-Standing Geometric Problem It is well known that of all surfaces surrounding an area with a given volume V, the sphere has the smallest area. This result explains, e.g., why a soap bubble tends to become a sphere. More than a hundred years ago, the Belgian physicist J. Plateaux asked a similar question: what is the least area surface enclosing two equal volumes? Physical experiments with bubbles seem to indicate that the desired least area surface is a "double bubble", a surface formed by two spheres (separated by a flat disk) that meet along a circle at an angle of 120 degrees. However, until 1995, it was not clear whether this is really the desired least area surface. Several other surfaces ("torus bubbles") have been proposed whose areas are pretty close to the area of the double bubble. The theorem that double bubble really minimizes was recently proven by Joel Hass from Department of Mathematics, University of California at Davis (email hass [at] math [dot] ucdavis.edu) and Roger Schlafly from the Real Software Co. (rschlafly [at] attmail [dot] com). First, they proved that the desired surface is either a double bubble or a torus bubble, and then used interval computations (as well as other ingenious numerical techniques) to prove that for all possible values of parameters, the area of the torus bubble exceeds the area of the double bubble described above. This result was mentioned in a popular magazine "Discover" as one of the main scientific achievements of the year. This application of interval mathematics not only provides a solution to a long-standing mathematical problem; the authors also describe potential practical applications, one of the them: to the design of the lightest possible double fuel tanks for rockets. The paper is not yet published. A preprint is available from the authors. From owner-reliable_computing Fri Oct 27 05:27:56 1995 Received: by interval.usl.edu id AA17876 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 27 Oct 1995 12:28:06 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA17870 (5.65c/IDA-1.4.4 for ); Fri, 27 Oct 1995 12:28:00 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA24456; Fri, 27 Oct 95 11:27:56 MDT Date: Fri, 27 Oct 95 11:27:56 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9510271727.AA24456 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: best student paper Sender: owner-reliable_computing Precedence: bulk Best Student Paper Award for Reliable Computing journal In 1993, the editorial board of the "Interval Computations" journal (now called "Reliable Computing") announced that papers submitted for the special student issue will be automatically entered into a Best Student Paper contest. The prize for the student author of the best paper is a free one-year subscription to the journal. We have received about twenty papers; the referee reports and the reports from the members of the editorial board of Reliable Computing served as the basis for choosing the best paper. It was a very difficult decision to make because we have received several excellent papers. We are pleased to announce the results. The best student paper award is awarded to the paper "A software interface and hardware design for variable-precision interval arithmetic" by Michael J. Schulte and Earl E. Swartzlander, Jr. This paper is published in ``Reliable Computing'', 1995, Vol. 1, No. 3, pp. 325-342. Michael J. Schulte, the student author of this paper, will, as promised, get a free one-year subscription to Reliable Computing. Congratulations to Michael, and thanks to all who submitted the papers for the job well done! Vladik Kreinovich and Guenther Mayer co-editors of the student issue