From owner-reliable_computing Sat Mar 1 07:49:37 1997 Received: by interval.usl.edu id AA18436 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 1 Mar 1997 15:49:45 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA18430 (5.65c/IDA-1.4.4 for ); Sat, 1 Mar 1997 15:49:41 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA29722; Sat, 1 Mar 97 14:49:37 MST Date: Sat, 1 Mar 97 14:49:37 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9703012149.AA29722 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: LICS'98: CALL FOR AFFILIATED WORKSHOPS (deadline - April 1) Sender: owner-reliable_computing Precedence: bulk This announcement may be of interest to our interval community because one of the main applications of interval computations to situations where we do not know the exact values of the quantities and thus, where in addition to statements about these quantities being true and false, we can describe them as possible true and possible false. This gives rise to the use of modal logic (several papers exist). Another possibility is the use of interval-valued degrees of belief. If anyone is interested I would be glad to participate too. Vladik ----- Begin Included Message ----- From libkin [at] research [dot] bell-labs.com Fri Feb 28 15:54:14 1997 Date: Fri, 28 Feb 1997 17:53:37 -0500 To: lics [at] research [dot] bell-labs.com From: libkin [at] research [dot] bell-labs.com (Leonid Libkin) Subject: LICS'98: CALL FOR AFFILIATED WORKSHOPS (deadline - April 1) Reply-To: lics-request [at] research [dot] bell-labs.com Content-Length: 1632 LICS'98 (the Thirteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE) will be held at the Indiana University Conference Center in Indianapolis, from Sunday, June 21, through Wednesday, June 24, 1998. The organizers have made arrangements to facilitate the running of pre- and post-conference workshops. Meeting rooms and accommodations have been reserved at the conference center for Friday/Saturday June 19 and 20, and Thursday/Friday June 25 and 26. Researchers and practitioners are invited to submit proposals for workshops on topics relating logic, broadly understood, to computer science. Of particular interest are meetings that would foster innovation, deepening, or expansion of practical applications of logic in computer science. Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of a workshop. A second, organizational, part should include: o contact information about organizers o proposed format and agenda o procedures for selecting papers and participants o duration (which may vary from half a day to two days) and preferred period (pre- or post-LICS). Additional organizational plans may include: o potential invited speakers o demo sessions o plans for proceedings or other publications Proposals are due April 1, 1997. Organizers will be notified by April 30, 1997. Proposals may be submitted either electronically or in hard copy, and should be addressed to Daniel Leivant Department of Computer Science Indiana University Bloomington, IN 47405, USA leivant [at] cs [dot] indiana.edu ----- End Included Message ----- From owner-reliable_computing Sat Mar 1 09:35:32 1997 Received: by interval.usl.edu id AA18807 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 1 Mar 1997 17:35:38 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA18801 (5.65c/IDA-1.4.4 for ); Sat, 1 Mar 1997 17:35:35 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA04132; Sat, 1 Mar 97 16:35:32 MST Date: Sat, 1 Mar 97 16:35:32 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9703012335.AA04132 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: (informal) workshop on intervals at an ACM conference Cc: longpre [at] cs [dot] utep.edu Sender: owner-reliable_computing Precedence: bulk Workshop on Interval Computations May 7-9, 1997, El Paso, TX back-to-back with STOC'97 (Symposium on Theory of Computing): (an update) On May 4-6, 1997, El Paso will host the 1997 ACM STOC (Symposium on Theory of Computing). STOC is the largest ACM symposium, and it attracts lots of researchers in all areas of theory. For the program and detailed information, please check the STOC website http://sigact.acm.org/stoc97 (if you do not have easy access to the Web, let me know, I will gladly email you the information). Post-conference workshops are often organized after STOC conferences. This year, we plan to have two workshops: * an informal workshop on computational complexity and * a workshop on interval computations; this workshop is supposed to cover issues of interest to the theory of computing community, such as: * computational complexity of different interval algorithms and problems, * foundations of interval computations, * etc. The interval workshop is a good possibility to present our results and open problems to a broad theoretical community and to give this community a new application area. Several interval researchers expressed potential interest in attending STOC and/or the workshop in Summer 1995 and 1996 when I circulated the preliminary idea to the mailing list. For the two workshops, we have reserved a block of rooms at the Camino Real hotel (the best hotel in town) at a special rate of $60 single, $70 double. If you might be interested in participating in the workshop, please send me an email so that I will add you to the newly formed workshop mailing list. Please indicate in this email whether you are interested in giving a talk. PROGRAM Participants are invited to give formal or informal talks and/or interesting open problems to discuss. Talks will be given in the mornings on the UTEP (University of Texas, El Paso) campus. Afternoons will be reserved for unstructured research sessions and/or local expeditions around El Paso. Box lunches will be provided during the first two days of the workshop. A reception will be held on the evening of May 6 (time and location to be announced). Social events will be joint with the informal workshop on computational complexity. LOCATION The UTEP campus is located a little more than a mile north of downtown. Buses are available, but they go every half an hour or so, so car rental/car pooling is advisable. We will arrange to have free temporary campus parking permits for participants. SOCIAL PROGRAM * There will be a reception on Tuesday, May 6. * There will be a banquet on Thursday, May 8. Other outings can be arranged on site for participants and those accompanying them. COSTS The registration fee is expected to be * around $50 for those who attend STOC'97; * around $70 for those who only come for the workshop. This registration fee includes: * the reception, * the banquet, * two lunches, * working papers (if any). The deadline for registration is April 3. Details about payment will be announced in a subsequent message. From owner-reliable_computing Mon Mar 3 10:48:23 1997 Received: by interval.usl.edu id AA19585 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 3 Mar 1997 03:48:35 -0600 Received: from ns.devinci.fr by interval.usl.edu with SMTP id AA19579 (5.65c/IDA-1.4.4 for ); Mon, 3 Mar 1997 03:48:29 -0600 Received: from USG0002 (usg0002.devinci.fr [193.107.164.87]) by ns.devinci.fr (8.7.5/8.6.12) with SMTP id KAA19128 for ; Mon, 3 Mar 1997 10:48:28 +0100 Received: by USG0002 (940816.SGI.8.6.9/940406.SGI.AUTO) for reliable_computing [at] interval [dot] usl.edu id KAA06411; Mon, 3 Mar 1997 10:48:26 +0100 From: "chercheur mecanique" Message-Id: <9703031048.ZM6409 [at] USG0002 [dot] devinci.fr> Date: Mon, 3 Mar 1997 10:48:23 +0000 Reply-To: Franck.DELCROIX [at] devinci [dot] fr X-Mailer: Z-Mail (3.2.0 26oct94 MediaMail) To: reliable_computing [at] interval [dot] usl.edu Subject: Dependance phenomenon Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-reliable_computing Precedence: bulk Dear interval researchers, Since I've just discovered Interval Arithmetics my "interval knowledge" is very limited, so please be kind enough to consider the following message as my first steps in the "interval world". Here's my problem : I've read a paper talking about the so-called "dependance (?) phenomenon", that is : Consider the real function f(x,y) = (x-y)/(x+y) for any x and y in R. One can write f in two ways : f1(x,y) = (x-y)/(x+y) or f2(x,y)= 1 - 2/(1+(x/y)) (y >< 0) If now x and y are intervals (respectively X and Y), and if you choose (for example), X=[1,2] and Y=[1,3] then you have : F1(X,Y)=[-1,1/2] and F2(X,Y)=[-1/2,1/3] The difference between F1 and F2 is caused by the dependance phenomenon. If you consider now the resolution of a linear system, basically Ax=b, what is the role played by this dependance phenomenon in the writing of a correct algorithm ??? More precisely : Let's imagine the A matrix is obtained by assembling many elementary Ai matrices. If some of the parameters of A are modeled as intervals, you may have to ways of incorporating them in the computations : 1) You create the A matrix as usual and then postulate that some terms of the matrix are intervals. 2) You consider that the terms in the elementary matrices are intervals, then you build your A matrix with respect to interval arithmetic laws. I guess that you have two different results wether you choose the first or the second way to compute A ... In other terms, my problem can be resumed as " In the case of the resolution of a system (Ax=b) with A made of elementary matrices, when should I "insert" the intervals datas, and what is the influence on the resolution algorithm ?" Maybe I'm totally wrong, Maybe this problem is not a problem for you since many years, but I'm looking for books or papers that could help me to progress. I hope my english is good enough to let you understand the meaning of my thoughts, and once agian be kind to forget this message if it has absolutely no sense... Every help would be much appreciated, thank you very much. Franck DELCROIX PhD student Mechanical Engineering Department Franck.Delcroix [at] devinci [dot] fr From owner-reliable_computing Mon Mar 3 16:42:19 1997 Received: by interval.usl.edu id AA20090 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 3 Mar 1997 08:46:30 -0600 Received: from homer.cma.univie.ac.at by interval.usl.edu with SMTP id AA20080 (5.65c/IDA-1.4.4 for ); Mon, 3 Mar 1997 08:45:09 -0600 Received: by homer.cma.univie.ac.at; (5.65v3.2/1.1.8.2/12Jan95-0202PM) id AA01395; Mon, 3 Mar 1997 15:42:19 +0100 Date: Mon, 3 Mar 1997 15:42:19 +0100 From: Arnold Neumaier Message-Id: <9703031442.AA01395 [at] homer [dot] cma.univie.ac.at> To: Franck.DELCROIX [at] devinci [dot] fr, reliable_computing [at] interval [dot] usl.edu Subject: Re: Dependance phenomenon Cc: neum [at] cma [dot] univie.ac.at Sender: owner-reliable_computing Precedence: bulk Franck Delcroix wrote: >> Let's imagine the A matrix is obtained by assembling many elementary Ai matrices. If some of the parameters of A are modeled as intervals, you may have to ways of incorporating them in the computations : 1) You create the A matrix as usual and then postulate that some terms of the matrix are intervals. 2) You consider that the terms in the elementary matrices are intervals, then you build your A matrix with respect to interval arithmetic laws. << How would you know which intervals to take in approach 1)? I think it is best to keep track of dependent entries as long as possible. This may be essential to good quality enclosures. Jiri Rohn (rohn [at] kam [dot] ms.mff.cuni.cz) and C. Jansson (jansson@tu-harburg.dbp.de) wrote papers about solving linear systems with dependent matrix entries. Although they only apply it to simple dependence, their results are valid also for dependence of the form you seem to have in your application. Arnold Neumaier From owner-reliable_computing Sun Mar 2 23:24:15 1997 Received: by interval.usl.edu id AA20367 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 3 Mar 1997 09:22:30 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA20361 (5.65c/IDA-1.4.4 for ); Mon, 3 Mar 1997 09:22:27 -0600 Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id HAA12794 for ; Mon, 3 Mar 1997 07:22:24 -0800 From: Bill.Walster [at] eng [dot] sun.com Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id HAA03083; Mon, 3 Mar 1997 07:22:22 -0800 Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id HAA01274; Mon, 3 Mar 1997 07:24:15 -0800 Date: Mon, 3 Mar 1997 07:24:15 -0800 Message-Id: <199703031524.HAA01274 [at] gww [dot] eng.sun.com> To: reliable_computing [at] interval [dot] usl.edu Subject: Job Posting X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk Dear Intervalers, While not specifically an interval position, this position is an opportunity to be close to the interval action at Sun. Regards, Bill ----- Begin Included Message ----- Job Description: The person in this position will be responsible for leading an international team of compiler developers in maintaining and developing Sun's FORTRAN 77 compiler front-end. This person will need to work closely with this team and with other groups involved in providing Sun's high performance computing environment, including: - debugger - optimizer & code generator - Fortran 90 (for inter-operability between f77 and f90) - MP & MT development tools - user documentation A significant part of this job is dealing with customer requests for new features and/or providing support for customer benchmarking. Required Knowledge and Skills: - Compiler front-end design using C - Fortran 77 and Fortran 90 - Solaris Preferred Knowledge and Skills: - sccs & make - Sun f77 and interfaces to other development tools, including: - debugger, - browser, - back-ends - libraries In no way should this FORTRAN 77 position be considered a "dead end". Sun's total high performance computing environment includes both f77 and f90. These two compilers seamlessly inter-operate, giving users the ability to freely mix f77 and f90 code, while insulating f90 from unneeded f77 extensions. Moreover, significant new features are constantly being added to f77 in response to customer demands. ----- End Included Message ----- ----- End Included Message ----- ----- Begin Included Message ----- From debbiez [at] frisbee [dot] Corp.Sun.COM Thu Feb 27 07:28:04 1997 Date: Thu, 27 Feb 1997 07:25:30 -0800 From: debbiez [at] frisbee [dot] Corp.Sun.COM (Debbie Zelver) To: bill.walster@Eng Subject: DC9730008/Walster Cc: paul.cohan@Eng, dawn.storey-schaeffer@Eng, linda.wong@Eng X-Sun-Charset: US-ASCII X-Lines: 121 Dear William: Your Employment Requisition was received by Corporate Employment on 2/20. It has been assigned Req# DC9730008 and will be posted to the WWW on 2/24. The Recruiter assigned to your Req is Paul Cohan. *Attached is the summary of your requisition. Your original requisition will be shuttled to you along with the Hiring Toolkit. **NOTE: Complete and correct Requisitions will be posted to the WWW within 72 hrs of receipt by CEG. Thank you, Debbie Zelver Corporate Employment ID == Requisition ID: DC9730008 Date Created: 02/20/97 Recruiter: P.Cohan Date Needed: Requisition Status: O Status Date: 02/20/97 Post: P Post Date: 02/20/97 Total Openings 1 Total Hires 0 Remaining Openings 1 Competitive Hires 0 Status Date ------ -------- O 02/20/97 Job === Job Code: TSSD Salary: E-09 Job Type: 11 Requisition Type: E Job Title: Mts4,Sw Budgeted: BR Shift: 1 EEO Type: 2A Department ========== Department No: 06423503 Department Name: FORTRAN_COMPILER_TECH Manager ID: 19720 Manager Name: G. William Walster Job Location: CBA Phone: 415-786-8310 HR Rep: L. Wong Fax: 415-786-9551 Mail Stop: MPK16-303 Level 1: DEVPRO Building: MenloPark Level 2: DEV PROD Manager E-mail: Additional CEG Info =================== EC Name: Debbie Started: Hire Src: Hire Name: Backsrch: Replaced: Isaac Chen Relo: Yes Additional Job Info =================== New Grad: Job Func: RDE WWW Posting Info ================ Products & Tec: Experience: Functional Are: WWWJob Title: Additional WWW Info =================== WWWSkills: Standard Position Description Specific Job Description ======================== Description of Responsibilities: Lead an international team of compiler engineers in developing and maintaining Sun's fortran 77 compiler. Purpose of Position: Primary Responsibiility is to continue shipping a quality verison of F77, while continuing to add those new features that are demanded by Sun's fortran 77 customers. Marginal Functions: A strong technical background in compiler development is required along with the ability to lead a team of senior engineers. The Following Knowledge and Skills are typically aqcuired through: 5 years experience and MS Computer Science, Math, Project Planning Required Knowledge and Skills: C, Fortran 77, UNIX, Computer Design, SCCS Preferred Knowledge and Skills: Project Planning, Rossian, Numerical Analysis, Interval Arithmetec, Make, Teamware ----- End Included Message ----- ----- End Included Message ----- ----- End Included Message ----- From owner-reliable_computing Mon Mar 3 02:20:13 1997 Received: by interval.usl.edu id AA20656 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 3 Mar 1997 10:20:33 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA20650 (5.65c/IDA-1.4.4 for ); Mon, 3 Mar 1997 10:20:29 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA22458; Mon, 3 Mar 97 09:20:13 MST Date: Mon, 3 Mar 97 09:20:13 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9703031620.AA22458 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: interval graph problem Cc: kainen [at] cs [dot] umd.edu Sender: owner-reliable_computing Precedence: bulk From: kainen [at] cs [dot] umd.edu (Paul Kainen) Here's something that may be of interest to the Intervals list. An interval graph is the intersection graph of a set of (one-dim'l) intervals (usually finite). My guess is that the answer to Fomin's question (which follows) is that it is NP in general but perhaps there are interesting special cases or heuristics. Best regards, Paul From: "Fedor V. Fomin" Organization: St.Petersburg State University Mathematics and Mechanics Faculty Does somebody know about the complexity of the following problems: #1 Instance: A graph G=(V,E) and an integer k. Question: Is there an interval supergraph G'=(V, E') of G such that maximal vertex degree of G' <= k? #2 Instance: A graph G=(V,E) and an integer k. Question: Is there an chordal supergraph G'=(V, E') of G such that maximal vertex degree of G' <= k? Fedor Fomin - Department of Operation Research- Faculty of Mathematics and Mechanics - St.Petersburg State University - Bibliotechnaya sq.2 - St.Petersburg - 198904 - Russia fvf [at] brdr [dot] usr.pu.ru http://www.niimm.spb.su/~Fomin/ From owner-reliable_computing Mon Mar 3 06:33:54 1997 Received: by interval.usl.edu id AA21076 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 3 Mar 1997 16:32:11 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA21070 (5.65c/IDA-1.4.4 for ); Mon, 3 Mar 1997 16:32:07 -0600 Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id OAA04755 for ; Mon, 3 Mar 1997 14:32:04 -0800 From: Bill.Walster [at] eng [dot] sun.com Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id OAA29174; Mon, 3 Mar 1997 14:32:02 -0800 Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id OAA04970; Mon, 3 Mar 1997 14:33:54 -0800 Date: Mon, 3 Mar 1997 14:33:54 -0800 Message-Id: <199703032233.OAA04970 [at] gww [dot] eng.sun.com> To: reliable_computing [at] interval [dot] usl.edu Subject: Re: Job Posting - oops X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk Dear Intervalers, Everything past the end of this email in my original posting should be deleted and not forwarded. It was a mistake on my part. Thanks, Bill > > )From Bill.Walster@Eng Mon Mar 3 07:35:02 1997 > )From: Bill.Walster@Eng > )Date: Mon, 3 Mar 1997 07:24:15 -0800 > )To: reliable_computing [at] interval [dot] usl.edu > )Subject: Job Posting > ) > ) > )Dear Intervalers, > ) > )While not specifically an interval position, this position is an > )opportunity to be close to the interval action at Sun. > ) > )Regards, > ) > )Bill > ) > )----- Begin Included Message ----- > ) > )Job Description: > ) > )The person in this position will be responsible for leading an international > )team of compiler developers in maintaining and developing Sun's FORTRAN 77 > )compiler front-end. This person will need to work closely with this team and > )with other groups involved in providing Sun's high performance computing > )environment, including: > ) > ) - debugger > ) - optimizer & code generator > ) - Fortran 90 (for inter-operability between f77 and f90) > ) - MP & MT development tools > ) - user documentation > ) > )A significant part of this job is dealing with customer requests for > )new features and/or providing support for customer benchmarking. > ) > ) Required Knowledge and Skills: > ) > ) - Compiler front-end design using C > ) - Fortran 77 and Fortran 90 > ) - Solaris > ) > ) Preferred Knowledge and Skills: > ) > ) - sccs & make > ) - Sun f77 and interfaces to other development tools, including: > ) > ) - debugger, > ) - browser, > ) - back-ends > ) - libraries > ) > )In no way should this FORTRAN 77 position be considered a "dead end". Sun's > )total high performance computing environment includes both f77 and f90. > )These two compilers seamlessly inter-operate, giving users the ability to > )freely mix f77 and f90 code, while insulating f90 from unneeded f77 > )extensions. Moreover, significant new features are constantly being added to > )f77 in response to customer demands. > ) > ) > ) > ) > ) From owner-reliable_computing Tue Mar 4 09:43:49 1997 Received: by interval.usl.edu id AA21371 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 3 Mar 1997 21:47:30 -0600 Received: from falcon.glasnet.ru (falcon.glas.apc.org) by interval.usl.edu with SMTP id AA21365 (5.65c/IDA-1.4.4 for ); Mon, 3 Mar 1997 21:47:06 -0600 Received: from glas.apc.org(really [193.124.5.33]) by falcon.glasnet.ru via sendmail with esmtp id for ; Tue, 4 Mar 1997 06:43:37 +0300 (WSU) (Smail-3.2.0.92 1997-Feb-9 #9 built 1997-Mar-3) Received: by glas.apc.org via send-mail with stdio id for reliable_computing [at] interval [dot] usl.edu; Tue, 4 Mar 1997 06:43:49 +0300 (WSU) (Smail-3.2.0.92 1997-Feb-9 #3 built 1997-Mar-3) Message-Id: Date: Tue, 4 Mar 1997 06:43:49 +0300 (WSU) From: intcom [at] glasnet [dot] ru ( ) To: reliable_computing [at] interval [dot] usl.edu Subject: Information about the journal (repeated) Sender: owner-reliable_computing Precedence: bulk From intcom Thu Jan 9 07:32:06 1997 Received: by glas.apc.org via -sendmail with stdio id for intcom; Thu, 9 Jan 1997 07:32:06 +0300 (WSU) (Smail-3.2.0.90 1996-Dec-4 #3 built 1996-Dec-10) Message-Id: Date: Thu, 9 Jan 1997 07:32:06 +0300 (WSU) From: intcom ( ) To: intcom Subject: Offical information about RELIABLE COMPUTING Status: RO January 6, 1997 Dear colleagues, On behalf of the managing group of the journal RELIABLE COMPUTING, I would like to inform you about changes that should take place in 1997. First of all, the journal will change its owner. Beginning the issue 1/97 (vol. 3) the journal will be published, printed, and distributed by Kluwer Academic Publishers - a brand-name Dutch publishing house. This fact has various consequences for our authors and subscribers. 1) Basing on the prestige of the journal and the publishing house, we hope to extend the circle of authors, scientific fields, and geographic regions. To achieve this purpose more effectively, we have invited several well-known experts to the editorial board. Thus, the following persons will be new members of the editorial board in 1997: A. Cuyt, Belgium; J. Garloff, Germany; G. Mayer, Germany; J. Rokne, Canada; G. W. Walster, USA; E. Walter, France. All former members will continue their membership. The Editor-in- Chief also will keep his position. The journal will keep the former official representatives in the Western Hemisphere and Europe, too. All materials will be published exclusively in English. 2) The periodicity of the journal still is the same: 4 issues per year. However, the price of an annual subscription will be changed: the new price for institutions is NLG 420 (USD 250), for individuals - NLG 190 (USD 125). For details please contact services [at] wkap [dot] nl. 3) The former managing group won't distribute NEW issues of the journal, but only the managing group will distribute BACK issues and supplements of the journal (including the journal under its old name INTERVAL COMPUTATIONS). 4) Now ALL back issues are available: you can order even the issue 1/91 (made in a copier and bound). All back supplements are also available. Prices for back issues and supplements WILL NOT BE CHANGED. As in the past, prices for individuals are half the prices for organizations. For either organizations or individuals who wish to order the full set of back issues (1991-1996), we are offering a 15% discount. 5) As before, current information about the journal will be distributed by the mailing list reliable_computing (contact Prof. R. Baker Kearfott: rbk [at] usl [dot] edu). Additionally, some information (including the contents of all issues) will be placed at http://www.wkap.nl. Non-official home pages under supervision of Prof. Vladik Kreinovich are also available: http://cs.utep.edu/interval- comp/rcjournal.html. 6) ATTENTION AUTHORS: some changes have been made in requirements for manuscript preparation. For details please contact the Editor-in- Chief. DO NOT SEND YOUR MANUSCRIPTS TO KLUWER ACADEMIC PUBLISHERS! Below you can find a letter from the Editor-in-Chief, a brief description of the journal, as well as terms and prices for back and new issues. Please distribute this information to all persons who may be interested in it. Please accept our apologies if you receive multiple copies of this message. Sincerely yours, Alexander G. Yakovlev, Managing Editor ======================================================================= Dear colleagues, Because of changes in the distribution of the journal, it is likely that many specialists have become attracted to our periodical for the first time. That is why I consider it appropriate to briefly outline here the history of the journal as well as to characterize the field of mathematics to which it is devoted. The idea of founding a new journal first came to a group of (then Soviet) Russian scientists who had worked in the field of numerical computations using the approaches of interval mathematics in 1990. It had been observed that, despite computational mathematicians' growing interest in interval methods, there was no specialized periodical to treat interval problems and implementing interval methods on computers. To fill the gap, a new journal named INTERVAL COMPUTATIONS was founded in Russia in 1991, and published by the Institute of New Technologies (Moscow - St.Petersburg), later renamed Institute of New Technologies in Education. In 1991, two issues of the new journal were published, and since then, new issues have appeared four times a year. The journal has published both original papers as well as surveys, information about new software, conference announcements, reviews of new books, etc. Attention has always been paid to applied and interdisciplinary research. The majority of the journal's first readers were researchers from the ex- USSR, and a considerable portion of the material was published in Russian without an English translation. In time, however, the journal became internationally known and began to attract the interest of the scientific community worldwide. The Editorial Board, consisting of the original group of scientists, was expanded by inviting well-known scientists from the countries where interval computations research was being conducted on a major scale. The journal thus spread its distribution all over the world, with its subscribers representing more than 30 countries. From its inception, our journal kept the tradition of preparing special issues devoted either to the publication of proceedings of relevant conferences or to certain limited topics within the coverage of the journal. Thus, from 1991 to 1994, we have published the proceedings of the following conferences: * International Conference on Interval and Stochastic Methods in Science and Engineering (Interval'92), Moscow, Russia, September 22-25, 1992; * International Conference on Numerical Analysis with Automatic Result Verification, Lafayette, Louisiana, USA, February 25 - March 1, 1993; * IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-93), Vienna, Austria, September 26-29, 1993. In addition, we have prepared a special issue on Parallel Algorithms for Interval Computations. As a separate supplement, a Bibliography of Works on Interval Computations Published in Russian was also published. By the end of 1994, it was observed that the subject coverage of published materials began to outgrow the journal's official coverage. Indeed, the interval approach is one of the most important, but far from the only way to get reliable results in mathematical calculations. It is certain that establishing a correct link between "continuous" objects that are treated in most branches of mathematics and finitely representable objects that are used by computers is the foundation of ascertaining the reliability of mathematical computations. There is no exaggeration in saying that it was the interval approach that first allowed proper construction of this link. It is obvious, then, that interval mathematics has played a determining role in attaining reliability of numerical algorithms. However, other purely mathematical and computational means are also employed in this task. Questions of correctly stating a computational problem, the combined use of numerical calculations and symbolic computations, issues of developing software and hardware specifically aimed at effective implementation of reliable computations, etc. also belong to the realm of reliable computing. Since 1995, our journal has changed its title to RELIABLE COMPUTING and simultaneously expanded its Editorial Board again, reflecting our wish to change the primary subject of the journal from one of the main _means_ of achieving reliability in mathematical computations to the ultimate _goal_ that is, obtaining results with guaranteed properties by using various methods, including interval ones. Time has shown that we made a good choice. Subject coverage of submitted articles has continued to expand, and mutual enrichment with adjacent branches of mathematics has become more intense. As a result, the journal has become of interest to a wider circle of readers. We have kept the tradition of publishing special issues of the journal. Thus, we have prepared two issues with the best papers written by university students (made independently or in co-authorship with their professors), a new special issue on Parallel Algorithms for Interval Computations, and the proceedings of the following conferences: * International Conference on Interval and Computer-Algebraic Methods in Science an Engineering (Interval'94), St.Petersburg, Russia, March 7-10, 1994; * IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-95), September 26-29, Wuppertal, Germany. As a supplement, a volume of abstracts of the International Workshop on Applications of Interval Computations, El Paso, Texas, USA, February 23-25, 1995, was published. The increased international recognition of the journal was the reason that, in 1996, Kluwer Academic Publishers, a Dutch scientific publishing house, offered to take the journal under its auspices. Both former publisher and the Editorial Board agreed, and after nearly a year of preparation the journal was transferred to Kluwer Academic Publishers. I am sure that the new distribution facilities that the journal has obtained after the change will promote further growth of our readership and the scientific level of the periodical. In 1997 we will publish four issues with approximately 100 pages in each. The first and second issues of this year will contain current publications. The third issue will probably present the proceedings of the International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering (Interval'96), held on September 30 to October 2, 1996, in Wuerzburg, Germany, organized by the Faculty of Mathematics and Computer Science of Wuerzburg University in collaboration with the Editorial Board of our journal. The special issue with the Proceedings is likely to be of larger volume than usual. Professor J. Wolff von Gudenberg agreed to be the invited editor of the issue. The fourth issue in 1997 is planned to be the next student special issue edited by Professor G. Mayer (Rostock University, Germany) and Professor V. Kreinovich (University of Texas at El Paso, USA). To conclude, let me express my hope that the latest changes in the journal's status will be approved by the international community of our authors and readers. The Editorial Board will be pleased to receive any comments and suggestions. V. M. Nesterov, Editor-in-Chief ======================================================================= Kluwer Academic Publishers ***************************************** * * * R E L I A B L E C O M P U T I N G * * * ***************************************** An International Journal devoted to Reliable Mathematical Computations based on Finite Representations and Guaranteed Accuracy ISSN 1385-3139 A refereed international journal RELIABLE COMPUTING (before 1995 named INTERVAL COMPUTATIONS) is the only periodical in the world devoted specifically to various aspects of reliable mathematical computations based on finite representations of mathematical objects, and giving a guaranteed accuracy of computed results. It is managed by an international editorial board from Belgium, Bulgaria, Canada, Germany, France, Japan, Russia, and the United States. The journal is distributed in approximately 30 countries throughout the world. It includes various items in the fields of theoretical research, computer tools, applications, interdisciplinary research, and other relevant areas in the field of mathematical computations with the use of a computer. The following subjects are within the focus of the journal: numerical, symbolic and combined algorithms for solving computational problems, the interval approach, computer architectures for mathematical computations, contemporary languages for description of mathematical processes, methods of localization of solutions, teaching of reliable computational methods at universites, etc. RELIABLE COMPUTING also publishes proceedings of international conferences, such as INTERVAL'XX, SCAN'XX, etc. The Editorial Board of "Reliable Computing" includes: G. ALEFELD Karlsruhe, Germany A. CUYT Antwerp, Belgium B. S. DOBRONETS Krasnoyarsk, Russia J. GARLOFF Konstanz, Germany R. B. KEARFOTT Lafayette, LA, USA - official representative in the Western Hemisphere V. KREINOVICH El Paso, TX, USA S. M. MARKOV Sofia, Bulgaria G. MAYER Rostock, Germany E. A. MUSAYEV West Des Moines, IA, USA M. T. NAKAO Fukuoka, Japan V. M. NESTEROV St. Petersburg, Russia - Editor-in-Chief H. RATSCHEK Dusseldorf, Germany J. ROKNE Calgary, Canada S. M. RUMP Hamburg, Germany A. L. SEMENOV Moscow, Russia S. P. SHARY Novosibirsk, Russia G. W. WALSTER Mountain View, CA, USA E. WALTER Gif-sur-Yvette, France J. WOLFF VON GUDENBERG Wuerzburg, Germany - official representative in Europe A. G. YAKOVLEV Moscow, Russia - Managing Editor V. S. ZYUZIN Saratov, Russia The address of the Editorial Board: Box 52 St.Petersburg 195256, Russia Dr. Vyacheslav M. Nesterov Phone: +7-812-534-4120 Fax: +7-812-233-0968 E-mail: nest [at] into [dot] nit.spb.su (preferable), intcom [at] glasnet [dot] ru The journal includes: o original papers o surveys and tutorials o reports on new computer tools o bibliographies o reviews of new books o letters to the editor o information about scientific meetings o advertisements of software and hardware products All issues of INTERVAL COMPUTATIONS and RELIABLE COMPUTING as well as supplements published before 1997 are available for purchase by journal's regional representatives (their addresses see below). To subscribe the journal for 1997, contact please to Kluwer Academic Publishers (details see below). Published supplements: 1) SUPPLEMENTUM 1, consisting of a "Bibliography of Works on Interval Computations Published in Russian", with a subject index, is now available. It includes almost all sensible references in the field (547 items in the current version) in English translation. 2) COLLECTION OF ABSTRACTS OF THE INTERNATIONAL CONFERENCE ON INTERVAL AND COMPUTER-ALGEBRAIC METHODS IN SCIENCE AND ENGINEERING (INTERVAL'94), which was held in St.Petersburg, Russia, March 7-10, 1994. Abstracts are in English, two pages average, including postal and e-mail addresses of the authors (total 226 p.). 3) COLLECTION OF PEER-REFEREED AND EDITED EXTENDED ABSTRACTS OF THE INTERNATIONAL WORKSHOP ON APPLICATIONS OF INTERVAL COMPUTATIONS, (APIC'95), which was held in El Paso, Texas, February 23-35, 1995. Abstracts are in English, including authors' addresses (total 244 p.). 4) COLLECTION OF EXTENDED ABSTRACTS OF THE INTERNATIONAL CONFERENCE ON INTERVAL METHODS AND COMPUTER AIDED PROOFS IN SCIENCE AND ENGINEERING (Interval'96), September 30 - October 2, 1996, Wuerzburg, Germany. Abstracts are in English, including authors' addresses (total 140 p.). INFORMATION FOR AUTHORS is available by a request to the Editor-in- Chief (nest [at] into [dot] nit.spb.su). INFORMATION ABOUT ORDERING BACK ISSUES AND SUPPLEMENTS You can order any set of back issues (1/91, 2/91, 1/92-4/92, ... , 1/96-4/96; the total number of back issues is 22) and supplements. Also we offer a 15% discount for the complete set of all published issues and supplements. Regular prices for individuals are as follows (postage included): Western Hemisphere Europe and other regions Per issue US$ 15.00 DM 21.00 Supplementum 1 US$ 10.00 DM 14.00 The collection US$ 15.00 DM 21.00 of Interval'94 abstracts The collection US$ 15.00 DM 21.00 of APIC'95 abstracts The collection US$ 15.00 DM 21.00 of Interval'94 abstracts ATTENTION: FOR INSTITUTIONS (UNIVERSITIES, LIBRARIES, COMPANIES, ETC.), ALL INDICATED PRICES SHOULD BE DOUBLED. If you wish to purchase back issues of RELIABLE COMPUTING and/or receive the supplements, please send this order form, along with a check for the appropriate amount (or use a bank transfer), to one of our official representatives: In the Western Hemisphere In Europe, Asia and Africa Dr. R. Baker Kearfott Prof. Dr. J. Wolff von Gudenberg Department of Mathematics Lehrstuhl f. Informatik II Univ. of Southwestern Louisiana Universitaet Wuerzburg U.S.L. Box 4-1010 Lafayette Am Hubland LA 70504-1010 Wuerzburg D-97074 USA Germany Office: (318) 231-5270 Phone: +49-931-888-5517 Home: (318) 981-9744 Fax: +49-931-888-4602 E-mail: rbk [at] usl [dot] edu E-mail: wolff [at] informatik [dot] uni- wuerzburg.de Please make a check to Instructions for bank transfer: the "University of holder: J. Wolff v. Gudenberg Southwestern Louisiana" number: 560219826 bank: Kreissparkasse Wuerzburg bank code: 790 501 30 ---------------------------------------------------------------------- "RELIABLE COMPUTING" ORDER FORM (for individuals only) Name: ________________________________________________________________ Organization: ________________________________________________________ Address: _____________________________________________________________ ______________________________________________________________________ State: _______________________________ Zip: __________________________ Tel.: ___________________________ (optional) Fax: ____________________________ (optional) E-mail: __________________________________________ (highly desirable!) Please check: [ ] I wish to purchase the following back issues of the journal RELIABLE COMPUTING: __________________________________________________________________ The sum of _________________ paid for the enumerated issues (cheque/money order enclosed). [ ] Send me additionally Supplementum 1 (Bibliography of Works on Interval Computations Published In Russian). Sum of $10/14 DM paid (cheque/money order enclosed). [ ] Send me additionally the collection of INTERVAL'94 abstracts. Sum of $15/21 DM paid (cheque/money order enclosed). [ ] Send me additionally the collection of APIC'95 abstracts. Sum of $15/21 DM paid (cheque/money order enclosed). [ ] Send me additionally the collection of INTERVAL'96 abstracts. Sum of $15/21 DM paid (cheque/money order enclosed). [ ] I wish to purchase the complete set of all back issues and supplements for a 15% discount. Sum of $327/458 DM paid (cheque/money order enclosed) The total sum is _________________. Date: ______________________ Signature: ______________________ ---------------------------------------------------------------------- "RELIABLE COMPUTING" ORDER FORM (for institutions only) Name (for contacts): _________________________________________________ Organization: ________________________________________________________ Address: _____________________________________________________________ ______________________________________________________________________ State: _______________________________ Zip: __________________________ Tel.: ___________________________ (optional) Fax: ____________________________ (optional) E-mail: __________________________________________ (highly desirable!) Please check: [ ] We wish to purchase the following back issues of the journal RELIABLE COMPUTING: __________________________________________________________________ The sum of _________________ paid for the enumerated issues (cheque/money order enclosed). [ ] Send us additionally Supplementum 1 (Bibliography of Works on Interval Computations Published in Russian). Sum of $20/28 DM paid (cheque/money order enclosed). [ ] Send us additionally the collection of INTERVAL'94 abstracts. Sum of $30/42 DM paid (cheque/money order enclosed). [ ] Send us additionally the collection of APIC'95 abstracts. Sum of $30/42 DM paid (cheque/money order enclosed). [ ] Send us additionally the collection of INTERVAL'96 abstracts. Sum of $30/42 DM paid (cheque/money order enclosed). [ ] We wish to purchase the complete set of all back issues and supplements for a 15% discount. Sum of $654/916 DM paid (cheque/money order enclosed) The total sum is _________________. Date: _______________________ Signature: _____________________ ======================================================================= SUBSCRIPTION ORDER FORM Journal Title: Reliable Computing 1997, Volume 3 (4 issues) ISSN: 1385-3139 Subscription rate: NLG 420,- / US$ 250,- Individual rate: NLG 190,- / US$ 125,- Ref: KAPIS ( ) Payment enclosed to the amount of ___________________________ ( ) Please send invoice ( ) Please charge my credit card account: Card no.: |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_| Expiry date: ______________ () Access () American Express () Mastercard () Diners Club () Eurocard () Visa Name of Card holder: ___________________________________________________ Delivery address: Title: ______________________________ Initials: _______________M/F______ First name: ____________________ Surname: ______________________________ Organization: __________________________________________________________ Department: ____________________________________________________________ Address: _______________________________________________________________ Postal Code: ________________ City: ____________________________________ Country: ______________________________Telephone: ______________________ Email: _________________________________________________________________ Date: _____________________ Signature: _________________________________ Our European VAT registration number is: |_|_|_|_|_|_|_|_|_|_|_|_|_|_| To be sent to: For customers in Mexico, USA, Rest of the world: Canada and Latin America: Kluwer Academic Publishers Kluwer Academic Publishers Group Order Department Journals Department P.O. Box 358 P.O. Box 322 Accord Station 3300 AH Dordrecht Hingham, MA 02018-0358 The Netherlands U.S.A. Tel : 617 871 6600 Tel : +31 78 6392392 Fax : 617 871 6528 Fax : +31 78 6546474 Email : kluwer [at] wkap [dot] com Email : services [at] wkap [dot] nl Payment will be accepted in any convertible currency. Please check the rate of exchange with your bank. Prices are subject to change without notice. All prices are exclusive of Value Added Tax (VAT). Customers in the Netherlands please add 6% VAT. Customers from other countries in the European Community: * please fill in the VAT number of your institute/company in the appropriate space on the order form: or * please add 6% VAT to the total order amount (customers from the U.K. are not charged VAT). From owner-reliable_computing Tue Mar 4 12:07:53 1997 Received: by interval.usl.edu id AA22287 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 4 Mar 1997 22:06:13 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA22281 (5.65c/IDA-1.4.4 for ); Tue, 4 Mar 1997 22:06:08 -0600 Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id UAA26821 for ; Tue, 4 Mar 1997 20:06:03 -0800 From: Bill.Walster [at] eng [dot] sun.com Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id UAA29005; Tue, 4 Mar 1997 20:06:00 -0800 Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id UAA06908; Tue, 4 Mar 1997 20:07:53 -0800 Date: Tue, 4 Mar 1997 20:07:53 -0800 Message-Id: <199703050407.UAA06908 [at] gww [dot] eng.sun.com> To: reliable_computing [at] interval [dot] usl.edu Subject: Conference announcement X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk ----- Begin Included Message ----- From hpsno [at] matna2 [dot] dma.unina.it Tue Mar 4 06:33:07 1997 Date: Tue, 4 Mar 1997 15:13:59 +0100 From: hpsno [at] matna2 [dot] dma.unina.it (toraldo gerardo) To: Bill.Walster@Eng, EROMEIJN [at] fac [dot] fbk.eur.nl, LEEN [at] sara [dot] nl, SCHAIBLE [at] UCRAC1 [dot] UCR.EDU, STRONGIN [at] nnucnit [dot] nnov.su, THOAI [at] ORSUN2 [dot] UNI-TRIER.DE, VOSS [at] BWL [dot] BWL.TH-DARMSTADT.DE, antanas.zilinskas [at] info [dot] ped.lt, atorn [at] finabo [dot] abo.fi, bbuyin [at] vaxa [dot] weeg.uiowa.edu, bobby [at] boulder [dot] colorado.edu, g.wood [at] cqu [dot] edu.au, gaudioso [at] ccusc1 [dot] unical.it, grw [at] math [dot] canterbury.ac.nz, hamersla [at] hr0evr5 [dot] bitnet, hotuy [at] math [dot] liu.se, hwolkowi [at] orion [dot] math.uwaterloo.ca, kennedc1@ten-nash.ten.k12.tn.us, klaus.schittkowski@uni-bayreuth.de, nikos [at] aristotle [dot] me.uiuc.edu, nzshor [at] d120 [dot] icyb.kiev.ua, cip!reni [at] matna2 [dot] dma.unina.it, rlsmith [at] engin [dot] umich.edu, rlsmith [at] umich [dot] edu, rosen [at] cs [dot] umn.edu, rusz [at] iiasa [dot] ac.at, schoen [at] ghost [dot] dsi.unimi.it, sherali [at] vtvm1 [dot] cc.vt.edu, strekal [at] uni [dot] irkutsk.su, teresa [at] ibguniv [dot] bitnet, thoai@uni-trier.de, tind [at] math [dot] ku.dk, tind [at] mi [dot] aau.dk, torn [at] finabo [dot] abo.fi, tuy [at] kop [dot] tu-graz.ada.at, vavasis [at] cs [dot] cornell.edu, viswswrn [at] zeus [dot] princeton.edu, xue [at] emba [dot] uvm.edu, yakovlev [at] globlab [dot] msk.su, zelda [at] max [dot] uwashington.edu, zelda [at] u [dot] washington.edu, zenios [at] wharton [dot] upenn.edu Subject: Conference announcement X-Lines: 99 ***************************************************************** * CPS * * Center for Research on Parallel Computing and Supercomputers * * (National Research Center Council of Italy and * * University of Naples "Federico II" ) * * A N N O U N C E M E N T * * Short Conference on * * ``HIGH PERFORMANCE SOFTWARE FOR NONLINEAR OPTIMIZATION: * * STATUS AND PERSPECTIVES''. Ischia, Italy 4 - 6 June 1997 * * H P S N O 97 * ***************************************************************** The Conference, which is planned to be organized biennially, fol- lows the HPSNO95 Conference and will be held in Ischia (which is one of the islands in the bay of Naples). % -------------------- AIM OF THE CONFERENCE ----------------------- Putting together the recent progress in computer technology with the latest algorithmic developments in the field of numerical optimization represents an exciting challenge for researchers and an interesting opportunity for dealing with very large ``real life'' problems. The focus of the conference is to cover the latest results in op- timization software and, in particular, optimization software for high performance computers. The conference will provide an over- view of the nonlinear optimization field, including algorithms, software evaluation, implementation issues, applications and fu- ture areas of research through autoritative lectures given by some of the most active researchers in the field. % ------------------ TOPICS OF INTEREST -------------------------- include, but are not limited to: (Parallel) Computational experiments, Large-Scale Constrained and Unconstrained Problems, Global Optimization, Quadratic Program- ming, Automatic Differentiation, Linear and Nonlinear Least Squares, Numerical Linear Algebra problems arising in Optimization, Solution of Large Nonlinear Systems, Nonsmooth Optimization, Semidefinite optimization, Combinatorial Optimization, Complexity, Applications in Sciences, Management and Engineering. % ---------------------- INVITED SPEAKERS ------------------------- C. H. Bischof, Nick Gould, W. Hager,J.J. More', P. Pardalos, M.C. Resende, P.L.Toint, M. Wright. % --------------------- CONFERENCE COMMITTEE ----------------------- * Prof. Jorge More' (Argonne National Laboratory, Argonne, USA) * Prof. Almerico Murli (CPS, ITALY) * Prof. Panos Pardalos (University of Florida, Gainesville, USA) * Prof. Gerardo Toraldo (CPS & University of Naples) % --------------------- CONTRIBUTED PAPERS ------------------------- Contributed abstracts must reach the conference organizers by 10 April. Authors will be notified of acceptance or rejection by the end of April. The selected talks will last 15 minutes with an additional 5 minutes being provided for discussion and questions. % ------------------------ PUBLICATIONS --------------------------- All submitted papers will be refereed and considered for publication after the conference (upon consent of their authors) by Kluwer. A special issue of COMPUTATIONAL OPTIMIZATION and APPLICATION was devoted to the HPSNO95 Conference. % ------------ REGISTRATION FEES AND LOCAL ARRANGEMENT --------- A limited number of participants will be admitted to the Confer- ence (max. 70) on a first-come first-served basis. The registration fees, which include admission to the confer- ence, Book of abstractcs, List of participants, Lunch at the Sporting Restaurant (4,5,6 June) and Gala Dinner is: 350US$ (300US$ for SIAM and SIMAI Members) until April 15, 1997; 400US$ (340US$ for SIAM and SIMAI Members) for late registration. The Conference special prices for the Hotel accomoda tion lodging and breakfast for 3 days range (approximatively) between 550 US$ (lodging in single room, ***** Hotel) and 220 US$ (lodging in twinbedded room, **** Hotel). Payments and reserva- tions have to be made to `Hotel Regina Isabella', Lacco Ameno, Ischia 80076 - Italy (Fax. +39-81-900190). Please, make your hotel reservation as soon as possible, since just a limited number of rooms has been reserved for the conference. --------------------- IMPORTANT DATES ---------------------------- % * April 10 1997 - Submission of abstracts and Conference Applica- tions. * April 30 1997 - Notification of acceptance. * April 5 1997 - Hotel reservation. % ------------------------- INFORMATION ----------------------------- For information or for registration, send an e-mail message to hpsno [at] matna2 [dot] dma.unina.it or contact http://pixel.dma.unina.it/Events/HPSNO97.html or send a fax or a letter to Almerico Murli or to Gerardo Toraldo: CPS - Via Cintia, Monte S.Angelo 80126, Napoli - ITALY. fax# +39-81-7662106 E-MAIL: murli [at] matna2 [dot] dma.unina.it toraldo [at] matna2 [dot] dma.unina.it ----- End Included Message ----- From owner-reliable_computing Tue Mar 4 13:36:41 1997 Received: by interval.usl.edu id AA22591 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 4 Mar 1997 23:34:54 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA22585 (5.65c/IDA-1.4.4 for ); Tue, 4 Mar 1997 23:34:51 -0600 Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id VAA06830 for ; Tue, 4 Mar 1997 21:34:50 -0800 From: Bill.Walster [at] eng [dot] sun.com Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id VAA07590; Tue, 4 Mar 1997 21:34:46 -0800 Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id VAA07047; Tue, 4 Mar 1997 21:36:41 -0800 Date: Tue, 4 Mar 1997 21:36:41 -0800 Message-Id: <199703050536.VAA07047 [at] gww [dot] eng.sun.com> To: reliable_computing [at] interval [dot] usl.edu Subject: Job Posting X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk Sun Employment Req#: DC9730002 Job Title: Product Manager Descriptive Title: Product manager Skills: s/w tools mkt exp, HPC Functional Area: Marketing/Sales: Product Marketing Location: MenloPark, CA Contact Info: Email resumes to staffing60 [at] bruin [dot] corp.sun.com Fax resumes to Attn: Staffing60 (415) 336-3174 DESCRIPTION Join the WorkShop Product Group and make an impact. Interval Computing is the next big thing to hit the high performance market, and we are leading the way. This major new effort combined with our industry leadership in multi threading and multiprocessing technology, compilier optimization and robustness, and numberical quality make this a highly visible position. Candidate must have 3+ years product marketing experience in the software tools market. Strong background in high performance computing is required: Fortran, multithreading, high performance libraries, etc. Must understand the customer requirements for the development of high performance applications and be a strong evangelist for Sun's Performance WorkShop. Extensive interaction across many dimensions is required: market trends, customer requirements, development interaction, technology partnering, and press briefings. Excellent verbal and written skills are required. BS required, MS or MBA desired. From owner-reliable_computing Wed Mar 5 09:46:04 1997 Received: by interval.usl.edu id AA23199 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 5 Mar 1997 11:05:42 -0600 Received: from cesare (cesare.diiie.unisa.it) by interval.usl.edu with SMTP id AA23191 (5.65c/IDA-1.4.4 for ); Wed, 5 Mar 1997 11:04:51 -0600 Received: by cesare; (5.57/1.1.8.2/22May95-1218PM) id AA10651; Wed, 5 Mar 97 17:51:08 -0600 Message-Id: <331E21DC.7495 [at] diiie [dot] unisa.it> Date: Wed, 05 Mar 1997 17:46:04 -0800 From: spanish [at] diiie [dot] unisa.it X-Mailer: Mozilla 3.01Gold (Win95; I; 16bit) Mime-Version: 1.0 To: reliable_computing [at] interval [dot] usl.edu Subject: transient analysis and tolerance analysis Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing Precedence: bulk Dear researchers, I'm studying the transient behaviour of linear and non-linear circuits. I'm specifically interested in an "outer approximation" of the true interval response in general of the problem of the following kind: dx/dt=f(x), x(0)=X0 both for linear and non-linear f(x). I'm also interested in electrical networks tolerance analysis by means of interval mathematics. It would be greatly appreciated any suggestion and reference. Thanks in advance. -- Dr. Giovanni Spagnuolo Ph.D. Student University of Salerno Dipartimento di Ingegneria dell'Informazione ed Ingegneria Elettrica (D.I.I.I.E.) Via Ponte don Melillo I-84084, Fisciano, Salerno, ITALY Tel. 089/964258 Fax. 089/964218 e-mail: SPANISH [at] CESARE [dot] DIIIE.UNISA.IT WWW: http://www.diiie.unisa.it/diiie/ita/elettro/gs_start.html From owner-reliable_computing Wed Mar 5 05:43:07 1997 Received: by interval.usl.edu id AA23559 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 5 Mar 1997 15:41:33 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA23553 (5.65c/IDA-1.4.4 for ); Wed, 5 Mar 1997 15:41:30 -0600 Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id NAA28850 for ; Wed, 5 Mar 1997 13:41:16 -0800 From: Bill.Walster [at] eng [dot] sun.com Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id NAA19983; Wed, 5 Mar 1997 13:41:14 -0800 Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id NAA07868; Wed, 5 Mar 1997 13:43:07 -0800 Date: Wed, 5 Mar 1997 13:43:07 -0800 Message-Id: <199703052143.NAA07868 [at] gww [dot] eng.sun.com> To: reliable_computing [at] interval [dot] usl.edu Subject: More details on last Sun job posting X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk High Performance Computing Product Manager Join the WorkShop Product Group and make an impact. Interval Computing is the next big thing to hit the high performance market, and we are leading the way.This major new effort combined with our industry leadership in multithreading and multiprocessing technology, compiler optimization and robustness, and numerical quality make this a highly visible position. Candidate must have 3+ years product marketing experience in the software tools market. Strong background in high performance computing is required: Fortran, multithreading, high performance libraries, etc. Must understand the customer requirements for the development of high performance applications and be a strong evangelist for Sun's Performance WorkShop. Extensive interaction across many dimensions is required: market trends, customer requirements, development interaction, technology partnering, and press briefings. Excellent verbal and written skills are required. BS required, MS or MBA desired. Performance WorkShop 1) Integrated development environment providing core develpers desktop 2) Targeted at customers with a "need for speed" 3) High performance language systems - Fortran 77 and 90 - C - Automatic parallelization of Fortran and C code - Optimized numerical libraries (linear algebra, matrix inversion, etc.) 4) Multi-language development environment 5) Integrated data visualization 6) Team development support Channels 1) Distribution (Masters to resellers and VARS) Pricing 1) $3,495 Partnering 1) WSReady program supports/assists ISV's who provide components that add value to Performance WorkShop. - Additional optimized libraries (imaging, other transformations) - Hi-end data visualization - clustering technology Experience 1) Software tools marketing - Fortran, C 2) Experienced in delivering "whole" product - collateral (direct, internet) - sales training - demonstrations - business plan - partnerships - press releases From owner-reliable_computing Thu Mar 6 04:37:38 1997 Received: by interval.usl.edu id AA24422 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 6 Mar 1997 14:35:54 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA24416 (5.65c/IDA-1.4.4 for ); Thu, 6 Mar 1997 14:35:49 -0600 Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id MAA08446 for ; Thu, 6 Mar 1997 12:35:46 -0800 From: Bill.Walster [at] eng [dot] sun.com Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id MAA20387; Thu, 6 Mar 1997 12:35:43 -0800 Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id MAA09222; Thu, 6 Mar 1997 12:37:38 -0800 Date: Thu, 6 Mar 1997 12:37:38 -0800 Message-Id: <199703062037.MAA09222 [at] gww [dot] eng.sun.com> To: reliable_computing [at] interval [dot] usl.edu Subject: Say NO! Internet Phone Charges X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk ----- Begin Included Message ----- From DCPP [at] go50 [dot] comp.pge.com Wed Feb 12 19:53:07 1997 From: MAR%DCPP [at] g050 [dot] comp.pge.com Date: Wed, 12 Feb 97 19:53:13 PST X-Priority: 3 (Normal) Subject: Say NO! Internet Phone Charges Content-Length: 927 Forwarded message:Subj: Phone Charges Date: 97-02-07 09:30:40 Please pass this along to as many as you can. Your local telephone company has filed a proposal with the FCC to impose perminute charges for your internet service. They contend that your usage hasor will hinder the operation of the telephone network.Internet usage will diminish if users were required to pay additional per minute charges. The FCC has created an email box for your comments,responses must be received by February 13, 1997. Send your comments toisp [at] fcc [dot] gov and tell them what you think.Every phone company is in on this one, and they are trying to sneak it injust under the wire for litagation. Let everyone you know hear this one. Get the email address to everyone you can think of. That's isp [at] fcc [dot] gov Please forward this email to all your friends on the internet so all ourvoices may be heard. "Pipe Up and Be Heard!" ----- End Included Message ----- ----- End Included Message ----- From owner-reliable_computing Thu Mar 6 06:41:50 1997 Received: by interval.usl.edu id AA24729 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 6 Mar 1997 16:40:02 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA24723 (5.65c/IDA-1.4.4 for ); Thu, 6 Mar 1997 16:40:00 -0600 Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id OAA23669 for ; Thu, 6 Mar 1997 14:39:58 -0800 From: Bill.Walster [at] eng [dot] sun.com Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id OAA16011; Thu, 6 Mar 1997 14:39:54 -0800 Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id OAA09432; Thu, 6 Mar 1997 14:41:50 -0800 Date: Thu, 6 Mar 1997 14:41:50 -0800 Message-Id: <199703062241.OAA09432 [at] gww [dot] eng.sun.com> To: reliable_computing [at] interval [dot] usl.edu Subject: Re: Say NO! Internet Phone Charges X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk ----- Begin Included Message ----- From validgh [at] validgh [dot] com Thu Mar 6 13:13:50 1997 Date: Thu, 6 Mar 97 13:11:13 PST From: validgh [at] validgh [dot] com (David G. Hough working for Sun at validgh) To: Bill.Walster@Eng Subject: Re: Say NO! Internet Phone Charges X-Lines: 8 This came up on one of my mailing lists. I was told that it's a hoax in the form being circulated. However if the average percentage use of residential phone lines increaes during prime time, then SOMEBODY has to pay for the increased capacity in the central offices. Might as well be the people who are using their phones more. ----- End Included Message ----- From owner-reliable_computing Fri Mar 7 08:41:51 1997 Received: by interval.usl.edu id AA25344 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 7 Mar 1997 08:42:22 -0600 Received: from di.ufpe.br (recife.di.ufpe.br) by interval.usl.edu with SMTP id AA25338 (5.65c/IDA-1.4.4 for ); Fri, 7 Mar 1997 08:42:16 -0600 Received: from zumbi (zumbi.di.ufpe.br) by di.ufpe.br (4.1/SMI-4.1) id AA05122; Fri, 7 Mar 97 11:41:53 EST Received: from localhost by zumbi (SMI-8.6/SMI-SVR4) id LAA07419; Fri, 7 Mar 1997 11:41:52 -0300 Date: Fri, 7 Mar 1997 11:41:51 -0300 (EST) From: Regivan Hugo Nunes Santiago X-Sender: rhns@zumbi To: reliable_computing [at] interval [dot] usl.edu Subject: Interval Arithmetics Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk Dear friends! is there any arithmetic on the set of closed intervals, such that the resulting structure is a field. ps: Refererences are wellcome. Regards Regivan --------------------------- Regivan H. N. Santiago http://www.di.ufpe.br/~rhns Recife-Pernambuco/Brazil --------------------------- From owner-reliable_computing Fri Mar 7 03:08:22 1997 Received: by interval.usl.edu id AA25578 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 7 Mar 1997 09:09:32 -0600 Received: from bp.ucs.usl.edu by interval.usl.edu with SMTP id AA25572 (5.65c/IDA-1.4.4 for ); Fri, 7 Mar 1997 09:09:31 -0600 Received: from rbk5287.usl.edu (rbk5287.usl.edu [130.70.64.43]) by bp.ucs.usl.edu with SMTP id AA11912 (5.65c/IDA-1.4.4 for ); Fri, 7 Mar 1997 09:09:16 -0600 Message-Id: <2.2.32.19970307150822.006e8d54 [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 07 Mar 1997 09:08:22 -0600 To: Regivan Hugo Nunes Santiago , reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Re: Interval Arithmetics Sender: owner-reliable_computing Precedence: bulk Additive and multiplicative inverses exist in Kaucher arithmetic, except for intervals that contain zero. Various papers on this arithmetic have appeared in recent years, by Shary and others, in the journal "Reliable Computing" (formerly "Interval Computations"). You may wish to contact Sergey Shary at shary [at] ict [dot] nsk.su Best regards, Baker At 11:41 AM 3/7/97 -0300, Regivan Hugo Nunes Santiago wrote: > > Dear friends! is there any arithmetic on the set of closed >intervals, such that the resulting structure is a field. > >ps: Refererences are wellcome. --------------------------------------------------------------- R. Baker Kearfott, rbk [at] usl [dot] edu (318) 482-5346 (fax) (318) 482-5270 (work) (318) 981-9744 (home) URL: http://interval.usl.edu/kearfott.html Department of Mathematics, University of Southwestern Louisiana USL Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing Fri Mar 7 02:14:40 1997 Received: by interval.usl.edu id AA25943 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 7 Mar 1997 11:00:21 -0600 Received: from csc-sun.math.utah.edu by interval.usl.edu with SMTP id AA25937 (5.65c/IDA-1.4.4 for ); Fri, 7 Mar 1997 11:00:02 -0600 Received: from plot79.math.utah.edu (beebe [at] plot79 [dot] math.utah.edu [128.110.198.3]) by csc-sun.math.utah.edu (8.8.4/8.8.4) with ESMTP id JAA01161; Fri, 7 Mar 1997 09:14:42 -0700 (MST) From: "Nelson H. F. Beebe" Received: (from beebe@localhost) by plot79.math.utah.edu (8.8.4/8.8.4) id JAA02433; Fri, 7 Mar 1997 09:14:40 -0700 (MST) Date: Fri, 7 Mar 1997 09:14:40 -0700 (MST) To: reliable_computing [at] interval [dot] usl.edu, Amos Omondi Subject: New article on composite arithmetic Message-Id: Sender: owner-reliable_computing Precedence: bulk Some of you may be interested in this new article, which arrived in my mailbox yesterday; there is a sidebar on p. 72 that discusses the relation to Kulisch and Miranker's long accumulators, and the IBM ACRITH facility. @String{j-COMPUTER = "Computer"} @Article{Holmes:1997:CAP, author = "W. Neville Holmes", title = "Composite Arithmetic: Proposal for a New Standard", journal = j-COMPUTER, volume = "30", number = "3", pages = "65--73", month = mar, year = "1997", CODEN = "CPTRB4", ISSN = "0018-9162", URL = "ftp://ftp.comp.utas.edu.au/pub/nholmes/ca/dsdf.ps, ftp://ftp.comp.utas.edu.au/pub/nholmes/ca/dsrf.ps, ftp://ftp.comp.utas.edu.au/pub/nholmes/ca/dssf.ps", acknowledgement = ack-nhfb, bibdate = "Fri Mar 07 08:33:40 1997", } Although there is no reference to it, that paper rediscovers some of the ideas in this one: @String{j-J-ACM = "Journal of the ACM"} @Article{Clenshaw:1984:BFP, author = "C. W. Clenshaw and F. W. J. Olver", title = "Beyond Floating Point", journal = j-J-ACM, volume = "31", number = "2", pages = "319--328", month = apr, year = "1984", CODEN = "JACOAH", ISSN = "0004-5411", bibdate = "Wed Jan 15 18:12:53 MST 1997", bibsource = "Compendex database, ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib", abstract = "A new number system is proposed for computer arithmetic based on iterated exponential functions. The main advantage is to eradicate overflow and underflow, but there are several other advantages and these are described and discussed.", acknowledgement = ack-nhfb, affiliationaddress = "Univ of Lancaster, Dep of Mathematics, Lancaster, Engl", classification = "723", journalabr = "J Assoc Comput Mach", keywords = "computer arithmetic; computer metatheory; error analysis; mathematical techniques --- Digital Arithmetic; overflow; rounding error; underflow", } In both cases, I suspect that hardware architects may be skeptical of the possibilities of high-performance implementation of these unusual arithmetic systems. ======================================================================== Nelson H. F. Beebe Tel: +1 801 581 5254 Center for Scientific Computing FAX: +1 801 581 4148 Department of Mathematics, 105 JWB Internet: beebe [at] math [dot] utah.edu University of Utah URL: http://www.math.utah.edu/~beebe Salt Lake City, UT 84112, USA ======================================================================== From owner-reliable_computing Fri Mar 7 11:52:37 1997 Received: by interval.usl.edu id AA26345 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 7 Mar 1997 19:52:44 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA26339 (5.65c/IDA-1.4.4 for ); Fri, 7 Mar 1997 19:52:42 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA12913; Fri, 7 Mar 97 18:52:37 MST Date: Fri, 7 Mar 97 18:52:37 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9703080152.AA12913 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: interval website Cc: mkosh [at] cs [dot] utep.edu Sender: owner-reliable_computing Precedence: bulk Dear Colleagues, In order to (eventually) organize the interval website in a way that is most convenient for the users, we have added hit counters to all the files related to the "Reliable Computing" journal. These hit counters are invisible to the users and should not cause any problems, but, as always with new software, one cannot be 100% sure. If you notice any malfunctioning please let us know. We hope that there will be no inconveinece, but if there is any we apologize. Misha Vladik From owner-reliable_computing Sun Mar 9 11:43:34 1997 Received: by interval.usl.edu id AA27022 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 8 Mar 1997 07:43:43 -0600 Received: from ness.arch.usyd.EDU.AU (ness.arch.su.EDU.AU) by interval.usl.edu with SMTP id AA27016 (5.65c/IDA-1.4.4 for ); Sat, 8 Mar 1997 07:43:39 -0600 Received: from quoich.arch.su.EDU.AU. (quoich [129.78.66.252]) by ness.arch.usyd.EDU.AU (8.7.5/8.7.3) with ESMTP id AAA29528 for ; Sun, 9 Mar 1997 00:43:35 +1100 (EST) Received: from mailclient (localhost [127.0.0.1]) by quoich.arch.su.EDU.AU. (8.7.5/8.7.3) with ESMTP id AAA21388 for ; Sun, 9 Mar 1997 00:43:35 +1100 (EST) Message-Id: <199703081343.AAA21388 [at] quoich [dot] arch.su.EDU.AU.> To: reliable_computing [at] interval [dot] usl.edu Subject: Re: Interval Arithmetics Date: Sun, 09 Mar 1997 00:43:34 +1100 From: Simeon Simoff Sender: owner-reliable_computing Precedence: bulk There should be a master thesis of a student who was dealing with this issue. His supervisor was Dalcidio Moraes Claudio. You can contact him at dalcidio [at] urutu [dot] inf.ufrgs.br . Success! Simeon ------------------>> Baker's Follow-UP: > Additive and multiplicative inverses exist in Kaucher arithmetic, except > for intervals that contain zero. > Various papers on this arithmetic have appeared in recent years, by Shary > and others, in the journal "Reliable Computing" (formerly "Interval > Computations"). You may wish to contact Sergey Shary at shary [at] ict [dot] nsk.su > > Best regards, > > Baker > ------------------>> Santiago's Initial Message: > > > > Dear friends! is there any arithmetic on the set of closed > >intervals, such that the resulting structure is a field. > > > >ps: Refererences are wellcome. > > --------------------------------------------------------------- > R. Baker Kearfott, rbk [at] usl [dot] edu (318) 482-5346 (fax) > (318) 482-5270 (work) (318) 981-9744 (home) > URL: http://interval.usl.edu/kearfott.html > Department of Mathematics, University of Southwestern Louisiana > USL Box 4-1010, Lafayette, LA 70504-1010, USA > --------------------------------------------------------------- > From owner-reliable_computing Sun Mar 9 03:35:24 1997 Received: by interval.usl.edu id AA27663 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sun, 9 Mar 1997 11:35:33 -0600 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA27657 (5.65c/IDA-1.4.4 for ); Sun, 9 Mar 1997 11:35:28 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA11202; Sun, 9 Mar 97 10:35:24 MST Date: Sun, 9 Mar 97 10:35:24 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9703091735.AA11202 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: Java addition to the interval website Cc: mkosh [at] cs [dot] utep.edu Sender: owner-reliable_computing Precedence: bulk Dear Colleagues, We have added, as an experiment, a new Java-using section to the interval website. To get to this section, * click on Applications, and when there * click on "Optimal approximation of interval quadratic ..." The resulting page contains not only the text (in LaTeX and ps) but also a Java applet that enables a user to run the corresponding program from his/her computer and see the approximation results graphed and displayed right there on his/her screen. To run the Java applet, you need a Java-capable browser (e.g., * Netscape Navigator 2.0 or higher, * Microsoft Internet Explorer, etc.). If you do not have a Java-capable browser, then you must still be able to read the information about the algorithm. We checked this program and it seems to work, but just in case, if you try it and there is any problem, please contact Misha at mkosh [at] cs [dot] utep.edu (he is a Java person in our team). Misha and Vladik P.S. This took quite some time, so we are somewhat behind on updating the interval website. We apologize for that, and we will try to do the updates ASAP. From owner-reliable_computing Mon Mar 10 12:32:48 1997 Received: by interval.usl.edu id AA28130 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 10 Mar 1997 02:15:55 -0600 Received: from iph.bio.acad.bg ([194.141.4.1]) by interval.usl.edu with SMTP id AA28124 (5.65c/IDA-1.4.4 for ); Mon, 10 Mar 1997 02:15:39 -0600 Received: from biomath.bio.acad.bg (biomath.bio.acad.bg [194.141.4.32]) by iph.bio.acad.bg (8.7.1/8.7.1) with SMTP id KAA12571 for ; Mon, 10 Mar 1997 10:12:30 +0200 Message-Id: <199703100812.KAA12571 [at] iph [dot] bio.acad.bg> Comments: Authenticated sender is From: "Svetoslav Markov" Organization: Institute of Biophysics - BAS To: reliable_computing [at] interval [dot] usl.edu Date: Mon, 10 Mar 1997 10:32:48 +0200 Subject: Re: Interval Arithmetics Reply-To: smarkov [at] iph [dot] bio.acad.bg Priority: normal X-Mailer: Pegasus Mail for Windows (v2.23) Sender: owner-reliable_computing Precedence: bulk > Dear friends! is there any arithmetic on the set of closed > intervals, such that the resulting structure is a field. > > ps: Refererences are wellcome. > Regards > Regivan Such is the "hyperbolic arithmetic" described in: E. Kaucher: Interval Analysis in the Extended Interval Space IR, Computing Suppl., 2, 1980, 33--49. However, the hyperbolic arithemetic is not an extension of the familiar interval arithmetic. If you look for (isomophic) extensions, and not for a field exactly, but for something close to a field, then you should read about Kaucher's arithmetic --- see same reference. Recently I have been interested in Kaucher's arithmetic from abstract algebraic viewpoint: you may look at my lecture at INTERVAL'96, which I shall send to anybody interested. There is a website: http://www.math.acad.bg/~epopova/directed.html supporting some information about the algebraic extension of interval arithmetic: literature references, computer implementations, papers. Svetoslav Markov -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + Dr. Svetoslav Markov Section "Biomathematics", Inst. phone: +3592-713-3704, +3592-707460, of Mathematics and Computer Sci., fax: +3592-971-3649, +3592-707273 Bulgarian Academy of Sciences, e-mail: smarkov [at] iph [dot] bio.acad.bg "Acad. G. Bonchev" st., block 8, smarkov [at] bgearn [dot] bitnet, BG-1113 Sofia, BULGARIA smarkov [at] bgearn [dot] acad.bg home address: 11 Mizia, 1124 Sofia, tel. +3592-444651 -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + -- + From owner-reliable_computing Mon Mar 10 02:47:28 1997 Received: by interval.usl.edu id AA28395 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 10 Mar 1997 02:47:28 -0600 Received: from hp9000.hrz.uni-oldenburg.de by interval.usl.edu with SMTP id AA28389 (5.65c/IDA-1.4.4 for ); Mon, 10 Mar 1997 02:47:22 -0600 Received: from mathematik.uni-oldenburg.de (mathematik.uni-oldenburg.de [134.106.104.2]) by hp9000.hrz.uni-oldenburg.de (8.8.5/8.8.5/24.01.97) with ESMTP id JAA23810; Mon, 10 Mar 1997 09:48:58 +0100 (MET) Received: from FB6/MAILQUEUE by mathematik.uni-oldenburg.de (Mercury 1.21); 10 Mar 97 09:47:19 MEZ-1MESZ Received: from MAILQUEUE by FB6 (Mercury 1.21); 10 Mar 97 09:46:57 MEZ-1MESZ From: "Helmuth Spaeth" To: Bill.Walster [at] eng [dot] sun.com, owner-reliable_computing [at] interval [dot] usl.edu, reliable_computing [at] interval [dot] usl.edu Date: Mon, 10 Mar 1997 09:46:56 MET-1 Subject: Re: Conference announcement Reply-To: spaeth [at] mathematik [dot] uni-oldenburg.de Priority: normal X-Mailer: Pegasus Mail v3.22 Message-Id: <128D02DE24B7 [at] mathematik [dot] uni-oldenburg.de> Sender: owner-reliable_computing Precedence: bulk > Received: from MAILQUEUE by FB6 (Mercury 1.21); 5 Mar 97 06:10:17 MEZ-1MESZ > Return-path: > Received: from hp9000.hrz.uni-oldenburg.de by mathematik.uni-oldenburg.de (Mercury 1.21) with ESMTP; > 5 Mar 97 06:10:07 MEZ-1MESZ > Received: from hrz2.uni-oldenburg.de (hrz2.uni-oldenburg.de [134.106.35.101]) > by hp9000.hrz.uni-oldenburg.de (8.8.5/8.8.5/24.01.97) with ESMTP id GAA10820 > for ; Wed, 5 Mar 1997 06:11:45 +0100 (MET) > Resent-Message-Id: <199703050511.GAA10820 [at] hp9000 [dot] hrz.uni-oldenburg.de> > Received: from HRZ2/MAILQUEUE by hrz2.uni-oldenburg.de (Mercury 1.21); > 5 Mar 97 06:10:07 MEZ-1MESZ > Received: from MAILQUEUE by HRZ2 (Mercury 1.21); 5 Mar 97 06:10:02 MEZ-1MESZ > Received: from HRZ2/MAILQUEUE by hrz2.uni-oldenburg.de (Mercury 1.21) > for ; 5 Mar 97 06:10:02 MEZ-1MESZ > Resent-from: spaeth [at] hrz2 [dot] uni-oldenburg.de > Resent-to: spaeth [at] mathematik [dot] uni-oldenburg.de > Resent-Date: Wed, 5 Mar 97 6:10:02 MEZ-1MESZ > Received: from hp9000.hrz.uni-oldenburg.de by hrz2.uni-oldenburg.de (Mercury 1.21) with ESMTP; > 5 Mar 97 06:09:59 MEZ-1MESZ > Received: from listserv.gmd.de (listserv.gmd.de [192.88.97.1]) > by hp9000.hrz.uni-oldenburg.de (8.8.5/8.8.5/24.01.97) with ESMTP id GAA10814 > for <040624 [at] VMXA [dot] HRZ.UNI-OLDENBURG.DE>; Wed, 5 Mar 1997 06:11:35 +0100 (MET) > Received: from vm.gmd.de by listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <1.4D4023BE [at] listserv [dot] gmd.de>; Wed, 5 Mar 1997 6:09:52 +0100 > Received: from CUNYVM.CUNY.EDU (NJE origin MAILER@CUNYVMV2) by VM.GMD.DE > (LMail V1.2b/1.8b) with BSMTP id 5441; Wed, 5 Mar 1997 06:12:15 +0100 > Received: from CUNYVM (NJE origin SMTP5@CUNYVM) by CUNYVM.CUNY.EDU (LMail > V1.2c/1.8c) with BSMTP id 2614; Wed, 5 Mar 1997 00:08:24 -0500 > Received: from interval.usl.edu by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3) with > TCP; Wed, 05 Mar 97 00:08:22 EST > Received: from localhost by interval.usl.edu with SMTP id AA22477 > (5.65c/IDA-1.4.4); Tue, 4 Mar 1997 23:06:17 -0600 > Received: by interval.usl.edu id AA22287 (5.65c/IDA-1.4.4 for > reliable_computing-outgoing); Tue, 4 Mar 1997 22:06:13 -0600 > Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA22281 > (5.65c/IDA-1.4.4 for ); Tue, 4 > Mar 1997 22:06:08 -0600 > Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM > (SMI-8.6/mail.byaddr) with SMTP id UAA26821 for > ; Tue, 4 Mar 1997 20:06:03 -0800 > From: Bill.Walster [at] eng [dot] sun.com > Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id UAA29005; > Tue, 4 Mar 1997 20:06:00 -0800 > Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id UAA06908; Tue, 4 Mar 1997 > 20:07:53 -0800 > Date: Tue, 4 Mar 1997 20:07:53 -0800 > Message-Id: <199703050407.UAA06908 [at] gww [dot] eng.sun.com> > To: reliable_computing [at] interval [dot] usl.edu > Subject: Conference announcement > X-Sun-Charset: US-ASCII > Sender: owner-reliable_computing [at] interval [dot] usl.edu > Precedence: bulk > X-PMFLAGS: 33554560 > > > ----- Begin Included Message ----- > > From hpsno [at] matna2 [dot] dma.unina.it Tue Mar 4 06:33:07 1997 > Date: Tue, 4 Mar 1997 15:13:59 +0100 > From: hpsno [at] matna2 [dot] dma.unina.it (toraldo gerardo) > To: Bill.Walster@Eng, EROMEIJN [at] fac [dot] fbk.eur.nl, LEEN [at] sara [dot] nl, > SCHAIBLE [at] UCRAC1 [dot] UCR.EDU, STRONGIN [at] nnucnit [dot] nnov.su, > THOAI [at] ORSUN2 [dot] UNI-TRIER.DE, VOSS [at] BWL [dot] BWL.TH-DARMSTADT.DE, > antanas.zilinskas [at] info [dot] ped.lt, atorn [at] finabo [dot] abo.fi, > bbuyin [at] vaxa [dot] weeg.uiowa.edu, bobby [at] boulder [dot] colorado.edu, > g.wood [at] cqu [dot] edu.au, gaudioso [at] ccusc1 [dot] unical.it, > grw [at] math [dot] canterbury.ac.nz, hamersla [at] hr0evr5 [dot] bitnet, hotuy [at] math [dot] liu.se, > hwolkowi [at] orion [dot] math.uwaterloo.ca, kennedc1@ten-nash.ten.k12.tn.us, > klaus.schittkowski@uni-bayreuth.de, nikos [at] aristotle [dot] me.uiuc.edu, > nzshor [at] d120 [dot] icyb.kiev.ua, cip!reni [at] matna2 [dot] dma.unina.it, > rlsmith [at] engin [dot] umich.edu, rlsmith [at] umich [dot] edu, rosen [at] cs [dot] umn.edu, > rusz [at] iiasa [dot] ac.at, schoen [at] ghost [dot] dsi.unimi.it, sherali [at] vtvm1 [dot] cc.vt.edu, > strekal [at] uni [dot] irkutsk.su, teresa [at] ibguniv [dot] bitnet, thoai@uni-trier.de, > tind [at] math [dot] ku.dk, tind [at] mi [dot] aau.dk, torn [at] finabo [dot] abo.fi, > tuy [at] kop [dot] tu-graz.ada.at, vavasis [at] cs [dot] cornell.edu, > viswswrn [at] zeus [dot] princeton.edu, xue [at] emba [dot] uvm.edu, yakovlev [at] globlab [dot] msk.su, > zelda [at] max [dot] uwashington.edu, zelda [at] u [dot] washington.edu, > zenios [at] wharton [dot] upenn.edu > Subject: Conference announcement > X-Lines: 99 > > > ***************************************************************** > * CPS * > * Center for Research on Parallel Computing and Supercomputers * > * (National Research Center Council of Italy and * > * University of Naples "Federico II" ) * > * A N N O U N C E M E N T * > * Short Conference on * > * ``HIGH PERFORMANCE SOFTWARE FOR NONLINEAR OPTIMIZATION: * > * STATUS AND PERSPECTIVES''. Ischia, Italy 4 - 6 June 1997 * > * H P S N O 97 * > ***************************************************************** > > The Conference, which is planned to be organized biennially, fol- > lows the HPSNO95 Conference and will be held in Ischia (which > is one of the islands in the bay of Naples). > % > -------------------- AIM OF THE CONFERENCE ----------------------- > Putting together the recent progress in computer technology with > the latest algorithmic developments in the field of numerical > optimization represents an exciting challenge for researchers and > an interesting opportunity for dealing with very large ``real > life'' problems. > The focus of the conference is to cover the latest results in op- > timization software and, in particular, optimization software for > high performance computers. The conference will provide an over- > view of the nonlinear optimization field, including algorithms, > software evaluation, implementation issues, applications and fu- > ture areas of research through autoritative lectures given by > some of the most active researchers in the field. > % > ------------------ TOPICS OF INTEREST -------------------------- > include, but are not limited to: > (Parallel) Computational experiments, Large-Scale Constrained and > Unconstrained Problems, Global Optimization, Quadratic Program- > ming, Automatic Differentiation, Linear and Nonlinear Least > Squares, Numerical Linear Algebra problems arising in Optimization, > Solution of Large Nonlinear Systems, Nonsmooth Optimization, > Semidefinite optimization, Combinatorial Optimization, Complexity, > Applications in Sciences, Management and Engineering. > % > ---------------------- INVITED SPEAKERS ------------------------- > C. H. Bischof, Nick Gould, W. Hager,J.J. More', P. Pardalos, M.C. > Resende, P.L.Toint, M. Wright. > % > --------------------- CONFERENCE COMMITTEE ----------------------- > * Prof. Jorge More' (Argonne National Laboratory, Argonne, USA) > * Prof. Almerico Murli (CPS, ITALY) > * Prof. Panos Pardalos (University of Florida, Gainesville, USA) > * Prof. Gerardo Toraldo (CPS & University of Naples) > % > --------------------- CONTRIBUTED PAPERS ------------------------- > Contributed abstracts must reach the conference organizers by 10 > April. Authors will be notified of acceptance or rejection by > the end of April. The selected talks will last 15 minutes with an > additional 5 minutes being provided for discussion and questions. > % > ------------------------ PUBLICATIONS --------------------------- > All submitted papers will be refereed and considered for publication > after the conference (upon consent of their authors) by Kluwer. > A special issue of COMPUTATIONAL OPTIMIZATION and APPLICATION was > devoted to the HPSNO95 Conference. > % > ------------ REGISTRATION FEES AND LOCAL ARRANGEMENT --------- > A limited number of participants will be admitted to the Confer- > ence (max. 70) on a first-come first-served basis. > > The registration fees, which include admission to the confer- > ence, Book of abstractcs, List of participants, Lunch at the > Sporting Restaurant (4,5,6 June) and Gala Dinner is: > 3> 350US$ (300US$ for SIAM and SIMAI Members) until April 15, 1997; > 400US$ (340US$ for SIAM and SIMAI Members) for late registration. > > The Conference special prices for the Hotel accomoda > tion lodging and breakfast for 3 days range (approximatively) > between 550 US$ (lodging in single room, ***** Hotel) and 220 US$ > (lodging in twinbedded room, **** Hotel). Payments and reserva- > tions have to be made to > `Hotel Regina Isabella', > Lacco Ameno, Ischia 80076 - Italy > (Fax. +39-81-900190). Please, make your hotel reservation as soon > as possible, since just a limited number of rooms has been > reserved for the conference. > --------------------- IMPORTANT DATES ---------------------------- > % > * April 10 1997 - Submission of abstracts and Conference Applica- > tions. > * April 30 1997 - Notification of acceptance. > * April 5 1997 - Hotel reservation. > % > ------------------------- INFORMATION ----------------------------- > For information or for registration, send an e-mail message to > hpsno [at] matna2 [dot] dma.unina.it > or contact http://pixel.dma.unina.it/Events/HPSNO97.html > or send a fax or a letter to Almerico Murli or to Gerardo > Toraldo: CPS - Via Cintia, Monte S.Angelo 80126, Napoli - ITALY. > fax# +39-81-7662106 > E-MAIL: murli [at] matna2 [dot] dma.unina.it toraldo [at] matna2 [dot] dma.unina.it > > > ----- End Included Message ----- > > ); Mon, 10 Mar 1997 12:07:20 -0600 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA09142; Mon, 10 Mar 97 11:07:17 MST Date: Mon, 10 Mar 97 11:07:17 MST From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9703101807.AA09142 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: ECCAD-97 (East Coast Computer Algebra Day) Sender: owner-reliable_computing Precedence: bulk THE FOURTH EAST COAST COMPUTER ALGEBRA DAY Please note that we are now accepting (1) registration applications (free): eccad97-reg [at] ccs [dot] neu.edu (2) poster submissions: eccad97-poster [at] ccs [dot] neu.edu (3) requests for financial support for travel and accomodations: eccad97-reg [at] ccs [dot] neu.edu For general information, please write to: eccad97 [at] ccs [dot] neu.edu --- THE FOURTH EAST COAST COMPUTER ALGEBRA DAY A one day meeting to stimulate activity in Computer Algebra Northeastern University Boston, MA Saturday, May 3, 1997 9:30 A.M. - 4:30 P.M. ------------------------------------------------------------------------------- SECOND ANNOUNCEMENT AND CALL FOR PAPERS The fourth annual East Coast Computer Algebra Day will be held at Northeastern University, Boston, Massachusetts, on May 3, 1997. The first meeting of the series was held at Drexel University in Philadelphia, Pennsylvania, followed by the University of Delaware, in Newark, Delaware, and IBM Watson Laboratories, Yorktown Heights, New York. The fourth meeting will address topics similar to the ones in the preceding three, including: * Symbolic, algebraic, and symbolic-numerical algorithms. * Computer algebra systems, software systems, experience with implementations of significant algorithms. * Applying symbolic, algebraic, and symbolic-numerical algorithms to problems in the sciences, engineering, economics, and other areas. There will be talks in each of the areas by invited speakers. The program will include time for informal gatherings of participants. A session for the poster presentation of new and ongoing research, is scheduled. Abstracts of the posters will be published in the SIGSAM Bulletin, and a version of posters to be displayed on the Web is also solicited. Registration should be sent to eccad97-reg [at] ccs [dot] neu.edu . Please include (1) your name (2) your address (3) your affiliation (4) your e-mail Poster submissions should be sent to eccad97-poster [at] ccs [dot] neu.edu . Please include the information above, and also an abstract for your poster. The abstract should be (preferably) in LaTeX source, not to exceed 300 words. Vendor displays and software demonstrations are also anticipated. If you are interested in such a display or demonstration, please send e-mail to eccad97 [at] ccs [dot] neu.edu . Registration is FREE. Funds are available in the form of grants to cover travel and lodging. Please send requests for such support to eccad97-reg [at] ccs [dot] neu.edu . A copy of this announcement is available at http://www.ccs.neu.edu/home/gene/eccad97.html. Please direct any general questions to eccad97 [at] ccs [dot] neu.edu . From owner-reliable_computing Wed Mar 12 19:05:05 1997 Received: by interval.usl.edu id AA01475 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 13 Mar 1997 02:47:17 -0600 Received: from neblina.reacciun.ve by interval.usl.edu with SMTP id AA01469 (5.65c/IDA-1.4.4 for ); Thu, 13 Mar 1997 02:47:13 -0600 Received: from amuvenw105 (ccs1-slip8.reacciun.net.ve [150.188.1.43]) by neblina.reacciun.ve (8.8.5/8.8.5) with ESMTP id EAA19929; Thu, 13 Mar 1997 04:46:43 +0400 (GMT) Message-Id: <199703130046.EAA19929 [at] neblina [dot] reacciun.ve> From: "Claudio M. Rocco S." To: Cc: "claudio" Subject: Interval Analysis Course Request Date: Wed, 12 Mar 1997 23:05:05 -0400 X-Msmail-Priority: Normal X-Priority: 3 X-Mailer: Microsoft Internet Mail 4.70.1155 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Mime-Autoconverted: from 8bit to quoted-printable by neblina.reacciun.ve id EAA19929 Sender: owner-reliable_computing Precedence: bulk Dear researchers, I would appreciate information regarding existing courses in Interval, descriptions, contents,existing teaching material, text books, student software .... I have scheduled, I think, the first Interval Course at Universidad Centr= al de Venezuela, so I welcome any suggestions. Thanks in advance. Claudio M. Rocco S. Facultad de Ingenier=EDa=20 DIOC Universidad Central de Venezuela crocco [at] reacciun [dot] ve From owner-reliable_computing Wed Mar 12 22:51:36 1997 Received: by interval.usl.edu id AA01888 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 13 Mar 1997 04:52:54 -0600 Received: from bp.ucs.usl.edu by interval.usl.edu with SMTP id AA01882 (5.65c/IDA-1.4.4 for ); Thu, 13 Mar 1997 04:52:51 -0600 Received: from rbk5287.usl.edu (rbk5287.usl.edu [130.70.64.43]) by bp.ucs.usl.edu with SMTP id AA06006 (5.65c/IDA-1.4.4 for ); Thu, 13 Mar 1997 04:52:42 -0600 Message-Id: <2.2.32.19970313105136.006fac50 [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Thu, 13 Mar 1997 04:51:36 -0600 To: "Claudio M. Rocco S." , From: "R. Baker Kearfott" Subject: Re: Interval Analysis Course Request Cc: "claudio" Sender: owner-reliable_computing Precedence: bulk Dear Claudio, My book, "Rigorous Global Search: Continuous Problems" (Kluwer, 1996, $60 if for classroom use) contains two large introductory chapters in which basic interval techniques are explained. It also explains INTLIB and INTERVAL_ARITHMETIC, publicly available ACM Transactions on Mathematical Software algorithms for a minimalist interval data type in Fortran 90. The book also contains numerous exercises. However, the general tone of "Rigorous Global Search" may be on more of a graduate level. On the other hand, I have been incorporating interval computations into our general introductory undergraduate numerical analysis course over the past several years. Although a standard, official text has been chosen by departmental committee, I have produced numerous supplements and descriptions of assignments that involve interval computations. The home page for the course is: http://interval.usl.edu/455/455.html You will find some material on interval analysis when you click on "Resources,", "Course outline," "Course notes and handouts," "Examples that were presented in class", or "Assignments" from the above URL. You are welcome to use the material there, although please realize that this URL was designed mainly for the students, and also I haven't yet had time to organize the notes into a coherent whole, or to make sure that there are no errors in them. Arnold Neumaier is in the process of completing a numerical analysis text that has interval computations as an integral part. You may wish to contact him at neum [at] cma [dot] univie.ac.at A somewhat older numerical analysis text constructed around the "precision arithmetic" version of interval arithmetic is: "Precise Numerical Analysis," Oliver Aberth, Wm. C. Brown, Dubuque, Iowa, 1988. The University of Karlsruhe routinely offers courses in interval arithmetic. In particular, a perusal of the Karlsruhe web site led me to a course Rudolf Lohner (Rudolf.Lohner [at] math [dot] uni-karlsruhe.de) recently taught. See: http://www.uni-karlsruhe.de/~Rudolf.Lohner/vorlss96.html Check out the general pages: http://www.uni-karlsruhe.de/~iam/html/lehre.html or the top page: http://www.uni-karlsruhe.de/~iam/index.html (Note: Much of the latter is in German, but you can choose between German and English for some material. No hay ningun materia alli en Espaniol.) I'll welcome responses that mention any resources that I have missed. Best regards, Baker At 11:05 PM 3/12/97 -0400, Claudio M. Rocco S. wrote: >Dear researchers, > >I would appreciate information regarding existing courses in Interval, >descriptions, contents,existing teaching material, text books, student >software .... > >I have scheduled, I think, the first Interval Course at Universidad Central >de Venezuela, so I welcome any suggestions. > >Thanks in advance. > > --------------------------------------------------------------- R. Baker Kearfott, rbk [at] usl [dot] edu (318) 482-5346 (fax) (318) 482-5270 (work) (318) 981-9744 (home) URL: http://interval.usl.edu/kearfott.html Department of Mathematics, University of Southwestern Louisiana USL Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing Thu Mar 13 02:39:29 1997 Received: by interval.usl.edu id AA02428 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 13 Mar 1997 13:21:17 -0600 Received: from venus.Sun.COM by interval.usl.edu with SMTP id AA02422 (5.65c/IDA-1.4.4 for ); Thu, 13 Mar 1997 13:19:40 -0600 Received: from Eng.Sun.COM ([129.146.1.25]) by venus.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id LAA06297 for ; Thu, 13 Mar 1997 11:19:23 -0800 From: Bill.Walster [at] eng [dot] sun.com Received: from gww.eng.sun.com by Eng.Sun.COM (SMI-8.6/SMI-5.3) id KAA27946; Thu, 13 Mar 1997 10:37:32 -0800 Received: by gww.eng.sun.com (SMI-8.6/SMI-SVR4) id KAA18407; Thu, 13 Mar 1997 10:39:29 -0800 Date: Thu, 13 Mar 1997 10:39:29 -0800 Message-Id: <199703131839.KAA18407 [at] gww [dot] eng.sun.com> To: reliable_computing [at] interval [dot] usl.edu Subject: Summer Internships X-Sun-Charset: US-ASCII Sender: owner-reliable_computing Precedence: bulk It is time to make plans for summer. If you know of good students who would be interested in a summer internship, please ask them to send a resume and a suggested project. If it is possible to do something that will help facilitate our university R & D effort, that would be great. Regards, Bill From owner-reliable_computing Fri Mar 14 11:36:46 1997 Received: by interval.usl.edu id AA03301 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 14 Mar 1997 10:20:00 -0600 Received: from math.univ-paris13.fr (zeus.math.univ-paris13.fr) by interval.usl.edu with SMTP id AA03290 (5.65c/IDA-1.4.4 for ); Fri, 14 Mar 1997 10:07:04 -0600 Received: from f1f.univ-paris13.fr (f1f.univ-paris13.fr [192.33.182.3]) by math.univ-paris13.fr (8.8.4/jb-1.1) id LAA15384 ; Fri, 14 Mar 1997 11:50:05 +0100 (MET) Received: from univ-paris13.fr (ura1507.univ-paris13.fr) by f1f.univ-paris13.fr (4.1/SMI-4.1) id AA01134; Fri, 14 Mar 97 11:52:04 GMT Received: by univ-paris13.fr (SMI-8.6/SMI-SVR4) id LAA18004; Fri, 14 Mar 1997 11:36:46 GMT Date: Fri, 14 Mar 1997 11:36:46 GMT From: esslli97 [at] ura1507 [dot] univ-paris13.fr (Ecole d'ete) Message-Id: <199703141136.LAA18004@univ-paris13.fr> To: esslli97-list [at] ura1507 [dot] univ-paris13.fr, esslli97 [at] ura1507 [dot] univ-paris13.fr Subject: ESSLLI97 : Call for Participation X-Sun-Charset: ISO-8859-1 Sender: owner-reliable_computing Precedence: bulk ------------------------------------------------------------------------------- -LLLLLLL--LLLLLLL--LLLLLLL---LLL-------LLL-------LLL-----L--LLLLLLL---LLLLLLL-- -LLL------LLL------LLL-------LLL-------LLL-------LLL---L----LLLLLLL-------LLL-- -LLLLLL---LLLLLLL--LLLLLLL---LLL-------LLL-------LLL------------LLL-------LLL-- -LLL----------LLL------LLL---LLL-------LLL-------LLL------------LLL-------LLL-- -LLLLLLL--LLLLLLL--LLLLLLL---LLLLLLL---LLLLLLL---LLL------------LLL-------LLL-- ------------------------------------------------------------------------------- ESSLLI'97 European Summer School in Logic, Language, and Information _________ Aix-en-Provence, France August 11 - 22, 1997 http://www.lpl.univ-aix.fr/~esslli97 _________ Contents : - General Information - Registration Form - Programme & contacts +---------------------+ | GENERAL INFORMATION | +---------------------+ Logic, Language and Information have attracted and brought together a large number of active researchers from disciplines such as Logic, Computer Science, Linguistics and Cognitive Science, who consider the use of logical techniques (broadly conceived) as a thread unifying their research efforts. The European Summer School in LLI (ESSLLI) has become the main meeting place for young researchers and research students in this rapidly growing field. ESSLLI is a unique, interdisciplinary event, with no counterparts in Europe or elsewhere in the world. The main focus of the summer school is the interface between logic, linguistics and computation as far as it concerns the modelling of human language and cognitive abilities. The 1997 summer school programme includes courses, workshops and symposia covering a variety of topics within six areas of interest: Logic, Language, Computation, Logic and Computation, Computation and Language, Language and Logic. ESSLLI'97 will take place at the Aix-en-Provence Faculty of Arts(University of Aix-Marseille I). This Faculty is close to the old town centre. There are regular connections by bus (25 mns) from the international airport of Marseille and by train (30mns) from Marseille. The Faculty is at a 10 minute walking distance from the railway station. Calendar -------- April 30th Early registration deadline May 3rd Deadline of the student session call for papers May 30th Deadline for student grants application June 15th Accomodation reservation deadline 1. Registration Fees -------------------- . Registration fees only cover the participation in this summer school. Miscellaneous expenses (accomodation, meals and social activities) are in addition. . The registration deadline to get the early registration fare is : April 1997, 30th. . Students must enclose with the registration form a photocopy of their student card. . Members of FoLLI get a discount of 30 FF for students and 50 FF for others. ----------------+---------------------------------------+-------------------+ Status | Early registration (before 4/30/97) | Late registration | ----------------+---------------------------------------+-------------------| Student | 1.100 FF | 1.400 FF | Scholar | 1.900 FF | 2.300 FF | Industrial | 3.800 FF | 4.600 FF | ----------------+---------------------------------------+-------------------+ 2. Accomodation --------------- >>>>>> Reservation should be made before June, 15th <<<<<<< . Hotel : Two classes of hotels are available. A deposit will be necessary to book a room. The prices include breakfast. Classes - 250-300 FF / night (Deposit : 600 FF) - 350-400 FF / night (Deposit : 1200 FF) . Hall of residence: - 70 FF / night (Complete payment at the reservation) 3. Meals -------- . It is possible to have lunches at the University cafeteria. A reservation is necessary before June 1997, 30th. Reservations and payments have to be made on the basis of full weeks Luncheon vouchers (day by day) will be provided at your arrival. . The cafeteria of the University will be closed on August, 15th. . It is also possible to buy sandwiches on the campus of the University. - First week (4 meals) = 100 FF - Second week (5 meals) = 125 FF 4. Social events ---------------- Two Thursday evening parties will be organized (buffet, concert) one on August 14 and one on August 21. To attend you should buy a ticket valid for both parties at 200 FF per person. This ticket includes the buffet and the concerts. 5. Tee-shirt ------------ The ESSLLI'97 Tee-shirt is on sale at the price of 50 FF. +-------------------+ | REGISTRATION FORM | +-------------------+ Name: ________________________________________________ First Name: __________________________________________ Institution: _________________________________________ Address: ___________________________________________________________________ ____________________________________________________________________ ____________________________________________________________________ Country: ____________________________________________ Phone : ____________________________ Fax : _____________________________ E-mail : __________________________________________ Member of FoLLI : o Yes o No 1. Registration Fees -------------------- ----------------+---------------------------------------+-------------------+ Status | Early registration (before 4/30/97) | Late registration | ----------------+---------------------------------------+-------------------| Student | o 1.100 FF | o 1.400 FF | Scholar | o 1.900 FF | o 2.300 FF | Industrial | o 3.800 FF | o 4.600 FF | ----------------+---------------------------------------+-------------------+ 2. Accomodation --------------- - Day of arrival : _____________ - Day of departure : _____________ - Number of nights : _____________ . Hotel : Classes o 250-300 FF / night (Deposit : 600 FF) o 350-400 FF / night (Deposit : 1200 FF) . Hall of residence: o 70 FF / night (Complete payment at the reservation) - Total amount : __________ 3. Meals -------- o First week (4 meals) = 100 FF o Second week (5 meals) = 125 FF - Total amount : __________ 4. Social events ---------------- o I would like to take part in ESSLLI parties - Number of tickets : __________ - Total amount : __________ 5. Tee-shirt ------------ o I would like to buy one (or several) tee-shirt(s) - Number of tee-shirts and size: ____ L ____ XL ____ XXL - Total amount: __________ +-------------------+ | Method of payment | +-------------------+ 1. Detailed account ------------------- Registration fees : FF ___________________________ Accomodation : FF ___________________________ Meals: FF ___________________________ Social events : FF ___________________________ Tee-shirt : FF ___________________________ Amount: FF ___________________________ Credit card charges (Japan : 4,5 %, Other countries : 3%) FF ___________________________ TOTAL AMOUNT : FF ___________________________ 2. Methods of payment --------------------- . Cheques : Made out in French Francs, payable to FoLLI. . Bank transfers : - Sorry but you will have to pay the banking charges (if you don't, your registration will be considered as incomplete). - Please enclose with this form a copy of your transfer. This copy should mention the name and adress of your bank. - Do not forget to write down your name on the transfer. - The bank transfer must be done in French Francs on the account: Bank : ABN-AMRO Account number : 45 20 12 449 Swift Code: ABNANL 2A References : ESSLLI'97 / your name Address : Vereniging FoLLI Plantage Muidergracht 24 1018 TV AMSTERDAM The Netherlands . Credit cards : Credit card charges are yours. Whatever your credit card is, credit card charges represent 4,5% of the total amount if your payment comes from Japan and 3% if your payment comes from any other foreign country. o VISA o Mastercard o American Express Cardholder's Name : ______________________________________________________ Card number : ____________________________________ Expiration date : ________________________________ Amount : _________________________________________ Signature : _______________________________________ . If these methods of payment are inconvenient, it will be possible for you to pay cash once you are in Aix. In this case, you will have to pay the late registration fee and you will have to book your room yourself. Some exceptions to these arrangements can be made for people coming from countries which do not allow any of the long distance methods of payment above. 3. Cancellation --------------- - Cancellations received before June 1997, 15th: . running costs = 400FF - Cancellations received after June 1997, 15th: . running costs = 50% of the registration fees . no reimbursement of the deposits paid for the hotel Date : _____________________ Signature : __________________________________ To return by e-mail to : esslli97 [at] lpl [dot] univ-aix.fr A copy of this registration form together with the justificatory of payment and the copy of the student card has to be sent by surface mail to : ESSLLI'97 LPL - Universiti de Provence 29 Avenue Robert Schuman 13621 Aix-en-Provence FRANCE +---------------------+ | ESSLLI'97 PROGRAMME | +---------------------+ LANGUAGE -------- Introductory Courses -------------------- B. Dorr (Univ. of Maryland) & P. Saint-Dizier (Univ. of Toulouse): Lexical Semantics of Predicative Forms M. Pickering (Univ. of Glasgow) & M. Crocker (Univ. of Edinburgh): Human Sentence Comprehension Advanced Courses ---------------- M. Moortgat (Univ. of Utrecht) & P. Oehrle (Univ. of Arizona): Grammatical Resources: Logic & Structure C. Gardent (Univ. of Saarlandes): The Syntax and Semantics of Focus A. Abeille, D. Godard (Univ. of Paris) & P. Miller (Univ. of Lille): The Major Syntactic Structures of French Workshop --------- D. Brown (Univ. of Surrey) Formal Elegance and Natural Complexity in Morphology Symposium --------- N. Asher (Univ. of Texas): Applications of Pragmatic Theories of Discourse to Natural Language Interpretation _________________________________________________________ LOGIC ----- Introductory Courses -------------------- L. Moss (Univ. of Indiana): Circularity S. Feferman (Stanford Univ.) & G. Jaeger (Univ. of Bern): Applicative Theories and Variable Types Advanced Courses ---------------- A. Sernadas & C. Sernadas (Univ. of Lisbon): Categorial Techniques for Combining Logics L. Hella (Univ. of Helsinki): Finite Model Theory L. Beklemishev (Steklov Mathematical Institute): Provability and Reflection Workshop -------- F. Wolter & M. Zakharyaschev (JAIST): Topics in Polymodal Logic Symposium --------- J. Makowsky (Technion): Translations, Reductions and Interpretations _________________________________________________________ COMPUTATION ----------- Introductory Courses -------------------- P. Van Hentenryck (Brown Univ.): Constraint Programming for Combinatorial Search Problems. B. C. Pierce (Indiana Univ.): Programming in the Pi-Calculus Advanced Courses ---------------- A. Podelski (MPI): Set Constraints, Their Use for Program Analysis and for Solving Constraint Problems over (Feature) Trees R. Backofen & P. Clote (Univ. of Munich): Computational Biology T. Fruehwirth ((Univ. of Munich): Constraint Reasoning _________________________________________________________ LANGUAGE & LOGIC ---------------- Introductory Courses -------------------- N. Asher (Univ. of Texas) & T. Fernando ((Univ. of Stuttgart): Logical Aspects of the Semantics-Pragmatics Interface in Discourse J. Groenendijk & M.Stokhof ((Univ. of Amsterdam) : Update Semantics & Discourse Coherence R. Zuber (Univ. of Paris): Logics and Grammars as Deductive Systems Advanced Courses ---------------- M. A. Moshier (Chapman Univ.): Category-Theoretic Foundations of Formal Linguistics E. Keenan & E. Stabler (UCLA): Mathematical Linguistics and Abstract Grammar H. A. Costa (Carnegie-Mellon Univ.) & K. Segerberg (Uppsala): AGM in and out of Focus Workshops --------- S. Peters (Stanford Univ.) & J. van der Does (Univ. of Amsterdam): Quantifiers, Collectivity and Reciprocals A. Ranta (Univ. of Helsinki): The Informal Language of Mathematics Symposium --------- T. Jansen (Univ. of Amsterdam) & P. Pagin (Stockholm Univ.): Compositionality: Logical and Meaning Theoretical Aspects _________________________________________________________ LANGUAGE & COMPUTATION ---------------------- Introductory Courses -------------------- B. Krenn & C. Samuelsson (Univ. of Saarlandes): Statistical Methods in Computational Linguistics E. Hinrichs, D. Meurers (Univ. of Tuebingen) & J. Nerbonne (Groningen): Grammar Development in Constraint-Based Grammar Formalisms P. Blackburn & J. Bos (Univ. of Saarlandes): Representation and Inference for Natural Languages: A First Course in Computational Semantics Advanced Courses ---------------- R. Gaizauskas (Univ. of Sheffield): Information Extraction M. Johnson (Brown Univ.) & M. Kay (Stanford Univ.): Deductive Approaches to Constraint-Based Parsing and Generation A. Lecomte (Grenoble), G. Morrill (UPC Barcelona) & C. Retore (INRIA): Geometry of Language Workshop -------- C. Paris (CSIRO) & R. Dale (MRI): Natural Language Generation Symposium --------- A. Zaenen (Rank Xerox Research Centre) Grammar Writing as Software Development _________________________________________________________ LOGIC & COMPUTATION ------------------- Introductory Courses -------------------- F. Baader (Univ. of Aachen): Terminological Reasoning G. Brewka (Univ. of Leipzig) & J. Dix (Univ. of Koblenz): Extended Logic Programming and Knowledge Representation Advanced Courses ---------------- J. Mullins (Univ. of Brest): Recursion Theory and Concurrency Models A. Dawar (Univ. of Wales) & I. Stewart (Leicester Univ.): Logic and Computation with Finite Structures V. Marek & M. Truszczynski (Univ. of Kentucky): Nonmonotonic Reasoning: a Computational Perspective B. Rounds (Univ. of Michigan): Domain Theory and its Applications in LLC Workshops --------- J. Vaananen (Univ. of Helsinki): Generalized Quantifiers and Computation Symposium --------- W. van der Hoek (Utrecht), Y. Lesperance (York Univ.) & R. Scherl (Heights): Logical Approaches to Agent Modelling and Design +----------+ | Contacts | +----------+ Philippe Blache ESSLLI'97 LPL - Universite de Provence 29, Avenue Robert Schuman 13621 Aix-en-Provence FRANCE fax: +33 442.59.50.96 tel: +33 442.59.20.73 e-mail : esslli97 [at] lpl [dot] univ-aix.fr http://www.lpl.univ-aix.fr/~esslli97 Programme Committee ------------------- Sergei Artemov (Moscow) Daniele Godard (Paris) Georg Gottlob (Vienna) Bill Keller (Sussex), CHAIR Gert Smolka (Saarbruecken) Dag Westerstahl (Stockholm) Organising Committee -------------------- Anne Abeille (TALANA, Paris) Gabriel Bes (GRIL, Clermont-Ferrand) Philippe Blache (2LC, Sophia-Antipolis), CHAIR Christophe Fouquere (LIPN, Paris) Daniele Godard (LLF, Paris) Benoit Habert (ENS, Fontrenay) Alain Lecomte (INRIA, Nancy) Philip Miller (SILEX, Lille) Christian Jacquemin (IRIN, Nantes) Monique Rolbert (LIM, Marseille) Paul Sabatier (LIM, Marseille) Patrick Saint-Dizier (IRIT, Toulouse) Jean Veronis (LPL, Aix-en-Provence) Annie Zaenen (RXRC, Grenoble) Richard Zuber (LLF, Paris) Pierre Zweigenbaum (DIAM, Paris) From owner-reliable_computing Fri Mar 14 11:42:42 1997 Received: by interval.usl.edu id AA03398 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 14 Mar 1997 10:27:46 -0600 Received: from math.univ-paris13.fr (zeus.math.univ-paris13.fr) by interval.usl.edu with SMTP id AA03385 (5.65c/IDA-1.4.4 for ); Fri, 14 Mar 1997 10:24:14 -0600 Received: from f1f.univ-paris13.fr (f1f.univ-paris13.fr [192.33.182.3]) by math.univ-paris13.fr (8.8.4/jb-1.1) id LAA15422 ; Fri, 14 Mar 1997 11:53:00 +0100 (MET) Received: from univ-paris13.fr (ura1507.univ-paris13.fr) by f1f.univ-paris13.fr (4.1/SMI-4.1) id AA01156; Fri, 14 Mar 97 11:54:59 GMT Received: by univ-paris13.fr (SMI-8.6/SMI-SVR4) id LAA18158; Fri, 14 Mar 1997 11:42:42 GMT Date: Fri, 14 Mar 1997 11:42:42 GMT From: esslli97 [at] ura1507 [dot] univ-paris13.fr (Ecole d'ete) Message-Id: <199703141142.LAA18158@univ-paris13.fr> To: esslli97-list [at] ura1507 [dot] univ-paris13.fr, esslli97 [at] ura1507 [dot] univ-paris13.fr Subject: ESSLLI'97 (Call for participation) X-Sun-Charset: ISO-8859-1 Sender: owner-reliable_computing Precedence: bulk (we apologize if you receive this message twice) ------------------------------------------------------------------------------- -LLLLLLL--LLLLLLL--LLLLLLL---LLL-------LLL-------LLL-----L--LLLLLLL---LLLLLLL-- -LLL------LLL------LLL-------LLL-------LLL-------LLL---L----LLLLLLL-------LLL-- -LLLLLL---LLLLLLL--LLLLLLL---LLL-------LLL-------LLL------------LLL-------LLL-- -LLL----------LLL------LLL---LLL-------LLL-------LLL------------LLL-------LLL-- -LLLLLLL--LLLLLLL--LLLLLLL---LLLLLLL---LLLLLLL---LLL------------LLL-------LLL-- ------------------------------------------------------------------------------- ESSLLI'97 European Summer School in Logic, Language, and Information _________ Aix-en-Provence, France August 11 - 22, 1997 http://www.lpl.univ-aix.fr/~esslli97 _________ Contents : - General Information - Registration Form - Programme & contacts +---------------------+ | GENERAL INFORMATION | +---------------------+ Logic, Language and Information have attracted and brought together a large number of active researchers from disciplines such as Logic, Computer Science, Linguistics and Cognitive Science, who consider the use of logical techniques (broadly conceived) as a thread unifying their research efforts. The European Summer School in LLI (ESSLLI) has become the main meeting place for young researchers and research students in this rapidly growing field. ESSLLI is a unique, interdisciplinary event, with no counterparts in Europe or elsewhere in the world. The main focus of the summer school is the interface between logic, linguistics and computation as far as it concerns the modelling of human language and cognitive abilities. The 1997 summer school programme includes courses, workshops and symposia covering a variety of topics within six areas of interest: Logic, Language, Computation, Logic and Computation, Computation and Language, Language and Logic. ESSLLI'97 will take place at the Aix-en-Provence Faculty of Arts(University of Aix-Marseille I). This Faculty is close to the old town centre. There are regular connections by bus (25 mns) from the international airport of Marseille and by train (30mns) from Marseille. The Faculty is at a 10 minute walking distance from the railway station. Calendar -------- April 30th Early registration deadline May 3rd Deadline of the student session call for papers May 30th Deadline for student grants application June 15th Accomodation reservation deadline 1. Registration Fees -------------------- . Registration fees only cover the participation in this summer school. Miscellaneous expenses (accomodation, meals and social activities) are in addition. . The registration deadline to get the early registration fare is : April 1997, 30th. . Students must enclose with the registration form a photocopy of their student card. . Members of FoLLI get a discount of 30 FF for students and 50 FF for others. ----------------+---------------------------------------+-------------------+ Status | Early registration (before 4/30/97) | Late registration | ----------------+---------------------------------------+-------------------| Student | 1.100 FF | 1.400 FF | Scholar | 1.900 FF | 2.300 FF | Industrial | 3.800 FF | 4.600 FF | ----------------+---------------------------------------+-------------------+ 2. Accomodation --------------- >>>>>> Reservation should be made before June, 15th <<<<<<< . Hotel : Two classes of hotels are available. A deposit will be necessary to book a room. The prices include breakfast. Classes - 250-300 FF / night (Deposit : 600 FF) - 350-400 FF / night (Deposit : 1200 FF) . Hall of residence: - 70 FF / night (Complete payment at the reservation) 3. Meals -------- . It is possible to have lunches at the University cafeteria. A reservation is necessary before June 1997, 3