From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jan  2 11:23:31 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i02HNU203577
	for reliable_computing-outgoing; Fri, 2 Jan 2004 11:23:30 -0600 (CST)
Received: from fe2.cox-internet.com (fe2-cox.cox-internet.com [66.76.2.39])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i02HNDw03559
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 2 Jan 2004 11:23:14 -0600 (CST)
Received: from Inspiron-8200 ([68.229.156.209]) by fe2.cox-internet.com
          (InterMail vK.4.04.00.03 201-232-140-20030416 license ac98e04b23802b25ff26d48c352bda07)
          with SMTP id <20040102172236.JEBX11084.fe2@Inspiron-8200>
          for <reliable_computing [at] interval [dot] louisiana.edu>;
          Fri, 2 Jan 2004 11:22:36 -0600
Message-Id: <2.2.32.20040102172226.009e1548 [at] pop [dot] louisiana.edu>
X-Sender: rbk5287 [at] pop [dot] louisiana.edu
X-Mailer: Windows Eudora Pro Version 2.2 (32)
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Fri, 02 Jan 2004 11:22:26 -0600
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: LAA contents
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Net Organizer:

Please circulate the attached LAA contents over your net.

Thanks

hans

   ******************************************************************
                            Hans Schneider

>            Office:                   +++++++++++++++++++++++++++++++      
>    Mathematics Department            +        Home:                +
>    Van Vleck Hall                    +  521 Samuel  Drive          +
>    University of Wisconsin           +  Madison, WI 53717-2416 USA +
>    480 Lincoln Drive                 +     608-833-6567            +
>    Madison, WI 53706-1313 USA        +++++++++++++++++++++++++++++++

>    Office Phone:    608-262-1402      
>    Math Dept Phone: 608-263-3054         Email: hans [at] math [dot] wisc,edu
>    Math Dept Fax:   608-263-8891      http://www.math.wisc.edu/~hans        
>                                                
>   ******************************************************************   
>
>
>
>* Linear Algebra and its Applications
>  Volume 378, Pages 1-293 (1 February 2004)
>  http://www.sciencedirect.com/science/issue/5653-2004-996219999-475426
>
>
>TABLE OF CONTENTS
>
>Fitting conics of specific types to data, Pages 1-30
>Yves Nievergelt
>
>Minimal and systematic convolutional codes over finite Abelian groups,
Pages 31-59
>Fabio Fagnani and Sandro Zampieri
>
>On the normal matrix of the polynomial LS problem over the Chebyshev
points, Pages 61-69
>Paolo Pugliese
>
>Surface volumes of rounding polytopes, Pages 71-91
>Mathias Drton and Udo Schwingenschlogl
>
>A note on 2-local automorphisms of digraph algebras, Pages 93-98
>Jinhai Xie and Fangyan Lu
>
>A rank theorem for Vandermonde matrices, Pages 99-107
>Pascal Koiran, Natacha Portier and Gilles Villard
>
>>From linear algebra via affine algebra to projective algebra, Pages 109-134
>Wolfgang Bertram
>
>On the convergence and optimization of the Baker-Campbell-Hausdorff
formula, Pages 135-158
>Sergio Blanes and Fernando Casas
>
>A lower bound for the minimum eigenvalue of the Hadamard product of
matrices, Pages 159-166
>Shencan Chen
>
>Cases of equality for certain inequalities involving a G-doubly stochastic
map, Pages 167-182
>Marek Niezgoda
>
>Perturbation of eigenvalues for periodic matrix pairs via the Bauer-Fike
theorems, Pages 183-202
>EricKing-wah Chu and Wen-Wei Lin
>
>Perturbed cones for analysis of uncertain multi-criteria optimization
problems, Pages 203-229
>L. Kozeratska, J. F. Forbes, R. G. Goebel and J. V. Kresta
>
>The Schur complements of generalized doubly diagonally dominant matrices,
Pages 231-244
>Jianzhou Liu, Yunqing Huang and Fuzhen Zhang
>
>Comparison and aggregation of max-plus linear systems, Pages 245-272
>James Ledoux and Laurent Truffet
>
>Irreducible groups with submultiplicative spectrum, Pages 273-282
>Marjeta Kramar
>
>Componentwise pseudospectrum of a matrix, Pages 283-288
>A. N. Malyshev and M. Sadkane
>
>Call for Papers: Special Issue in honor of Pauline van den Driessche, Page 289
>
>Call for Papers: Special Issue in honor of Professor Ingram Olkin, Pages
291-292
>
>Author index, Page 293
>
>Lists of Editors, Pages ii-iii
>
>----------------------------------------
>
>These papers and over 80 articles in press for LAA are now available at
> http://www.sciencedirect.com/ .
>
>
>
>
>
>
>
>

---------------------------------------------------------------
R. Baker Kearfott,    rbk [at] louisiana [dot] edu   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (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] louisiana.edu Fri Jan  2 11:47:40 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i02Hlex03804
	for reliable_computing-outgoing; Fri, 2 Jan 2004 11:47:40 -0600 (CST)
Received: from fe2.cox-internet.com (fe2-cox.cox-internet.com [66.76.2.39])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i02HlXw03799
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 2 Jan 2004 11:47:34 -0600 (CST)
Received: from Inspiron-8200 ([68.229.156.209]) by fe2.cox-internet.com
          (InterMail vK.4.04.00.03 201-232-140-20030416 license ac98e04b23802b25ff26d48c352bda07)
          with SMTP id <20040102174707.JRGZ11084.fe2@Inspiron-8200>
          for <reliable_computing [at] interval [dot] louisiana.edu>;
          Fri, 2 Jan 2004 11:47:07 -0600
Message-Id: <2.2.32.20040102174657.009e7e60 [at] pop [dot] louisiana.edu>
X-Sender: rbk5287 [at] pop [dot] louisiana.edu
X-Mailer: Windows Eudora Pro Version 2.2 (32)
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Fri, 02 Jan 2004 11:46:57 -0600
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: Semiannual list verification results
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear reliable_computing list members:

Thank you for your cooperation and patience in the most recent
email address verification process.  I have removed the following
addresses, for the reasons given.  If you know of a correct
address for these individuals, and if these individuals still
wish to be members of the list, please inform me.

Best regards,

Baker

========================================================================

unknown user:

ae58 [at] rz [dot] uni-karlsruhe.de
mapaps [at] bath [dot] ac.uk
guba [at] stud [dot] uni-sb.de
gvbalaji [at] eng [dot] utah.edu
voldmer_usa [at] yahoo [dot] com
devin.moore [at] sun [dot] com
kevin.m.ball [at] sun [dot] com
christopher.kennedy [at] gecm [dot] com
dudesinmexico [at] yahoo [dot] com
marcus [at] dcc [dot] unicamp.br


host unknown:

haroud [at] lia [dot] di.epfl.ch
silaghi [at] lia [dot] di.epfl.ch
g.manson [at] sheffield [dot] ac.ak
raman [at] mecheng [dot] iisc.ac.in

Could not be delivered for five days:

waldi [at] statistik [dot] tu-muenchen.de
armengol [at] songoku [dot] udg.es
vehi [at] songoku [dot] udg.es
kunkle [at] laplace [dot] FernUni-Hagen.de

domain not allowed to be relayed through:

luiz [at] npd [dot] ufpe.br  (centauro.ufpe.br)

access denied:

apzrm [at] itcaspur [dot] bitnet

========================================================================

---------------------------------------------------------------
R. Baker Kearfott,    rbk [at] louisiana [dot] edu   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (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] louisiana.edu Sat Jan  3 05:07:19 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i03B7Ie05688
	for reliable_computing-outgoing; Sat, 3 Jan 2004 05:07:18 -0600 (CST)
Received: from hotmail.com (bay13-f19.bay13.hotmail.com [64.4.31.19])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i03B75w05679
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 3 Jan 2004 05:07:11 -0600 (CST)
Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC;
	 Sat, 3 Jan 2004 03:05:13 -0800
Received: from 203.129.195.138 by by13fd.bay13.hotmail.msn.com with HTTP;
	Sat, 03 Jan 2004 11:05:13 GMT
X-Originating-IP: [203.129.195.138]
X-Originating-Email: [drnedun03 [at] hotmail [dot] com]
X-Sender: drnedun03 [at] hotmail [dot] com
From: "Nedun chezhian" <drnedun03 [at] hotmail [dot] com>
To: reliable_computing [at] interval [dot] louisiana.edu
Subject: research
Date: Sat, 03 Jan 2004 11:05:13 +0000
Mime-Version: 1.0
Content-Type: text/plain; format=flowed
Message-ID: <BAY13-F19hsD225JtQo00047fa8 [at] hotmail [dot] com>
X-OriginalArrivalTime: 03 Jan 2004 11:05:13.0726 (UTC) FILETIME=[7634C1E0:01C3D1E9]
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Sir,

I am professor S.Neduncheliyan from india. I would like to study about the 
fundamentals of Interval mathematics. I could not get the books here. I 
request you to show me the web address for download the materials.

Thanking You
Yours Truly

Prof S.Neduncheliyan
Dept of Computer Science Engineering,
Mohamed Sathak Engineering College,
Kilakarai - 623806.
India.

_________________________________________________________________
Free transactions in any ATM across India. 
http://server1.msn.co.in/msnleads/suvidha/dec03.asp?type=hottag Click here.


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jan  5 15:46:31 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i05LkVW09107
	for reliable_computing-outgoing; Mon, 5 Jan 2004 15:46:31 -0600 (CST)
Received: from goedel.louisiana.edu (rbk5287 [at] goedel [dot] louisiana.edu [130.70.132.143])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i05Ljww09103
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 5 Jan 2004 15:45:58 -0600 (CST)
Received: (from rbk5287@localhost)
	by goedel.louisiana.edu (8.11.3/8.11.3/ull-interval-math-mailhost_1.1) id i05Ljv401743
	for reliable_computing [at] interval [dot] louisiana.edu; Mon, 5 Jan 2004 15:45:57 -0600 (CST)
Received: from mail.unina.it (mail.unina.it [192.132.34.73])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i02Im1w04595
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 2 Jan 2004 12:48:17 -0600 (CST)
Received: (from smmsp@localhost)
	by mail.unina.it (8.12.10/8.12.9) id i02Il58F019649;
	Fri, 2 Jan 2004 19:47:05 +0100
X-Authentication-Warning: mail.unina.it: Processed by smmsp with -C /etc/mail/sendmail.cf
Received: from CEVO610c (cevo610c.dms.unina.it [143.225.253.76])
	by mail.unina.it (8.12.10/8.12.9) with ESMTP id i02Il3JH019589;
	Fri, 2 Jan 2004 19:47:03 +0100
Message-Id: <200401021847.i02Il3JH019589 [at] mail [dot] unina.it>
From: "Dr. Antonio Irpino" <irpino [at] unina [dot] it>
To: <reliable_computing [at] interval [dot] louisiana.edu>, <interval [at] cs [dot] utep.edu>
Subject: I hope we work in some common directions
Date: Fri, 2 Jan 2004 19:46:54 +0100
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
X-Mailer: Microsoft Office Outlook, Build 11.0.5510
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Thread-Index: AcPRYMizb2JEP+H3RsOhUKENWCPkDg==
X-scanner: scanned by Inflex 1.0.12.5 - (http://pldaniels.com/inflex/)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by interval.louisiana.edu id i02ImIw04598
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear collegues,
I am a researcher at the faculty of Economics in Naples, in particular I
work in computational statistics area. Since 1997 I work in the field of
Symbolic Data Analysis that is a new field of research in Data Analisis. We
work on data represented by intervals of real values and, in general, on set
valued variables.
Since two year I am reading all your messages and I am glad to give you some
links about this new field of statistical research that has been object of
two European research project (SODAS and ASSO).
We have also a new free electronic journal www.jsda.unina2.it that I invite
you to visit, where there are link to all activities of the Symbolic Data
Analysis Group.
I shold be glad if you can send me some consideration about our work on
Interval data.
In particular I work on factorial tecniques for dimensionality reduction on
data described by intervals.

Thank you

Antonio Irpino
Dip. di strat. az. e metod. quantit.
Seconda Universitŕ degli Studi di Napoli
P.zza Umberto I
81043 Capua (CE)
irpino [at] unina [dot] it


From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jan  9 14:19:22 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i09KJLO00712
	for reliable_computing-outgoing; Fri, 9 Jan 2004 14:19:21 -0600 (CST)
Received: from sunshine.math.utah.edu (IDENT:O0r+p9x8fJfqd+lBAdZVUmNEkR6j0j0t [at] sunshine [dot] math.utah.edu [128.110.198.2])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i09KJEq00708
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 9 Jan 2004 14:19:15 -0600 (CST)
Received: from psi.math.utah.edu (IDENT:ZRyK69U4ydnH5/Wkt21CLBH0Ul6AuoVH [at] psi [dot] math.utah.edu [128.110.198.32])
	by sunshine.math.utah.edu (8.12.10/8.12.10) with ESMTP id i09KJ7BL000125;
	Fri, 9 Jan 2004 13:19:07 -0700 (MST)
Received: from psi.math.utah.edu (IDENT:EzvdNR+BpwQie+lM4Z7PbNEvo7s5b/6d@localhost [127.0.0.1])
	by psi.math.utah.edu (8.12.10/8.12.10) with ESMTP id i09KJ7CC002221;
	Fri, 9 Jan 2004 13:19:07 -0700 (MST)
Received: (from beebe@localhost)
	by psi.math.utah.edu (8.12.10/8.12.10/Submit) id i09KJ7Xd002220;
	Fri, 9 Jan 2004 13:19:07 -0700 (MST)
Date: Fri, 9 Jan 2004 13:19:07 -0700 (MST)
From: "Nelson H. F. Beebe" <beebe [at] math [dot] utah.edu>
To: <reliable_computing [at] interval [dot] louisiana.edu>
Cc: beebe [at] math [dot] utah.edu
X-US-Mail: "Center for Scientific Computing, Department of Mathematics, 110
        LCB, 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: New paper on interval arithmetic
Message-ID: <CMM.0.92.0.1073679547.beebe [at] psi [dot] math.utah.edu>
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Here is a BibTeX entry for a new paper on interval arithmetic:

@String{j-APPL-MATH-COMP        = "Applied Mathematics and Computation"}

@Article{Shen:2003:AIA,
  author =       "Peiping Shen and Kecun Zhang and Yanjun Wang",
  title =        "Applications of interval arithmetic in non-smooth
                 global optimization",
  journal =      j-APPL-MATH-COMP,
  volume =       "144",
  number =       "2--3",
  pages =        "413--431",
  day =          "10",
  month =        dec,
  year =         "2003",
  CODEN =        "AMHCBQ",
  ISSN =         "0096-3003",
  bibdate =      "Fri Jan 9 08:41:09 MST 2004",
  acknowledgement = ack-nhfb,
}

-------------------------------------------------------------------------------
- Nelson H. F. Beebe                    Tel: +1 801 581 5254                  -
- University of Utah                    FAX: +1 801 581 4148                  -
- Department of Mathematics, 110 LCB    Internet e-mail: beebe [at] math [dot] utah.edu  -
- 155 S 1400 E RM 233                       beebe [at] acm [dot] org  beebe [at] computer [dot] org -
- Salt Lake City, UT 84112-0090, USA    URL: http://www.math.utah.edu/~beebe  -
-------------------------------------------------------------------------------

From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jan 16 15:17:07 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0GLH7m11836
	for reliable_computing-outgoing; Fri, 16 Jan 2004 15:17:07 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0GLH0q11832
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 16 Jan 2004 15:17:01 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.3) with SMTP id i0GLGpF27223;
	Fri, 16 Jan 2004 14:16:51 -0700 (MST)
Message-Id: <200401162116.i0GLGpF27223 [at] cs [dot] utep.edu>
Date: Fri, 16 Jan 2004 14:16:51 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Special Session on Interval tools for Control. Last call
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: tH8cZHoZItAkd5hR3uJ5Bg==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i0GLH2q11833
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

FYI. Vladik

------------- Begin Forwarded Message -------------

From: "Josep Vehi" <vehi [at] silver [dot] udg.es>

*********************************
Dear collegue,

One of the goals of the IEEE working group on “Interval Methods for
Control” (http://mice.udg.es/ieee_interval/), part of the IEEE Control
Systems Society technical committee on Computer Aided Control System
Design, is to organize special and/or invited sessions in major
Conferences in order to promote interval technology within the control
community.

In this framework, I’m trying to organize an special session with
tentative title “Interval Tools for Control” to be included in the 2004
IEEE Conference on Computer Aided Control Systems Design (CACSD2004) to
be held in Taipei during September 2-4
(http://www.mk.ces.kyutech.ac.jp/cacsd04/).

During the last decade, Interval methods have received great attention
from the Control community and major advances has been made in the
application of Interval methods to control problems and many interval
methods has been integrated in tools for CACSD.  The goal of the invited
session is to discuss the state-of-the-art and to present new research
results and perspectives of the future developments with respect to the
use of interval tools into CACSD systems.

If you are interested in participating, please send me and statement of
interest with the details of your contribution a.s.a.p. I’ll give you
back the password needed to submit the paper via paperplaza.net. 

Please, note that the deadline to submit the full paper is January 20th.
So, your quick response is essential.

Best regards and best wishes for the new year

Dr. Josep Vehí
MICELab (Modal Intervals and Control Engineering Laboratory) 
University of Girona 
17071 Girona, Spain




------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 20 03:26:23 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0K9QNm16586
	for reliable_computing-outgoing; Tue, 20 Jan 2004 03:26:23 -0600 (CST)
Received: from capricorn.math.kyushu-u.ac.jp (hidden-user [at] capricorn [dot] math.kyushu-u.ac.jp [133.5.165.1])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0K9QHq16582
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 20 Jan 2004 03:26:18 -0600 (CST)
Received: from ibm03dtvn7b20r (gb1000.s.math.kyushu-u.ac.jp)
 by math.kyushu-u.ac.jp (Sun Internet Mail Server sims.3.5.1999.05.24.18.28.p7)
 with SMTP id <0HRS00ML37IV9P [at] math [dot] kyushu-u.ac.jp> for
 reliable_computing [at] interval [dot] louisiana.edu; Tue,
 20 Jan 2004 18:25:43 +0900 (JST)
Date: Tue, 20 Jan 2004 18:25:40 +0900
From: Mitsuhiro Nakao <mtnakao [at] math [dot] kyushu-u.ac.jp>
Subject: Second Announcement of SCAN2004
To: reliable_computing [at] interval [dot] louisiana.edu
Message-id: <002201c3df37$5ee16150$631018ac@ibm03dtvn7b20r>
MIME-version: 1.0
X-Mailer: Microsoft Outlook Express 6.00.2800.1158
Content-type: text/plain; charset="iso-2022-jp"
Content-transfer-encoding: 7bit
X-MSMail-Priority: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
X-Priority: 3
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends:

SCAN2004, 11th GAMM - IMACS International
Symposium on Scientific Computing, Computer Arithmetic, and Validated
Numerics, will be held at Fukuoka, Japan on October 4-8, 2004.

Second announcement and call for papers of the conference is now available
by the following URL:

http://scan2004.math.kyushu-u.ac.jp/index.html

We will successively add more informations to the same homepage from now on.

You can also send any inquiries about the conference by the following
address.

 scan2004 [at] math [dot] kyushu-u.ac.jp

With my best regards,

Conference Chairman:
 Mitsuhiro T. Nakao(Faculty of Mathematics)

Faculty of Mathematics
Kyushu University 33
Fukuoka 812-8581, Japan

Local Organizing committee:
Mitsuhiro T. Nakao(Faculty of Mathematics)
Masahisa Tabata(Faculty of Mathematics)
Seiji Fujino(Computing and Communications Center)
Kaori Nagatou(Faculty of Mathematics)
Yoshitaka Watanabe(Computing and Communications Center)

Coneference Secretary:
 Chiyoko Nakaoka
 Faculty of Mathematics
 Kyushu University 33
 Fukuoka 812-8581, Japan
 nakaokac [at] math [dot] kyushu-u.ac.jp




From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 21 05:07:20 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0LB7J018222
	for reliable_computing-outgoing; Wed, 21 Jan 2004 05:07:19 -0600 (CST)
Received: from e0.ulst.ac.uk (e0.ulst.ac.uk [193.61.128.180])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0LB6qq18218
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 21 Jan 2004 05:06:54 -0600 (CST)
Received: from judge.ulst.ac.uk (judge-priv [192.168.11.40])
	by e0.ulst.ac.uk (UU/BC) with ESMTP id i0LB6iGx024664
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 21 Jan 2004 11:06:44 GMT
Received: from legion.infc.ulst.ac.uk (legion.infc.ulst.ac.uk [193.61.166.109])
	by judge.ulst.ac.uk (UU/BC) with ESMTP id i0LB6edG020655
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 21 Jan 2004 11:06:43 GMT
	(envelope-from eoin [at] legion [dot] infc.ulst.ac.uk)
Received: from eoin by legion.infc.ulst.ac.uk with local (Exim 4.12)
	id 1AjGA1-00031F-00
	for reliable_computing [at] interval [dot] louisiana.edu; Wed, 21 Jan 2004 11:04:37 +0000
Date: Wed, 21 Jan 2004 11:04:37 +0000
From: Eoin Malins <eoin [at] straylight [dot] eu.org>
To: reliable_computing [at] interval [dot] louisiana.edu
Subject: Interval Arithmetic benchmarks.
Message-ID: <20040121110437.GA11584 [at] straylight [dot] eu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.4.1i
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Hi all, and thanks for reading this,

I'm currently doing my PhD on the implementation of various interval routines in hardware, and would like to (eventually) compare the performance of my implementation to that of those executed on a conventional floating-point processor.  I.e. one which would require several discrete operations to perform a single interval computation.

To this end, does a set of benchmarks exist which will "exercise" a given architecture/interval library? Something akin to SpecFP-95, only for Interval.  If such a beast doesn't exist, I would be interested in hearing what people would like to see in such a benchmark.

Admittedly, in order to test both libraries and hardware this benchmark would require minor modification for the library routienes and subsequent recompilation for the architecture in question, and any optimization the compiler would see fit to insert.

Kind regards,
Eoin Malins.


From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 21 08:47:12 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0LElBp18575
	for reliable_computing-outgoing; Wed, 21 Jan 2004 08:47:11 -0600 (CST)
Received: (from rbk5287@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0LEl2G18569
	for reliable_computing [at] interval [dot] louisiana.edu; Wed, 21 Jan 2004 08:47:02 -0600 (CST)
Received: from e0.ulst.ac.uk (e0.ulst.ac.uk [193.61.128.180])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0KFYnq17198
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 20 Jan 2004 09:34:50 -0600 (CST)
Received: from judge.ulst.ac.uk (judge-priv [192.168.11.40])
	by e0.ulst.ac.uk (UU/BC) with ESMTP id i0KFYZGx002549
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 20 Jan 2004 15:34:35 GMT
Received: from legion.infc.ulst.ac.uk (legion.infc.ulst.ac.uk [193.61.166.109])
	by judge.ulst.ac.uk (UU/BC) with ESMTP id i0KFYVdG012208
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 20 Jan 2004 15:34:34 GMT
	(envelope-from eoin [at] legion [dot] infc.ulst.ac.uk)
Received: from eoin by legion.infc.ulst.ac.uk with local (Exim 4.12)
	id 1Aixrl-0002X4-00
	for reliable_computing [at] interval [dot] louisiana.edu; Tue, 20 Jan 2004 15:32:33 +0000
Date: Tue, 20 Jan 2004 15:32:33 +0000
From: Eoin <eoin [at] mindpimp [dot] com>
To: reliable_computing [at] interval [dot] louisiana.edu
Subject: Interval Arithmetic benchmarks.
Message-ID: <20040120153233.GA9629 [at] straylight [dot] eu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.4.1i
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Hi all, and thanks for reading this,

I'm currently doing my PhD on the implementation of various interval routines in hardware, and would like to (eventually) compare the performance of my implementation to that of those executed on a conventional floating-point processor.  I.e. one which would require several discrete operations to perform a single interval computation.

To this end, does a set of benchmarks exist which will "exercise" a given architecture/interval library? Something akin to SpecFP-95, only for Interval.  If such a beast doesn't exist, I would be interested in hearing what people would like to see in such a benchmark.

Admittedly, in order to test both libraries and hardware this benchmark would require minor modification for the library routienes and subsequent recompilation for the architecture in question, and any optimization the compiler would see fit to insert.

Kind regards,
Eoin Malins.

From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 21 10:35:39 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0LGZcA18796
	for reliable_computing-outgoing; Wed, 21 Jan 2004 10:35:38 -0600 (CST)
Received: from sunshine.math.utah.edu (IDENT:jRstjcpLatMJuKOdjOyWbQ2QM9f8zgBp [at] sunshine [dot] math.utah.edu [128.110.198.2])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0LGZYq18792
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 21 Jan 2004 10:35:34 -0600 (CST)
Received: from psi.math.utah.edu (IDENT:dZFWgkxd8lvfzZrjLNSem+VxCkZo4QAj [at] psi [dot] math.utah.edu [128.110.198.32])
	by sunshine.math.utah.edu (8.12.10/8.12.10) with ESMTP id i0LGZTJp022677;
	Wed, 21 Jan 2004 09:35:29 -0700 (MST)
Received: from psi.math.utah.edu (IDENT:JlUSv65fLPNDyXEYiRNMq/HLtZtVLBDs@localhost [127.0.0.1])
	by psi.math.utah.edu (8.12.10/8.12.10) with ESMTP id i0LGZTCC010236;
	Wed, 21 Jan 2004 09:35:29 -0700 (MST)
Received: (from beebe@localhost)
	by psi.math.utah.edu (8.12.10/8.12.10/Submit) id i0LGZStK010221;
	Wed, 21 Jan 2004 09:35:28 -0700 (MST)
Date: Wed, 21 Jan 2004 09:35:28 -0700 (MST)
From: "Nelson H. F. Beebe" <beebe [at] math [dot] utah.edu>
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: beebe [at] math [dot] utah.edu
X-US-Mail: "Center for Scientific Computing, Department of Mathematics, 110
        LCB, 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: Interval arithmetic in a recent book
Message-ID: <CMM.0.92.0.1074702928.beebe [at] psi [dot] math.utah.edu>
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

List readers might wish to look at Chapter 11, pp. 323--325, of this
recent book:

	@Book{Cornea:2002:SCI,
	  author =       "Marius Cornea and John Harrison and Ping Tak Peter
			 Tang",
	  title =        "Scientific computing on {Itanium}-based systems",
	  publisher =    pub-INTEL,
	  address =      pub-INTEL:adr,
	  pages =        "xvii + 406",
	  year =         "2002",
	  ISBN =         "0-9712887-7-1",
	  LCCN =         "????",
	  bibdate =      "Sat Dec 06 15:02:26 2003",
	  price =        "US\$69.95",
	  URL =          "http://www.intel.com/intelpress/sum_scientific.htm",
	}

In particular, the authors discuss the relative merits of a [low, high]
interval representation versus a {midpoint, radius} representation, with
particular reference to the HP/Intel IA-64 architecture, of which
Itanium and Itanium-2 are the names of the current implementations.

-------------------------------------------------------------------------------
- Nelson H. F. Beebe                    Tel: +1 801 581 5254                  -
- University of Utah                    FAX: +1 801 581 4148                  -
- Department of Mathematics, 110 LCB    Internet e-mail: beebe [at] math [dot] utah.edu  -
- 155 S 1400 E RM 233                       beebe [at] acm [dot] org  beebe [at] computer [dot] org -
- Salt Lake City, UT 84112-0090, USA    URL: http://www.math.utah.edu/~beebe  -
-------------------------------------------------------------------------------

From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jan 23 08:14:13 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0NEECr21329
	for reliable_computing-outgoing; Fri, 23 Jan 2004 08:14:12 -0600 (CST)
Received: from its-ballista.marqnet.mu.edu (its-ballista.marqnet.mu.edu [134.48.20.169])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0NEE6q21325
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 23 Jan 2004 08:14:06 -0600 (CST)
Received: from its-maximus.marqnet.mu.edu ([134.48.20.168]) by its-ballista.marqnet.mu.edu with Microsoft SMTPSVC(5.0.2195.6713);
	 Fri, 23 Jan 2004 08:13:49 -0600
Received: from [192.168.1.100] ([65.29.183.103]) by its-maximus.marqnet.mu.edu with Microsoft SMTPSVC(5.0.2195.6713);
	 Fri, 23 Jan 2004 08:13:48 -0600
User-Agent: Microsoft-Entourage/10.1.4.030702.0
Date: Fri, 23 Jan 2004 08:13:47 -0600
Subject: Re: Interval Arithmetic benchmarks.
From: George Corliss <George.Corliss [at] marquette [dot] edu>
To: Eoin <eoin [at] mindpimp [dot] com>, <reliable_computing [at] interval [dot] louisiana.edu>
Message-ID: <BC36883B.30D5%George.Corliss [at] Marquette [dot] edu>
In-Reply-To: <20040120153233.GA9629 [at] straylight [dot] eu.org>
Mime-version: 1.0
Content-type: text/plain; charset="US-ASCII"
Content-transfer-encoding: 7bit
X-OriginalArrivalTime: 23 Jan 2004 14:13:48.0810 (UTC) FILETIME=[1EC88EA0:01C3E1BB]
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Eoin,

Not what you seek, but possibly helpful.

#1 See http://www.eng.mu.edu/corlissg/Pubs/COSYtest/.  See the readme file,
and start in the Latex subdirectory.

With a student Jin Yu, I set out to do execution-based software testing of
the interval arithmetic in the MSU COSY package.  I ported the tests to
Sun's F95 and Rump's INTLAB, primarily to validate my testing strategies.
You might be able to use portions of my test suite, much of which I got from
Baker Kearfott's testing of his TOMS algorithm.  The paper has been accepted
to appear.

#2 See http://www.eng.mu.edu/corlissg/FtpStuff/Bias/ a 9 year old proposal
for a Basic Interval Arithmetic Subroutine library.  May have influenced
some later library development, but nothing concrete came of it.

#3 See http://www.eng.mu.edu/corlissg/FtpStuff/Compare/ a 10 year old
proposed interval test suite.  No further development.

#4 Gonnet's floating point tests from
www.inf.ethz.ch/personal/gonnet/FPAccuracy/Analysis.html appear to have
promise as tests of interval arithmetic.

#5 Sun has said in public forums that their F95 interval libraries and their
interval hardware has been exhaustively tested.  The claim led the audience
to believe they mean exhaustive in the combinatorial sense of testing every
possible input combination.  I do not think the tests (or the results) are
public.  You might try contacting Bill.Walster [at] eng [dot] sun.com

Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
PO Box 1881 
1515 W. Wisconsin Ave.
Milwaukee WI 53201-1881 USA
414-288-6599; Fax: 288-5574; Dept. 288-6280
George.Corliss [at] Marquette [dot] edu, georgec [at] mscs [dot] mu.edu
Www.eng.mu.edu/corlissg


> Hi all, and thanks for reading this,
> 
> I'm currently doing my PhD on the implementation of various interval routines
> in hardware, and would like to (eventually) compare the performance of my
> implementation to that of those executed on a conventional floating-point
> processor.  I.e. one which would require several discrete operations to
> perform a single interval computation.
> 
> To this end, does a set of benchmarks exist which will "exercise" a given
> architecture/interval library? Something akin to SpecFP-95, only for Interval.
> If such a beast doesn't exist, I would be interested in hearing what people
> would like to see in such a benchmark.
> 
> Admittedly, in order to test both libraries and hardware this benchmark would
> require minor modification for the library routienes and subsequent
> recompilation for the architecture in question, and any optimization the
> compiler would see fit to insert.
> 
> Kind regards,
> Eoin Malins.
> 


From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jan 24 12:44:25 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0OIiPj22863
	for reliable_computing-outgoing; Sat, 24 Jan 2004 12:44:25 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0OIiGq22859
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 24 Jan 2004 12:44:19 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.3) with SMTP id i0OIhjZ27974;
	Sat, 24 Jan 2004 11:43:45 -0700 (MST)
Message-Id: <200401241843.i0OIhjZ27974 [at] cs [dot] utep.edu>
Date: Sat, 24 Jan 2004 11:43:45 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: NAFIPS 2004: interval-related sessions
To: interval [at] cs [dot] utep.edu, reliable_computing [at] interval [dot] louisiana.edu
Cc: tsumoto [at] computer [dot] org
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: /2WeX2sNp/RwO4zxcjXjmw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, 

This may be of interest to us because the general concept of granular computing 
includes interval computations as an important particular case. 

NAFIPS stands for North American Fuzzy Information Processing Society.

Vladik

------------- Begin Forwarded Message -------------
From: Shusaku Tsumoto <tsumoto [at] computer [dot] org>
Subject: NAFIPS 2004 Special Sessions
Cc: tylin [at] cs [dot] sjsu.edu

...

T.Y. Lin and I are organizing special sessions on rough sets
and granular computing in NAFIPS2004.
This is the continuation of special sessions in NAFIPS2003.

NAFIPS2004 will be held in Banff on June  27-30, 1994 and the general chair
is Witold Pedrycz.

http://www.nafips04.ualberta.ca/

We have proposed our sessions, and the chair has already accepted our ideas,
as shown in the email attached below.

We would like to invite you to submit your paper on the special sessions
on rough sets and granular computing.

The acceptance decisions at 
NAFIPS 04 are made based on abstracts. The deadline for submitting 1-2 page 
abstracts is February 2, 2004. Please send the abstracts to us. 

For accepted abstracts, the deadline for submitting a full paper is 
 March 22, 2004.

Thank you for your attention, and I am very much looking forward to hearing
from you soon.


                                           Sincerely yours,


                                           Shusaku Tsumoto
                                           T.Y. Lin

-----------------------------------------------------------------
>Date: Tue, 06 Jan 2004 20:04:07 -0700
>From: Witold Pedrycz <pedrycz [at] ee [dot] ualberta.ca>
>Subject: Re: Proposal for Special Topic Session
>In-reply-to: <6.0.0.20.2.20040106180905.02c56ec0 [at] pop [dot] zb4.so-net.ne.jp>
>X-Sender: pedrycz [at] pop [dot] ee.ualberta.ca
>To: Shusaku Tsumoto <tsumoto [at] computer [dot] org>
>Cc: pedrycz [at] ee [dot] ualberta.ca, lkurgan [at] ece [dot] ualberta.ca, 
>dick [at] ece [dot] ualberta.ca,reform [at] ee [dot] ualberta.ca, musilek [at] ee [dot] ualberta.ca
>Message-id: <5.1.0.14.2.20040106190654.03b2c7e0 [at] pop [dot] ee.ualberta.ca>
>MIME-version: 1.0
>X-Mailer: QUALCOMM Windows Eudora Version 5.1
>Content-type: text/plain; charset=us-ascii; format=flowed
>Content-transfer-encoding: 7BIT
>X-Biglobe-VirusCheck: Wed, 07 Jan 2004 12:59:10 +0900
>X-UIDL: ^8<"!3%i!!'cQ"!l)Y!!
>
>Dear Shusaku,
>many thanks for the proposal of the special session(s) on Rough Sets and 
>Granular Computing. This is an important and timely area and I greatly 
>appreciate your involvement in NAFIPS 04.

...

>If I could be of any help, let me know.
>
>Best regards, Witold
-----------------------------------------------------------------

+-------------------------------------------------------------------+
|//----------------------// Shusaku Tsumoto, M.D., Ph.D(Comp Sci).  |
| !     Rough Sets,      !  Professor                               |
| !   Data Mining and    !  Department of Medical Informatics,      |
| ! Knowledge Discovery  !  Shimane University,                     |
| !        in            !  School of Medicine.                     |
| !  Medical Databases   !  89-1 Enya-cho, Izumo-city,              |
|//---------------------//  Shimane 693-8501 Japan                  |
|    Phone +81-853-20-2172                                          |
|    FAX   +81-853-20-2170                                          |
|  Email: tsumoto [at] computer [dot] org ( tsumoto [at] med [dot] shimane-u.ac.jp )      |
|  URL:  http://www.med.shimane-u.ac.jp/med_info/tsumoto/index.htm |
|  << A Mind and Soul Amazingly Forever Voyaging >>                 |
+-------------------------------------------------------------------+


------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jan 24 19:55:01 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0P1t0823161
	for reliable_computing-outgoing; Sat, 24 Jan 2004 19:55:00 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0P1stq23157
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 24 Jan 2004 19:54:56 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.3) with SMTP id i0P1sio00238;
	Sat, 24 Jan 2004 18:54:44 -0700 (MST)
Message-Id: <200401250154.i0P1sio00238 [at] cs [dot] utep.edu>
Date: Sat, 24 Jan 2004 18:54:43 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: IPMU 2004 Special Events
To: interval [at] cs [dot] utep.edu, reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: GYVFT/4CNeMwRvwFsAfYKQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i0P1suq23158
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dera Friends, 

This is FYI. This conference is organzied largely by the same folks who run the 
International Journal on Uncertainty, Fuzziness, and Knowledge-Based Reasoning, 
the journal that now has a regular column on the use of intervals. 

Interval-related talks will be very welcome. 

Vladik


------------- Begin Forwarded Message -------------
From: Bernadette Bouchon-Meunier <Bernadette.Bouchon-Meunier [at] lip6 [dot] fr>
Subject: IPMU 2004 Special Events

---------------------------------------------------------------------
This announcement is being sent to multiple lists. We apologize if you
receive several copies.
----------------------------------------------------------------------

                    THE TENTH CONFERENCE ON
INFORMATION PROCESSING AND MANAGEMENT OF
   UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS

                           	   IPMU'2004

                            	July 4-9, 2004

                      	Perugia - Italy

		http://ipmu2004.dipmat.unipg.it

                            ****************************
The IPMU Conference is organized every two years with the aim of  
bringing together scientists and practitioners working on various  
methods for the management of uncertainty in intelligent systems. This  
conference provides a medium for presenting new results and exchanging  
ideas between people using different methods to address important  
issues in uncertainty.
In 2004, the conference is being held in Perugia, an historical city  
located in the center of Italy, considered one of the most famous  
cities of Italy due to its rich history and many artistic treasures. It  
hosts one of the oldest universities in Italy.

			****************************
                           	  PLENARY LECTURES
Janos Aczel - "Entropies Old and New (and Both New and Old) and Their  
Characterizations"
(Faculty of Mathematics, University of Waterloo,  Canada)

Jim Bezdek - "Clustering in Very Large Data Sets, with Applications to  
Satellite Images and Normal Mixtures"
(Computer Science Department - University of West Florida, USA)

Rita Casadio - "Machine learning and the prediction of protein  
structure: the state of the art"
(Dipartimento di Biologia Evoluzionistica Sperimentale, University of  
Bologna, Italy)

Philip Dawid -  "Probability and the Law"
(Department of Statistical Science, University College, London, UK)

Gerd Gigerenzer -  "Fast and frugal heuristics"
(Center for Adaptive Behavior and Cognition Max Planck Institute for  
Human Development, Berlin, Germany)

Lotfi A. Zadeh - "Web Intelligence and Fuzzy Logic--Management of  
Knowledge and Uncertainty."
(Electrical Engineering and Computer Sciences Department, Berkeley   
University of California, USA)


			****************************
			         PANEL SESSION
Panel Session "Designing, Deploying, Transitioning, and Maintaining  
Knowledge-based Systems: the Lifecycle Challenge."
organized by Piero P. Bonissone

This panel will gather researchers and practitioners who actually had  
to implement their KB algorithms, monitoring their performance, and  
keeping them vital over time.
People who are interested in participating, please contact Piero P.  
Bonissone (bonissone [at] crd [dot] ge.com) no later than February 7.

			****************************
  		SPECIAL TRACK DEDICATED TO PRESENTATIONS OF  REAL WORLD 
APPLICATIONS
A special track on real applications of the methodologies related to  
the themes of the IPMU conference will be held. Altough not limited to,  
we are particularly interested in industrial colleagues who may not  
have the time or permission to write papers on their work but are able  
to make a presentation.  The contributors to this special track will  
not be required to submit a paper for publication in the proceedings.   
Any material provided by the authors of these communications will be  
gathered in a separate booklet.

The deadline for submitting proposals (title, authors, one page  
abstract describing the real world application) to the IPMU secretariat  
is February 7. A regular registration allows participants to submit a  
communication in this track and no additional fee is required.

************************************************************************ 


------------- End Forwarded Message -------------




From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jan 26 12:22:34 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0QIMYs25727
	for reliable_computing-outgoing; Mon, 26 Jan 2004 12:22:34 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0QIMHq25723
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 26 Jan 2004 12:22:28 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.3) with SMTP id i0QILXU11668;
	Mon, 26 Jan 2004 11:21:33 -0700 (MST)
Message-Id: <200401261821.i0QILXU11668 [at] cs [dot] utep.edu>
Date: Mon, 26 Jan 2004 11:21:33 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Applications of Computer Algebra CFP
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: 2avrsuEsCeecPa3W5TX0ZQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i0QIMSq25724
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends,

As usual, symbolic computing folks are veryt much interested in collaboration 
with us. Here is the CFP of their latest conference.


********************************************************************
First Call for Paper

Tenth International Conference on
Applications of Computer Algebra (ACA-2004) 

July 21-23, 2004 
Beaumont, Texas, USA 

The 10th annual international conference on applications 
of computer algebra will be held at the Hilton Hotel in 
Beaumont, Texas, U.S.A. on July 21-23, 2004. The 
conference is hosted by Computer Science Department, 
Lamar University. 

In the past several years there has been a dramatic 
increase in the use of symbolic computation (also known 
as computer algebra) in engineering, science and 
education. The goal of this conference is to promote 
this important progress through an international 
meeting that emphasizes applications of symbolic 
computation and interaction between symbolic 
computation researchers and users from other 
disciplines. The conference consists of sessions 
organized by prominent researchers who will focus on 
their own application areas including computer aided 
geometric design, geometric modeling and computation, 
robotics and kinematics, mechanics, high energy 
physics, economics and finance, theorem provers, types 
and specifications, differential equations, the 
symbolic-numeric interface, computational finance, 
education, engineering, science and applied mathematics.

The organizers very much hope that this conference will 
make a broad impact on both the symbolic computation 
research community and the user community. The user 
community will be able to learn about the state of the 
art theories and algorithms that are available for 
their uses. The research community will be able to 
learn about important problems and challenges facing 
the serious users from other disciplines, inspiring 
fresh new theoretical research and algorithm design.

 New For This Conference:

1. Invited Speakers: Gerald Farin (ASU), Hoon Hong 
  (NCSU). 

2. Proceedings of accepted full papers will be 
  published and distributed at the conference.

3. Selected papers of ACA-2003 & ACA-2004 will be 
  published in a Special Issue of Journal of Symbolic 
  Computation.

4. The conference is managed by an automatic system via 
  the web server at http://buchberger.cs.lamar.edu/ACA2004, 
  which will hopefully make the 
  work of session organizers and attendees much easier.

1 Description of the Meeting 

* General Chair: Quoc-Nam Tran, Lamar University

* Organizing Chairs: Lawrence Osborne (Lamar 
  University) and Stanly Steinberg (New Mexico)

* Program Chairs: Quoc-Nam Tran (Lamar University) and 
  Vladimir Gerdt (Dubna)

* Scientific Committee:

    Alkiviadis Akritas (Greece)        Eric Kaltofen (USA)            
    Jacques Calmet (Germany)           Bernhard Kutzler (Austria)     
    Victor Edneral (Russia)            Richard Liska (Czech)          
    Victor Ganzha (Russia)             Eugenio Roanes-Lozano (Spain)  
    Vladimir Gerdt (Russia)            Stanly Steinberg (USA)         
    Hoon Hong (USA)                    Quoc-Nam Tran (USA)            
    Ilias Kotsireas (Canada)           Nikolay Vasiliev (Russia)      
    Tony Shaska (USA)                  Michael Wester (USA)           
  

* Local Arrangements : Hsing-wei Chu (Co-Chair), 
  Valentin Andreev (Co-Chair), Jennifer Fowler, Hikyoo 
  Koh, Chung-Chih Li

* Web-site: http://buchberger.cs.lamar.edu/ACA2004

* Contact Address: 

  * ACA-2004 Conference, Department of Computer 
    Science, Lamar University, Box 10056, Beaumont, 
    TX-77710, U.S.A.

  * Tel: (409) 880-7995 Fax: (409) 880-2364 Email: 
    aca2004 [at] symbolic [dot] cs.lamar.edu

 Important Due Dates:

* Proposals for organizing a special session: March 15, 2004.

* Submission of full papers for the Proceedings of the 
  Conference: May 1, 2004.

* Submission for talks at the conference: July 1, 2004.

* Notification of acceptance for the Proceedings of the 
  Conference: July 1, 2004.

* Submission of full papers for the Special Issue of 
  the Journal of Symbolic Computation: September 15, 2004.

 Topics To Be Presented

The conference will cover (but not be limited to) the 
following topics:

1. Computer Algebra Systems 

2. Symbolic Numeric Interface 

3. Computer Algebra in Economics and Finance 

4. Computational Finance

5. Computational Aspects of Computer Aided Geometric 
  Design and Geometric Modeling

6. Theory and Applications of Groebner Bases

7. Computer Algebra in Robotics 

8. Computer Algebra in Education 

9. Computer Algebra and Theorem Provers

10. Non Standard Applications 

11. Theory and Applications of Quantifier Elimination

12. Theory and Applications of Resultants

13. Formal Theory of Differential Equations 

14. Analysis of Differential Equations 

15. Applications of Computer Algebra to Computational 
  Sciences 

16. Types and Specification 

17. Applications to Chemistry, Physics and Maths 

18. Industrial and Engineering Applications of Computer 
  Algebra 

19. General and other Applications of Computer Algebra 

Academic sessions are now being organized.

 Organizing a Special Session

The meeting will be run in the standard IMACS format 
where prominent researchers are welcomed to organize a 
special session. Requests for proposals for special 
sessions will also be issued. Additional information is 
available from the conference's website.

A special session will be allocated three hours for 
presentations. It is expected that most talks, 
including any time for questions or discussion, will be 
for one-half hour so that attendees can move from one 
session to another. However, the organizers may use the 
time in anyway they wish. Having the first talk in the 
session be a survey or overview for a general 
scientific and educational audience is encouraged. It 
would be appropriate for this talk to be for one hour.

 Duties of a Session Chairperson:

Submit a proposal for a session to the General Chair. 
This should consist of an abstract for the session and 
a list of speakers to be invited. If the session is 
approved, then the following needs to be done: 

1. Submit a proposal for a session to the Program Chair.

2. Invite the speakers if the proposal is accepted. 
  Request that the speakers submit abstracts and/or 
  full papers to the organizer. The organizer will 
  forward the submissions to the Program Chair. 

3. Find at least two referees for each full paper 
  submission for the proceedings of the conference. (No 
  referees are needed for abstracts.)

The conference organizers request that senior 
special-session organizers invite a junior researcher 
to be their co-organizer. In addition, it is important 
for the health of the symbolic computation community to 
encourage junior, female, and minority researchers to 
participate in the special sessions.

2 Facilities and Costs

The meeting will be held at the Hilton hotel located in 
Beaumont, Texas, USA. Professor Quoc-Nam Tran, who is 
organizing the meeting, has visited the Hilton hotel. 
Their conference facilities are excellent. Moreover, 
their use is gratis if sufficiently many attendees stay 
at the hotel. Our estimates indicate we will have no 
problem meeting the minimum.

The hotel provides rooms and chairs. We must rent the 
audio-visual and related equipment and arrange for 
Internet connections. We also have to arrange for 
coffee breaks and similar items. All of this is being 
done by the local arrangements committee and should be 
essentially completed in a couple of months. 

The hotel is offering special prices for ACA's 
attendees at the cost of $65 per day plus tax in contrast 
to the normal price of $98 per day plus tax. The Hilton 
hotel also offers free shuttle bus to and from the 
airport for guests. There also are condominiums and 
other cheaper hotels nearby.

 Costs and Justification

Note that the organizers were very concerned about the 
cost of having a meeting in the US. However, the 
expenses are competitive with meetings held in Europe 
or in a major US city. Additionally, the use of the 
conference facilities in the hotel are gratis, which 
will significantly reduce the registration fee. Also, 
several journals, including the IMACS journals, the 
Journal of Symbolic Computation, and the Applied 
Algebra in Engineering, Communication and Computing 
will consider creating special issues of interesting 
session (at no cost to the ACA).

The maximum registration fee for the meeting is 
certainly not more than $250, and will hopefully be much 
less. We are currently working out the cost of 
equipment rental, coffee breaks, and such and do not 
expect final answers for several months. An estimate 
for meals is $40.00 X 4 days = $160. Estimated hotel 
room is $65.00 X 4 days = $280. The cost of the meeting 
is then expected to be around $690 plus travel. 
Estimated travel costs to the meeting from the east 
coast (New York) $250, the west coast (Los Angeles) 
$250, and Europe (Frankfurt) $1100. A group-movement 
discount is being arranged with several airlines. There 
will be many opportunities for attendees to discount fares.

 Financial Supports

Requests for supporting students, young researchers and 
organizers have been made to the NSF. Information on 
this issue will be updated on the conference's website.

Additional support has been requested from Lamar 
University, the host university, for a portion of the 
costs for renting audio-visual equipment (with an 
estimation of 1500 X 3 = $4500) and for 
printing the proceedings of the conference 
(with an estimation of $27.5 X 200=$5500). More specifically, 
the office of the Vice President for Academic Affairs, 
Dean of College of Engineering and Chair of Computer 
Science Department at Lamar University have agreed to 
further support the conference.


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jan 26 16:49:13 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0QMnCm25923
	for reliable_computing-outgoing; Mon, 26 Jan 2004 16:49:12 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0QMmiq25918
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 26 Jan 2004 16:48:49 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.3) with SMTP id i0QMm5F15223;
	Mon, 26 Jan 2004 15:48:05 -0700 (MST)
Message-Id: <200401262248.i0QMm5F15223 [at] cs [dot] utep.edu>
Date: Mon, 26 Jan 2004 15:48:05 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: On the SMPS'2004
To: interval [at] cs [dot] utep.edu, reliable_computing [at] interval [dot] louisiana.edu
Cc: angelesgil [at] telecable [dot] es, mld [at] pinon [dot] ccu.uniovi.es
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: eDWhSe50MKC08BSAmJEryA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i0QMmoq25919
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends,

Ax you probably remember, 2nd International Conference on Soft Methods in 
Probability and Statistics SMPS'2004 will be held in Oviedo, Asturias, Spain, 
September 2-4, 2004. (deadline for submissions February 15, 2004) For details, 
see http://web.uniovi.es/SMPS

Interval computations and their relations to probability are one of the focus 
interests of the conference organizers. I have recently received an email from 
them (see attached) that they would welcome it if someone could organize a 
special session on interval techniques. 

I myself will be able to go to this conference (too many things to do and too 
little money, and it is a long trip for me :-(. 

If anyone is planning to go and is interested in organizing a special session, 
please contact the organizers ASAP. (I will be glad to help with refereeing).

As an incentive: according to the conference tradition, a session oprganizers 
who brings enough talks into his or her session may get a registration fee 
discount. If interested, please check with the organizers.

It is very desirable to spread our word to probability folks, especially those 
who are receptive to the idea that intervals may be useful. 

Vladik


------------- Begin Forwarded Message -------------

From: "angelesgil" <angelesgil [at] telecable [dot] es>
To: <vladik [at] cs [dot] utep.edu>
Cc: "'Miguel López'" <mld [at] pinon [dot] ccu.uniovi.es>
Subject: On the SMPS'2004
Date: Fri, 9 Jan 2004 22:21:26 +0100
MIME-Version: 1.0
X-Priority: 1 (Highest)
X-MSMail-Priority: High
Importance: High
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165

Dear Professor Kreinovich,

We are writing you to broach the possibility of trying to organize
an oriented session for the SMPS'2004 about "Interval Computation". In
our opinion this should be a topic that should be suitably covered in
the conference. 

Should this be
the case do not hesitate to contact us for any question you have.

...

Warm regards,

Maria and Miguel


------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 27 06:07:52 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0RC7qM27089
	for reliable_computing-outgoing; Tue, 27 Jan 2004 06:07:52 -0600 (CST)
Received: from galaxy.uci.agh.edu.pl (postfix [at] galaxy [dot] uci.agh.edu.pl [149.156.96.9])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0RC7Rq27085
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 27 Jan 2004 06:07:33 -0600 (CST)
Received: by galaxy.uci.agh.edu.pl (Postfix, from userid 6702)
	id 141F1AF425; Tue, 27 Jan 2004 13:06:49 +0100 (CET)
Received: from localhost (localhost [127.0.0.1])
	by galaxy.uci.agh.edu.pl (Postfix) with ESMTP
	id 0B6A0DBB8D; Tue, 27 Jan 2004 13:06:49 +0100 (CET)
Date: Tue, 27 Jan 2004 13:06:48 +0100 (CET)
From: Iwona Skalna <skalna [at] uci [dot] agh.edu.pl>
To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Cc: interval [at] cs [dot] utep.edu, reliable_computing [at] interval [dot] louisiana.edu,
   angelesgil [at] telecable [dot] es, mld [at] pinon [dot] ccu.uniovi.es
Subject: Papers on solving systems of interval (fuzzy) equations
In-Reply-To: <200401262248.i0QMm5F15223 [at] cs [dot] utep.edu>
Message-ID: <Pine.GSO.4.58.0401271302001.4273 [at] galaxy [dot] uci.agh.edu.pl>
References: <200401262248.i0QMm5F15223 [at] cs [dot] utep.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear colleagues,

	I am looking for most recent papers on solving systems of
linear and nonlinear equations with interval or fuzzy coefficients.
I will be gratefull for copies of these papers or references.

	With best regrads, Iwons Skalna

From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 27 08:46:01 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0REjxu27473
	for reliable_computing-outgoing; Tue, 27 Jan 2004 08:45:59 -0600 (CST)
Received: from signals.gtrep.gatech.edu (signals.gtrep.gatech.edu [168.20.172.14])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0REjWq27458
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 27 Jan 2004 08:45:48 -0600 (CST)
Received: from rmuhannalptp (rmuhanna-lptp.gtrep.gatech.edu [10.50.20.152])
	by signals.gtrep.gatech.edu (8.12.8/8.12.8) with SMTP id i0REikSP008999
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 27 Jan 2004 09:44:46 -0500
Message-ID: <007e01c3e4e4$4e69aa50$9814320a@rmuhannalptp>
From: "Rafi Muhanna" <rafi.muhanna [at] gtrep [dot] gatech.edu>
To: <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Workshop on Reliable Engineering Computing
Date: Tue, 27 Jan 2004 09:46:11 -0500
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_007B_01C3E4BA.6588F3F0"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
X-MailScanner-Information: Please contact the ISP for more information
X-GTSAV-MailScanner: Found to be clean
X-MailScanner-SpamScore: s
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

This is a multi-part message in MIME format.

------=_NextPart_000_007B_01C3E4BA.6588F3F0
Content-Type: text/plain;
	charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable

Dear All:

The Center for Reliable Engineering Computing will host a workshop on =
Reliable Engineering Computing  during the period of September 15 =
through September 17, 2004.  The announcement will be sent out in the =
near future.  I am sending this e-mail just to keep you informed.


Rafi Muhanna
________________________________________________

Rafi L. Muhanna
Director, Center for Reliable Engineering Computing (REC)
Department of Civil & Environmental Engineering
Regional Engineering Program
Georgia Institute of Technology
=20
210 Technology Circle
Savannah, GA 31407-3038
USA
=20
Email:         rafi.muhanna [at] gtrep [dot] gatech.edu
Phone:       (912) 966-7931=20
Fax:           (912) 966-7928

------=_NextPart_000_007B_01C3E4BA.6588F3F0
Content-Type: text/html;
	charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dwindows-1252">
<META content=3D"MSHTML 6.00.2800.1276" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV>Dear All:</DIV>
<DIV>&nbsp;</DIV>
<DIV>The Center for Reliable Engineering Computing will host a workshop =
on=20
Reliable Engineering Computing&nbsp; during the period of September 15 =
through=20
September 17, 2004.&nbsp; The announcement&nbsp;will be sent out in the =
near=20
future.&nbsp; I am sending this e-mail just to keep you informed.</DIV>
<DIV>&nbsp;</DIV>
<DIV>&nbsp;</DIV>
<DIV>Rafi Muhanna</DIV>
<DIV>________________________________________________</DIV>
<DIV>&nbsp;</DIV>
<DIV>Rafi L. Muhanna<BR>Director, Center for Reliable Engineering =
Computing=20
(REC)<BR>Department of Civil &amp; Environmental Engineering<BR>Regional =

Engineering Program<BR>Georgia Institute of Technology<BR>&nbsp;<BR>210=20
Technology Circle<BR>Savannah, GA=20
31407-3038<BR>USA<BR>&nbsp;<BR>Email:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;=20
<A=20
href=3D"mailto:rafi.muhanna [at] gtrep [dot] gatech.edu">rafi.muhanna [at] gtrep [dot] gatech.e=
du</A><BR>Phone:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
(912) 966-7931=20
<BR>Fax:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; =
(912)=20
966-7928<BR></DIV></BODY></HTML>

------=_NextPart_000_007B_01C3E4BA.6588F3F0--


From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 28 18:02:26 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0T02Pi29252
	for reliable_computing-outgoing; Wed, 28 Jan 2004 18:02:25 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0T02Jq29248
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 28 Jan 2004 18:02:20 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.3) with SMTP id i0T01wW25455;
	Wed, 28 Jan 2004 17:01:59 -0700 (MST)
Message-Id: <200401290001.i0T01wW25455 [at] cs [dot] utep.edu>
Date: Wed, 28 Jan 2004 17:01:58 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: [SunHPC] CALL FOR PAPERS: Sun HPC Consortium June 20-22
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: 4wH5nDtdpSO4C8dYsuGB3w==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, Please notice that interval arithmetic is one of the highlighted 
topics of the consortium.
------------- Begin Forwarded Message -------------

Date: Wed, 28 Jan 2004 15:17:09 -0500
From: Brian Hammond <brian.hammond [at] sun [dot] com>


CALL FOR PAPERS:

Sun Microsystems' High Performance and Technical Computing
Team (http://www.sun.com/edu/hpc/consortium.html)
and the Sun HPC Consortium Steering Committee
(www.hpcconsortium.org) invite the submission of
abstracts for presentations at the upcoming meeting
in June in Heidelberg.

Abstract submissions should concern and/or reflect the
program focus areas of:

   Data Intensive Computing
   Grid Services -- Applications, Development, Standards
   Computational Biology
   Interval Arithmetic
   System or Application Performance
   Visualization with Java, V880z
   Sun Science & Engineering Centers of Excellence


DEADLINE:  All abstracts must be submitted by March 31, 2004

WHEN:      June 20, 21 - Main Program
            June 22 - Grid, Comp. Biology Special Interest Group Meetings
            (Prior to the ISC2004 conference, http://www.isc2004.org/)

WHERE:     Crowne Plaza Heidelberg
            Kurfurstenanlage 1
            Heidelberg, 69115
            Germany

PROCEDURE: Please send a *one-page* abstract of the proposed talk
            to hpcconsortium-info [at] sun [dot] com. The steering committee
            will review all submissions and decide based on
            relevance to our audience.

If you have any questions please contact us at
mailto:hpcconsortium-info [at] sun [dot] com

=====================================================
Brian Hammond, Ph.D.
Scientific & Engineering Computing
Global Education & Research LOB
Sun Microsystems, Inc.








_______________________________________________
SunHPC mailing list
SunHPC [at] lists [dot] RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/sunhpc

------------- End Forwarded Message -------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 29 22:50:36 2004
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i0U4oZK01389
	for reliable_computing-outgoing; Thu, 29 Jan 2004 22:50:35 -0600 (CST)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i0U4oSq01385
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 29 Jan 2004 22:50:28 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.3) with SMTP id i0U4o3U15859;
	Thu, 29 Jan 2004 21:50:03 -0700 (MST)
Message-Id: <200401300450.i0U4o3U15859 [at] cs [dot] utep.edu>
Date: Thu, 29 Jan 2004 21:50:04 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: deadline in a few days!!!
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: achenie [at] engr [dot] uconn.edu, km [at] imm [dot] dtu.dk, jw [at] imm [dot] dtu.dk
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: 8VNjT1aBdJNOiTvLFtPiaA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

                            Minisymposium on
                           "Interval Methods"

                 to be held in conjunction with the

                         PARA'04 Workshop on
               State-of-the-Art in Scientific Computing

                           June 20-23, 2004
                  Technical University of Denmark
                    Lyngby, Copenhagen, Denmark
                 http://www.imm.dtu.dk/~jw/para04/

SCOPE:
In many practical problems (such as process design, modeling,
identification, optimization, and control) there is a need to (a)
solve systems of equations and inequalities, and/or (b) optimize some
performance measure. The results obtained by conventional algorithms
are either local or cannot be guaranteed.  Deterministic global
optimization methods have evolved to the point that obtaining global
solutions for certain classes of problems are almost routine. Even
then, since the results cannot be validated (due to round-off and
limits on machine precision), some global solutions may be
missed. Interval analysis provides guaranteed approximations of the
set of all the actual solutions of the problem. This ensures that no
solution is missed. In recent years researchers in many areas of
science of engineering -- e.g., in Chemical Engineering -- have used
interval analysis to locate, e.g., all roots of a system of equations,
including those that have been missed using conventional
approaches. Interval analysis has also been employed very
successfully in global optimization. The state of the art 
global optimizers such as alpha-BB incorporate
some interval analysis ideas. This minisymposium is devoted to the
theory and application of interval analysis in validated computing and
deterministic global optimization. We particularly encourage successful
industrially-relevant applications. We also encourage problems that
can evolve as benchmark case studies for future research.

CONTRIBUTIONS:
A limited number of contributed, either 15 or 20 minutes talks will be
selected for this minisymposium. Short abstracts at most one page
should be sent before February 1, 2004. The text should be in pure ASCII
format. The acceptance of these abstracts will be send no later than
February 29, 2004.

After acceptance, extended abstracts, at most 7 pages, should be sent
before April 15, 2004. Two format versions are needed, the latex, and
postscript or pdf. The pictures must be as encapsulated postscript files
(eps). The extended abstracts will be handed out at the beginning of the
Workshop.

After the conference, full papers, at most 10 pages, formatted according to
the rules of the LNCS, in order to be published in the PARA'04 proceedings,
should be sent before September 15, 2004. The author's instructions and
style files for the LNCS can be found at

           http://www.springer.de/comp/lncs/authors.html

These submitted papers will be reviewed, and the incorrect and wrongly
formatted papers will have to be submitted again. Some papers may be
selected for publication in special issues of regular scientific journals.

LOCATION:
   Technical University of Denmark, DK-2800 Lyngby, DENMARK

DEADLINES:
  Abstracts (at most 1 page):           January   31, 2004
  Notification of acceptance:           February  29, 2004
  Extended abstracts (at most 7 pages): April     15, 2004
  The PARA'04 Workshop:                 June   20-23, 2004
  Proceeding papers (at most 10 pages): September 15, 2004

SUBMISSION:
The short abstracts, extended abstracts and the papers of this Minisymposium
should be sent to Vladik Kreinovich at vladik [at] cs [dot] utep.edu, to 
Luke Achenie at achenie [at] engr [dot] uconn.edu, and to Kaj Madsen at
km [at] imm [dot] dtu.dk.

FURTHER INFORMATION:
For more information related to PARA'04 Workshop, including the payments,
registration, hotel reservation etc., please visit
                    http://www.imm.dtu.dk/~jw/para04/

The minisymposium organizer(s):
  Luke Achenie 
  University of Connecticut
  Chemical Engineering Department 
  USA

  Vladik Kreinovich
  University of Texas at El Paso
  Department of Computer Science
  USA

  Kaj Madsen 
  Technical University of Denmark
  Informatics and Mathematical Modelling
  Denmark