From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 4 11:40:16 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA13431 for reliable_computing-outgoing; Tue, 4 Jan 2000 11:40:16 -0600 (CST) Received: from zmit1.ippt.gov.pl (zmit1.ippt.gov.pl [148.81.53.8]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA13426 for ; Tue, 4 Jan 2000 11:40:00 -0600 (CST) Received: (from zkulpa@localhost) by zmit1.ippt.gov.pl (8.8.5/8.7.3-zmit) id SAA05967; Tue, 4 Jan 2000 18:39:55 +0100 (MET) Date: Tue, 4 Jan 2000 18:39:55 +0100 (MET) From: Zenon Kulpa Message-Id: <200001041739.SAA05967 [at] zmit1 [dot] ippt.gov.pl> To: reliable_computing [at] interval [dot] usl.edu Subject: Re: INTERVAL'2000 Cc: zkulpa [at] zmit1 [dot] ippt.gov.pl, axel.facius [at] math [dot] uni-karlsruhe.de Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk > From owner-reliable_computing [at] interval [dot] usl.edu Tue Dec 14 18:08:34 1999 > From: Axel Facius > > Unfortunately, we forgot to mention, that Interval 2000 will jointly > be held in Karlsruhe next year. Last month I fixed this failing in > our scan2000 homepage http://www.scan2000.de and of course, the second > announcement (to be sent out in February 2000) will contain this > information too. > I have just had a look at the site, but besides the single sentence stating "Held jointly with the Interval 2000 conference" there is no further information about the Interval conference, nor any link to pages containing, possibly, that information. So, where I can find a place to see that information and possibly register my intent to take part in it? -- Zenon Kulpa From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 4 12:45:27 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA13788 for reliable_computing-outgoing; Tue, 4 Jan 2000 12:45:27 -0600 (CST) Received: from interval.usl.edu (rbk5287@interval [130.70.43.77]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with SMTP id MAA13783 for ; Tue, 4 Jan 2000 12:45:24 -0600 (CST) Message-Id: <200001041845.MAA13783 [at] interval [dot] usl.edu> Date: Tue, 4 Jan 2000 12:45:24 -0600 (CST) From: "Kearfott R. Baker" Reply-To: "Kearfott R. Baker" Subject: CADE-17 submission deadline is January 15 To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: q7IeINc/hI/L+LmQho2F+w== X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4m sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------- Begin Forwarded Message ------------- From: David McAllester Subject: CADE-17 submission deadline is January 15 For the last 25 years CADE has been the major forum for the presentation of papers in automated deduction. CADE-17 The 17th International Conference on Automated Deduction Final Call for Papers http://www.research.att.com/conf/cade/ June 17-20, 2000 Pittsburgh, Pennsylvania, USA Submission Deadline January 15 ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 4 13:19:58 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id NAA14167 for reliable_computing-outgoing; Tue, 4 Jan 2000 13:19:58 -0600 (CST) Received: from mx.eng.iastate.edu (mx.eng.iastate.edu [129.186.23.116]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id NAA14160; Tue, 4 Jan 2000 13:19:54 -0600 (CST) Received: by mx.eng.iastate.edu with Internet Mail Service (5.5.2650.21) id ; Tue, 4 Jan 2000 12:59:26 -0600 Message-ID: <873F9637C545D311A5C500902771C8593215B6 [at] mx [dot] eng.iastate.edu> From: "Berleant, D." To: "'Kearfott R. Baker'" , reliable_computing [at] interval [dot] usl.edu Subject: Endowed Chair position Date: Tue, 4 Jan 2000 12:59:25 -0600 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2650.21) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, Here is an opportunity to build a major research program in the interval computations field. Please consider it. DB --- An endowed chair position at the full professor rank is available in the ECE department at Iowa State University. Please consider the potential of this position for yourself, or nominate a qualified individual. Area of interest is flexible. Ames, IA is one of the most livable communities in the US with a public school system ranked among the best nationwide. ISU is the birthplace of the Atanasoff-Berry computer, often considered the first electronic digital computer (http://www.scl.ameslab.gov/ABC/). The official announcement is appended. Please feel free to email me informally if you have any questions. Best Regards, Dan POSITION ANNOUNCEMENT Department of Electrical and Computer Engineering Iowa State University of Science and Technology invites applications for The Jerry R. Junkins Chair, Information Systems. The areas of interest include software engineering, hardware/software codesign, human-computer interaction, information technology, internet technology, multimedia/hypermedia, software architectures, wireless/cellular communications, telecommunications, and VLSI systems/CAD for VLSI. Applicants should have a) an earned doctorate in electrical engineering or a related discipline, b) exceptional leadership capabilities in their technical area of expertise, c) demonstrated ability to interact productively with the industrial community and/or governmental agencies, d) outstanding record of scholarly activity, and e) national and international recognition. The responsibilities include 1) teaching at the undergraduate and graduate levels, 2) pursuing leading edge research and publishing research results in leading journals and conferences, 3) guiding graduate students, 4) seeking, establishing, and maintaining external research funding, 5) providing leadership in faculty and program development, and 6) participating in outreach activities. Full information can be found at http://www.ee.iastate.edu. Applicants should send a letter of application and a resume including names and addresses of at least 3 references to, Chair, Electrical and Computer Engineering, 2215 Coover Hall, Iowa State University, Ames, IA 50011. ISU is an EO/AA employer. From owner-reliable_computing [at] interval [dot] usl.edu Wed Jan 5 07:12:02 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id HAA16727 for reliable_computing-outgoing; Wed, 5 Jan 2000 07:12:02 -0600 (CST) Received: from skiff.cs.vu.nl (root [at] skiff [dot] cs.vu.nl [192.31.231.56]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id HAA16722 for ; Wed, 5 Jan 2000 07:11:59 -0600 (CST) Received: by skiff.cs.vu.nl (Smail #64) id m125qEE-000TggC; Wed, 5 Jan 2000 14:11 +0100 Message-Id: Subject: CL2000: 3rd call for papers To: reliable_computing [at] interval [dot] usl.edu Date: Wed, 5 Jan 2000 14:11:54 +0100 (MET) From: "Raamsdonk van F" X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk *** apologies for multiple copies *** First International Conference on Computational Logic, CL2000 Imperial College, London, UK 24th to 28th July, 2000 http://www.doc.ic.ac.uk/cl2000 3rd call for papers The deadline for submission of papers to CL2000 is FEBRUARY 1, 2000. Papers on all aspects of the theory, implementation, and application of Computational Logic are invited, where Computational Logic is to be understood broadly as the use of logic in Computer Science. Papers can be submitted to one the following seven streams of CL2000 (each stream has its own separate program committee): - Database Systems (DOOD2000) - Program Development (LOPSTR2000) - Knowledge Representation and Non-monotonic Reasoning - Automated Deduction: Putting Theory into Practice - Constraints - Logic Programming: Theory and Extensions - Logic Programming: Implementations and Applications The last three streams effectively constitute the former ICLP conference series that will be now integrated into CL2000. Please note the following: - Further details on formatting of the papers, publisher, etcetera are available via the webpage of the conference. - Authors will be notified of acceptance/rejection by 15th April, 2000. - Camera-ready versions must be received by 15th May, 2000. CL2000 is co-locating with ILP2000, the 10th International Conference on Inductive Logic Programming. The call for papers of ILP2000 (deadline for submission of papers: 29 March 2000) and further information is available via http://www.cs.york.ac.uk/ILP-events/ILP-2000 From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 7 08:38:15 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id IAA22335 for reliable_computing-outgoing; Fri, 7 Jan 2000 08:38:15 -0600 (CST) Received: from automatix.informatik.uni-wuerzburg.de (root [at] wi2x40 [dot] informatik.uni-wuerzburg.de [132.187.10.40]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA22330 for ; Fri, 7 Jan 2000 08:38:11 -0600 (CST) Received: from informatik.uni-wuerzburg.de (i2-dhcp-0 [132.187.10.130]) by automatix.informatik.uni-wuerzburg.de (8.8.8/8.8.8) with ESMTP id PAA28876; Fri, 7 Jan 2000 15:37:58 +0100 Message-ID: <38760856.2982A695 [at] informatik [dot] uni-wuerzburg.de> Date: Fri, 07 Jan 2000 16:37:58 +0100 From: "=?iso-8859-1?Q?J=FCrgen?= Wolff v. Gudenberg" X-Mailer: Mozilla 4.7 [de] (WinNT; I) X-Accept-Language: de MIME-Version: 1.0 To: Zenon Kulpa CC: reliable_computing [at] interval [dot] usl.edu, axel.facius [at] math [dot] uni-karlsruhe.de Subject: Re: INTERVAL'2000 References: <200001041739.SAA05967 [at] zmit1 [dot] ippt.gov.pl> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk I interpret the term 'held jointly with Interval 2000' in the way that everything is cupled tightly, so there is only one conference with 2 titles,but 1 call for paper, 1 scientific committee, 1 program , joint publication possibility. and I think that is a reasonable way to run the conference. Juergen WvG Zenon Kulpa schrieb: > > From owner-reliable_computing [at] interval [dot] usl.edu Tue Dec 14 18:08:34 1999 > > From: Axel Facius > > > > Unfortunately, we forgot to mention, that Interval 2000 will jointly > > be held in Karlsruhe next year. Last month I fixed this failing in > > our scan2000 homepage http://www.scan2000.de and of course, the second > > announcement (to be sent out in February 2000) will contain this > > information too. > > > I have just had a look at the site, > but besides the single sentence stating > "Held jointly with the Interval 2000 conference" > there is no further information about the Interval > conference, nor any link to pages containing, possibly, > that information. > > So, where I can find a place to see that information > and possibly register my intent to take part in it? > > -- Zenon Kulpa From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 7 08:58:02 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id IAA22622 for reliable_computing-outgoing; Fri, 7 Jan 2000 08:58:02 -0600 (CST) Received: from zmit1.ippt.gov.pl (zmit1.ippt.gov.pl [148.81.53.8]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA22617 for ; Fri, 7 Jan 2000 08:57:53 -0600 (CST) Received: (from zkulpa@localhost) by zmit1.ippt.gov.pl (8.8.5/8.7.3-zmit) id PAA08485; Fri, 7 Jan 2000 15:57:56 +0100 (MET) Date: Fri, 7 Jan 2000 15:57:56 +0100 (MET) From: Zenon Kulpa Message-Id: <200001071457.PAA08485 [at] zmit1 [dot] ippt.gov.pl> To: wolff [at] informatik [dot] uni-wuerzburg.de Subject: Re: INTERVAL'2000 Cc: reliable_computing [at] interval [dot] usl.edu, axel.facius [at] math [dot] uni-karlsruhe.de Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk > From wolff [at] informatik [dot] uni-wuerzburg.de Fri Jan 7 15:38:25 2000 > Date: Fri, 07 Jan 2000 16:37:58 +0100 > From: "=?iso-8859-1?Q?J=FCrgen?= Wolff v. Gudenberg" > > I interpret the term 'held jointly with Interval 2000' in the way that > everything is cupled tightly, so there is only one conference > with 2 titles, but > 1 call for paper, > 1 scientific committee, > 1 program , > joint publication possibility. > > and I think that is a reasonable way to run the conference. > > Juergen WvG > Very good, I have no basic objections against such an arrangement, but then it should be explicitly stated at the website - that it is SCAN/IINTERVAL2000 Conference (or something like that), and the call for papers, conference topics, etc. should contain terminology & subject areas of both fields represented. Currently it is not so - the site specifically says only about SCAN, and the almost only mention of intervals is in this sentence: "Held jointly with the Interval 2000 conference" (the second one is in the laudable quote from Prof. Gustafson). And that somehow does not satisfy me. -- Zenon Kulpa > Zenon Kulpa schrieb: > [...] > > I have just had a look at the site, > > but besides the single sentence stating > > "Held jointly with the Interval 2000 conference" > > there is no further information about the Interval > > conference, nor any link to pages containing, possibly, > > that information. > > > > So, where I can find a place to see that information > > and possibly register my intent to take part in it? > > From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 7 09:53:07 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA23045 for reliable_computing-outgoing; Fri, 7 Jan 2000 09:53:07 -0600 (CST) Received: (from rbk5287@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA23039 for reliable_computing; Fri, 7 Jan 2000 09:53:05 -0600 (CST) Date: Fri, 7 Jan 2000 09:53:05 -0600 (CST) From: "Kearfott R. Baker" Message-Id: <200001071553.JAA23039 [at] interval [dot] usl.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: LAA vol 304 X-Sun-Charset: US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ----- Begin Included Message ----- Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison 608-271-8477 (Home FAX) Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ ContentsDirect from Elsevier Science ===================================== URL: http://www.elsevier.nl/locate/jnlnr/07738 Journal: Linear Algebra and Its Applications ISSN : 0024-3795 Volume : 304 Issue : 1-3 Date : 06-Jan-2000 pp 1-31 The correlations with identity companion automorphism, of finite desarguesian planes BC Kestenband pp 33-43 On pseudomatroid property of matrices R Sridhar, SN Kabadi pp 45-68 A quantitative version of the observation that the Hadamard product is a principal submatrix of the Kronecker product G Visick pp 69-101 The Picard group of a structural matrix algebra J Haefner pp 103-108 Range kernel orthogonality of derivations BP Duggal pp 109-118 Semigroups of EP linear transformations G Lesnjak pp 119-129 On the cone of completely positive linear transformations DA Yopp pp 131-139 On factorization of matrix polynomials J Maroulas pp 141-159 Linear operators preserving multivariate majorization LB Beasley pp 161-171 A factorization of totally nonsingular matrices over a ring with identity M Fiedler pp 173-177 Gersgorin variations I: On a theme of Pupkov and Solov'ev AJ Hoffman pp 179-179 Challenges in Matrix Theory 2000 pp 181-192 Matrix rigidity B Codenotti pp 193-200 Matrix rank and communication complexity B Codenotti pp 201-201 Author index NOTE: ContentsDirect, which is automatically generated by Elsevier, lists the first author of each paper and the corresponding author (if different). ----- End Included Message ----- From owner-reliable_computing [at] interval [dot] usl.edu Sat Jan 8 16:20:06 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id QAA26451 for reliable_computing-outgoing; Sat, 8 Jan 2000 16:20:06 -0600 (CST) Received: from marnier.ucs.usl.edu (root@ucs-gw.usl.edu [130.70.40.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id QAA26446 for ; Sat, 8 Jan 2000 16:20:03 -0600 (CST) Received: from u8174 (rbk5287 [at] goedel [dot] usl.edu [130.70.49.203]) by marnier.ucs.usl.edu (8.9.1/8.9.1/ucs-mx-host_1.3) with SMTP id QAA16725 for ; Sat, 8 Jan 2000 16:20:00 -0600 (CST) Message-Id: <2.2.32.20000108222223.00687c80 [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="iso-8859-1" Date: Sat, 08 Jan 2000 16:22:23 -0600 To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Re: INTERVAL'2000 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.usl.edu id QAA26447 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Yes, that seems reasonable. In particular some years back we discussed biennial versus annual conferences, with a view towards the rate of progress in the field, size of the community, etc. We did not want to dilute a conference or pose undue burdens by holding conferences too frequently. If I recall correctly, we recommended holding INTERVAL* and SCAN* meetings in alternate years. The same people appear to attend the INTERVAL* and SCAN* meetings. Finally, the number of experts in the field appears to be stable over the last decade (although there appears to be an increase in the number of people who are peripherally interested, and there have been some very interesting and important developments in recent years). Best regards, Baker At 04:37 PM 1/7/00 +0100, Jürgen Wolff v. Gudenberg wrote: >I interpret the term 'held jointly with Interval 2000' in the way that >everything is >cupled tightly, so there is only one conference >with 2 titles,but >1 call for paper, >1 scientific committee, >1 program , >joint publication possibility. > >and I think that is a reasonable way to run the conference. > >Juergen WvG > >Zenon Kulpa schrieb: > >> > From owner-reliable_computing [at] interval [dot] usl.edu Tue Dec 14 18:08:34 1999 >> > From: Axel Facius >> > >> > Unfortunately, we forgot to mention, that Interval 2000 will jointly >> > be held in Karlsruhe next year. Last month I fixed this failing in >> > our scan2000 homepage http://www.scan2000.de and of course, the second >> > announcement (to be sent out in February 2000) will contain this >> > information too. >> > >> I have just had a look at the site, >> but besides the single sentence stating >> "Held jointly with the Interval 2000 conference" >> there is no further information about the Interval >> conference, nor any link to pages containing, possibly, >> that information. >> >> So, where I can find a place to see that information >> and possibly register my intent to take part in it? >> >> -- Zenon Kulpa > > --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 11 02:03:48 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA00873 for reliable_computing-outgoing; Tue, 11 Jan 2000 02:03:48 -0600 (CST) Received: from ostrich.prod.itd.earthlink.net (ostrich.prod.itd.earthlink.net [207.217.120.14]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id CAA00867 for ; Tue, 11 Jan 2000 02:03:40 -0600 (CST) Received: from thrush.prod.itd.earthlink.net (thrush.prod.itd.earthlink.net [207.217.121.96]) by ostrich.prod.itd.earthlink.net (8.8.7/8.8.5) with ESMTP id QAA20734 for ; Mon, 10 Jan 2000 16:37:08 -0800 (PST) Received: from company.mail (ip135.garden-city2.ny.pub-ip.psi.net [38.26.50.135]) by thrush.prod.itd.earthlink.net (8.9.3/8.9.3) with SMTP id QAA12364 for ; Mon, 10 Jan 2000 16:36:44 -0800 (PST) Received: from ramas.com [192.0.0.5] by company.mail [127.0.0.1] with SMTP (MDaemon.v2.7.SP5.R) for ; Mon, 10 Jan 2000 19:10:57 -0500 Message-ID: <387A73CD.B565C799 [at] ramas [dot] com> Date: Mon, 10 Jan 2000 19:05:33 -0500 From: Scott Ferson Organization: Applied Biomathematics X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: "reliable_computing [at] interval [dot] usl.edu" Subject: uncertainty workshop Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-MDaemon-Deliver-To: reliable_computing [at] interval [dot] usl.edu X-Return-Path: scott [at] ramas [dot] com Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk UNCERTAINTY Its Nature, Analytical Treatment and Interpretation 10-11 February 2000 Key Bridge Marriott Arlington, Virginia This two-day forum on uncertainty will bring together theorists and practitioners in risk analysis, policy making, philosophy and computer science to address the emerging issues about what it means to admit we're unsure. The questions to be addressed include What’s the real difference between wishful thinking and a prudent assumption? Is it essential to distinguish uncertainty from variability and ambiguity? Can Bayesian rationality be consistent with open and democratic decision making? Is probability theory the only consistent approach for handling uncertainty? What are the practical implications of epistemological constraints? When is a decision defensible even if the data it’s based on are incomplete? Do bright-line definitions of ‘adverse effects’ thwart optimal decision making? The conference is intended as a forum for discussion and debate, rather than merely a teaching workshop. The forum will be focused by short presentations by invited speakers and will allow ample time for open-format discussion and debate among all participants. Speakers include Timothy Barry, U.S. Environmental Protection Agency Vicki Bier, University of Wisconsin at Madison Rosina Bierbaum, Environment Director, White House OSTP Todd Bridges, U.S. Army Corps of Engineers Mark Colyvan, University of Tasmania Douglas Dixon, Electric Power Research Institute Scott Ferson, Applied Biomathematics, (organizer) Adam Finkel, Director of Health Standards, OSHA Kathryn Blackmond Laskey, George Mason University Deborah Mayo, Virginia Polytechnic Institute Richard Neapolitan, Northeastern Illinois University Teddy Seidenfeld, Carnegie Mellon University Ronald Yager, Iona College The forum is sponsored by the Society for Risk Analysis, with co-sponsorship by the U.S. Army Engineer Research and Development Center and the Electric Power Research Insitute. The deadline for early registration is 26 January 2000. Consult the webpage http://www.ramas.com/feb1011.htm for more information and registration details. From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 11 12:05:16 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA00757 for reliable_computing-outgoing; Tue, 11 Jan 2000 12:05:16 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA00752 for ; Tue, 11 Jan 2000 12:05:08 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.9.3+Sun/8.9.1) with SMTP id LAA05165 for ; Tue, 11 Jan 2000 11:04:53 -0700 (MST) Message-Id: <200001111804.LAA05165 [at] cs [dot] utep.edu> Date: Tue, 11 Jan 2000 11:04:53 -0700 (MST) From: vladik Reply-To: vladik Subject: TCS special issue on CCA To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: fvMcsXLX6mYTWB7TpvPdqg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------- Begin Forwarded Message ------------- Date: Tue, 11 Jan 2000 17:32:26 +0100 From: Vasco Brattka X-Accept-Language: en MIME-Version: 1.0 Subject: TCS special issue on CCA Content-Transfer-Encoding: 7bit ---------- C A L L F O R P A P E R S ---------- THEORETICAL COMPUTER SCIENCE Special issue : Computability and Complexity in Analysis This is a call for papers for a special issue of the Journal "Theoretical Computer Science". Guest Editors: Ker-I Ko, Anil Nerode, Klaus Weihrauch. Important Dates: - Deadline for submissions: March 15, 2000 - Notification of acceptance/rejection: May 15, 2000 - Deadline for final version: July 15, 2000 Computability and Complexity in Analysis is a field of increasing importance in theoretical computer science. On the one hand, it provides a theoretical background for numerical analysis and for the numerous numerical computations performed by digital computers. On the other hand, it is an important and very promising field of research. Computability and Complexity in Analysis combines discrete computability and complexity essentially based on the Turing machine model with concepts for approximation well known from Analysis, Functional Analysis, Measure Theory, Domain Theory etc. This special issue will contain papers presented on the seminar "CCA'99" which took place at Dagstuhl in November 1999 (http://www.informatik.fernuni-hagen.de/cca/). Also authors who have not participated are encouraged to submit. Language of presentation: English Please send 4 copies of a full paper to: Klaus Weihrauch Theoretische Informatik I FernUniversitaet D-58084 HAGEN GERMANY As an alternative, you are encouraged to send a PostScript version of your full paper to: klaus.weihrauch@fernuni-hagen.de (subject: TCS) If you prepare your paper in LaTeX, you should use Elsevier-LaTeX (see ``Guide for authors'' in http://www.elsevier.nl), standard LaTeX or AMS-LaTeX (in document style 'article'). ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Sun Jan 16 12:07:08 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA14289 for reliable_computing-outgoing; Sun, 16 Jan 2000 12:07:08 -0600 (CST) Received: from kleene.math.wisc.edu (kleene.math.wisc.edu [144.92.166.90]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA14284 for ; Sun, 16 Jan 2000 12:07:04 -0600 (CST) Received: from forelli.math.wisc.edu (forelli.math.wisc.edu [144.92.166.70]) by kleene.math.wisc.edu (8.9.3/8.9.3) with SMTP id LAA18735; Sun, 16 Jan 2000 11:59:05 -0600 (CST) Date: Sun, 16 Jan 2000 12:18:04 -0600 (CST) From: Hans Schneider To: NETS -- at-net , "Hershkowitz, Danny -- Hershkowitz Daniel" , Danny Hershkowitz , E-LETTER , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA vol 305 contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison 608-271-8477 (Home FAX) Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans --- ContentsDirect from Elsevier Science ===================================== URL: http://www.elsevier.nl/locate/jnlnr/07738 Journal: Linear Algebra and Its Applications ISSN : 0024-3795 Volume : 305 Issue : 1-3 Date : 21-Jan-2000 pp 1-14 Ranks of submatrices and the off-diagonal indices of a square matrix E Marques De Sa pp 15-21 The number of Kronecker indices of square pencils of a special kind E Marques De Sa pp 23-31 On the Hadamard product of inverse M-matrices B Wang, F Zhang pp 33-46 Order intervals of matrices ML Thornburg, RD Hill pp 47-65 Creation and annihilation in matrix theory R Hartwig pp 67-86 On transitive linear semigroups R Drnovsek, L Livshits pp 87-97 On the Hu-Hurley-Tam conjecture concerning the generalized numerical range CHEMAN Cheng, CHIKWONG Li pp 99-105 On an inequality for the Hadamard product of an M-matrix and its inverse Y Song pp 107-129 An integer programming problem and rank decomposition of block upper triangular matrices H Bart pp 131-149 Families of vectors with prescribed rank partition and a prescribed subfamily A Fonseca pp 151-159 Singular values, diagonal elements, and extreme matrices HF Miranda pp 161-171 The conjugacy classes of fixed point free elements in Gl_n(F) and SL_n(F) JIZHU Nan pp 173-185 Difference equations in a general setting DJ Hartfiel pp 187-190 Rank factorization and bordering of regular matrices over commutative rings E Ballico pp 191-201 A dimension formula for the nucleus of a Veronese variety J Gmainer, H Havlicek pp 203-203 Author index ------- NOTE: ContentsDirect, which is automatically generated, lists the first author of each paper and the corresponding author (if different). From owner-reliable_computing [at] interval [dot] usl.edu Sun Jan 16 12:21:43 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA14600 for reliable_computing-outgoing; Sun, 16 Jan 2000 12:21:43 -0600 (CST) Received: from marnier.ucs.usl.edu (root@ucs-gw.usl.edu [130.70.40.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA14595 for ; Sun, 16 Jan 2000 12:21:40 -0600 (CST) Received: from u8174 (rbk5287 [at] goedel [dot] usl.edu [130.70.49.203]) by marnier.ucs.usl.edu (8.9.1/8.9.1/ucs-mx-host_1.3) with SMTP id MAA25085 for ; Sun, 16 Jan 2000 12:21:34 -0600 (CST) Message-Id: <2.2.32.20000116182405.00766bf0 [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: Sun, 16 Jan 2000 12:24:05 -0600 To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: temporary service disruption on interval.louisiana.edu Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, The power will be out on campus between 13:00 GMT and approximately 21:00 GMT on Monday, January 17, 2000. Postings to this mailing list will be delayed, and ftp services and web services on interval.louisiana.edu (alias interval.usl.edu) will be unavailable at that time. Rest assured that things are properly backed up, etc. Best regards, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Wed Jan 19 15:07:53 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id PAA04058 for reliable_computing-outgoing; Wed, 19 Jan 2000 15:07:53 -0600 (CST) Received: from into.nit.spb.ru (into.nit.spb.ru [212.193.6.225]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id PAA04053 for ; Wed, 19 Jan 2000 15:07:30 -0600 (CST) Received: from slava.UUCP (uucp@localhost) by into.nit.spb.ru (8.8.7/8.8.7) with UUCP id AAA19443 for reliable_computing [at] interval [dot] usl.edu; Thu, 20 Jan 2000 00:11:19 +0300 (MSK) (envelope-from slava.nit.spb.su!nest [at] slava [dot] nit.spb.su) Received: by slava.nit.spb.su (dMail for DOS v1.23, 15Jun94); Thu, 20 Jan 2000 00:03:33 +0300 To: reliable_computing [at] interval [dot] usl.edu Message-Id: Organization: Slava Nesterov Date: Thu, 20 Jan 2000 00:03:33 +0300 (MSK) Reply-To: nest [at] into [dot] nit.spb.su From: "Slava Nesterov" X-Mailer: dMail [Demos Mail for DOS v1.23] Subject: Reliable Computing, issue 2, 2000 Lines: 60 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Reliable Computing Volume 6, Issue 2, 2000 The Hull of Preconditioned Interval Linear Equations Eldon R. Hansen 95-103 Finding All Solutions of Nonlinear Equations Using Linear Combinations of Functions Kiyotaka Yamamura 105-113 Computation of the Bernstein Coefficients on Subdivided Triangles Ralf Hungerbuehler, Juergen Garloff 115-121 Jacobi and Gauss-Seidel Iterations for Polytopic Systems: Convergence via Convex M-Matrices Dusan M. Stipanovic, Dragoslav D. Siljak 123-137 A Coherence Space of Rational Intervals for a Construction of \IRhead Gracaliz P. Dimuro, Antonio Carlos da R. Costa, Dalcidio M. Claudio 139-178 Interval Branch and Bound Algorithm for Finding the First-Zero-Crossing-Point in One-Dimensional Functions Leocadio G. Casado, Inmaculada F. Garcia, Yaroslav D. Sergeyev 179-191 Accelerated Shift-and-Add Algorithms Nathalie Revol, Jean-Claude Yakoubsohn 193-205 Mathematical Function Software on the Web - Are Such Codes Useful for Verification Algorithms? Werner Hofschuster, Walter Kraemer 207-218 Every Superinterval of the Function Range Can Be an Interval-Computations Enclosure Misha Koshelev 219-223 Reminiscences Eldon R. Hansen 225 Erratum to: A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations (Reliable Computing {\bf 5 (2) (1999)) Arnold Neumaier 227  From owner-reliable_computing [at] interval [dot] usl.edu Wed Jan 19 16:35:51 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id QAA04497 for reliable_computing-outgoing; Wed, 19 Jan 2000 16:35:51 -0600 (CST) Received: from marnier.ucs.usl.edu (root@ucs-gw.usl.edu [130.70.40.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id QAA04492 for ; Wed, 19 Jan 2000 16:35:43 -0600 (CST) Received: from u8174 (rbk5287 [at] goedel [dot] usl.edu [130.70.49.203]) by marnier.ucs.usl.edu (8.9.1/8.9.1/ucs-mx-host_1.3) with SMTP id QAA26403 for ; Wed, 19 Jan 2000 16:35:25 -0600 (CST) Message-Id: <2.2.32.20000119223529.00709a24 [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: Wed, 19 Jan 2000 16:35:29 -0600 To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Solution of systems with complex variables Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, I am collecting references on specialized numerical methods (both verified methods and approximate methods) for solving systems of $n$ nonlinear equations in $n$ complex variables. I would be very appreciative if you could send me your work, work of others, or standard references, preferably (but not necessarily) in BibTeX format. Also, if I have overlooked a previous bibliography on the subject, please tell me. I can post the collection I get, as people wish. Best regards, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Thu Jan 20 02:31:26 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA05433 for reliable_computing-outgoing; Thu, 20 Jan 2000 02:31:26 -0600 (CST) Received: from mbox.diima.unisa.it (cesare.diiie.unisa.it [193.205.164.10]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with SMTP id CAA05428 for ; Thu, 20 Jan 2000 02:31:03 -0600 (CST) Received: from pc2.diiie.unisa.it [193.205.164.124] (HELO pc1) by mbox.diima.unisa.it (AltaVista Mail V2.0/2.0 BL23 listener) id 0000_0074_3886_c6b6_4441; Thu, 20 Jan 2000 09:26:30 +0100 Message-Id: <4.1.20000120091959.0091b8a0 [at] cesare [dot] diiie.unisa.it> X-Sender: spanish [at] cesare [dot] diiie.unisa.it X-Mailer: QUALCOMM Windows Eudora Pro Version 4.1 Date: Thu, 20 Jan 2000 09:30:06 +0100 To: reliable_computing [at] interval [dot] usl.edu From: "G.Spagnuolo" Subject: Systems of non linear equations Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear researchers, I am searching for papers/software for solving systems of non linear equations characterized by a very sparse jacobian matrix of great dimensions (the order is 100-200, with less than 10 non-zero elements for each row). I think INTLAB could be a good environment to develop an algorithm that involves sparse matrices. Do you have any useful suggestion about some interval based approach oriented to this particular kind of non linear systems? Thanks in advance. Regards. Giovanni -- Dr. Giovanni Spagnuolo, Ph.D. Assistant Professor Dipartimento di Ingegneria dell'Informazione ed Ingegneria Elettrica D.I.I.I.E. University of Salerno Via Ponte Don Melillo I-84084 Fisciano (SA) - ITALY Phone +39 089 964258 Fax +39 089 964218 NOTE: NEW E-MAIL ADDRESS --> e-mail spanish [at] ieee [dot] org <--- From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 21 09:52:19 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA09184 for reliable_computing-outgoing; Fri, 21 Jan 2000 09:52:19 -0600 (CST) Received: from happy.dt.uh.edu (happy.dt.uh.edu [129.7.174.25]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with SMTP id JAA09179 for ; Fri, 21 Jan 2000 09:52:04 -0600 (CST) Received: by happy.dt.uh.edu (950413.SGI.8.6.12/940406.SGI.AUTO) for reliable_computing [at] interval [dot] usl.edu id JAA00731; Fri, 21 Jan 2000 09:28:33 -0800 From: "Chenyi Hu" Message-Id: <10001210928.ZM729 [at] happy [dot] dt.uh.edu> Date: Fri, 21 Jan 2000 09:28:33 -0800 In-Reply-To: "G.Spagnuolo" "Systems of non linear equations" (Jan 20, 9:30am) References: <4.1.20000120091959.0091b8a0 [at] cesare [dot] diiie.unisa.it> X-Mailer: Z-Mail (3.2.3 08feb96 MediaMail) To: reliable_computing [at] interval [dot] usl.edu Subject: Re: Systems of non linear equations Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk On Jan 20, 9:30am, G.Spagnuolo wrote: > Subject: Systems of non linear equations > Dear researchers, > I am searching for papers/software for solving systems of non linear > equations characterized by a very sparse jacobian matrix of great > dimensions (the order is 100-200, with less than 10 non-zero elements for > each row). Yes, we have a paper published. Reliable Computing 1(3), 1995, pp. 251-263. A General Iterative Sparse Linear Solver and Its Parallelization for Interval Newton Methods. Chenyi Hu -- Ph.D., Associate Professor, Computer and Mathematical Sciences Center for Computational Science and Advanced Distributed Simulation University of Houston-Downtown Phone: 713 221-8414 One Main Street Fax: 713 221-8086 Houston, Texas 77002 E-mail: CHu [at] uh [dot] edu http://happy.dt.uh.edu/~hu/Hu.html On Jan 20, 9:30am, G.Spagnuolo wrote: > Subject: Systems of non linear equations > Dear researchers, > I am searching for papers/software for solving systems of non linear > equations characterized by a very sparse jacobian matrix of great > dimensions (the order is 100-200, with less than 10 non-zero elements for > each row). > I think INTLAB could be a good environment to develop an algorithm that > involves sparse matrices. > Do you have any useful suggestion about some interval based approach > oriented to this particular kind of non linear systems? > Thanks in advance. > Regards. > Giovanni > > > -- > Dr. Giovanni Spagnuolo, Ph.D. > Assistant Professor > Dipartimento di Ingegneria dell'Informazione ed Ingegneria Elettrica > D.I.I.I.E. > University of Salerno > Via Ponte Don Melillo > I-84084 Fisciano (SA) - ITALY > Phone +39 089 964258 > Fax +39 089 964218 > > NOTE: NEW E-MAIL ADDRESS > --> e-mail spanish [at] ieee [dot] org <--- >-- End of excerpt from G.Spagnuolo From owner-reliable_computing [at] interval [dot] usl.edu Mon Jan 24 09:20:21 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA23068 for reliable_computing-outgoing; Mon, 24 Jan 2000 09:20:21 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA23063 for ; Mon, 24 Jan 2000 09:20:17 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.9.3+Sun/8.9.1) with SMTP id IAA11854 for ; Mon, 24 Jan 2000 08:20:12 -0700 (MST) Message-Id: <200001241520.IAA11854 [at] cs [dot] utep.edu> Date: Mon, 24 Jan 2000 08:20:12 -0700 (MST) From: vladik Reply-To: vladik Subject: FYI: from NA Digest To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: Qn8J/t+Ph5yvF28UBCWZyw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk From: U. Naumann Date: Wed, 19 Jan 2000 14:42:51 GMT Subject: Workshop on Automatic Differentiation Extension of Deadline for Abstract Submission to February 11. Refereed Proceedings to be published by Springer in LNCS Series. The third international workshop on Automatic Differentiation (AD) AD 2000 - FROM SIMULATION TO OPTIMIZATION will take place June 19th to June 23rd at Nice (Cote d'Azur, France) AD 2000 will be organized locally by INRIA Sophia-Antipolis under the direction of an international program committee. It represents a follow up on the two previous workshops held in Breckenridge (USA) in 1991 and in Santa Fe (USA) in 1996. Special emphasis will be placed on relationships and synergies between AD techniques and other software tools such as compilers and parallelizers. Apart from recent advances in research and software development conference topics include applications of AD to optimization, ODEs/DAEs, inverse problems, biomedical research, and mathematics of finance. Invited presentations have been confirmed by W. Klein, Siemens, Munich V. Selmin, Alenia, Turin D. Fylstra, Frontline Syst. Nev J.-D. Beley, CADOE, Lyon J. More, Argonne, Ill. F. Bodin, IRISA, Rennes S. Watt, Univ. of Western Ontario S. Hague, NAG, Oxford D. Keyes, NASA, Langley O. Pironneau, Univ Paris B. Walster, Sun Micro Systems F-X. LeDimet, Univ. Grenoble Abstracts for contributed talks and their publication in the proceedings must be submitted before February 11th. Specifics on the location, procedures for registration and submission (abstracts, posters, special interest groups), and the preliminary program can be found at http://www-sop.inria.fr/tropics/ad2000/ From owner-reliable_computing [at] interval [dot] usl.edu Wed Jan 26 22:07:10 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id WAA28905 for reliable_computing-outgoing; Wed, 26 Jan 2000 22:07:10 -0600 (CST) Received: from tik2.ethz.ch (kom-tik2.ethz.ch [129.132.66.10]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id WAA28900 for ; Wed, 26 Jan 2000 22:07:06 -0600 (CST) Received: from tec34.ethz.ch (tec34 [129.132.119.34]) by tik2.ethz.ch (8.8.8/8.8.8) with ESMTP id FAA22375 for ; Thu, 27 Jan 2000 05:07:04 +0100 (MET) From: Application Asm Received: (from asm@localhost) by tec34.ethz.ch (8.8.8/8.8.8) id FAA27444 for reliable_computing [at] interval [dot] usl.edu; Thu, 27 Jan 2000 05:07:03 +0100 (MET) Date: Thu, 27 Jan 2000 05:07:03 +0100 (MET) Message-Id: <200001270407.FAA27444 [at] tec34 [dot] ethz.ch> To: reliable_computing [at] interval [dot] usl.edu Subject: call for participation: ASM2000, March 19th - March 24th X-Sun-Charset: ISO-8859-1 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk -> We apologize if you received multiple copies <- ______________________________________________________________ _______ _______ _______ Call for Participation, Preliminary Program _______ _______ _______ _______ ASM2000 _______ _______ _______ _______ http://www.tik.ee.ethz.ch/~asm/2000 _______ _______ Monte Verita, Switzerland _______ _______ March 19th - 24th 2000 _______ ______________________________________________________________ In March 2000, an Abstract State Machine (ASM) Workshop will be held at Monte Verita, Switzerland. The aim of the workshop is to bring together domain-experts using ASMs as practical specification formalisms and theore- ticians using ASMs as formal starting point for their investi- gations, as well as people generally interested in ASMs. See http://www.eecs.umich.edu/gasm for more info on ASMs. The technical program consists of invited lectures, tutorials, presentations of refereed papers, and software demonstrations. A significant part of the time will be devoted to discussions. Arrival is on Sunday afternoon, June 19th, and the workshop program will end on Friday noon, June 24th. A limited number of grants covering registration and part of travel costs are available for undergraduate students. Applications shall include a short CV and resumee of scientific interests. ______________________________________________________________ _______ _______ _______ Important Dates _______ ______________________________________________________________ Grant applications deadline : February 15th Registration deadline : March 1st Earlier registrants get nicer rooms with view over lake and mountains! ASM2000 is just before ETAPS'2000 (Berlin, March 25-April 2,2000) so that attendance to both events can be suitably combined. ______________________________________________________________ _______ _______ _______ Location _______ ______________________________________________________________ Monte Verita served for over hundred year as a boiling meeting place for a variety of movements, ranging from naturalism, over anarchism, to various artistic tendencies. (see http://http://www.csf-mv.ethz.ch/Official/MonteVerita/History.html) The workshop takes place in the newly restored historic Bauhaus buildings, situated in a scenic park with a marvelous view onto the lake Lago Maggiore and the mountains. A 10 minutes walk away the participants can take advantage of Ascona, a picturesque medieval village on the shore of a splendid and sunny bay. (see http://www.ascona.ch/etale.htm) Ascona and the Monte Verita are situated in the heart of Europe, easily accessible from Milano, Italy and Zurich, Switzerland. For travel instructions see http://www.csf-mv.ethz.ch/Official/Additional/Additional.html _______________________________________________________________ _______ _______ _______ Registration Form _______ _______________________________________________________________ Please fill out the registration form below and send it until March 1st to Monica Fricker at the address on the form (regular mail only, no e-mail or fax) to register for the workshop. =============================================================== Send to: Monica Fricker (e-mail/fax not acceptable) Institut TIK ETH Zentrum Gloriastrasse 35 CH-8092 Zurich Switzerland ph: +41-1-632-7035 fax: +41-1-632-1035 EMail: fricker [at] tik [dot] ee.ethz.ch Please Print or Type: Name:__________________________________________________________ Last/Family First MI Affiliation:___________________________________________________ Address:_______________________________________________________ _______________________________________________________ City:_________________________ State or Region:________________ Zip/Postal code:___________________ Country:___________________ Daytime Phone:_____________________ Fax Number:________________ Email:_________________________________________________________ Do you have any special needs?_________________________________ (special meals, access, etc.) Please circle appropriate fee * Workshop Registration, Accommodation, and Full Board: Student Regular Dollar $ 310 $ 510 Swiss Francs CHF 465 CHF 765 Charges: (please fill out) Total Enclosed: ________ (Swiss Francs (CHF)) PAYMENT MUST BE ENCLOSED: BANK-TO-BANK-TRANSFER (INTERNATIONAL MONEY ORDER) MUST BE DRAWN ON THE FOLLOWING BANK ACCOUNT: SCHWEIZERISCHE NATIONALBANK, BERN BC: 110 Acc.#: 1530-5-30-ETHZ Credit: ASM97 1-67-234-97 E_MAIL REGISTRATIONS CANNOT BE ACCEPTED BECAUSE WE NEED TO HAVE SIGNATURES ON FILE. CHECKS NOT ACCEPTED. Method of Payment ______ BANK-TO-BANK-TRANSFER ______ VISA ______ MASTERCARD ______ AMERICAN EXPRESS ______ DINERS CLUB Credit Card Number:____________________________________________ Exp. Date:____________________ Cardholder Name: ______________________________________________ Exactly as it is printed on the card Date:___________Signature:_____________________________________ We will have to bill no-show registered persons in full. Sorry, we cannot accept cancellations after March 1st, and refunds for cancellations before March 1st may take several months to process. _______________________________________________________________ _______ _______ _______ Program _______ _______________________________________________________________ Discussion sessions, ad hoc meetings, .... Invited Talks: -------------- Andreas Blass, Univ. of Michigan "Pure Mathematics and ASM's." Egon Börger, Univ. of Pisa "Composition and Structuring Principles for ASMs" Gerhard Goos, Univ. of Karlsruhe title to be anounced Martin Odersky, EPFL Lausanne "Functional Nets as a Composition Method for ASM's" Wolfgang Reisig, Humbold Univ. Berlin "Towards a Distributed ASM Thesis" Natarajan Shankar, SRI International "Symbolic Analysis of Transition Systems" Tutorials: ---------- Tutorials include tool-demonstrations and hands-on experience with the used tools. Infrastructure includes 12 SUN-workstations. Uwe Glaesser, Giuseppe del Castillo "Specifying Concurrent Systems with ASMs" The ASM-workbench is introduced and used for experiments with concurrent systems. Harald Ruess, ... , Natarajan Shankar "Verifying ASMs with PVS" The basic features of the PVS proof development system are introduced and demonstrated. Matthias Anlauff, Philipp Kutter, Alfonso Pierantonio "Developing Domain Specific Languages" The Gem-Mex system is used to prototype and visualize small domain specific languages with ASM semantics. Industrial Applications: ------------------------ Peter Paeppinghaus and Joachim Schmid, Siemens AG "Report about a practical application of ASMs in Software Design" Wolfram Schulte, Microsoft Research "ASM applications in industrial research and development" Presentations: -------------- M. Anlauff "Xasm - An Extensible, Component-Based Abstract State Machines Language" D. Beauquier and A. Slissenko "Verification of Timed Algorithms: Gurevich Abstract State Machines versus First Order Timed Logic" A. Blass, Y. Gurevich and J. Van den Bussche "Abstract state machines and computionally complete query languages" E. Boerger, A. Cavarra, and E. Riccobene "An ASM semantics for UML Activity Diagrams and UML State Machines" S.C. Cater and J.K. Huggins "An ASM Dynamic Semantics for Standard ML" J. Cohen and A. Slissenko "On Verification of Refinements of Timed Distributed Algorithms" R. Eschbach, U. Glaesser, R. Gotzhein, A. Prinz "The Semantics of Programming Languages: A transformational operational approach using Abstract State Machines" V.O. Di Iorio, R. da Silva Bigonha, and M. Maia "A Self-Applicable Partial Evaluator for ASM" A. Gargantini and E. Riccobene "Encoding Abstract State Machines in PVS" Y. Gurevich and D. Rosenzweig "Partially Ordered Runs: a Case Study" Y. Gurevich, W. Schulte, and C. Wallace "Investigating Java concurrency using Abstract State Machines" A. Heberle, W. Loewe, and W. Zimmermann "On Modular Definitions and Implementations of Programming Languages using Order-Sorted Partial Abstract State Machines" J.K. Huggins and W. Shen "The Static and Dynamic Semantics of C" B. Intrigila, G.D. Penna, and D. Ciccomartino "Extending Boerger's JVM Model to Compile Safe C++ Code: 1. The Pointers' Problem" J.W. Janneck and P.W. Kutter "Mapping Automaton - Simple Abstract State Machines" C. Pahl "Towards an Action Refinement Calculus for Abstract State Machines" H. Rust "Hybrid Abstract State Machines: Using the Hyperreals for Describing Continuous Changes in a Discrete Notation" J. Teich, P.W. Kutter, and R. Weper "Description and Simulation of Microprocessor Instruction Sets Using ASMs" K. Winter "Methodology for Model Checking ASM: Lessons learned from the FLASH Case Study" M. Spielmann "Model Checking Abstract State Machines and Beyond" A.V. Zamulin "Specifications In-the-large by Typed ASMs" A.V. Zamulin "Generic Facilities in Object-Oriented ASMs" _______________________________________________________________ _______ _______ _______ Organization _______ _______________________________________________________________ The workshop is sponsored by the Swiss Federal Institute of Technology, Microsoft Research, and BlueCapital. Organizers: Yuri Gurevich, Microsoft Research, Redmond, Washington Philipp W. Kutter, Federal Institute of Technology, Zürich Martin Odersky, Federal Institute of Technology, Lausanne Lothar Thiele, Federal Institute of Technology, Zürich From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 28 12:04:24 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA03462 for reliable_computing-outgoing; Fri, 28 Jan 2000 12:04:24 -0600 (CST) Received: from trueno.cs.tu-berlin.de (root [at] trueno [dot] cs.tu-berlin.de [130.149.17.160]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA03457 for ; Fri, 28 Jan 2000 12:04:20 -0600 (CST) Received: from iks.cs.tu-berlin.de (iks [at] freno [dot] cs.tu-berlin.de [130.149.17.167]) by trueno.cs.tu-berlin.de (8.9.3/8.9.1) with ESMTP id SAA23561; Fri, 28 Jan 2000 18:52:32 +0100 (MET) Received: from mail.cs.tu-berlin.de (root [at] mail [dot] cs.tu-berlin.de [130.149.17.13]) by iks.cs.tu-berlin.de (8.9.3/8.8.8) with ESMTP id SAA05750 for ; Fri, 28 Jan 2000 18:49:28 +0100 (MET) Received: from keiner.cs.tu-berlin.de (doris [at] keiner [dot] cs.tu-berlin.de [130.149.19.36]) by mail.cs.tu-berlin.de (8.9.3/8.9.1) with ESMTP id SAA20492; Fri, 28 Jan 2000 18:44:46 +0100 (MET) Received: (from doris@localhost) by keiner.cs.tu-berlin.de (8.9.3/8.9.3) id SAA10666; Fri, 28 Jan 2000 18:44:45 +0100 (MET) Date: Fri, 28 Jan 2000 18:44:45 +0100 From: Doris Faehndrich To: cfpart-l [at] iks [dot] cs.tu-berlin.de, etaps-news [at] cs [dot] tu-berlin.de Subject: ETAPS 2000 - Call for Participation Message-ID: <20000128184444.G20372 [at] keiner [dot] cs.tu-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 1.0i Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk (Sorry, if you receive multiple copies of this Call. Doris Faehndrich) ----------------------------------------------------------------- ETAPS 2000 - EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE Technical University of Berlin, March 25 - April 2, 2000 -------------------- CALL FOR PARTICIPATION ------------------------- Welcome to Berlin, welcome to ETAPS, the European Joint Conferences on Theory and Practice of Software, the european forum for academic and industrial researchers working on these topics! For 9 days you will be able to choose between 5 conferences with more than 120 regular papers and tool demonstrations covering a wide range of topics from theory and practice, 7 invited lectures, 10 tutorials, and 5 satellite events. -------------------------------------------------------------------- Please, check for details http://iks.cs.tu-berlin.de/etaps2000/ Use the option of online registration or one of the downloadable registration forms! -------------------------------------------------------------------- EARLY REGISTRATION UNTIL FEBRUARY 29, 2000 -------------------------------------------------------------------- Main Conferences, March 27 - March 31 ------------------------------------- CC 2000 International Conference on Compiler Construction Chair: David Watt (University of Glasgow, UK) ESOP 2000 European Symposium on Programming Chair: Gert Smolka (Saarland University, D) FASE 2000 Fundamental Approaches to Software Engineering Chair: Tom Maibaum (King's College London, UK) FOSSACS 2000 Foundations of Software Science and Computation Structures, Chair: Jerzy Tiuryn (University of Warsaw, PL) TACAS 2000 Tools and Algorithms for the Construction and Analysis of Systems, Chair: Susanne Graf (VERIMAG, Grenoble, F) Invited Speakers ---------------- Abbas Edalat (Imperial College, London, UK) ``A Data Type for Computational Geometry and Solid Modelling'' David Harel (The Weizmann Institute of Science, Rehovot, IL) ``From play-in scenarios to code: an achievable dream'' Martin Odersky (EPF Lausanne, CH) ``Functional nets'' Richard Mark Soley (OMG Object Management Group, USA) ``Memex isn't Enough'' Wladyslaw M. Turski (University of Warsaw, PL) ``An essay on software engineering at the turn of century'' Reinhard Wilhelm (Saarland University, D) ``Shape analysis'' Pierre Wolper (University of Liege, B) ``On the representation of constraints by automata in the verification of infinite systems'' Panel: ``Standard Components of the Shelf - Do they carry and need a (Formal) Standard Semantics?'' Chair: Herbert Weber (TU Berlin, D) Satellite Events ---------------- GRATRA - Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Contact: Hartmut Ehrig (TU Berlin, D) March 25 - March 27 Invited Lecture by Grzegorz Rozenberg (University of Leiden, NL) ``DNA Computing in vivo and graph transformation'' (open for all ETAPS participants) CMCS - Workshop on Coalgebraic Methods in Computer Science Contact: Horst Reichel (TU Dresden, D) March 25 - March 26 CBS - International Workshop on Communication-Based Systems Contact: Guenter Hommel(TU Berlin, D) March 31 - April 1 INT - Integration of Specification Techniques with Applications in Engineering, Contact: Martin Grosse-Rhode(TU Berlin, D) March 31 - April 1 CoFI - Common Framework Initiative for Algebraic Specification and Development of Software Contact: Don Sannella (University of Edinburgh, UK) April 1 - April 2 Tutorials --------- XML for Software Engineers Andrea Zisman, Anthony Finkelstein (University College London, UK) March 25, p.m., half-day A tutorial on Maude Narciso Marti Oliet (Universidad Complutense, Madrid, E), Jose Meseguer (SRI International, USA) March 25, p.m., half-day Rigorous Requirements for Safety-Critical Systems: Fundamentals and Applications of the SCR Method Constance L. Heitmeyer (Naval Research Laboratory, USA) March 26, full-day Multi-Paradigm Programming Michael Hanus (RWTH Aachen, D) March 26, a.m., half-day Query-based Automated Debugging Mireille Ducasse (IRISA/INSA, F) March 26, p.m., half-day The Unified Modelling Language Perdita Stevens (University of Edinburgh, UK) April 1, full-day Swinging Types Peter Padawitz (University of Dortmund, D) April 1, a.m., half-day Tables and computation A.J.Wilder (University of Wales, UK) April 1, p.m., half-day SDL 2000 Joachim Fischer (HU Berlin, D), Andreas Prinz (Research Digital Media Systems GmbH, D), Eckhardt Holz (HU Berlin, D) April 2, full-day Software Metrology Basis Hans-Ludwig Hausen (GMD Bonn, D) April 2, a.m., half-day ------------------------------------------------------------------ ETAPS Steering Committee Don Sannella (Chairman, UK), Egidio Astesiano (I), Jan Bergstra (NL), Pierpaolo Degano (I), Hartmut Ehrig (D), Jose Luiz Fiadeiro (P), Marie-Claude Gaudel (F), Susanne Graf (F), Furio Honsell (I), Heinrich Hussmann (D), Stefan Jaehnichen (D), Paul Klint (NL), Tom Maibaum (UK), Tiziana Margaria (D), Ugo Montanari (I), Hanne Riis Nielson (DK), Fernando Orejas (E), Andreas Podelski (D), David Sands (S), Gert Smolka (D), Bernhard Steffen (D), Wolfgang Thomas (D), Jerzy Tiuryn (PL), David Watt (UK), Reinhard Wilhelm (D) Organizing Chairs: Bernd Mahr, Hartmut Ehrig, Peter Pepper, Stefan Jaehnichen, Radu Popescu-Zeletin Conference Address: ETAPS 2000, TU Berlin, Sekr. FR 6-10, Franklinstr. 28/29, D-10587 Berlin Germany Tel: ++49 30 314 -73540, Fax: -73622 Email: etaps2000 [at] iks [dot] cs.tu-berlin.de http://iks.cs.tu-berlin.de/etaps2000/ Registration Address: BWO Marketing Service GmbH Mohrenstr. 63-64 D-10117 Berlin-Mitte Germany Fax: ++49 30 22 66 84-64 Email: Etaps2000@BWO-Berlin.de -=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= Doris Fähndrich: TU Berlin FB-13 Sekr. FR 5-6, Franklinstr. 28/29, 10587 Berlin, Tel: 030/31473436 -=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 28 20:32:37 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id UAA04428 for reliable_computing-outgoing; Fri, 28 Jan 2000 20:32:37 -0600 (CST) Received: from genie.eecs.lehigh.edu (genie.eecs.lehigh.edu [128.180.98.9]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id UAA04423 for ; Fri, 28 Jan 2000 20:32:33 -0600 (CST) Received: from pamir.eecs.lehigh.edu (pamir [128.180.98.184]) by genie.eecs.lehigh.edu (8.8.5/8.8.5) with ESMTP id OAA12601; Fri, 28 Jan 2000 14:32:17 -0500 (EST) From: ASAP User Received: (from asap@localhost) by pamir.eecs.lehigh.edu (8.8.5/8.8.5) id OAA08303; Fri, 28 Jan 2000 14:32:16 -0500 (EST) Date: Fri, 28 Jan 2000 14:32:16 -0500 (EST) Message-Id: <200001281932.OAA08303 [at] pamir [dot] eecs.lehigh.edu> To: asap-announce [at] EECS [dot] Lehigh.EDU Subject: ASAP'2000 Call for Papers Cc: mschulte [at] EECS [dot] Lehigh.EDU Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ASAP 2000 CALL FOR PAPERS ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 12th International Conference on Application-specific Systems, Architectures and Processors Boston, Massachusetts Dates and Deadlines Submission: February 28, 2000 Acceptance notification: March 30, 2000 Conference: July 10-12, 2000 Topics: The conference will cover the theory and practice of application- specific computing systems. Of particular interest are contributions that either achieve large performance gains, present formal methods for the specification, design and evaluation, analyze technology dependencies and the integration of hardware and software components, or describe and evaluate fabricated systems. Areas for application-specific computing systems are many and varied. Some sample areas include information systems, signal and image processing, multimedia systems, high-speed networks, compression, cryptography. Aspects of application-specific computing systems that are of interest include, but are not limited to: * Application-specific architectures: special purpose designs, design methodology, CAD tools, fault tolerance strategies, specification and interfaces, hardware/software codesign * Application-specific processors: digital signal processing, computer arithmetic, configurable/custom computing, implementation methodology & rapid prototyping, new technologies, fine-grain parallelism * Application-specific systems: network computing, special-purpose systems for exotic applications, performance evaluation, standard software objects, languages, compilers, operating systems, hardware/software integration The conference will feature a keynote speech, paper presentations, and a poster session. The proceedings will be published by IEEE Computer Society Press. Information for authors: Your paper should be maximum of 5000 words. A cover page should contain: * paper title; complete name, address, telephone, fax and email of each author; * author which is responsible for correspondence; * which of the conference areas is most relevant to your paper. A PDF version of the complete paper, and a separate cover page text file with the above information, should be submitted via the conference web page at http://www.eecs.lehigh.edu/ASAP. For further information about the conference, please see the conference web page. General Chair: Earl Swartzlander e.swartzlander [at] compmail [dot] com Program Chairs: Graham Jullien jullien [at] engn [dot] uwindsor.ca Michael Schulte mschulte [at] eecs [dot] lehigh.edu Program committee: Magdy Bayoumi, Wayne Burleson, Peter Capello, Liang-Gee Chen, Ed Deprettere, Milos Ercegovac, Gerhard Fettweis, Jose Fortes, Sayfe Kiaei, Israel Koren, S. Y. Kung, Tomas Lang, Wayne Luk, John McCanny, Jean-Michel Muller, Takao Nishitani, Tobias Noll, Peter Pirsch, Patrice Quinton, Sanjay Rajopadhye, Vwani Roychowdhury, Valerie Taylor, Juergen Teich, Lothar Thiele, Mateo Valero, Benjamin Wah, Doran Wilde, Roger Woods, Kung Yao, Pen Yew. From owner-reliable_computing [at] interval [dot] usl.edu Tue Feb 1 03:57:18 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id DAA01434 for reliable_computing-outgoing; Tue, 1 Feb 2000 03:57:18 -0600 (CST) Received: from trueno.cs.tu-berlin.de (root [at] trueno [dot] cs.tu-berlin.de [130.149.17.160]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id DAA01429 for ; Tue, 1 Feb 2000 03:57:15 -0600 (CST) Received: from iks.cs.tu-berlin.de (iks [at] freno [dot] cs.tu-berlin.de [130.149.17.167]) by trueno.cs.tu-berlin.de (8.9.3/8.9.1) with ESMTP id KAA04740; Tue, 1 Feb 2000 10:51:50 +0100 (MET) Received: from mail.cs.tu-berlin.de (root [at] mail [dot] cs.tu-berlin.de [130.149.17.13]) by iks.cs.tu-berlin.de (8.9.3/8.8.8) with ESMTP id KAA07577 for ; Tue, 1 Feb 2000 10:50:58 +0100 (MET) Received: from hydrus.cc.uniud.it (hydrus.cc.uniud.it [158.110.1.2]) by mail.cs.tu-berlin.de (8.9.3/8.9.1) with ESMTP id KAA00786 for ; Tue, 1 Feb 2000 10:49:11 +0100 (MET) Received: from [158.110.144.38] by HYDRUS.CC.UNIUD.IT (PMDF V5.2-32 #41629) with SMTP id <01JLE2LJ5WZC0019K0 [at] HYDRUS [dot] CC.UNIUD.IT> for cfpart-l [at] iks [dot] cs.tu-berlin.de; Tue, 1 Feb 2000 10:49:09 MET-DST Date: Tue, 01 Feb 2000 10:49:09 +0200 (MET-DST) Date-warning: Date header was inserted by HYDRUS.CC.UNIUD.IT From: dlrca [at] HYDRUS [dot] CC.UNIUD.IT (Della Riccia Giacomo) Subject: Re: categories: ETAPS 2000 - Call for Participation X-Sender: dlrca [at] 158 [dot] 110.1.2 To: cfpart-l [at] iks [dot] cs.tu-berlin.de, doris [at] cs [dot] tu-berlin.de Message-id: MIME-version: 1.0 Content-type: text/plain; charset=iso-8859-1 Content-transfer-encoding: 8BIT Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk > >To:maxk [at] maths [dot] usyd.edu.au (Max Kelly) >From:dlrca [at] hydrus [dot] cc.uniud.it (Della Riccia Giacomo) >Subject:Re: categories: ETAPS 2000 - Call for Participation > >>Would you please remove me from your mailing lists? Thanks - Max Kelly. > >Would you please remove me from your mailing lists? Thanks >G. Della Riccia > > Prof. Giacomo DELLA RICCIA Dipartimento di Matematica e Informatica Università di Udine Via delle Scienze, 206 33100-Udine (Italy) ---> Tel. (Direct Line): (+39) (0432) 55 8419 ---> Fax: (+39) (0432) 55 8499 e-mail: dlrca [at] uniud [dot] it (Please be aware that as of June 19, 1998 domestic and international dialing should include full area code (0432 in my case) From owner-reliable_computing [at] interval [dot] usl.edu Tue Feb 1 09:42:56 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA02846 for reliable_computing-outgoing; Tue, 1 Feb 2000 09:42:56 -0600 (CST) Received: from sol.cc.u-szeged.hu (csendes@[160.114.8.24]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA02841 for ; Tue, 1 Feb 2000 09:42:52 -0600 (CST) Received: by sol.cc.u-szeged.hu (8.9.3+Sun/SMI-SVR4) id QAA16119; Tue, 1 Feb 2000 16:41:47 +0100 (MET) From: csendes [at] sol [dot] cc.u-szeged.hu (Csendes Tibor) Message-Id: <200002011541.QAA16119 [at] sol [dot] cc.u-szeged.hu> Subject: SCAN98 proceedings To: reliable_computing [at] interval [dot] usl.edu Date: Tue, 1 Feb 2000 16:41:45 +0100 (MET) X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleagues, it is my pleasure to announce that the proceedings volume of SCAN98 is out of print (less than one and a half years later than the meeting). Enclosed please find some information about the book. Yours, Tibor Csendes -- Dr. Tibor Csendes, associate professor Tel.: +36 62 544 305 Jozsef Attila University, Dept. of Applied Informatics Fax: +36 62 420 292 H-6701 Szeged, P.O. Box 652, Hungary E-mail: csendes [at] inf [dot] u-szeged.hu WWW: http://www.inf.u-szeged.hu/~csendes/ "Sic Itur ad ACTA" ;-) Developments in Reliable Computing edited by Tibor Csendes Jozsef Attila University, Szeged, Hungary The volume contains 30 articles presented at SCAN-98, Budapest, Hungary. These papers cover all aspects of validation techniques in scientific computing, ranging from hardware requirements, elementary operations, high accuracy function evaluations and interval arithmetic to advanced validating techniques and applications in various fields of practical interest. Audience: This book is of interest to researchers and graduate students whose work involves validation techniques in scientific computing. Kluwer Academic Publishers, Dordrecht Hardbound, ISBN 0-7923-6057-5 November 1999, 400+XII pp. NLG 290.00 / USD 154.00 / GBP 96.00 Contents and Contributors Preface. G.F. Corliss, R.B. Kearfott: Rigorous Global Search: Industrial Applications. A. Facius: Influences of Rounding Errors in Solving Large Sparse Linear Systems. J. Hormigo, J. Villalba, E.L. Zapata: A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions. W. Kuehn: Towards an Optimal Control of the Wrapping Effect. A.V. Lakeyev: On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher's Interval Arithmetic. B. Lang: A Comparison of Subdivision Strategies for Verified Multi- Dimensional Gaussian Quadrature. S.M. Rump: INTLAB - INTerval LABoratory. W. Luther, W. Otten: Verified Calculation of the Solution of Algebraic Riccati Equation. M. Lerch: Expression Concepts in Scientific Computing. R. Sagula, T. Diverio, J. Netto: Performance Evaluation Technique STU and libavi Library. M. Schulte, V. Zelov, G.W. Walster, D. Chiriaev: Single-Number Interval I/O. K. Musch, G. Schumacher: Interval Analysis for Embedded Systems. Y. Lebbah, O. Lhomme: Prediction by Extrapolation for Interval Tightening Methods. S. Markov, K. Okumura: The Contribution of T. Sunaga to Interval Analysis and Reliable Computing. E. Hubert, W. Barth: Surface-to-Surface Intersection with Complete and Guaranteed Results. V. Lefevre: An Algorithm that Computes a Lower Bound on the Distance Between a Segment and Z^2. H. Collavizza, F. Delobel, M. Rueher: Comparing Partial Consistencies. N.S. Dimitrova, S.M. Markov: Verified Computation of Fast Decreasing Polynomials. E. Dyllong, W. Luther, W. Otten: An Accurate Distance-Calculation Algorithm for Convex Polyhedra. A. Frommer, A. Weinberg: Verified Error Bounds for Linear Systems through the Lanczos Process. G. Heindl: A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes. J.-M. Muller: A Few Results on Table-Based Methods. N.S. Nedialkov, K.R. Jackson: An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. M.J. Schulte, V. Zelov, A. Akkas, J.C. Burley: The Interval-Enhanced GNU Fortran Compiler. S.P. Shary: Outer Estimation of Generalized Solution Sets to Interval Linear Systems. A. Strzebonski: A Real Polynomial Decision Algorithm Using Arbitrary- Precision Floating Point Arithmetic. A Numerical Verification Method of Solutions for the Navier-Stokes Equations; Y. Watanabe, N. Yamamoto, M.T. Nakao. B. Kolodziejczak, T. Szulc: Convex Sets of Full Rank Matrices. M. Lerch, J.W. von Gudenberg: Multiaspect Interval Types. R. Dunay, I. Kollar: MATLAB-Based Analysis of Roundoff Noise. G.F. Corliss: SCAN-98 Collected Bibliography. From owner-reliable_computing [at] interval [dot] usl.edu Tue Feb 1 13:55:09 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id NAA03549 for reliable_computing-outgoing; Tue, 1 Feb 2000 13:55:09 -0600 (CST) Received: from e3.ny.us.ibm.com (e3.ny.us.ibm.com [32.97.182.103]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id NAA03542 for ; Tue, 1 Feb 2000 13:54:49 -0600 (CST) From: banavar [at] us [dot] ibm.com Received: from northrelay02.pok.ibm.com (northrelay02.pok.ibm.com [9.117.200.22]) by e3.ny.us.ibm.com (8.9.3/8.9.3) with ESMTP id OAA191694; Tue, 1 Feb 2000 14:52:58 -0500 Received: from D51MTA03.pok.ibm.com (d51mta03.pok.ibm.com [9.117.200.31]) by northrelay02.pok.ibm.com (8.8.8m2/NCO v2.06) with SMTP id OAA96120; Tue, 1 Feb 2000 14:52:13 -0500 Received: by D51MTA03.pok.ibm.com(Lotus SMTP MTA v4.6.5 (863.2 5-20-1999)) id 85256878.006D0E0F ; Tue, 1 Feb 2000 14:51:10 -0500 X-Lotus-FromDomain: IBMUS To: MW2K_Publicity [at] us [dot] ibm.com Message-ID: <85256878.006D0D96.00 [at] D51MTA03 [dot] pok.ibm.com> Date: Tue, 1 Feb 2000 14:51:12 -0500 Subject: It's time to register for Middleware 2000 Mime-Version: 1.0 Content-type: text/plain; charset=us-ascii Content-Disposition: inline Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Please forward this call to your community. Sorry if you received multiple copies. =============================================================== CALL FOR PARTICIPATION Middleware 2000 The International Conference on Distributed Systems Platforms and Open Distributed Processing April 4 - 8, 2000 Hudson Valley (near New York City) USA http://www.research.ibm.com/Middleware2000 The advance program is available on our web site. We invite you to register now to join us for this premier conference in April. Sponsored by IFIP TC6 WG6.1 and ACM Supported by Agilent Technologies and IBM CONFERENCE BACKGROUND --------------------- Middleware 2000 will be the premier conference on distributed systems platforms and open distributed processing in the opening year of the new millenium. The conference is a synthesis of the major conferences and workshops in this area into a single international event. Middleware 2000 follows in the footsteps of the extremely successful, inaugural Middleware '98 Conference held in the Lake District of the UK in September, 1998. The focus of Middleware 2000 is on the design, implementation, deployment and evaluation of distributed systems platforms and architectures for future networked environments. Of particular interest is the application of both new and existing architectures and platforms (such as RM-ODP, CORBA, RMI and DCOM) in environments which may include public and private networks, overlayed wired and wireless technologies, IPv6 and IP multicast, multimedia and real-time information and an increasing volume of WWW and Java traffic. SOME CONFERENCE HIGHLIGHTS -------------------------- Middleware 2000 is a single-track conference consisting of seven paper sessions, two keynote addresses, and a work-in-progress session. There will also be posters presented during breaks. 1) The seven paper sessions are on Messaging, Caching, Reflection, Indirection, Quality of Service, Transactions and Workflow, and Composition. The details of the paper program is at: http://www.research.ibm.com/Middleware2000/Program/program.html 2) We are offering four tutorials by leading practitioners: April 4 AM Tutorials: T1. "Scalability Issues in CORBA-based Systems" Steve Vinoski, IONA Technologies T2. "Designing with Patterns" John Vlissides, IBM TJ Watson Research Center April 4 PM Tutorials: T3. "Middleware for Programmable Networks" Andrew Campbell, Columbia University T4. "Applying Patterns for Concurrent and Distributed Components" Frank Buschman, Siemens ZT More information on the tutorials is at: http://www.research.ibm.com/Middleware2000/Tutorials/tutorials.html 3. We are organizing a workshop on Reflective Middleware (RM2000) that will be co-located with Middleware 2000. Information on the RM2000 workshop can be found at: http://www.comp.lancs.ac.uk/computing/RM2000/ 4. We will have two keynote addresses by visionaries in the field of middleware: Ken Birman, Professor at Cornell University, and Jim Waldo of Sun Microsystems. 5. We will have a work-in-progress paper session and multiple poster sessions. Information on the WiP papers and posters will be available at: http://www.research.ibm.com/Middleware2000 LOCATION AND ACTIVITIES ----------------------- The conference will be held at the beautiful Hudson River Valley. The IBM Palisades Conference Center is a state-of-the-art meeting center on 106 acres of land, just north of New York City. Check out the URL. http://www.research.ibm.com/Middleware2000/Location/location.html There will be social events as part of this year's conference, including a Welcome Reception where participants can meet the organizing team and other participants in an informal setting, as well as other socials. We will also be providing conference luncheons to all attendees on all three days of the conference. Lunch will also be provided to people attending the workshop on Fri/Sat and to those attending the tutorials on Tuesday. Information on these activities will be available on the conference web page. REGISTRATION ------------ Don't delay and register today for Middleware 2000. It is THE conference to attend. With a great location, on a naturally rich Hudson Valley near culturally rich Manhattan, you can't ask for anything more. We look forward to seeing you there. -------------------------------------------------------------------- Important URL for registration: http://www.regmaster.com/midd2000.html Important Dates for registration: On or before March 2, 2000 : Discount on registration fees After March 2, 2000 or onsite : Regular registration fees ---------------------------------------------------------------------- -------- Guruduth Banavar Publicity Chair, Middleware 2000 Conference From owner-reliable_computing [at] interval [dot] usl.edu Thu Feb 3 10:22:43 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA00398 for reliable_computing-outgoing; Thu, 3 Feb 2000 10:22:43 -0600 (CST) Received: from skiff.cs.vu.nl (skiff.cs.vu.nl [192.31.231.56]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA02612 for ; Thu, 3 Feb 2000 08:13:57 -0600 (CST) Received: by skiff.cs.vu.nl (Smail #64) id m12GMzd-000TgaC; Thu, 3 Feb 2000 15:12 +0100 Message-Id: Subject: CL2000: deadline postponed to February 21st To: reliable_computing [at] interval [dot] usl.edu Date: Thu, 3 Feb 2000 15:12:20 +0100 (MET) From: "Raamsdonk van F" X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk *** apologies for multiple copies *** First International Conference on Computational Logic, CL2000 Imperial College, London, UK 24th to 28th July, 2000 http://www.doc.ic.ac.uk/cl2000/ Due largely to the difficulties caused by related conferences having submission dates at about the same time, the submission deadline for CL2000 is postponed to Monday 21st February, 2000. If you wish to take advantage of this extension, you are asked to email the Chair of the Stream to which you intend to submit the title, author(s), abstract, and keywords for your paper *as soon as possible*. Highlights of the conference include 8 invited speakers, 12 tutorials, and a strong workshop programme held in-line with the conference. Collocating with CL2000 are DOOD2000, LOPSTR2000, and ILP2000. Full details about the conference, including the email addresses of the Stream Chairs, are given at the above URL. From owner-reliable_computing [at] interval [dot] usl.edu Sat Feb 5 10:20:19 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA04353 for reliable_computing-outgoing; Sat, 5 Feb 2000 10:20:19 -0600 (CST) Received: from kleene.math.wisc.edu (kleene.math.wisc.edu [144.92.166.90]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id KAA04348 for ; Sat, 5 Feb 2000 10:20:11 -0600 (CST) Received: from forelli.math.wisc.edu (forelli.math.wisc.edu [144.92.166.70]) by kleene.math.wisc.edu (8.9.3/8.9.3) with SMTP id KAA19230; Sat, 5 Feb 2000 10:13:45 -0600 (CST) Date: Sat, 5 Feb 2000 10:34:06 -0600 (CST) From: Hans Schneider To: NETS -- at-net , "Hershkowitz, Danny -- Hershkowitz Daniel" , Danny Hershkowitz , E-LETTER , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA announcement Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Net Organizer: Please circulate the attached LAA announcement over your net. Thanks hans --- Linear Algebra and its Applications Special Issue on INFINITE SYSTEMS OF LINEAR EQUATIONS FINITELY SPECIFIED Second Announcement One of the traditional hunting grounds of linear algebra is the area of finite systems of linear equations, as described by a matrix equation $Ax = b$. Here $A$ is a known matrix, $b$ a known vector of finite dimensions, and $x$ is an unknown vector of finite dimensions, which is to be determined such that the equation is either satisfied, or, if that is not possible, approximately satisfied. Many techniques are known for finding solutions or approximate solutions, depending on the properties of the given data and the approximation technique choosen. If the system of equations is not finite, i.e. $A$ is not a matrix but an operator, and $b$ and $x$ are of infinite dimension, then algebraic and numerical techniques can still be used provided the given data are finitely specified. Operators with such a property are often called 'structured operators', and it turns out that one can solve such infinite equations in an exact or approximate sense using finite methods and algorithms. The conjunction of linear algebra and inversion theory for finitely specified infinite operators brings interesting connections to the forefront: algebraic equivalents of inner-outer factorizations e.g., or the algebraic significance of Kalman filtering. Structured matrices can be of many types, e.g. systems with finite displacement ranks or time-varying systems with state spaces of finite dimensions and whose limiting behaviour is known, e.g. as a time invariant system. A non-limiting list of topics of interest in this area is (assuming $A$ is an infinite but finitely described operator of some kind): - inversion methods - decomposition methods for the operator A - quadratic approximation methods - complexity reduction - equivalencies - canonical forms - transform techniques. Examples of operator structure: - systems with low displacement rank - finitely described time-varying systems - finitely described almost-periodic systems - differentials of non-linear systems. Interested authors are kindly invited to submit full papers with significant contributions to this area to any of the three guest editors listed below before June 1st, 2000. Patrick Dewilde DIMES, Delft University of Technology POB 5031, 2600GA Delft, the Netherlands. Fax: +31 15 262 3271 email: dewilde [at] DIMES [dot] tudelft.nl Vadim Olshevsky Department of Mathematics and Computer Science Georgia State University University Plaza Atlanta, GA 30303, USA Fax: +1 404 651 2246 email: volshevsky [at] cs [dot] gsu.edu Ali Sayed Rm 44-123A Engr. IV Bldg Dept. of Electrical Engineering University of California Los Angeles, CA 90095-1594, USA Fax: +1 310 206 8495 email: sayed [at] biruni [dot] icsl.ucla.edu ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison 608-271-8477 (Home FAX) Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ From owner-reliable_computing [at] interval [dot] usl.edu Sun Feb 6 11:51:50 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA06451 for reliable_computing-outgoing; Sun, 6 Feb 2000 11:51:50 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA06446 for ; Sun, 6 Feb 2000 11:51:47 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.9.3+Sun/8.9.1) with SMTP id KAA10334 for ; Sun, 6 Feb 2000 10:51:44 -0700 (MST) Message-Id: <200002061751.KAA10334 [at] cs [dot] utep.edu> Date: Sun, 6 Feb 2000 10:51:44 -0700 (MST) From: vladik Reply-To: vladik Subject: ECCAD'2000 Call for Participation To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: X977x5tc+feA195mdNyZkg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Apologies for multiple copies ------------- Begin Forwarded Message ------------- From: Mark Giesbrecht MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Date: Sat, 5 Feb 2000 17:40:44 -0500 (EST) To: mwg [at] scl [dot] csd.uwo.ca Subject: ECCAD'2000 Call for Participation ------------------------------------------------------------------------------- EAST COAST COMPUTER ALGEBRA DAY 2000 Joint meeting with Southern Ontario Numerical Analysis Day 2000 and the 70th Birthday Celebration for Professor Hans J. Stetter ANNOUNCEMENT AND CALL FOR PARTICIPATION ------------------------------------------------------------------------------- The 7th East Coast Computer Algebra Day (ECCAD'2000) will be held on Saturday, May 13, 2000. It will be hosted at the Ontario Research Centre for Computer Algebra The University of Western Ontario London, Ontario, Canada. This meeting will be immediately preceded by the Southern Ontario Numerical Analysis Day (SONAD'2000) on May 12, 2000, at the same location. You can register and get more information by looking at our World Wide Web site at http://orcca.on.ca/events. Alternatively, send e-mail to one of the organizers listed below, and registration information will be sent to you. There is no registration fee for either conference, and limited travel support may be available on request. ORGANIZERS * Mark Giesbrecht http://www.csd.uwo.ca/~mwg (General Chair, ECCAD'2000) * George Labahn http://daisy.uwaterloo.ca/~glabahn (Program Chair, ECCAD'2000) * Rob Corless http://www.apmaths.uwo.ca/~rcorless (General Chair, SONAD'2000) TIME AND LOCATION Saturday, May 13, 2000, 8:30am Middlesex Theatre, Middlesex College University of Western Ontario London, Ontario, Canada Reception in The Grad Club Lounge (Middlesex College) on Friday, May 12, 6:00pm-8:00pm. THEMES * Algebraic Algorithms * Hybrid Symbolic-Numeric Computation * Computer Algebra Systems and Generic Programming * Mathematical Communication * Complexity of Algebraic Problems INVITED PRESENTATIONS * Joachim von zur Gathen, University of Paderborn, Germany * Michael Monagan, Simon Fraser University, Canada * Hans J. Stetter, Technical University of Vienna, Austria POSTER SESSIONS In keeping with tradition, there will be two poster sessions offering an opportunity to present timely research in an informal environment. If you wish to submit a poster, please send a title and abstract to George Labahn at glabahn [at] daisy [dot] uwaterloo.ca by April 28, 2000. SONAD has a similar philosophy, except that the format is short talks, not posters. See the SONAD announcement for details of that day's speakers. Even if you are not planning to give a poster, please mark the dates on your calendar as you are encouraged to participate. CONFERENCE DINNER IN CELEBRATION OF THE 70th BIRTHDAY OF PROFESSOR HANS J. STETTER Professor Stetter has been a founding contributor to many of the themes of these Days; his work on initial-value problems in the 70's, on interval methods in the 80's, and current work on hybrid symbolic-numeric computation is of lasting value. In celebration of his 70th birthday, we are pleased to ask you to join us for the Conference Dinner in Professor Stetter's honour at the Great Hall, University of Western Ontario, at 7:00pm on Saturday, May 13. Tickets for the dinner are $40CDN ($20CDN for students) and registration for the dinner must be made by Friday, May 5. ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Sun Feb 6 14:30:43 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id OAA06873 for reliable_computing-outgoing; Sun, 6 Feb 2000 14:30:43 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id OAA06868 for ; Sun, 6 Feb 2000 14:30:39 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.9.3+Sun/8.9.1) with SMTP id NAA10551 for ; Sun, 6 Feb 2000 13:30:37 -0700 (MST) Message-Id: <200002062030.NAA10551 [at] cs [dot] utep.edu> Date: Sun, 6 Feb 2000 13:30:37 -0700 (MST) From: vladik Reply-To: vladik Subject: Re: ECCAD'2000 Call for Participation To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: ttgFTGGvlH0IIouVtltvfA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------- Begin Forwarded Message ------------- From: "Rob Corless" To: "vladik" Cc: "Rob Corless" Subject: Re: ECCAD'2000 Call for Participation Date: Sun, 6 Feb 2000 15:23:10 -0500 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 Dear Vladik: Thanks for forwarding the ECCAD announcement on. You may also wish to forward the following brief "delta" note about Southern Ontario Numerical Analysis Day (SONAD), which is to be held the day before ECCAD (at the same location). Note also that one of the themes of SONAD is interval computation, and that interval people may very well be interested in attending the 70th birthday celebration for Professor Hans Stetter. Best regards, and I hope you can attend, Rob Corless ------------------------------------------------------------------------- SOUTHERN ONTARIO NUMERICAL ANALYSIS DAY 2000 joint meeting with East Coast Computer Algebra Day 2000 and the 70th Birthday Celebration for Professor Hans J. Stetter ANNOUNCEMENT AND CALL FOR PARTICIPATION ---------------------------------------------------------------------------- More information: www.orcca.on.ca/events TIME AND LOCATION Friday, May 12, 2000, 8:30am Middlesex Theatre, Middlesex College University of Western Ontario London, Ontario, Canada Reception in The Grad Club Lounge (Middlesex College) on Friday, May 12, 6:00pm-8:00pm. THEMES * Initial-Value Problems for ODE and DAE * Interval Mathematics * Hybrid Symbolic-Numeric Computation INVITED PRESENTATIONS * Gilles Villard, LMC-IMAG / Equipe Calcul Formel, Grenoble, France. * Grant Stephenson, Honeywell Hi-Spec, London, Canada * Lawrence F. Shampine, Southern Methodist University, Texas. CONFERENCE DINNER IN CELEBRATION OF THE 70th BIRTHDAY OF PROFESSOR HANS J. STETTER Professor Stetter has been a founding contributor to many of the themes of these Days; his work on initial-value problems in the 70's, on interval methods in the 80's, and current work on hybrid symbolic-numeric computation is of lasting value. In celebration of his 70th birthday, we are pleased to ask you to join us for a dinner in Professor Stetter's honour at the Great Hall, University of Western Ontario, at 7:00pm on Saturday, May 13 (after ECCAD). Tickets for the dinner are $40CDN ($20CDN for students) and registration for the dinner must be made by Friday, May 5. ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Sun Feb 6 20:09:39 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id UAA07403 for reliable_computing-outgoing; Sun, 6 Feb 2000 20:09:38 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id UAA07398 for ; Sun, 6 Feb 2000 20:09:35 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.9.3+Sun/8.9.1) with SMTP id TAA11123 for ; Sun, 6 Feb 2000 19:09:32 -0700 (MST) Message-Id: <200002070209.TAA11123 [at] cs [dot] utep.edu> Date: Sun, 6 Feb 2000 19:09:33 -0700 (MST) From: vladik Reply-To: vladik Subject: attention US and Canadian researchers: from NA Digest To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: h+j2sMAfbM+hQwDahCwLbQ== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk From: Endre Suli Date: Mon, 31 Jan 2000 22:21:35 +0000 (GMT) Subject: Search of Venue for the FoCM 2002 Conference Search of venue for the FoCM 2002 Conference Following the very successful second international conference on the Foundations of Computational Mathematics (FoCM) at Oxford University in July 1999 which attracted 320 participants and a high-powered cast of foremost world authorities from all branches of mathematics, the Executive Committee of FoCM is now investigating possible venues and calling for proposals for the next FoCM conference in Summer 2002. Although the Committee is open-minded as to the geographic location, there is a definite body of opinion to the effect that this is North America's turn (after Brazil and the UK). If you contemplate the idea of organising the next FoCM conference, please drop an e-mail to Endre.Suli [at] comlab [dot] ox.ac.uk as soon as possible to explore this further. Formal applications (up to 2 pages long) should be sent to him by 31 March, 2000, including details about lecture room facilities, quality and cost of local accommodation and subsistence, convenience of travel to the region, and potential sources of funding. The FoCM Executive Committee expects to announce the venue and the likely time of the next FoCM conference in April 2000. The aim of FoCM as an organisation is to explore and foster the interactions and establish a common agenda between computational mathematics, pure mathematics and computer science through conferences, workshops and series of publications which include the new Springer-Verlag journal ``Foundations of Computational Mathematics'', edited by Mike Shub, and the new Cambridge University Press monograph series ``Library of Computational Mathematics'' published under the FoCM imprint. Further details are available from the official FoCM website: http://www.focm.net/ From owner-reliable_computing [at] interval [dot] usl.edu Fri Feb 11 10:39:38 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA19043 for reliable_computing-outgoing; Fri, 11 Feb 2000 10:39:38 -0600 (CST) Received: from stuio1.puce.edu.ec ([192.188.55.6]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id KAA19038 for ; Fri, 11 Feb 2000 10:39:19 -0600 (CST) Received: by STUIO1 with Internet Mail Service (5.5.2448.0) id ; Fri, 11 Feb 2000 11:37:26 -0500 Message-ID: <41264836724AD21199AF0060083CA6AD0F8BBA@PUCEUIO> From: CASARES MALDONADO ALEJANDRO To: "'reliable_computing [at] interval [dot] usl.edu'" Subject: Conform to IEEE 754 Date: Fri, 11 Feb 2000 11:37:30 -0500 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2448.0) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear members: Could you tell me approximately how many (in percentage) actual computers conform themselves to the IEEE 754 floating point representation norm? Is there some known kind of machines - ad es., supercomputers, which do not adhere to that standard? Regards, Alejandro Casares From owner-reliable_computing [at] interval [dot] usl.edu Fri Feb 11 13:08:43 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id NAA19591 for reliable_computing-outgoing; Fri, 11 Feb 2000 13:08:43 -0600 (CST) Received: from s63.ucs.usl.edu (root [at] s63 [dot] ucs.usl.edu [130.70.118.63]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id NAA19586 for ; Fri, 11 Feb 2000 13:08:40 -0600 (CST) Received: from s63.ucs.usl.edu (rbk5287 [at] s63 [dot] ucs.usl.edu [130.70.118.63]) by s63.ucs.usl.edu (8.9.1/8.9.1/ucs-client_1.3) with SMTP id NAA00507; Fri, 11 Feb 2000 13:08:32 -0600 (CST) Message-Id: <200002111908.NAA00507 [at] s63 [dot] ucs.usl.edu> Date: Fri, 11 Feb 2000 13:08:32 -0600 (CST) From: Kearfott Ralph B Reply-To: Kearfott Ralph B Subject: Re: Conform to IEEE 754 To: reliable_computing [at] interval [dot] usl.edu, ACASARES [at] puceuio [dot] puce.edu.ec MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 204V3lReP4wNSNq20oNxSA== X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Alejandro, Intel-based machines except for flawed pentiums :-) have circuitry for conforming to the standard. All Sun machines have such circuitry, and, for the most part, Unix-based workstations do. Some notorious older machines that do not conform are older Cray mainframes and IBM mainframes. However, the IBM mainframes, although having hexadecimal arithmetic, have an arithmetic that in many respects satisfies the spirit of IEEE. The older Cray mainframes have particularly bad arithmetic in the sense of IEEE. When you look at every attribute specified in IEEE, it becomes somewhat more complicated. In particular, IEEE specifies the accuracy of binary-to-decimal and decimal-to-binary conversions. Such conversions occur, for example, when formatting a floating point number for printing. Because of this, conformance to the standard is tied to the compiler. A number of compilers do not have good binary to decimal conversion, in the sense of IEEE. In other words, on those compilers, "what you get is not what you see." (Incidentally, the Fortran 2000 standard will have a function that queries whether the processor conforms to IEEE. It also will have functions to access IEEE operations, such as setting the roundoff mode.) Best regards, R. Baker Kearfott > From: CASARES MALDONADO ALEJANDRO > To: "'reliable_computing [at] interval [dot] usl.edu'" > Subject: Conform to IEEE 754 > Date: Fri, 11 Feb 2000 11:37:30 -0500 > MIME-Version: 1.0 > > Dear members: > > Could you tell me approximately how many (in percentage) actual computers > conform themselves to the IEEE 754 floating point representation norm? > > Is there some known kind of machines - ad es., supercomputers, which do not > adhere to that standard? > > Regards, > > Alejandro Casares --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Fri Feb 11 13:51:20 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id NAA20012 for reliable_computing-outgoing; Fri, 11 Feb 2000 13:51:20 -0600 (CST) Received: from csc-sun.math.utah.edu (root@csc-sun.math.utah.edu [128.110.198.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id NAA20007 for ; Fri, 11 Feb 2000 13:51:16 -0600 (CST) Received: from suncore.math.utah.edu (suncore0.math.utah.edu [128.110.198.5]) by csc-sun.math.utah.edu (8.9.3/8.9.3) with ESMTP id MAA28439; Fri, 11 Feb 2000 12:51:08 -0700 (MST) Received: (from beebe@localhost) by suncore.math.utah.edu (8.9.3/8.9.3) id MAA23361; Fri, 11 Feb 2000 12:51:06 -0700 (MST) Date: Fri, 11 Feb 2000 12:51:06 -0700 (MST) From: "Nelson H. F. Beebe" To: CASARES MALDONADO ALEJANDRO , reliable_computing [at] interval [dot] usl.edu Cc: beebe [at] math [dot] utah.edu X-US-Mail: "Center for Scientific Computing, Department of Mathematics, 322 INSCC, University of Utah, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA" X-Telephone: +1 801 581 5254 X-FAX: +1 801 585 1640, +1 801 581 4148 X-URL: http://www.math.utah.edu/~beebe Subject: Re: Conform to IEEE 754 Message-ID: Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Alejandro Casares asks on Fri, 11 Feb 2000 11:37:30 -0500 >> Could you tell me approximately how many (in percentage) actual computers >> conform themselves to the IEEE 754 floating point representation norm? >> >> Is there some known kind of machines - ad es., supercomputers, which do not >> adhere to that standard? Because of the large installed base of Intel x86 processors, the answer is: almost 100%, if you simply count CPUs with floating-point hardware. The major floating-point architectures on today's market are: IEEE 754: Intel x86, and all RISC systems (IBM Power and PowerPC, Compaq/DEC Alpha, HP PA-RISC, Motorola 68xxx and 88xxx, SGI (MIPS) R-xxxx, Sun SPARC, and others); VAX: Compaq/DEC IBM S/390: IBM (however, in 1998, IBM added an IEEE 754 option to S/390; see below) Cray: X-MP, Y-MP, C-90; other Cray models have been based on Alpha and SPARC processors with IEEE-754 arithmetic. However, there are many issues of how strict IEEE 754 compliance is. Some vendors implement the standard entirely in hardware (IBM and Intel), others in a combination of hardware and software (all non-IBM RISC systems), and at least one entirely in software (Apple SANE (Standard Apple Numeric Environment) on older Macintoshes). Compaq/DEC Alpha by default does not adhere to IEEE 754 requirements: overflow and invalid operands (NaNs) terminate the job. Compiler options can be given to choose IEEE 754 conformance, but there is then a significant run-time penalty because of the need to insert trap barrier instructions that flush the instruction pipeline, so that trapping instructions can be precisely identified, and the exception handled in software. The latest Alpha chip, the 21264, provides full hardware support for IEEE 754 (see \cite{Kessler:1999:AM} below). Rounding mode control, which is essential for efficient interval arithmetic implementation, is absent from some systems (and from the Java programming language, which otherwise requires IEEE 754 arithmetic). On all systems with partial software implementations, there can be a severe performance hit to handle underflows (gradual or flush-to-zero), overflows, and invalid operands. Benchmarkers must be aware of these issues. Several vendors now follow IBM's lead from the 1990 Power architecture in offering multiply-add instructions that offer higher performance, and higher accuracy: a*b + c is computed by evaluating a*b exactly (i.e., to 2N bits), then the addition of c is made, also to 2N bits, and finally, the result is rounded to N bits. This has been shown to be exceedingly useful in careful numerical analysis, and serendipitously, provides a 2x flops rate improvement. However, it means that there will be even larger differences in accuracy between platforms. Most compilers on such systems provide a flag to suppress the use of such instructions. Intel, alone of all the vendors cited above, does its arithmetic with the IEEE-recommended 80-bit temporary real format. Rounding to 64-bit and 32-bit values happens only in register-to-memory transfers (and consequently, suffers a severe performance penalty (10x to 100x) for a round-trip to and from memory if 64-bit rounding is needed). The AMD K-7 (an Intel x86 compliant system) uses 80-bit temporary real format, but does much of its internal work with even longer precision (see \cite{Oberman:1999:FPD} below), in order to produce correctly-rounded results. Several RISC architectures do all arithmetic in 64-bit mode, converting to and from 32-bit values during memory transfers as needed. The Java language forbids use of longer intermediate precision (including multiply-add instructions), a decision that raised so much debate that the language designers are reexamining Java's floating-point specification. These precision differences in intermediate values contribute further to accuracy differences between platforms. The waters are even more muddied by the introduced of `multimedia instruction sets' from most of the cited vendors in recent processor offerings. Some of these have 32-bit floating-point in the IEEE-754 format, but without gradual underflow, NaN, and infinity. Because these instructions can do 2 to 8 flops in parallel, compilers will begin to use them for performance reasons, but then there will be even more variance from IEEE 754 requirements. The IEEE 754 standard requires correct rounding, in one of four modes (to nearest, +infinity, -infinity, and zero), yet not all vendors strictly conform. At least one (Compaq/DEC Alpha) normally provides only a compile-time choice of rounding mode; you have to specify an additional compiler option to get dynamic rounding (presumably because there is a performance hit for doing so). The Intel/HP IA-64 architecture (codenamed Merced) is reported (\cite{Story:1999:NAI}: see below) to produce results for the transcendental function primitives (not part of the IEEE 754 standard) which are accurate to less that 0.6 ulp (compared to Intel Pentium, which reaches only 1 ulp); the paper goes on to note ``Since these functions do not always yield a correctly-rounded value, invoking them twice under two directed rounding modes does not always produce an interval that includes the true mathematical value.'' That point should be of considerable importance to readers of this list, since the evolutionary path for the 250M+ Intel x86-based desktops world wide is to IA-64, and interval arithmetic deserves to have increasing importance in scientific computation. For more information on the current state of floating-point arithmetic, see papers from the ARITH conference series, many of which are recorded in http://www.math.utah.edu/pub/tex/bib/index-table-f.html#fparith The two Swartzlander reprint volumes there contain many historically important papers. The IBM S/390 paper from the 1999 ARITH-14 meeting is: @InProceedings{Schwarz:1999:GFP, author = "E. M. Schwarz and R. M. Smith and C. A. Krygowski", title = "The {S/390 G5} Floating Point Unit Supporting Hex and Binary Architectures", crossref = "Koren:1999:ISC", pages = "258--265", year = "1999", bibdate = "Mon Feb 7 07:28:26 MST 2000", URL = "http://euler.ecs.umass.edu/paper/final/paper-112.ps; http://euler.ecs.umass.edu/paper/final/paper-112.pdf", acknowledgement = ack-nhfb, keywords = "computer arithmetic; ARITH; IEEE", } @InProceedings{Oberman:1999:FPD, author = "S. F. Oberman", title = "Floating Point Division and Square Root Algorithms and Implementation in the {AMD-K7[TM]} Microprocessor", crossref = "Koren:1999:ISC", pages = "106--115", year = "1999", bibdate = "Mon Feb 7 07:28:26 MST 2000", URL = "http://euler.ecs.umass.edu/paper/final/paper-139.ps; http://euler.ecs.umass.edu/paper/final/paper-139.pdf", acknowledgement = ack-nhfb, keywords = "computer arithmetic; ARITH; IEEE", } @InProceedings{Story:1999:NAI, author = "S. Story and P. T. P. Tang", title = "New Algorithms for Improved Transcendental Functions on {IA-64}", crossref = "Koren:1999:ISC", pages = "4--11", year = "1999", bibdate = "Mon Feb 7 07:28:26 MST 2000", URL = "http://euler.ecs.umass.edu/paper/final/paper-118.ps; http://euler.ecs.umass.edu/paper/final/paper-118.pdf", acknowledgement = ack-nhfb, keywords = "computer arithmetic; ARITH; IEEE", } @Proceedings{Koren:1999:ISC, editor = "Israel Koren and Peter Kornerup", booktitle = "14th IEEE Symposium on Computer Arithmetic: proceedings: April 14--16, 1999, Adelaide, Australia", title = "14th {IEEE} Symposium on Computer Arithmetic: proceedings: April 14--16, 1999, Adelaide, Australia", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "xi + 274", year = "1999", ISBN = "0-7803-5609-8, 0-7695-0116-8, 0-7695-0118-4", ISSN = "1063-6889", LCCN = "QA76.6 .S887 1999", bibdate = "Mon Feb 7 07:28:26 MST 2000", note = "IEEE Computer Society Order Number PR00116. IEEE Order Plan Catalog Number 99CB36336.", URL = "http://computer.org/conferen/home/arith/; http://www.ecs.umass.edu/ece/arith14/program.html", acknowledgement = ack-nhfb, annote = "Also known as ARITH-14.", source = "Computer arithmetic", sponsor = "IEEE.", } @Article{Kessler:1999:AM, author = "R. E. Kessler", title = "The {Alpha 21264} Microprocessor", journal = j-IEEE-MICRO, volume = "19", number = "2", pages = "24--36", month = mar # "\slash " # apr, year = "1999", CODEN = "IEMIDZ", ISSN = "0272-1732", bibsource = "http://www.computer.org/micro/mi1999/", URL = "http://www.computer.org/micro/mi1999/m2024abs.htm; http://dlib.computer.org/mi/books/mi1999/pdf/m2024.pdf", acknowledgement = ack-nhfb, bibdate = "Fri Apr 2 09:14:32 MST 1999", } ------------------------------------------------------------------------------- - Nelson H. F. Beebe Tel: +1 801 581 5254 - - Center for Scientific Computing FAX: +1 801 585 1640, +1 801 581 4148 - - University of Utah Internet e-mail: beebe [at] math [dot] utah.edu - - Department of Mathematics, 322 INSCC beebe [at] acm [dot] org - - 155 S 1400 E RM 233 beebe [at] ieee [dot] org - - Salt Lake City, UT 84112-0090, USA URL: http://www.math.utah.edu/~beebe - ------------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Sun Feb 13 22:04:12 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id WAA02367 for reliable_computing-outgoing; Sun, 13 Feb 2000 22:04:12 -0600 (CST) Received: from kleene.math.wisc.edu (kleene.math.wisc.edu [144.92.166.90]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id WAA02362 for ; Sun, 13 Feb 2000 22:03:56 -0600 (CST) Received: from bing.math.wisc.edu (bing.math.wisc.edu [144.92.166.133]) by kleene.math.wisc.edu (8.9.3/8.9.3) with SMTP id VAA21004; Sun, 13 Feb 2000 21:49:16 -0600 (CST) Date: Sun, 13 Feb 2000 21:41:09 -0600 (CST) From: Hans Schneider To: NETS -- at-net , "Hershkowitz, Danny -- Hershkowitz Daniel" , Danny Hershkowitz , E-LETTER , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison 608-271-8477 (Home FAX) Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans --- ContentsDirect from Elsevier Science ===================================== URL: http://www.elsevier.nl/locate/jnlnr/07738 Journal: Linear Algebra and Its Applications ISSN : 0024-3795 Volume : 306 Issue : 1-3 Date : 22-Feb-2000 pp 1-13 Equivalence constants for matrix norms: a problem of Goldberg A Tonge pp 15-24 Classes of Schur D-stable matrices R Fleming pp 25-31 A representation theorem for algebras with commuting involutions M Cabrera pp 33-44 Sparsity of orthogonal matrices with restrictions GS Cheon, BL Shader pp 45-57 On sums of three square-zero matrices K Takahashi, PEIYUAN Wu pp 59-86 The Nevanlinna-Pick interpolation problems and power moment problems for matrix-valued functions III: The infinitely many data case GONGNING Chen pp 87-102 Generalized totally positive matrices M Fiedler pp 103-121 On almost regular tournament matrices C Eschenbach, JR Weaver pp 123-130 Dual graphs and knot invariants M Lien, W Watkins pp 131-143 Decomposing a matrix into circulant and diagonal factors M Schmid, R Steinwandt pp 145-154 Centrogonal matrices O Krafft pp 155-163 Spectral clustering properties of block multilevel Hankel matrices D Fasino pp 165-182 On condensed forms for partially commuting matrices YUA Alpin, L Elsner pp 183-188 A tree whose complement is not eigensharp VL Watts pp 189-202 Growth in Gaussian elimination for weighing matrices, W(n,n-1) CHRISTOS Koukouvinos pp 203-209 Semidefiniteness without real symmetry CR Johnson, RB Reams pp 211-211 Author index ------- NOTE: ContentsDirect, which is automatically generated, lists the first author of each paper and the corresponding author (if different). From owner-reliable_computing [at] interval [dot] usl.edu Mon Feb 14 00:18:37 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id AAA02793 for reliable_computing-outgoing; Mon, 14 Feb 2000 00:18:36 -0600 (CST) Received: from e3.ny.us.ibm.com (e3.ny.us.ibm.com [32.97.182.103]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id AAA02788 for ; Mon, 14 Feb 2000 00:18:33 -0600 (CST) From: banavar [at] us [dot] ibm.com Received: from northrelay02.pok.ibm.com (northrelay02.pok.ibm.com [9.117.200.22]) by e3.ny.us.ibm.com (8.9.3/8.9.3) with ESMTP id BAA131084; Mon, 14 Feb 2000 01:15:45 -0500 Received: from D51MTA03.pok.ibm.com (d51mta03.pok.ibm.com [9.117.200.31]) by northrelay02.pok.ibm.com (8.8.8m2/NCO v2.06) with SMTP id BAA75378; Mon, 14 Feb 2000 01:04:50 -0500 Received: by D51MTA03.pok.ibm.com(Lotus SMTP MTA v4.6.5 (863.2 5-20-1999)) id 85256885.00214FED ; Mon, 14 Feb 2000 01:03:51 -0500 X-Lotus-FromDomain: IBMUS To: MW2K_Publicity [at] us [dot] ibm.com Message-ID: <85256885.00214DC7.00 [at] D51MTA03 [dot] pok.ibm.com> Date: Mon, 14 Feb 2000 00:35:49 -0500 Subject: It's time to register for Middleware 2000! Mime-Version: 1.0 Content-type: text/plain; charset=us-ascii Content-Disposition: inline Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleague, Please note that the deadline for early registration is March 2, 2000. I urge you to not delay and register now for this premier conference. Please also help circulate this call for participation. Thanks. Guruduth Banavar =============================================================== CALL FOR PARTICIPATION Middleware 2000 The International Conference on Distributed Systems Platforms and Open Distributed Processing April 4 - 8, 2000 Hudson Valley (near New York City) USA http://www.research.ibm.com/Middleware2000 The advance program is available on our web site. We invite you to register now to join us for this premier conference in April. Sponsored by IFIP TC6 WG6.1 and ACM Supported by Agilent Technologies and IBM CONFERENCE BACKGROUND --------------------- Middleware 2000 will be the premier conference on distributed systems platforms and open distributed processing in the opening year of the new millenium. The conference is a synthesis of the major conferences and workshops in this area into a single international event. Middleware 2000 follows in the footsteps of the extremely successful, inaugural Middleware '98 Conference held in the Lake District of the UK in September, 1998. The focus of Middleware 2000 is on the design, implementation, deployment and evaluation of dis