From owner-reliable_computing [at] interval [dot] usl.edu  Wed Jan  3 16:04:04 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id QAA22178
	for reliable_computing-outgoing; Wed, 3 Jan 2001 16:04:04 -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 QAA22173
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 3 Jan 2001 16:03:53 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.10.1/8.10.1) with SMTP id f03M3Yj10808;
	Wed, 3 Jan 2001 15:03:35 -0700 (MST)
Message-Id: <200101032203.f03M3Yj10808 [at] cs [dot] utep.edu>
Date: Wed, 3 Jan 2001 15:03:34 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: new popular article about intervals
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: eero.hyvonen [at] cs [dot] helsinki.fi, stefano.depascale [at] stepax [dot] com,
        vladik [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: OUMQzTLa/E9rtwUGBcvOsQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

"AI Magazine", a popular magazine published by the American Association of 
Artificial Intelligence (AAAI) published, in its Winter issue, an article by 
Erro Hyvonen and Stefano de Pascale "A New Basis for Spreadsheet Computing: 
Interval Solver for Microsoft Excel" (pp. 83-92). It explains the need for 
intervals and cites a lot of interval-related books, papers, and software. 
Thanks, Eero and Stefano! 


From owner-reliable_computing [at] interval [dot] usl.edu  Sat Jan  6 16:29:09 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id QAA27820
	for reliable_computing-outgoing; Sat, 6 Jan 2001 16:29:09 -0600 (CST)
Received: from mail2.lig.bellsouth.net (mail2.lig.bellsouth.net [205.152.0.56])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id QAA27815
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 6 Jan 2001 16:29:06 -0600 (CST)
Received: from u8174 (adsl-20-82-188.lft.bellsouth.net [66.20.82.188])
	by mail2.lig.bellsouth.net (3.3.5alt/0.75.2) with SMTP id RAA25638
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 6 Jan 2001 17:29:04 -0500 (EST)
Message-Id: <2.2.32.20010106223016.0067d77c [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: Sat, 06 Jan 2001 16:30:16 -0600
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: Results: semiannual subscription verification
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Colleagues,

Thank you for your cooperation with the subscription verification 
process.  I have deleted the following addresses, for the reasons
given.
-----------------------------------------------------------------
host not found:

kirr [at] omega [dot] informatik.uni-bonn.de
charles_dennett [at] unixgate [dot] cohr.com
micheluc [at] maia [dot] emse.fr
gutow [at] planif61 [dot] bitnet

unknown user:

ae26 [at] iamk4503 [dot] mathematik.uni-karlsruhe.de
barford [at] hplabs [dot] hpl.hp.com
moore-r [at] cis [dot] ohio-state.edu
zyuzin.ma.sgu [at] oda [dot] ssu.runnet.ru
lidiya [at] mathematik [dot] uni-bremen.de
rmoore [at] magnus [dot] ircc.ohio-state.edu
oliviera [at] inf [dot] pucrs.br
rvan [at] tiger [dot] cudenver.edu
hua [at] turing [dot] scs.uiuc.edu
eric [at] cwi [dot] nl
cg6 [at] doc [dot] ic.ac.uk
kwaiter [at] yahoo [dot] com
djb [at] engr [dot] uark.edu
manish [at] engr [dot] uconn.edu


Unspecified errors:

lh [at] vand [dot] physto.se

-----------------------------------------------------------------
As always, I will be grateful if you supply valid
addresses for the persons represented by the above obsolete
addresses.

Best regards,

Baker

P.S. The list's official address is now 

     reliable_computing [at] interval [dot] louisiana.edu

     and reliable_computing [at] interval [dot] usl.edu is now an alias that
     will only work for a short time. This corresponds to the change
     in our university's name :-)

---------------------------------------------------------------
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  Sun Jan  7 12:31:03 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA28952
	for reliable_computing-outgoing; Sun, 7 Jan 2001 12:31:03 -0600 (CST)
Received: from isolde.mcs.newpaltz.edu (isolde.mcs.newpaltz.edu [137.140.8.108])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA28947
	for <reliable_computing [at] interval [dot] usl.edu>; Sun, 7 Jan 2001 12:30:53 -0600 (CST)
Received: from mail.tor.axxent.ca (smtp.tor.axxent.ca [209.250.128.26])
	by isolde.mcs.newpaltz.edu (8.9.3+Sun/8.9.1) with ESMTP id KAA02666
	for <h-2 [at] isolde [dot] mcs.newpaltz.edu>; Sun, 7 Jan 2001 10:09:58 -0500 (EST)
Received: from default (dial-0060.tor.axxent.ca [216.249.0.60])
	by mail.tor.axxent.ca (8.11.0/8.9.3) with SMTP id f07F2u706732;
	Sun, 7 Jan 2001 10:02:57 -0500 (EST)
Message-ID: <008d01c078ba$bbf63960$3c00f9d8@default>
From: "Walter Derzko" <wderzko [at] pathcom [dot] com>
To: <DAI-List [at] ece [dot] sc.edu>, <agents [at] cs [dot] umbc.edu>,
        <cimca-list [at] ise [dot] canberra.edu.au>
Subject: News-Gathering  and Environmental Scanning Intelligent  Agents
Date: Sun, 7 Jan 2001 10:00:59 -0500
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_008A_01C07890.BC99E580"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.00.2615.200
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

This is a multi-part message in MIME format.

------=_NextPart_000_008A_01C07890.BC99E580
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Dear Intelligent Agent List members

I'm looking to get in touch with academics, graduate students, =
researchers, startup firms  and entreprenuers who have worked on or are =
working with Intelligent agent applications in news-gathering (for a =
novel application that I'm exploring involving  sense-making, =
environmental scanning and spotting business opportunties)

Walter Derzko
Founder Brain Space
Toronto Canada
416-588-1122
wderzko [at] tor [dot] axxent.ca
ICQ 79122842
Netmeeting I.P. address 216.249.1.68
=20
"You can tell whether a man is clever by his answers.=20
You can tell whether a man is wise by his questions."=20
 Naguib Mahfouz  (Nobel Prize Winner)

------=_NextPart_000_008A_01C07890.BC99E580
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2614.3500" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Dear Intelligent Agent List =
members</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>I'm looking to get in touch with =
academics,=20
graduate students, researchers, startup firms  and entreprenuers who =
have=20
worked&nbsp;on or are working&nbsp;with Intelligent agent applications =
in=20
news-gathering (for a novel application that&nbsp;I'm exploring =
involving&nbsp;=20
sense-making, environmental scanning and spotting business=20
opportunties)</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>
<DIV><FONT face=3DArial size=3D2>Walter Derzko</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>Founder&nbsp;Brain Space</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>Toronto Canada</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>416-588-1122</FONT></DIV>
<DIV><FONT face=3DArial size=3D2><A=20
href=3D"mailto:wderzko [at] tor [dot] axxent.ca">wderzko [at] tor [dot] axxent.ca</A><BR>ICQ=20
79122842</FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3DArial size=3D2>Netmeeting =
I.P. address=20
216.249.1.68</FONT><BR>&nbsp;</DIV></FONT>
<DIV><FONT face=3DArial size=3D2>
<DIV><FONT face=3DArial size=3D2>"You can tell whether a man is clever =
by his=20
answers. </FONT></DIV>
<DIV><FONT face=3DArial size=3D2>You can tell whether a man is wise by =
his=20
questions." </FONT></DIV>
<DIV><FONT face=3DArial size=3D2>&nbsp;Naguib Mahfouz&nbsp; (Nobel Prize =

Winner)</FONT></DIV></FONT></DIV></FONT></DIV></BODY></HTML>

------=_NextPart_000_008A_01C07890.BC99E580--


From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan  8 08:40:44 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id IAA00008
	for reliable_computing-outgoing; Mon, 8 Jan 2001 08:40:44 -0600 (CST)
Received: from postmarq.mu.edu (hermes.mu.edu [134.48.1.5])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA29999
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 8 Jan 2001 08:40:40 -0600 (CST)
Received: from mscs.mu.edu ([134.48.24.7]) by postmarq.mu.edu
          (Netscape Messaging Server 4.15) with ESMTP id G6UM3E00.3QB for
          <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 8 Jan 2001
          08:40:26 -0600 
Message-ID: <3A59D158.A4E12999 [at] mscs [dot] mu.edu>
Date: Mon, 08 Jan 2001 08:40:24 -0600
From: George Corliss <georgec [at] mscs [dot] mu.edu>
Reply-To: georgec [at] mscs [dot] mu.edu
Organization: Marquette University
X-Mailer: Mozilla 4.7 [en] (Win98; U)
X-Accept-Language: en
MIME-Version: 1.0
To: reliable_computing [at] interval [dot] louisiana.edu
Subject: 3 tenure-track CS jobs at Marquette
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Three Tenure Track Computer Science openings
at Marquette University for Fall 2001

Applications are invited for three tenure track positions
in computer science or closely related disciplines. These
positions will begin no later than August 16, 2001. For
one position, preference will be given to applicants with
expertise in bioinformatics. Candidates should have a Ph.D.
in computer science, mathematics, or a closely related
discipline, be ready to teach computer science at both the
undergraduate and graduate levels, and show a professional
commitment to good teaching, to continuing scholarly
productivity, and to service. Screening will begin immediately
and continue until the positions are filled.

The Department of Mathematics, Statistics and Computer Science
is a diverse department of twenty-three tenured or
tenure track faculty with undergraduate majors in computer
science, computational mathematics, mathematics, and
mathematics education. The Department also offers graduate
degrees at the master's and doctoral levels. Moreover, it
provides support for students in the Department of Electrical
and Computer Engineering, a professional master's degree
in computing, and a new master's degree in bioinformatics
offered jointly with the Medical College of Wisconsin.

Marquette University is a Jesuit, Catholic university of
about 11,000 students in downtown Milwaukee, Wisconsin,
dedicated to teaching, research, and service to humanity.
Milwaukee, a great place on a great lake (Lake Michigan) is
the core of a metropolitan area of about 1.5 million people,
close to Madison, Wisconsin, and Chicago, Illinois, and the
locus of vibrant intellectual, cultural, and business
communities.

Applicants should submit a letter of application, a resume,
transcripts, which need not be official, and three letters
of reference to:
    Prof. John Simms
    Department of Mathematics, Statistics and Computer Science
    Marquette University
    POB 1881
    Milwaukee WI 53201-1881.

More information is available at http://mscs.mu.edu.


-- 
Dr. George F. Corliss
Dept. Math, Stat, Comp Sci
Marquette University
P.O. Box 1881
Milwaukee, WI  53201-1881  USA
georgec [at] mscs [dot] mu.edu; George.Corliss [at] Marquette [dot] edu
http://www.mscs.mu.edu/~georgec/
Office: 414-288-6599;  Dept: 288-7573; Fax: 288-5472

From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan  8 10:51:20 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA00406
	for reliable_computing-outgoing; Mon, 8 Jan 2001 10:51:20 -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 KAA00401
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 8 Jan 2001 10:51:16 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.10.1/8.10.1) with SMTP id f08Gp6U05595
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 8 Jan 2001 09:51:06 -0700 (MST)
Message-Id: <200101081651.f08Gp6U05595 [at] cs [dot] utep.edu>
Date: Mon, 8 Jan 2001 09:51:04 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: ISSAC-2001: Extended deadline for paper submission
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: sUA79TN6Y8FSipXIXujOKA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


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

X-Authentication-Warning: mailsrv2.zib.de: mail set sender to 
issac2001 [at] orcca [dot] on.ca using -f
Date: Mon, 08 Jan 2001 15:56:10 +0100
From: Publicity Chair <issac2001 [at] orcca [dot] on.ca>
MIME-Version: 1.0
To: issac2001 [at] zib [dot] de
Subject: ISSAC-2001: Extended deadline for paper submission
Content-Transfer-Encoding: 7bit

CALL FOR PAPERS
                         EXTENDED DEADLINE

     International Symposium on Symbolic and Algebraic Computation

               University of Western Ontario, Canada,
                          July 22-25, 2001

                  http://www.orcca.on.ca/issac2001/

Due to a network shutdown next week-end at NCSU where papers are
submitted, 
the deadline for paper submission has been extended by a week, new dates 
are :

Before January 22, 2001 Submission to the Program Committee Chair
deadline
            
       March 19, 2001   Notification of acceptance
       April 5, 2001    Camera-ready copy received.


Gilles Villard,
Program Committee Chair.

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



From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan  8 11:11:45 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA00698
	for reliable_computing-outgoing; Mon, 8 Jan 2001 11:11:45 -0600 (CST)
Received: from patan.sun.com (patan.Sun.COM [192.18.98.43])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA00693
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 8 Jan 2001 11:11:41 -0600 (CST)
Received: from engmail4.Eng.Sun.COM ([129.144.134.6])
	by patan.sun.com (8.9.3+Sun/8.9.3) with ESMTP id JAA22471;
	Mon, 8 Jan 2001 09:11:39 -0800 (PST)
Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.1.131])
	by engmail4.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v1.7) with ESMTP id JAA27297;
	Mon, 8 Jan 2001 09:11:38 -0800 (PST)
Received: from conversion-daemon.mpkmail.eng.sun.com by mpkmail.eng.sun.com
 (iPlanet Messaging Server 5.0 Patch 1 (built Nov  9 2000))
 id <0G6U00L01T28LV [at] mpkmail [dot] eng.sun.com>; Mon, 08 Jan 2001 09:11:40 -0800 (PST)
Received: from gww (gww.Eng.Sun.COM [129.146.78.116])
 by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 Patch 1 (built Nov  9
 2000)) with SMTP id <0G6U00L08T3GM7 [at] mpkmail [dot] eng.sun.com>; Mon,
 08 Jan 2001 09:11:40 -0800 (PST)
Date: Mon, 08 Jan 2001 09:11:35 -0800 (PST)
From: William Walster <bill.walster [at] eng [dot] sun.com>
Subject: Ray Moore's 50th anniversary
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu,
        vladik [at] cs [dot] utep.edu
Cc: bill.walster [at] eng [dot] sun.com
Reply-to: William Walster <bill.walster [at] eng [dot] sun.com>
Message-id: <0G6U00L09T3GM7 [at] mpkmail [dot] eng.sun.com>
MIME-version: 1.0
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc
Content-type: TEXT/plain; charset=us-ascii
Content-transfer-encoding: 7BIT
Content-MD5: 7tsv9psJemb/q3Zepm2PSg==
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


Ray Moore started work with the ENIAC at Aberdeen Proving Grounds in 
Maryland fifty years ago today.




From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan  8 12:42:40 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA01089
	for reliable_computing-outgoing; Mon, 8 Jan 2001 12:42:39 -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 MAA01084
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 8 Jan 2001 12:42:30 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.10.1/8.10.1) with SMTP id f08IfuS06822;
	Mon, 8 Jan 2001 11:41:56 -0700 (MST)
Message-Id: <200101081841.f08IfuS06822 [at] cs [dot] utep.edu>
Date: Mon, 8 Jan 2001 11:41:56 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Re: Hung T. Nguyen
To: neum [at] cma [dot] univie.ac.at, 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: ztyK0ZDkIA6I9ueakMn+mw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Done (notice that I corrected some typos). I am also placing these references 
on the Honors part of the interval computations website 
http://www.cs.utep.edu/interval-comp

> Date: Mon, 8 Jan 2001 12:36:19 +0100 (MET)
> From: Arnold Neumaier <neum [at] cma [dot] univie.ac.at>
> To: vladik [at] cs [dot] utep.edu
> Subject: Re: Hung T. Nguyen
> Cc: neum [at] cma [dot] univie.ac.at
> 
> Vladik,
> 
> thanks for the references. Maybe you'd post them also to
> reliable-computing mailing list.
> 
> Arnold

The pioneer paper is:

 H.T. Nguyen, Some mathematical tools for linguistic  
 probabilities, Fuzzy Sets and Systems, vol. 2 (1979), pp. 53-65.

The main idea is that the membership function $\mu(x)$ of a fuzzy set 
(i.e., a function $\mu:X\to [0,1]$) is 
interpreted as the class of random sets, i.e., the class of 
all probability distributions $P$ on the set $2^X$ of all subsets of $X$ 
for which, for every $x\in X$, $P(\{R:x\in R\})=\mu(x)$. 

In particular, an interval can be interpreted as a particular case of
a fuzzy set; in this case, we get a distribution which is concentrated
with probability 1 on this particular interval. 

This idea was further developed and exposed in several papers and 
books, in particular, 

 Hung T. Nguyen and I. R. Goodman, 
 Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference, 
 Kluwer, 1994.

 B. Bouchon-Meunier, V. Kreinovich,
 A. Lokshin, and H.T. Nguyen, 
 On the formulation of optimization
 under elastic constraints (with control in mind), Fuzzy Sets and
 Systems, vol. 81 (1996), pp. 5--29. 

   Here, the idea is expanded to explaining fuzzy logic operations and
   fuzzy optimization. 

 John Goutsias, Ronald P. S. Mahler, and Hung T. Nguyen (eds.), 
 Random Sets: Theory and Applications,
 Springer-Verlag, N.Y., 1997.

   My own paper "Random sets unify, explain, and aid known
   uncertainty methods in expert systems"
   with a survey of some results is on pp. 321-345; it can be also downloaded 
   from http://www.cs.utep.edu/vladik/tr96-33b.ps. 

 Hung T. Nguyen and Berlin Wu, 
 An Introduction to Fuzzy Logic for Statistics, 
 Wu Nan Book Company, Taipei, 2000.



From owner-reliable_computing [at] interval [dot] usl.edu  Tue Jan  9 05:53:03 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id FAA02036
	for reliable_computing-outgoing; Tue, 9 Jan 2001 05:53:02 -0600 (CST)
Received: from lipn.univ-paris13.fr ([192.33.182.24])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id FAA02030
	for <reliable_computing [at] interval [dot] usl.edu>; Tue, 9 Jan 2001 05:52:42 -0600 (CST)
Received: from [192.33.182.131] (imac3 [192.33.182.131])
	by lipn.univ-paris13.fr (8.9.3/8.9.1) with ESMTP id MAA25631;
	Tue, 9 Jan 2001 12:35:57 GMT
Mime-Version: 1.0
X-Sender: wadt2001 [at] elios [dot] disi.unige.it
Message-Id: <a04320400b680a9294cbb@[192.33.182.131]>
Date: Tue, 9 Jan 2001 12:42:35 +0100
To: wadt2001 [at] disi [dot] unige.it
From: "TR"@lipn.univ-paris13.fr
Subject: WADT/CoFI 2001 - FINAL CALL FOR ABSTRACTS
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

                                WADT/CoFI 2001
   15th International Workshop on Algebraic Development Techniques
                                  joint with
              General Workshop of the CoFI WG & CASL Tutorial


                                Genova, Italy
                                1-3 April 2001
                      http://www.disi.unige.it/wadt2001/

Aims and Scope
==============
The  algebraic approach to system  specification and development, born
as a formal  method for  abstract  data types,  encompasses today  the
formal    design of integrated  hardware    and software systems,  new
specification   frameworks     and programming  paradigms    (such  as
object-oriented, logic and  higher-order functional programming) and a
wide  range of   application  areas (including  information   systems,
concurrent and distributed systems).

The topics of the workshop include, but are not limited to:

    -   algebraic specification
    -   other approaches to formal specification
    -   specification languages and methods
    -   term rewriting and proof systems
    -   specification development systems (concepts, tools, etc.)

The workshop will provide an opportunity to present recent and ongoing
work, to meet colleagues, and to discuss new ideas and future trends.

The workshop will start with a full day tutorial on CoFI, the Common
Framework Initiative for algebraic specification and development of
software, see http://www.brics.dk/Projects/CoFI.  This tutorial will
also be available to people who do not wish to participate in the rest
of the workshop.  Besides the tutorial, there will be CoFI Task Group
meetings and presentation on related topics during the workshop.

Selected presentations will  appear after the workshop as a volume of
Springer Lecture Notes in Computer Science.

The workshop will be a satellite event of the European Joint Conferences
on Theory and Practice of Software (ETAPS2001).
Special deals will be available for participants wishing to attend
WADT/CoFI 2001 together with other events of ETAPS.

SEE THE ETAPS EXCITING PROGRAM  AT http://www.disi.unige.it/etaps2001/.

Submissions
===========

The scientific programme of the workshop will include up to about 30
presentations of recent results and ongoing research.  The presentations
will be selected according to originality, significance, and general
interest, on the basis of submitted abstracts.  The selection committee
consists of the WADT Steering Committee together with the local organizers
(listed below).

The abstracts must be in pdf (or standard postscript) format, up to 2 pages
long in the style for publication in Lecture Notes in Computer Science (see
http://www.springer.de/comp/lncs/authors.html), and should be sent by
e-mail to wadt2001 [at] disi [dot] unige.it.

The deadline for submission of abstracts is

     10 January, 2001.

Abstracts that substantially depart from the required format, style or
length may be rejected without consideration.

The final versions of the selected abstracts (due by 26 February) will be
made available on the workshop web page, and included in a hand-out for the
workshop participants.

After the workshop, selected authors will be invited to submit full
papers for the refereed proceedings, which will be published
as a volume of Springer Lecture Notes in Computer Science
(http://www.springer.de/comp/lncs/).

Location
========
WADT/CoFI 2001 will be held in Genova.
Information are also be available on the web at the page
                     http://www.disi.unige.it/wadt2001/

**********************************************************************
************************** Important Dates ***************************
**********************************************************************
*      Deadline for abstracts:            10 January, 2001           *
*      Notification sent to authors:      26 January, 2001           *
*      Final abstract due:                26 February, 2001          *
*      Workshop dates:                    1-3 April, 2001            *
**********************************************************************

WADT Steering Committee
=======================
        Michel Bidoit             (Cachan, France)
        Hans-Joerg Kreowski       (Bremen, Germany)
        Peter Mosses, chair       (Aarhus, Denmark)
        Fernando Orejas           (Barcelona, Spain)
        Francesco Parisi-Presicce (Rome, Italy)
        Donald Sannella           (Edinburgh, Scotland)
        Andrzej Tarlecki          (Warsaw, Poland)

Sponsors
========
The  workshop  is organized by IFIP WG1.3 (Foundations of System
Specification) jointly with CoFI WG.

Local Organizers
================
                 Maura Cerioli     Gianna Reggio
                               DISI
                Universita' degli Studi di Genova
                          Genova - Italy

Email: wadt2001 [at] disi [dot] unige.it
----------------------------------------------------------------------

From owner-reliable_computing [at] interval [dot] usl.edu  Tue Jan  9 10:34:00 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA02504
	for reliable_computing-outgoing; Tue, 9 Jan 2001 10:33:59 -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 KAA02499
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 9 Jan 2001 10:33:51 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.11.2/8.11.2) with SMTP id f09GXk115994
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 9 Jan 2001 09:33:47 -0700 (MST)
Message-Id: <200101091633.f09GXk115994 [at] cs [dot] utep.edu>
Date: Tue, 9 Jan 2001 09:33:45 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: ISIPTA '01: Final Call for Papers
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: dnf2w9LAHEiIqYTVLrPEtA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


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

Date: Tue, 09 Jan 2001 10:59:20 +0100
From: Gert de Cooman <Gert.DeCooman [at] rug [dot] ac.be>
X-Accept-Language: en
MIME-Version: 1.0
To: interval [at] cs [dot] utep.edu
Subject: ISIPTA '01: Final Call for Papers
Content-Transfer-Encoding: 7bit

Your help with circulating this announcement locally would be very much
appreciated. We apologise if you receive multiple copies of this
message.

If you haven't received this mail through some electronic mailing list,
this means that you have expressed some interest in the previous ISIPTA
symposium, or that we received your address from one of our colleagues
who thought this message might be of interest to you.

If you do not want to receive further information about ISIPTA '01,
please send a short message saying so to smc [at] decsai [dot] ugr.es. If you have
sent us such a message before, and keep receiving our mails, it's
possible that you are a member of a mailing list to which our message is
cross-posted.

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

ISIPTA '01

THE SECOND INTERNATIONAL SYMPOSIUM ON 
IMPRECISE PROBABILITIES AND THEIR APPLICATIONS

Cornell University
Ithaca, NY, USA
26 - 29 June 2001

FINAL CALL FOR PAPERS: DEADLINE FOR PAPER SUBMISSION = 15 JANUARI 2001

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Encouraged by the success of the First International Symposium on
Imprecise Probabilities and Their Applications (ISIPTA '99, Ghent,
Belgium, 30 June - 2 July 1999, see the web site
http://ippserv.rug.ac.be/~isipta99 for more detailed information; see
http://decsai.ugr.es/~smc/isipta99/proc/proceedings.html for an
electronic version of the proceedings), we have decided to create a
biennial series of ISIPTA conferences on imprecise probabilities, each
to take place at a different location.

The Second International Symposium on Imprecise Probabilities and Their
Applications (ISIPTA '01), will be held at Cornell University, Ithaca,
NY, USA, from 26 till 29 June 2001. 

Steering Committee
------------------
Gert de Cooman (Universiteit Gent, Belgium)
Fabio G. Cozman (Universidade de Sao Paulo, Brazil)
Terrence Fine (Cornell University, USA)
Serafin Moral (Universidad de Granada, Spain)

Program Committee 
-----------------

Board: 	Gert de Cooman (Belgium)
       	Terrence Fine (USA)
	Teddy Seidenfeld (USA)
       
Russell Almond (USA)    		Charles F. Manski (USA)    
Paul Anand (UK)				Massimo Marinacci (Italy)       
Thomas Augustin (Germany)       	Serafin Moral (Spain)   
Salem Benferhat (France)        	Sujoy Mukerji (UK)
Jean-Marc Bernard (France)      	Klaus Nehring (USA)     
David Budescu (USA)     		Robert Nau (USA)        
Fabio G. Cozman (Brazil)        	Endre Pap (Yugoslavia) 
Dieter Denneberg (Germany) 		Jeff Paris (UK) 
James M. Dickey (USA)   		David Pennock (USA)     
Didier Dubois (France)  		Henri Prade (France)     
Itzhak Gilboa (Israel)  		Giuliana Regoli (Italy)
Angelo Gilio (Italy)    		Romano Scozzafava (Italy)
Fernando Gomide (Brazil)        	Glenn Shafer (USA)      
Michel Grabisch (France)        	Philippe Smets (Belgium) 
Pierre Hanssen (Canada) 		Michael Smithson (Australia)    
David Harmanec (Czech Republic) 	Wynn Stirling (USA)     
Jean-Yves Jaffray (France)		Milan Studeny (Czech Republic)  
Hugo Janssen (Belgium)  		Lev Utkin (Russia)      
Etienne Kerre (Belgium) 		Jirina Vejnarova (Czech Republic)
George Klir (USA) 			Paolo Vicig (Italy)
Henry Kyburg (USA)      		Frans Voorbraak (The Netherlands)       
Isaac Levi (USA)        		Kurt Weichselberger (Germany)   
Thomas Lukasiewicz (Austria)    	Nic Wilson (UK) 
Mark Machina (USA)      		Marco Zaffalon (Switzerland)    

What is imprecise probability?
------------------------------
Imprecise probability is a generic term for the many mathematical models
which measure chance or uncertainty without sharp numerical
probabilities. These models include belief functions, Choquet
capacities, comparative probability orderings, convex sets of
probability measures, fuzzy measures, interval-valued probabilities,
possibility measures, plausibility measures, and upper and lower
expectations or previsions. Such models are needed in inference problems
where the relevant information is scarce, vague or conflicting, and in
decision problems where preferences may also be incomplete. See the IPP
web site <http://ippserv.rug.ac.be> for introductory articles about
imprecise probabilities, an extensive bibliography, and a collection of
survey articles on special types of imprecise probability models.  

Symposium language
------------------
The working language of the symposium will be English. No simultaneous
translation in other languages will be available. 

Preregistration
---------------
If you are planning to submit a paper or want to participate in the
symposium, or if you want to receive more information ISIPTA '01, you
can fill out the electronic preregistration form on the symposium web
site (http://ippserv.rug.ac.be/~isipta01).

How to submit a paper
---------------------
Papers are encouraged on all aspects of imprecise probability and its
applications. Those wishing to present a paper at the symposium should
submit a short paper of 4-10 pages electronically, by 15 January 2001.
LaTeX and Word style files will be made available on the symposium web
site (http://ippserv.rug.ac.be/~isipta01) in the coming days. The
Program Committee will decide which of these papers are accepted. The
successful authors will then be invited to submit a final version of
their paper, for publication in a volume of symposium proceedings (which
will be available as a published book before the start of the
symposium).

Each accepted paper will be given the opportunity for both a brief oral
presentation as well as a poster session.

All the papers that are accepted for the symposium will also be made
available on our web site (http://ippserv.rug.ac.be/~isipta01) well
before the symposium. This will allow the participants to study the
papers in some detail before they are actually presented. 

Symposium web site
------------------
All information relating to the symposium will in due course be
published on the symposium web site: http://ippserv.rug.ac.be/~isipta01

Important dates 
----------------
Paper submission deadline:  	15 January 2001
Notification of acceptance: 	9 March 2001
Deadline for revised papers: 	30 March 2001
Symposium: 			26 - 29 June 2001

Questions
---------
If you have any questions about the symposium, please contact the
Organising Committee, at the following address:

Terrence Fine
Director
Center for Applied Mathematics
Rhodes Hall 612
Cornell University
Ithaca NY 14853
USA

Tel: +1-607-255-4336/3643
E-mail: tlfine [at] cam [dot] cornell.edu

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



From owner-reliable_computing [at] interval [dot] usl.edu  Tue Jan  9 18:19:39 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id SAA03090
	for reliable_computing-outgoing; Tue, 9 Jan 2001 18:19:39 -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 SAA03085
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 9 Jan 2001 18:19:35 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.11.2/8.11.2) with SMTP id f0A0JUW22770;
	Tue, 9 Jan 2001 17:19:30 -0700 (MST)
Message-Id: <200101100019.f0A0JUW22770 [at] cs [dot] utep.edu>
Date: Tue, 9 Jan 2001 17:19:29 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Re: new popular article about intervals
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: eero.hyvonen [at] cs [dot] helsinki.fi, stefano.depascale [at] stepax [dot] com
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: X4F2ZOL7JnWFap89DCZFrw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Dear Friends, 

I have just learned that the paper mentioned in my previous email (attached) 
got an "Innovative Application of Artificial Intelligence Award"
from the American Association for Artificial Intelligence (AAAI) at 
IAAI/AAAI-99 conference in Orlando, Florida, 1999.

I have added this information to the Honors part of the interval computations 
website http://www.cs.utep.edu/interval-comp

Vladik


>"AI Magazine", a popular magazine published by the American Association of 
>Artificial Intelligence (AAAI) published, in its Winter issue, an article by 
>Erro Hyvonen and Stefano de Pascale "A New Basis for Spreadsheet Computing: 
>Interval Solver for Microsoft Excel" (pp. 83-92). It explains the need for 
>intervals and cites a lot of interval-related books, papers, and software. 
>Thanks, Eero and Stefano! 


From owner-reliable_computing [at] interval [dot] usl.edu  Thu Jan 11 10:33:29 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA06258
	for reliable_computing-outgoing; Thu, 11 Jan 2001 10:33:28 -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 KAA06253
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 11 Jan 2001 10:33:22 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.11.2/8.11.2) with SMTP id f0BGX8i03120;
	Thu, 11 Jan 2001 09:33:08 -0700 (MST)
Message-Id: <200101111633.f0BGX8i03120 [at] cs [dot] utep.edu>
Date: Thu, 11 Jan 2001 09:33:06 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: [IPP-list] ISIPTA '01 Deadline extension
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu,
        nafips-l [at] sphinx [dot] gsu.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: 7H+FPiv68XwfvXpuHbAm6A==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


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

From: Gert de Cooman <Gert.DeCooman [at] rug [dot] ac.be>

We apologise if you receive multiple copies of this
message.

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

ISIPTA '01

THE SECOND INTERNATIONAL SYMPOSIUM ON 
IMPRECISE PROBABILITIES AND THEIR APPLICATIONS

Cornell University
Ithaca, NY, USA
26 - 29 June 2001

EXTENDED DEADLINE FOR PAPER SUBMISSION = 29 JANUARY 2001

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

A few prospective authors have asked us to extend the deadline for paper
submission, because the initial deadline of 15 January 2001 came too
shortly after the holiday period. So we have decided to move the
deadline to Monday 29 January 2001. This is a HARD and FINAL deadline:
we cannot extend it any further without compromising our review
procedure (something we are not prepared to consider).

-- 
==============================================================
Prof. dr. ir. Gert de Cooman
Onzekerheidsmodellering en systeemtheorie/
Uncertainty modelling and systems theory
--------------------------------------------------------------
E-mail: gert.decooman [at] rug [dot] ac.be
URL:    http://ippserv.rug.ac.be/~gert
--------------------------------------------------------------
Universiteit Gent
Onderzoeksgroep SYSTeMS
Technologiepark - Zwijnaarde 9
9052 Zwijnaarde 
Belgium
--------------------------------------------------------------
Tel: +32-(0)9-264 56 53
Fax: +32-(0)9-264 58 40

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



From owner-reliable_computing [at] interval [dot] usl.edu  Thu Jan 11 11:50:18 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA06567
	for reliable_computing-outgoing; Thu, 11 Jan 2001 11:50:18 -0600 (CST)
Received: from lipn.univ-paris13.fr (lipn.univ-paris13.fr [192.33.182.24])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA06562
	for <reliable_computing [at] interval [dot] usl.edu>; Thu, 11 Jan 2001 11:50:03 -0600 (CST)
Received: from [192.33.182.131] (imac3 [192.33.182.131])
	by lipn.univ-paris13.fr (8.9.3/8.9.1) with ESMTP id SAA26002;
	Thu, 11 Jan 2001 18:09:10 GMT
Mime-Version: 1.0
X-Sender: wadt2001 [at] elios [dot] disi.unige.it
Message-Id: <a04320402b6839ab41a2a@[192.33.182.131]>
Date: Thu, 11 Jan 2001 18:15:44 +0100
To: wadt2001 [at] disi [dot] unige.it
From: "TR"@lipn.univ-paris13.fr
Subject: WADT/CoFI 2001 - DEADLINE EXTENSION
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

                                WADT/CoFI 2001
   15th International Workshop on Algebraic Development Techniques
                                  joint with
              General Workshop of the CoFI WG & CASL Tutorial

                                Genova, Italy
                                1-3 April 2001
                      http://www.disi.unige.it/wadt2001/

   The deadline for submission to WADT/CoFI 2001 has now been extended to:

   ***************      WEDNESDAY 17TH JANUARY 2001     ******************

   Please refer to the WADT 2001 web page

           http://www.disi.unige.it/wadt2001/

   for further details.

From owner-reliable_computing [at] interval [dot] usl.edu  Sun Jan 14 03:22:24 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id DAA09950
	for reliable_computing-outgoing; Sun, 14 Jan 2001 03:22:24 -0600 (CST)
Received: from dsiI.dsi.unifi.it (dsiI.dsi.unifi.it [150.217.15.31])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id DAA09945
	for <reliable_computing [at] interval [dot] usl.edu>; Sun, 14 Jan 2001 03:22:19 -0600 (CST)
Received: (from icsm2001@localhost)
	by dsiI.dsi.unifi.it (8.9.1b+Sun/8.9.1) id KAA26763
	for reliable_computing [at] interval [dot] usl.edu; Sun, 14 Jan 2001 10:08:38 +0100 (MET)
Date: Sun, 14 Jan 2001 10:08:38 +0100 (MET)
From: icsm2001 (NESI) <icsm2001 [at] dsi [dot] unifi.it>
Message-Id: <200101140908.KAA26763 [at] dsiI [dot] dsi.unifi.it>
To: reliable_computing [at] interval [dot] usl.edu
Subject: IEEE Conference Software Maint. Italy,Florence, ICSM2001 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


Dear Colleague

I would like to invite you to propose papers, experiences, tutorials, tool 
expositions, dissertations at the 
            IEEE International Conference on Software Maintenance, 2001, 
and workshops: SCAM, WESS, WSE and TABOO, etc., November 2001, Florence, Italy. 

ICSM is the major international conference in the field of software and 
systems maintenance, evolution, management, software metrics and quality, etc.

Outstanding Keynotes such as: 

 >->->Prof. David Lorge Parnas, Prof. Dieter Rombach, Prof. Ivar Jacobson<-<-<-

Awards, workshops, panels, and other exciting activities have been planned.

Please note in the following the new deadline that has been moved to satisfy the 
several requests recevied, next deadline >->->->-29 January 2001<-<-<-<-<-<-

Please forward this remind to anybody who you think may be interested.
Apologies if you have already seen this.

If you would like to be removed from our list please send an email to
icsm2001 [at] dsi [dot] unifi.it  with REMOVE in the subject.

ICSM2001
Paolo Nesi
(General Chair)

_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=

                 >->->CALL---FOR---PAPERs<-<-<

IEEE International Conference on Software Maintenance 2001
FLORENCE, ITALY, 6-10 November 2001 

                        http://www.dsi.unifi.it/icsm2001

Theme: Systems and Software Evolution in the era of the Internet

IMPORTANT DATES, DEADLINES
  Research Paper submission 29 January 2001 
  Dissertation submission 29 January 2001
  Industrial Application submission 12 March 2001
  Tools request and submission 12 March 2001
  Tutorial submission 12 February 2001

_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=



From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan 15 05:17:03 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id FAA11647
	for reliable_computing-outgoing; Mon, 15 Jan 2001 05:17:03 -0600 (CST)
Received: from liasun13.epfl.ch (liasun13.epfl.ch [128.178.155.37])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id FAA11632
	for <reliable_computing [at] interval [dot] usl.edu>; Mon, 15 Jan 2001 05:16:57 -0600 (CST)
Received: from liasun2.epfl.ch (silaghi [at] liasun2 [dot] epfl.ch [128.178.155.11])
	by liasun13.epfl.ch (8.8.X/EPFL-8.1a) with ESMTP id WAA26313;
	Sun, 14 Jan 2001 22:23:33 +0100 (MET)
Received: from localhost (silaghi@localhost)
	by liasun2.epfl.ch (8.9.3+Sun/8.9.1) with ESMTP id MAA11641;
	Mon, 15 Jan 2001 12:15:55 +0100 (MET)
X-Authentication-Warning: liasun2.epfl.ch: silaghi owned process doing -bs
Date: Mon, 15 Jan 2001 12:15:55 +0100 (MET)
From: Marius-Calin Silaghi <silaghi [at] lia [dot] di.epfl.ch>
X-Sender: silaghi [at] liasun2 [dot] epfl.ch
Reply-To: silaghi [at] lia [dot] di.epfl.ch
To: and others: ;
Subject: CFP: IJCAI-01 Workshop on Distributed Constraint Reasoning
Message-ID: <Pine.GSO.4.05.10101151206440.11517-100000 [at] liasun2 [dot] epfl.ch>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=X-UNKNOWN
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.usl.edu id FAA11633
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

			   The IJCAI-01 Workshop on 
                       Distributed Constraint Reasoning 
                      http://liawww.epfl.ch/ijcai2001dcr 
				August 4, 2001

Held at the: 
International Joint Conference on Artificial Intelligence, IJCAI-2001,  
Seattle,  http://www.ijcai-01.org


Distributed Constraint Satisfaction problems arise when 
pieces of information about variables, constraints or both 
are relevant to independent but communicating agents. 
They provide a promising framework to deal with the increasingly 
diverse range of distributed real world problems emerging from the fast
evolution of communication technologies. 

The new challenges posed by solving Distributed Constraint 
Satisfaction Problems are related to meeting privacy requirements,
exploiting opportunities for cooperation, and designing conflict 
resolution strategies. 

The workshop addresses modeling, formulation and solution of 
Distributed Constraint Satisfaction Problems. Scientific issues to be
discussed at the workshop include: 

      unified frameworks for distributed CSP 
      algorithms for solving distributed CSP 
      privacy issues in distributed CSP 
      negotiation among self-interested agents 
      distributed constraint propagation and consistency 
      over-constrained distributed CSP 
      generation and formulation/modeling of distributed CSP 
      phase transition in distributed CSP 
      applications of distributed CSP. 


Due to the technical advances in multi-agent systems, Distributed CSPs 
have become a technology that fits many real applications.  This
workshop will provide an opportunity for researchers to continue 
progress towards a common understanding and framework in which the
approach can be developed and brought into practice. The workshop is 
interesting for people involved in Constraint Satisfaction or Agents
communities. 
  


Submissions 

Submission deadline is March 15, 2001. Submitted papers shall be 
written in English, up to 15 pages. Papers are expected in Postscript
or PDF format. The submitted papers have to be sent electronically to 
ijcai2001-dcr [at] lia [dot] di.epfl.ch with the subject: "ijcai2001dcr
Submission". We strongly encourage electronic submissions, but if this 
is impossible, a hard copy may be sent by post to the contact
address below. 
We encourage the submission of good papers refused at the IJCAI-01 
technical program. Such submissions are accepted also by the 
IJCAI-01 Acceptance Notification date: March 19, 2001.

Do not forget to mention your contact address and e-mail or telephone 
(e.g. in a footnote on the title page). 

Dates 
  

      March 15, 2001: The submitted papers shall be sent electronically
                      to ijcai2001-dcr [at] lia [dot] di.epfl.ch. 
		      Papers refused at the IJCAI-01 technical program
		      can be submitted by the Acceptance Notification 
		      date (March 19, 2001).
      April 1, 2001:  Authors will be notified of acceptance. 
      April 20, 2001: Deadline for camera ready papers. 


Conference Dates: August 4-10, 2001 
Workshop Date: August 4, 2001 


Styles 

The latex users may use for their final versions the styles found at 
http://liawww.epfl.ch/ijcai2001dcr/styles. For special Audio Video 
needs, you may fill the Audio Video Request Form referred below and 
send it to the contact address.


Audio Visual Request Form 

Found at http://liawww.epfl.ch/ijcai2001dcr/AV.html. 


Registration 

Registration for the DCR workshop is possible for all participants 
of the IJCAI-2001 conference. However, the number of participants is
limited to a maximum of 40 persons. Authors of (accepted) papers are 
given priority, then the participants are accepted in the order in
which they have expressed their interest. 

You can express your interest in attending the workshop by writing 
an e-mail to ijcai2001-dcr [at] lia [dot] di.epfl.ch. 
Places are available.


Contact 
Marius-Calin Silaghi 
Swiss Federal Institute of Technology at Lausanne (EPFL) 
CH-1015 Ecublens, Switzerland 
silaghi [at] lia [dot] di.epfl.ch 
Tel: +41-21-693-5209 Fax: +41-21-693-5225 


Preliminary Schedule 

morning: 
2 hours: presentations of submitted algorithmic papers (assuming 4-6 papers) 
1 hour of position statements (panels): modeling, efficiency and properties with DisCSP 

afternoon: 
1.5 hours: presentations of submitted applications papers (assuming 2-3 papers) 
1.5 hours: position statements (panels): DisCSP and self-interested agents 
  

Organizing Committee

Marius-Calin Silaghi (EPFL, CH-1015 Ecublens, Switzerland) 
silaghi [at] lia [dot] di.epfl.ch Tel: +41-21-693-5209 Fax: +41-21-693-5225 

Boi Faltings (EPFL, CH-1015 Ecublens, Switzerland) 
faltings [at] lia [dot] di.epfl.ch Tel: +41-21-693-2738 Fax: +41-21-693-5225 

Makoto Yokoo  (NTT, Kyoto 619-0237 Japan) 
yokoo [at] cslab [dot] kecl.ntt.co.jp Tel: +81-774-93-5231 Fax: +81-774-93-5285 

Christian Bessière (LIRMM-CNRS34392 MONTPELLIER Cedex 5, France) 
bessiere [at] lirmm [dot] fr Tel: +33-4 67 41 85 39 Fax: +33-4 67 41 85 00 

Rina Dechter (UCI, ICS Department 444 Irvine, CA 92697-3425) 
dechter [at] ics [dot] uci.edu Tel: +1-949 824 6556 

Djamila Sam-Haroud (EPFL, CH-1015 Ecublens, Switzerland) 
haroud [at] lia [dot] di.epfl.ch Tel: +41-21-693-5209 Fax: +41-21-693-5225 
  


From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan 15 10:04:20 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA12103
	for reliable_computing-outgoing; Mon, 15 Jan 2001 10:04:20 -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 KAA12098
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 15 Jan 2001 10:04:13 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.11.2/8.11.2) with SMTP id f0FG43822931;
	Mon, 15 Jan 2001 09:04:03 -0700 (MST)
Message-Id: <200101151604.f0FG43822931 [at] cs [dot] utep.edu>
Date: Mon, 15 Jan 2001 09:04:01 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: CFP: IJCAI-01 Workshop on Distributed Constraint Reasoning
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: xgwM45EBCHSvebH2hq2Htg==
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.usl.edu id KAA12099
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


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

X-Authentication-Warning: liasun2.epfl.ch: silaghi owned process doing -bs
Date: Mon, 15 Jan 2001 12:15:55 +0100 (MET)
From: Marius-Calin Silaghi <silaghi [at] lia [dot] di.epfl.ch>
X-Sender: silaghi [at] liasun2 [dot] epfl.ch
To: and others: ;
Subject: CFP: IJCAI-01 Workshop on Distributed Constraint Reasoning
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.usl.edu id 
FAA11633

			   The IJCAI-01 Workshop on 
                       Distributed Constraint Reasoning 
                      http://liawww.epfl.ch/ijcai2001dcr 
				August 4, 2001

Held at the: 
International Joint Conference on Artificial Intelligence, IJCAI-2001,  
Seattle,  http://www.ijcai-01.org


Distributed Constraint Satisfaction problems arise when 
pieces of information about variables, constraints or both 
are relevant to independent but communicating agents. 
They provide a promising framework to deal with the increasingly 
diverse range of distributed real world problems emerging from the fast
evolution of communication technologies. 

The new challenges posed by solving Distributed Constraint 
Satisfaction Problems are related to meeting privacy requirements,
exploiting opportunities for cooperation, and designing conflict 
resolution strategies. 

The workshop addresses modeling, formulation and solution of 
Distributed Constraint Satisfaction Problems. Scientific issues to be
discussed at the workshop include: 

      unified frameworks for distributed CSP 
      algorithms for solving distributed CSP 
      privacy issues in distributed CSP 
      negotiation among self-interested agents 
      distributed constraint propagation and consistency 
      over-constrained distributed CSP 
      generation and formulation/modeling of distributed CSP 
      phase transition in distributed CSP 
      applications of distributed CSP. 


Due to the technical advances in multi-agent systems, Distributed CSPs 
have become a technology that fits many real applications.  This
workshop will provide an opportunity for researchers to continue 
progress towards a common understanding and framework in which the
approach can be developed and brought into practice. The workshop is 
interesting for people involved in Constraint Satisfaction or Agents
communities. 
  


Submissions 

Submission deadline is March 15, 2001. Submitted papers shall be 
written in English, up to 15 pages. Papers are expected in Postscript
or PDF format. The submitted papers have to be sent electronically to 
ijcai2001-dcr [at] lia [dot] di.epfl.ch with the subject: "ijcai2001dcr
Submission". We strongly encourage electronic submissions, but if this 
is impossible, a hard copy may be sent by post to the contact
address below. 
We encourage the submission of good papers refused at the IJCAI-01 
technical program. Such submissions are accepted also by the 
IJCAI-01 Acceptance Notification date: March 19, 2001.

Do not forget to mention your contact address and e-mail or telephone 
(e.g. in a footnote on the title page). 

Dates 
  

      March 15, 2001: The submitted papers shall be sent electronically
                      to ijcai2001-dcr [at] lia [dot] di.epfl.ch. 
		      Papers refused at the IJCAI-01 technical program
		      can be submitted by the Acceptance Notification 
		      date (March 19, 2001).
      April 1, 2001:  Authors will be notified of acceptance. 
      April 20, 2001: Deadline for camera ready papers. 


Conference Dates: August 4-10, 2001 
Workshop Date: August 4, 2001 


Styles 

The latex users may use for their final versions the styles found at 
http://liawww.epfl.ch/ijcai2001dcr/styles. For special Audio Video 
needs, you may fill the Audio Video Request Form referred below and 
send it to the contact address.


Audio Visual Request Form 

Found at http://liawww.epfl.ch/ijcai2001dcr/AV.html. 


Registration 

Registration for the DCR workshop is possible for all participants 
of the IJCAI-2001 conference. However, the number of participants is
limited to a maximum of 40 persons. Authors of (accepted) papers are 
given priority, then the participants are accepted in the order in
which they have expressed their interest. 

You can express your interest in attending the workshop by writing 
an e-mail to ijcai2001-dcr [at] lia [dot] di.epfl.ch. 
Places are available.


Contact 
Marius-Calin Silaghi 
Swiss Federal Institute of Technology at Lausanne (EPFL) 
CH-1015 Ecublens, Switzerland 
silaghi [at] lia [dot] di.epfl.ch 
Tel: +41-21-693-5209 Fax: +41-21-693-5225 


Preliminary Schedule 

morning: 
2 hours: presentations of submitted algorithmic papers (assuming 4-6 papers) 
1 hour of position statements (panels): modeling, efficiency and properties 
with DisCSP 

afternoon: 
1.5 hours: presentations of submitted applications papers (assuming 2-3 papers) 
1.5 hours: position statements (panels): DisCSP and self-interested agents 
  

Organizing Committee

Marius-Calin Silaghi (EPFL, CH-1015 Ecublens, Switzerland) 
silaghi [at] lia [dot] di.epfl.ch Tel: +41-21-693-5209 Fax: +41-21-693-5225 

Boi Faltings (EPFL, CH-1015 Ecublens, Switzerland) 
faltings [at] lia [dot] di.epfl.ch Tel: +41-21-693-2738 Fax: +41-21-693-5225 

Makoto Yokoo  (NTT, Kyoto 619-0237 Japan) 
yokoo [at] cslab [dot] kecl.ntt.co.jp Tel: +81-774-93-5231 Fax: +81-774-93-5285 

Christian Bessière (LIRMM-CNRS34392 MONTPELLIER Cedex 5, France) 
bessiere [at] lirmm [dot] fr Tel: +33-4 67 41 85 39 Fax: +33-4 67 41 85 00 

Rina Dechter (UCI, ICS Department 444 Irvine, CA 92697-3425) 
dechter [at] ics [dot] uci.edu Tel: +1-949 824 6556 

Djamila Sam-Haroud (EPFL, CH-1015 Ecublens, Switzerland) 
haroud [at] lia [dot] di.epfl.ch Tel: +41-21-693-5209 Fax: +41-21-693-5225 
  

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



From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan 15 10:22:04 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA12385
	for reliable_computing-outgoing; Mon, 15 Jan 2001 10:22:03 -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 KAA12380
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 15 Jan 2001 10:21:58 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.11.2/8.11.2) with SMTP id f0FGLok23028;
	Mon, 15 Jan 2001 09:21:50 -0700 (MST)
Message-Id: <200101151621.f0FGLok23028 [at] cs [dot] utep.edu>
Date: Mon, 15 Jan 2001 09:21:48 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: PSI'01: Final Call for Papers
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: OC0rQ9qNajgrYGmonX4qGA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


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

Date: Mon, 15 Jan 2001 14:59:18 +0000
From: "V. Sazonov" <V.Sazonov [at] doc [dot] mmu.ac.uk>
X-Accept-Language: en
Mime-Version: 1.0
To: Alexander Bolotov <A.Bolotov [at] doc [dot] mmu.ac.uk>, Claudia Nalon 
<C.Nalon [at] doc [dot] mmu.ac.uk>, Clare Dixon <C.Dixon [at] doc [dot] mmu.ac.uk>, Michael Fisher 
<M.Fisher [at] doc [dot] mmu.ac.uk>, Ullrich Hustadt <U.Hustadt [at] doc [dot] mmu.ac.uk>, 
"S.Abbas [at] doc [dot] mmu.ac.uk" <S.Abbas [at] doc [dot] mmu.ac.uk>, "C.Ghidini [at] doc [dot] mmu.ac.uk" 
<C.Ghidini [at] doc [dot] mmu.ac.uk>, Anatoli Degtiarev <A.Degtiarev [at] doc [dot] mmu.ac.uk>, Peter 
Quigley <P.Quigley [at] doc [dot] mmu.ac.uk>, Carmen Gago <C.Gago [at] doc [dot] mmu.ac.uk>, Benjamin 
Hirsch <B.Hirsch [at] doc [dot] mmu.ac.uk>, Tom Oguara <T.Oguara [at] doc [dot] mmu.ac.uk>, 
"A.M.Gibbons [at] csc [dot] liv.ac.uk" <A.M.Gibbons [at] csc [dot] liv.ac.uk>, Alexei P Lisitsa 
<alexei [at] lisitsa [dot] botik.ru>, Alfredo Ferro <ferro [at] dipmat [dot] unict.it>, Arnon Avron 
<aa [at] post [dot] tau.ac.il>, Bernhard Thalheim <thalheim [at] Informatik [dot] TU-Cottbus.DE>, 
Boaz Trakhtenbrot <trakhte [at] math [dot] tau.ac.il>, Daniel Leivant 
<leivant [at] cs [dot] indiana.edu>, Dieter Spreen <spreen [at] informatik [dot] uni-siegen.de>, Dov 
Gabbay <dov.gabbay [at] btinternet [dot] com>, Dov M Gabbay <dg [at] dcs [dot] kcl.ac.uk>, Gennady 
Osipov <osipov [at] airec [dot] botik.ru>, Giuseppe Longo <Giuseppe.Longo [at] ens [dot] fr>
Subject: PSI'01: Final Call for Papers
Content-Transfer-Encoding: 7bit

Dear colleagues, 

Please find attached the final CFP. Please distribute in your 
department and encourage people to submit.

Vladimir Sazonov




                        FINAL CALL FOR PAPERS
            Andrei Ershov Fourth International Conference
                  PERSPECTIVES OF SYSTEM INFORMATICS

        3 - 6 July 2001, Novosibirsk, Akademgorodok, Russia

AIMS AND SCOPE

The conference is held to honor the 70th anniversary of the late 
Academician Andrei Ershov (1931-1988) and his outstanding contributions 
towards advancing informatics. The first three conferences were held in 
May 1991, June 1996, and July 1999 and proved to be significant
international 
events.

Andrei Ershov was one of the early Russian pioneers in the field of
theoretical and systems programming, a founder of the Siberian School 
of Computer Science. In 1974 he was nominated as a Distinguished 
Fellow of the British Computer Society. In 1981 he received the 
Silver Core Award for services rendered to IFIP. Andrei Ershov's 
brilliant speeches were always in the focus of public attention. 
Especially notable was his lecture on "Aesthetic and human factor in 
programming" presented at the AFIPS Spring Joint Computer Conference 
in 1972. Andrei Ershov was not only an extremely gifted scientist, 
teacher and fighter for his ideas, but also a bright and many-sided 
personality. He wrote poetry, translated the works of R.Kipling and 
other English poets, and enjoyed playing guitar and singing.
Everyone who had the pleasure of knowing Andrei Ershov and working 
with him will always remember his great vision, eminent 
achievements, and generous friendship.

The aim of the Conference is to provide a forum for the presentation
and in-depth discussion of advanced research directions in Computer
Science. For a developing science, it is important to work out
consolidating ideas, concepts and models. Movement in this direction
is one of the goals the Conference is to meet. Improvement of the
contacts and exchange of ideas between researchers from the East and
West are further goals.

CONFERENCE TOPICS

Conference topics include:

               Semantics-Based Program Processing
- program specification, transformation, and verification,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, and abstract interpretation,
- program analysis and synthesis, 
- model checking.

              Program Methodology and Automated Software Engineering
- object-oriented, component-based and generic programming,
- program and system construction for parallel and distributed
computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- program understanding and visualization.

                 Information Technologies
- database and information systems,
- knowledge-based systems and knowledge engineering,
- Internet technologies, Web publishing and electronic commerce,
- digital libraries.


In addition to papers in the above list of topics, papers both
bridging the gap between different directions and promoting mutual 
understanding of researchers in different directions are welcome. 
Papers defining the prospects of Computer Science in the whole and 
joint West-East papers are also encouraged. 

LOCATION

The conference will be held in Akademgorodok (Academy town), 30 km
South from Novosibirsk, the largest city of Siberia. Akademgorodok is
located in a picturesque place near the Ob lake. It is surrounded 
with birch and pine forests and pleasant not only for work but for
recreation as well. Silence, beautiful landscape, and pure air are 
the factors promoting scientific activity and creativity.

CONFERENCE CHAIR

Alexander Marchuk
Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
tel.: +7-3832-343652
fax: +7-3832-323494
e-mail: mag [at] iis [dot] nsk.su

PROGRAMME COMMITTEE CO-CHAIRS:

Dines Bjorner
Dept. of IT
Technical University of Denmark,
DK-2800 Lyngby, DENMARK
Phone/Fax: +45-45.88.45.30
E-mail: db [at] it [dot] dtu.dk

Manfred Broy
Institut fuer Informatik
Technische  Universitaet Muenchen
D-80290 Munich, GERMANY
Phone:         +49-89-21058161
Fax:           +49-89-21058183
E-mail:        broy [at] informatik [dot] tu-muenchen.de

Alexandre Zamulin
Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
Phone: +7-3832-396258
Fax:   +7-3832-323494
E-mail: zam [at] iis [dot] nsk.su

PROGRAMME COMMITTEE MEMBERS

Janis Barzdins (Riga, Latvia)
Frederic Benhamou (Nantes, France)
Mikhail Bulyonkov (Novosibirsk, Russia)
Gabriel Ciobanu (Iasi, Romania)
Piotr Dembinski (Warsaw, Poland) 
Alexander Dikovsky (Nantes, France)
Uwe Glaesser (Paderborn, Germany)
Victor Ivannikov (Moscow, Russia)
Philippe Jorrand (Grenoble, France)
Leonid Kalinichenko (Moscow, Russia)
Alexander Kleschev (Vladivostok, Russia)
Gregory Kucherov (Nancy, France)
Sergei Kuznetsov (Moscow, Russia)
Alexander Letichevski (Kiev, Ukraine)
Giorgio Levi (Pisa, Italy)
Yoshifumi Masunaga (Tokio, Japan)
Dominique Mery (Nancy, France)
Bernhard Moeller (Augsburg, Germany)
Hanspeter Moessenboeck (Linz, Austria)
Ron Morrison (St. Andrews, Scotland)
Valery Nepomniaschy (Novosibirsk, Russia)
Peter Pepper (Berlin, Germany)
Francesco Parisi-Presicce (Rome, Italy)
Jaan Penjam (Tallinn, Estonia)
Alexander Petrenko (Moscow, Russia)
Jaroslav Pokorny (Prague, Czech Republick)
Wolfgang Reisig (Berlin, Germany)
Dieter Rombach (Kaiserslautern, Germany)
Viktor Sabelfeld (Karlsruhe, Germany)
Don Sannella (Edinburgh, Scotland)
Vladimir Sazonov (Manchester, UK)
David Schmidt (Manhattan, USA)
Igor Shvetsov (Novosibirsk, Russia)
Sibylle Schupp (Troy, USA)
Nicolas Spyratos (Paris, France)
Lothar Tiele (Zurich, Switzerland)
Alexander Tomilin (Moscow, Russia)
Enn Tyugu (Stockholm, Sweden)
Andrei Voronkov (Manchester, UK)
Tatyana Yakhno (Izmir, Turkey)

CONFERENCE SECRETARY

Natalia Cheremnykh
Institute of Informatics Systems
6, Acad. Lavrentjev pr. 
630090 Novosibirsk, RUSSIA
tel.: +7-3832-342352
fax: +7-3832-323494
e-mail: {cher, psi01}@iis.nsk.su

To maintain an intensive conference atmosphere and enable in-depth
discussions, the number of participants is limited to 100. Three 
kinds of presentations - invited talks, regular contributed talks, 
and short contributed talks - are proposed.

INVITED SPEAKERS

1. Egidio Astesiano (Italy)
2. Jan Friso Groote (Netherlands)
3. Yuri Gurevich (USA)
4. David Harel (Israel)
5. Bertrand Meyer (USA)
6. Peter Mosses (Denmark)

A.P. ERSHOV MEMORIAL SESSION SPEACKERS

1. Rimma Podlovchenko (Moscow, Russia)
2. Igor Pottosin (Novosibirsk, Russia) 

CONFERENCE PROCEEDINGS
A book of extended abstracts of invited and accepted talks will be 
available at the Conference. The full versions of the papers
presented at the Conference (roughly 14 pages long for a regular talk 
and 7 pages long for a short talk) are expected to be 
published by Springer-Verlag in the Lecture Notes in Computer Science 
series (one can find the Proceedings of the previous two
conferences in LNCS, vol. 1181, 1755; a report of the previous 
conference can be found in EATS Bulletin, No 69 (October 1999), 
pp. 160-162).

SUBMISSIONS

All submissions must be in English, clearly written and in
sufficient detail to allow the Programme Committee to assess the 
merits of the work. Electronic submissions are encouraged.
They should be received in Novosibirsk by January 28, 2001.
A PostScript file of an extended abstract (up to 8 pages for a 
regular talk and up to 4 pages for a short talk) should be
e-mailed to the following address: PSI01 [at] iis [dot] nsk.su. Authors who feel
that more 
details are necessary may include a clearly marked appendix which 
will be read at the discretion of the Programme Committee and 
not published in the preliminary proceedings. 
Please use LaTeX2e or LaTeX. When preparing your submission please 
follow instructions for authors of papers to be published at
Springer Lecture Notes in Computer Science series.
For more information see www.springer.de/comp/lncs/authors.html.

The abstract should indicate complete authors' addresses (including
e-mail addresses and fax numbers if any), affiliation and a clear
statement of the kind of the submission (regular or short talk).
Papers arriving late or exceeding size limits may be rejected
immediately without refereeing. The receipt of all submitted papers
will be acknowledged by e-mail within 2 days.

Authors will be notified of acceptance by April 6, 2001.
Material submitted to the Conference should be unpublished and not
submitted for publication elsewhere, including journals or other 
conferences.

TRAVELLING

A direct Siberia Airlines flight will bring you from Frankfurt, 
Hannover, Tel Aviv or Beijing to Novosibirsk and back. One can buy 
an interline Lufthansa-Siberia Airlines ticket. Participants 
travelling via Moscow will be helped to take a domestic flight by 
Aeroflot. All participants will be met at the Novosibirsk airport and 
brought to Akademgorodok by a special transport.

WEATHER

The weather in Novosibirsk at the beginning of July is normally quite 
warm and sunny with the temperatures in the range of 25-30 C. Night
swimming in the Ob lake is guaranteed.

IMPORTANT DATES

January 28, 2001: submission deadline of extended abstracts

April 6, 2001: notification of acceptance (by e-mail)

July 2, 2001: arrival date

July 3 - 6, 2001: the conference dates

September 1, 2001:  final papers due (camera-ready, LaTeX, llncs 
style)

For more information see http://www.iis.nsk.su/PSI01

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



From owner-reliable_computing [at] interval [dot] usl.edu  Tue Jan 16 15:09:44 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id PAA14033
	for reliable_computing-outgoing; Tue, 16 Jan 2001 15:09:44 -0600 (CST)
Received: from patan.sun.com (patan.Sun.COM [192.18.98.43])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id PAA14028
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 16 Jan 2001 15:09:27 -0600 (CST)
Received: from engmail3.Eng.Sun.COM ([129.144.170.5])
	by patan.sun.com (8.9.3+Sun/8.9.3) with ESMTP id NAA15750;
	Tue, 16 Jan 2001 13:09:10 -0800 (PST)
Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.1.131])
	by engmail3.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v1.7) with ESMTP id NAA14808;
	Tue, 16 Jan 2001 13:09:02 -0800 (PST)
Received: from conversion-daemon.mpkmail.eng.sun.com by mpkmail.eng.sun.com
 (iPlanet Messaging Server 5.0 Patch 1 (built Nov  9 2000))
 id <0G7900701XBYZU [at] mpkmail [dot] eng.sun.com>; Tue, 16 Jan 2001 13:08:34 -0800 (PST)
Received: from gww (gww.Eng.Sun.COM [129.146.78.116])
 by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 Patch 1 (built Nov  9
 2000)) with SMTP id <0G790075ZXEAV8 [at] mpkmail [dot] eng.sun.com>; Tue,
 16 Jan 2001 13:08:34 -0800 (PST)
Date: Tue, 16 Jan 2001 13:08:34 -0800 (PST)
From: William Walster <bill.walster [at] eng [dot] sun.com>
Subject: Fw: Call for Papers: 2001 International Conference on Computational
 Science
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Reply-to: William Walster <bill.walster [at] eng [dot] sun.com>
Message-id: <0G7900760XEAV8 [at] mpkmail [dot] eng.sun.com>
MIME-version: 1.0
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc
Content-type: TEXT/plain; charset=us-ascii
Content-transfer-encoding: 7BIT
Content-MD5: zw46oQMMOAXMpiU5pJf53Q==
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk



-----Begin Included Message ----- 

Date: Sat, 13 Jan 2001 13:05:05 -0700
 From: "C. J. K. Tan" <cjtan [at] acm [dot] org>
Subject: Call for Papers: 2001 International Conference on Computational 
Science
To: ICCS 2001 <iccs2001 [at] lovage [dot] rdg.ac.uk>




        ======================================================
         Extended paper submission deadline: January 30, 2001
        ======================================================


                            Call for Paper

      The 2001 International Conference on Computational Science

                    San Francisco, California, USA

                     http://www.ucalgary.ca/iccs
                    http://www.hpcc.rdg.ac.uk/iccs

                          May 28 - 30, 2001


Introduction
------------

The 2001 International Conference on Computational Science will be
held at the Hilton San Francisco and Towers Hotel, San Francisco,
California, USA, from May 28, 2001 till May 30, 2001.

Computational Science is increasingly becoming a vital part of many
scientific investigations, affecting researchers and practitioners in
areas ranging from aerospace and automotive, to chemistry,
electronics, geosciences, to mathematics, and physics.

Due to the shear size of many challenges in computational science, the
use of supercomputing, parallel processing, and sophisticated
algorithms, is inevitable.

The concentration of this Conference is in the realms of computational
science in parallel and distributed environments, encompassing the
facilitating theoretical foundations and the applications of such
large scale computations.

The Conference offers the opportunity to discuss problems and
solutions in the area, to identify new issues, and to shape future
directions for research, as well as to help industrial users apply
techniques of large scale parallel and distributed computations.

We invite you to submit a:

   o full paper of 6 to 10 pages (Letter or A4 paper) for oral
     presentation

   o short paper of 2 to 4 pages (Letter or A4 paper) for poster
     presentation

Submitted papers have to be original, containing new and original
results.


Topics of Interest
------------------

Topics of interest include, but are not limited to:

 o Astrophysics                     o Information Retrieval

 o Computational Combustion         o Nuclear Physics

 o Computational Chemistry          o Optimization

 o Computational Geometry           o Parallel and Distributed 
                                      Computing

 o Computational Number Theory      o Parallel Algorithms

 o Computational Science            o Partial Differential Equation
   Education

 o Connectionist Modeling           o Randomized Computations

 o Data Mining                      o Reliability Engineering

 o Discretization Methods           o Risk Analysis

 o Environmental Modeling           o Scientific Databases

 o Financial and Economical         o Security
   Modeling

 o Fuzzy Logic Theory and           o Software Engineering
   Applications

 o Geophysics                       o Visualization
                                      
 o Hybrid Computational Methods     o Web-based Simulation and 
                                      Computing


Proceedings
-----------

The proceedings of the Conference will be published in the
Springer-Verlag Lecture Notes in Computer Science (LNCS) series A
selected number of papers will also be published as special issues of
the appropriate journals.


Paper Submission
----------------

The submitted paper must be camera-ready and formatted according to
the rules of LNCS. See http://www.springer.de/comp/lncs/authors.html
for formatting information. Please include a cover page which lists
the following:

   o name, affiliation, address and e-mail address of each author

   o name of the presenting author

   o name of the contact author

   o a maximum of 5 keywords

   o 3 nominated referees and contact information of all nominated
     referees

Submission implies the willingness of at least one of the authors to
register and present the paper. A PostScript or PDF version of your
paper must be submitted electronically to
iccs2001-submit [at] csres [dot] cs.rdg.ac.uk. Hard copies should be sent only if
electronic submission is not possible.


Important Dates
---------------

      January 30, 2001: Draft papers due (Extended deadline)
         March 1, 2001: Notification of Acceptance
        March 29, 2001: Camera Ready Papers and Pre-registration due
     May 28 - 30, 2001: ICCS 2001 Conference


Organizing Committee
--------------------

Conference Chairs:
  Vassil N. Alexandrov (University of Reading, UK)
  Jack Dongarra (Oak Ridge National Laboratory, USA)
  C. J. Kenneth Tan (Queen's University of Belfast, UK)

Local Organizing Chairs:
  Benjoe A. Juliano (California State University at Chico, USA)
  Renee S. Renner (California State University at Chico, USA)

Local Organizing Committee:
  Larry Davis (Department of Defense HPC Modernization Program, USA)
  Benjoe A. Juliano (California State University at Chico, USA)
  Cathy McDonald (Department of Defense HPC Modernization Program,
   USA)
  Renee S. Renner (California State University at Chico, USA)
  C. J. Kenneth Tan (Queen's University of Belfast, UK)
  Valerie B. Thomas (Department of Defense HPC Modernization Program,
   USA)

Steering Committee:
  Vassil N. Alexandrov (University of Reading, UK)
  Marian Bubak (AGH, Poland)
  Jack Dongarra (Oak Ridge National Laboratory, USA)
  C. J. Kenneth Tan (Queen's University of Belfast, UK)
  Jerzy Wasniewski (Danish Computing Center for Research and
   Education, Denmark) 

Special Events Committee:
  Vassil N. Alexandrov (University of Reading, UK)
  J. A. Rod Blais (University of Calgary, Canada)
  Peter M. A. Sloot (Universiteit van Amsterdam, The Netherlands)
  Marina L. Gavrilova (University of Calgary, Canada)

Program Committee:
  Vassil N. Alexandrov (University of Reading, UK)
  Hamid Arabnia (University of Georgia, USA)
  J. A. Rod Blais (University of Calgary, Canada)
  Alexander V. Bogdanov (Institute for High Performance Computing and
   Data Bases, Russia) 
  Marian Bubak (AGH, Poland)
  Toni Cortes (Universidad de Catalunya, Barcelona, Spain)
  Brian J. d'Auriol (University of Texas at El Paso, USA)
  Larry Davis (Department of Defense HPC Modernization Program, USA)
  Ivan T. Dimov (Bulgarian Academy of Science, Bulgaria)
  Jack Dongarra (Oak Ridge National Laboratory, USA)
  Marina L. Gavrilova (University of Calgary, Canada)
  Ken Hawick (University of Wales, Bangor, UK)
  Bob Hertzberger (Universiteit van Amsterdam, The Netherlands)
  Michael J. Hobbs (HP Labs, Palo Alto, USA)
  Caroline Isaac (IBM UK, UK)
  Heath James (University of Adelaide, Australia)
  Benjoe A. Juliano (California State University at Chico, USA)
  Aneta Karaivanova (Florida State University, USA)
  Antonio Lagana (Universita Degli Studi di Perugia, Italy)
  Christiane Lemieux (University of Calgary, Canada)
  Jiri Nedoma (Academy of Sciences of the Czech Republic, Czech
   Republic)
  Cathy McDonald (Department of Defense HPC Modernization Program,
   USA)
  Graham M. Megson (University of Reading, UK)
  Peter Parsons (Sun Microsystems, UK)
  William R. Pulleyblank (IBM T. J. Watson Research Center, USA)
  Andrew Rau-Chaplin (Dalhousie University, Canada)
  Renee S. Renner (California State University at Chico, USA)
  Paul Roe (Queensland University of Technology, Australia)
  Laura A. Salter (University of New Mexico, USA)
  Peter M. A. Sloot (Universiteit van Amsterdam, The Netherlands)
  David Snelling (Fujitsu European Center for Information Technology,
   UK) 
  Lois Steenman-Clarke (British Metorological Office, UK)
  C. J. Kenneth Tan (Queen's University of Belfast, UK)
  Philip Tannenbaum (NEC/HNSX, USA)
  Valerie B. Thomas (Department of Defense HPC Modernization Program,
   USA)
  Koichi Wada (University of Tsukuba, Japan)
  Jerzy Wasniewski (Danish Computing Center for Research and
   Education, Denmark) 
  Roy Williams (California Institute of Technology, USA)
  Zahari Zlatev (Danish Environmental Research Institute, Denmark)
  Elena Zudilova (Institute for High Performance Computing and
   Data Bases, Russia)


Contact Information
-------------------

     E-mail address: iccs2001 [at] csres [dot] cs.rdg.ac.uk
    Mailing address: ICCS 2001
                     School of Computer Science
                     Queen's University of Belfast
                     Belfast BT7 1NN
                     United Kingdom
    Mailing address: ICCS 2001
                     Department of Computer Science
                     University of Reading
                     Reading RG6 6AY
                     United Kingdom
          Telephone: 44-289-027-4636
                     44-118-931-6722
          Facsimile: 44-289-068-3890
                     44-118-975-1994





---- End Included Message ----

------------------------------
Stephen Perrenod, Ph.D.
Group Mgr., HPC Marketing, ESP
Sun Microsystems
650-786-6776       stephen.perrenod [at] sun [dot] com
www.sun.com/hpc    dhpg.west/hpc (internal only)

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



From owner-reliable_computing [at] interval [dot] usl.edu  Tue Jan 16 21:32:32 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id VAA14553
	for reliable_computing-outgoing; Tue, 16 Jan 2001 21:32:32 -0600 (CST)
Received: from mailhost.iitb.ac.in (mailhost.iitb.ac.in [203.197.74.142])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with SMTP id VAA14548
	for <reliable_computing [at] interval [dot] usl.edu>; Tue, 16 Jan 2001 21:32:27 -0600 (CST)
Received: (qmail 9036 invoked from network); 17 Jan 2001 03:34:51 -0000
Received: from bhairav.ee.iitb.ernet.in (144.16.100.100)
  by mailhost.iitb.ac.in with SMTP; 17 Jan 2001 03:34:51 -0000
Received: from localhost (prakash@localhost)
	by bhairav.ee.iitb.ernet.in (8.8.8/8.8.8) with SMTP id IAA22769
	for <reliable_computing [at] interval [dot] usl.edu>; Wed, 17 Jan 2001 08:58:03 +0530 (IST)
Date: Wed, 17 Jan 2001 08:58:03 +0530 (IST)
From: "A. K. Prakash (99423801)" <prakash [at] ee [dot] iitb.ernet.in>
To: reliable_computing [at] interval [dot] usl.edu
Subject: A Question on INM.
Message-ID: <Pine.GSO.3.96.1010117084335.22163B-100000 [at] bhairav [dot] ee.iitb.ernet.in>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Hello
Where can I find some bench mark problems of square systems of non-linear
equations to check the variance of Interval Newton method.
regards,
Prakash


-------------------------------------------------------------------------------
A.K.Prakash,				| A.K.Prakash,
Systems and Control group,		| Hostel 5#184,
Department of Electrical Engg.		| IIT Bombay, Mumbai-76,
IIT Bombay,				| India.
Mumbai-76, India.			| Tel. 5721021,5720091.
Tel.572255,5726530 Extn 5741(Lab).	| 
------------------------------------------------------------------------------- 
                                                




From owner-reliable_computing [at] interval [dot] usl.edu  Wed Jan 17 02:04:50 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA14987
	for reliable_computing-outgoing; Wed, 17 Jan 2001 02:04:50 -0600 (CST)
Received: from narech.irin.univ-nantes.fr (IDENT:root [at] narech [dot] irin.sciences.univ-nantes.fr [193.52.99.2])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id CAA14982
	for <reliable_computing [at] interval [dot] usl.edu>; Wed, 17 Jan 2001 02:04:46 -0600 (CST)
Received: from irin.univ-nantes.fr (IDENT:granvil@erebus [193.52.99.69])
          by narech.irin.univ-nantes.fr (8.9.3/jtpda-5.3.2) with ESMTP id JAA30725
          for <reliable_computing [at] interval [dot] usl.edu>; Wed, 17 Jan 2001 09:04:41 +0100
Message-ID: <3A65517E.B7B82470 [at] irin [dot] univ-nantes.fr>
Date: Wed, 17 Jan 2001 09:02:06 +0100
From: Laurent Granvilliers <Laurent.Granvilliers [at] irin [dot] univ-nantes.fr>
Organization: IRIN
X-Mailer: Mozilla 4.75 [fr] (X11; U; Linux 2.2.14-5.0 i586)
X-Accept-Language: fr, en
MIME-Version: 1.0
To: reliable_computing [at] interval [dot] usl.edu
Subject: Re: A Question on INM.
References: <Pine.GSO.3.96.1010117084335.22163B-100000 [at] bhairav [dot] ee.iitb.ernet.in>
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by interval.usl.edu id CAA14983
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

"A. K. Prakash (99423801)" wrote:
> Hello
> Where can I find some bench mark problems of square systems of non-linear
> equations to check the variance of Interval Newton method.
> regards,
> Prakash

Dear A. K. Prakash,

You may have a look at Jan Verschelde's web page :
   http://www.math.uic.edu/~jan/demo.html

Regards,

Laurent Granvilliers

-----------------------------------------------------------------
Laurent Granvilliers     Laurent.Granvilliers [at] irin [dot] univ-nantes.fr
http://www.sciences.univ-nantes.fr/info/perso/permanents/granvil/
-----------------------------------------------------------------
IRIN - Faculté des Sciences               tel : +33 2 51 12 58 51
2, rue de la Houssinière - B.P. 92208     fax : +33 2 51 12 58 12  
F-44322 NANTES Cedex 3 - FRANCE
-----------------------------------------------------------------

From owner-reliable_computing [at] interval [dot] usl.edu  Wed Jan 17 05:14:49 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id FAA15738
	for reliable_computing-outgoing; Wed, 17 Jan 2001 05:14:49 -0600 (CST)
Received: from solon.mat.univie.ac.at (solon.mat.univie.ac.at [131.130.145.131])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id FAA15733
	for <reliable_computing [at] interval [dot] usl.edu>; Wed, 17 Jan 2001 05:14:44 -0600 (CST)
Received: (from neum@localhost)
	by solon.mat.univie.ac.at (8.9.3/8.9.3) id MAA20849;
	Wed, 17 Jan 2001 12:14:40 +0100 (MET)
Date: Wed, 17 Jan 2001 12:14:40 +0100 (MET)
From: Arnold Neumaier <neum [at] cma [dot] univie.ac.at>
Message-Id: <200101171114.MAA20849 [at] solon [dot] mat.univie.ac.at>
To: Laurent.Granvilliers [at] irin [dot] univ-nantes.fr,
        reliable_computing [at] interval [dot] usl.edu
Subject: Re: A Question on INM.
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

"A. K. Prakash (99423801)" wrote:
> Hello
> Where can I find some bench mark problems of square systems of non-linear
> equations to check the variance of Interval Newton method.
> regards,
> Prakash

<A HREF="http://www.netlib.no/netlib/uncon/index.html">
Fortran Code</A>
for Mor&eacute;/Garbow/Hillstrom test functions and 
gradients, and for some others
<P>
<A HREF="ftp://ftp.mathworks.com/pub/contrib/v4/optim/uncprobs/">
MATLAB 4 Code</A> and 
<A HREF="ftp://ftp.mathworks.com/pub/contrib/v5/optim/uncprobs/">
MATLAB 5 Code</A> 
for Mor&eacute;/Garbow/Hillstrom test functions
<P>
<A HREF="http://www.mcs.anl.gov/home/more/tprobs/tprobs.html">
MINPACK-2 Test Problems</A>

Arnold Neumaier


From owner-reliable_computing [at] interval [dot] usl.edu  Wed Jan 17 08:15:51 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id IAA16152
	for reliable_computing-outgoing; Wed, 17 Jan 2001 08:15:51 -0600 (CST)
Received: from nmh.informatik.uni-bremen.de (root [at] nmh [dot] informatik.uni-bremen.de [134.102.224.3])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA16147
	for <reliable_computing [at] interval [dot] usl.edu>; Wed, 17 Jan 2001 08:15:44 -0600 (CST)
Received: from informatik.uni-bremen.de (ganymede.informatik.uni-bremen.de [134.102.204.29])
	by nmh.informatik.uni-bremen.de (8.10.1/8.10.1) with ESMTP id f0HEDbW01494;
	Wed, 17 Jan 2001 15:13:37 +0100 (MET)
Message-ID: <3A65A891.24A8CF18 [at] informatik [dot] uni-bremen.de>
Date: Wed, 17 Jan 2001 15:13:37 +0100
From: Till Mossakowski <till [at] informatik [dot] uni-bremen.de>
X-Mailer: Mozilla 4.75 [en] (X11; U; SunOS 5.8 sun4u)
X-Accept-Language: en
MIME-Version: 1.0
To: cofi-language [at] brics [dot] dk, cofi-semantics [at] brics [dot] dk, cofi-tools [at] brics [dot] dk,
        FSDM Mailing List <fsdm [at] it [dot] uq.edu.au>,
        Isabelle Users <isabelle-users [at] cl [dot] cam.ac.uk>,
        Types <types [at] cis [dot] upenn.edu>, Categories <categories [at] mta [dot] ca>,
        IGPL <igpl [at] doc [dot] ic.ac.uk>, formal-methods [at] cs [dot] uidaho.edu,
        info-hol [at] jaguar [dot] cs.byu.edu, lics [at] research [dot] bell-labs.com,
        logic [at] theory [dot] lcs.mit.edu, logic [at] cs [dot] cornell.edu, pvs [at] csl [dot] sri.com,
        softverf [at] jaguar [dot] cs.byu.edu, theorem-provers [at] ai [dot] mit.edu,
        eacsl [at] dimi [dot] uniud.it, eapls [at] mailbase [dot] ac.uk, eatcs-it [at] cs [dot] unibo.it,
        tapsoft [at] dcs [dot] ed.ac.uk, prog-lang [at] diku [dot] dk, theorynt [at] listserv [dot] nodak.edu,
        reliable_computing [at] interval [dot] usl.edu, theory-a [at] vm1 [dot] nodak.edu,
        calculemus-ig [at] dist [dot] unige.it, logic-ml [at] logic [dot] jaist.ac.jp,
        amast [at] cs [dot] utwente.nl, rewriting [at] loria [dot] fr,
        compass-wg [at] informatik [dot] uni-bremen.de, caml-list [at] inria [dot] fr,
        haskell [at] haskell [dot] org, lambda-usergroup [at] dcs [dot] ed.ac.uk,
        lego-club [at] dcs [dot] ed.ac.uk
Subject: Research assistant positions in Bremen
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

The following two research assistant positions
are available at the University of Bremen, Germany.

The Bremen Institute of Safe Systems in the Center for Computing 
Technologies at the University of Bremen hosts the research projects
 
"Multi-logic systems as a basis for heterogeneous specification 
and development" (MULTIPLE) 

and 

"Algebraic specification + functional programming = 
environment for formal software development" (HasCASL)

funded by the Deutsche Forschungsgemeinschaft (DFG). 


Within the framework of each of these projects, one position in the 
working group of Prof. Dr. Krieg-Brückner is to be immediately 
filled for at least  two years (additional option for another two
years), 
subject to availability of funds: 

Research Assistant 
Verg. Gr. IIa BAT (full time) 

In addition to successful university studies in computer science, 
experience and skills in functional programming (e.g. Haskell, ML) 
are expected. Familiarity with at least one of formal specification 
methods (like  CoFI/CASL), theorem proving or category theory is
desirable. 

Applicants with a PhD are welcome. However, there will also be the 
oppurtunity to prepare a PhD thesis in connection with the research
project. 

In case of essentially equal qualification in the subject and personal 
suitability, severely handicapped applicants will be preferred. The 
University of Bremen intends to increase the share of women in 
scientific activities and does therefore strongly encourage women to 
apply for these positions. 

More detailed information about the projects can be found under
http://www.tzi.de/cofi/projects/multiple.html 
http://www.tzi.de/cofi/projects/hascasl.html 

Please address your application with the usual documents and the 
reference number A164/00 (MULTIPLE) resp. A165/00 (HasCASL)
before 01.02.2001 to: 

UNIVERSITÄT BREMEN 
Prof. Dr. B. Krieg-Brückner 
Fachbereich 3 
Postfach 33 04 40 
28334 Bremen 
e-Mail:  cofi [at] tzi [dot] de 
-- 
Till Mossakowski                Phone: +49-421-218-4683, monday:
+49-4252-1859
Dept. of Computer Science       Fax:   +49-421-218-3054
University of Bremen            EMail: till [at] tzi [dot] de           
P.O.Box 330440, D-28334 Bremen  WWW:   http://www.tzi.de/~till

From owner-reliable_computing [at] interval [dot] usl.edu  Wed Jan 17 17:58:05 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id RAA16867
	for reliable_computing-outgoing; Wed, 17 Jan 2001 17:58:04 -0600 (CST)
Received: from eeultra14.ece.utep.edu (eeultra14.ece.utep.edu [129.108.40.68])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id RAA16862
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 17 Jan 2001 17:57:58 -0600 (CST)
Received: from ece.utep.edu ([129.108.7.74])
	by eeultra14.ece.utep.edu (8.9.3/8.9.3) with ESMTP id QAA22526;
	Wed, 17 Jan 2001 16:58:30 -0700 (MST)
Message-ID: <3A663213.5548532F [at] ece [dot] utep.edu>
Date: Wed, 17 Jan 2001 17:00:19 -0700
From: Patricia Nava <pnava [at] ece [dot] utep.edu>
X-Mailer: Mozilla 4.74 [en] (Win98; U)
X-Accept-Language: en
MIME-Version: 1.0
To: reliable_computing [at] interval [dot] louisiana.edu, nafips-l [at] sphinx [dot] gsu.edu
Subject: faculty openings in ECE at UTEP
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Dear colleagues,

Sorry if you have seen this before, I'm trying to
post to different lists.

There are several openings in our department. We
are looking mainly for people in computer engineering.
especially in the areas of data communications,
computer networks, etc. Please pass this on to anyone
who might be interested. The contact information is shown
at the bottom of the ad, but I'd be willing to talk informally.

Regards,
Patricia Nava
--------------------------------------------------
      The University of Texas at El Paso (UTEP):

Department of Electrical and Computer
Engineering invites applications for several tenure-track positions at
the rank of
Assistant and Associate Professor starting Fall Semester 2001.
Candidates should
have Ph.D. with relevant experience in computer engineering, biomedical
engineering, analog and mixed signal, wireless communications,
microelectronics,
and solid state devices. The duties include developing and teaching
graduate and
undergraduate courses, conducting research and supervising graduate
students. A
recent grant from Texas Instruments foundation to enhance our
DSP/Communications curriculum will provide great opportunity for new
faculty
members. Send applications along with names and contact information of
three
references to Dr. Mehdi Shadaram, Professor and Chair, Department of
Electrical
and Computer Engineering, University of Texas at El Paso, El Paso, TX
79968,
email: shadaram [at] utep [dot] edu. UTEP is an Equal Opportunity and Affirmative
Action
Employer.



--
*******************************
Dr. Patricia A. Nava,
Assistant Professor in Electrical & Computer Engineering
University of Texas at El Paso, El Paso TX 79968-0523
IEEE Treasurer, El Paso/Las Cruces Section
pnava [at] ece [dot] utep.edu        915-747-5994 (7871 FAX)

http://www.ece.utep.edu/faculty/webnava
********************************



From owner-reliable_computing [at] interval [dot] usl.edu  Thu Jan 18 11:52:13 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA17996
	for reliable_computing-outgoing; Thu, 18 Jan 2001 11:52:13 -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 LAA17991
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 18 Jan 2001 11:52:03 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.11.2/8.11.2) with SMTP id f0IHpoS19369;
	Thu, 18 Jan 2001 10:51:50 -0700 (MST)
Message-Id: <200101181751.f0IHpoS19369 [at] cs [dot] utep.edu>
Date: Thu, 18 Jan 2001 10:51:49 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: interval sessions at NAFIPS'02
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: PxSR3JQXOgFQnLaHzL9fGg==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Dear Friends, 

North American Fuzzy Information Processing Society (NAFIPS) is planning to 
have its 2002 conference in New Orleans at Tulane
University, just a short distance from the French quarter.  I have just learned 
that the dates of
the conference are set for June 28-29, 2002. 

The organizers will be glad to see an interval track just like at the NAFIPS'01 
conference this coming July (for details, see the Forthcoming Conferences page 
of the interval computations website http://www.cs.utep.edu/interval-comp). 

Please mark the dates on your calendars. The Call for Ppares and exact 
deadliens will be issued later. 

New Orleans is an exciting town! 

Vladik


From owner-reliable_computing [at] interval [dot] usl.edu  Sat Jan 20 02:53:30 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA20032
	for reliable_computing-outgoing; Sat, 20 Jan 2001 02:53:30 -0600 (CST)
Received: from horizon.barak-online.net (horizon.barak.net.il [206.49.94.218])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id CAA20027
	for <reliable_computing [at] interval [dot] usl.edu>; Sat, 20 Jan 2001 02:53:25 -0600 (CST)
Received: from mn (pop09-1-ras2-p58.barak.net.il [212.150.108.58])
	by horizon.barak-online.net (8.11.2/8.9.1) with SMTP id f0K8qrZ00220
	for <reliable_computing [at] interval [dot] usl.edu>; Sat, 20 Jan 2001 10:52:53 +0200 (IST)
Date: Sat, 20 Jan 2001 10:52:53 +0200 (IST)
Message-Id: <200101200852.f0K8qrZ00220 [at] horizon [dot] barak-online.net>
From: Doctors Are the Third Leading Cause of Death <mnadiv@barak-online.net>
To: reliable_computing [at] interval [dot] usl.edu;
Subject: "Doctors Are the Third Leading Cause of Death" ......  
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

"Doctors Are the Third Leading Cause of Death" 
This Site Will Help You Discover How You Can Avoid Dying Early 
 
Subject: The Coverup Conspiracy - Prof. Arnon Samueloff MD - Israel

WARNING: Prof. Arnon Samueloff MD - Medical Malpractice, Coverup and Death in Shaare Zedek Hospital Israel

http://www.szmc.co.il/mal/

Read in the Medical Malpractice Victims Organization - Shaare Zedek Israel Website.


From owner-reliable_computing [at] interval [dot] usl.edu  Sat Jan 20 12:02:50 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA20779
	for reliable_computing-outgoing; Sat, 20 Jan 2001 12:02:50 -0600 (CST)
Received: from mail2.lig.bellsouth.net (mail2.lig.bellsouth.net [205.152.0.56])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA20774
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 20 Jan 2001 12:02:46 -0600 (CST)
Received: from u8174 (host-216-78-8-6.lft.bellsouth.net [216.78.8.6])
	by mail2.lig.bellsouth.net (3.3.5alt/0.75.2) with SMTP id NAA20405
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 20 Jan 2001 13:02:43 -0500 (EST)
Message-Id: <2.2.32.20010120180408.006b7990 [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: Sat, 20 Jan 2001 12:04:08 -0600
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: moderating "reliable_computing" list?
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Colleagues,

If, at any time, you have any opinions about whether or not I should 
moderate the reliable_computing list, please send them to me.  

Advantage of moderation:

   You will not receive any "spam" from the list.

Disadvantages:

   It will take longer to receive messages.

   Discussions will not be nearly as spontaneous.

   It's more work for me.

Sincerely,

R. Baker Kearfott

---------------------------------------------------------------
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  Sun Jan 21 02:44:20 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA21633
	for reliable_computing-outgoing; Sun, 21 Jan 2001 02:44:20 -0600 (CST)
Received: from max.dm.unipi.it (max.dm.unipi.it [131.114.6.133])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id CAA21628
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 21 Jan 2001 02:44:15 -0600 (CST)
Received: (from traverso@localhost)
	by max.dm.unipi.it (8.9.3/8.8.8) id JAA14320;
	Sun, 21 Jan 2001 09:44:05 +0100 (MET)
Date: Sun, 21 Jan 2001 09:44:05 +0100 (MET)
Message-Id: <200101210844.JAA14320 [at] max [dot] dm.unipi.it>
From: Carlo Traverso <traverso [at] posso [dot] dm.unipi.it>
To: rbk [at] louisiana [dot] edu
CC: reliable_computing [at] interval [dot] louisiana.edu
In-reply-to: <2.2.32.20010120180408.006b7990 [at] pop [dot] louisiana.edu>
	(rbk [at] louisiana [dot] edu)
Subject: Re: moderating "reliable_computing" list?
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


Dear Baker,

it is usually possible, with mailing list software, to let only list
members to contribute freely to the list. The rest of the mail goes to the
list owner, that can resend the intercepted messages to the list, if
they are relevant.

This solves the first two disadvantages of moderating the list:

   It will take longer to receive messages.

   Discussions will not be nearly as spontaneous.

and alleviates the third:

   It's more work for me.

since you'll have to process only those messages that are not spam and
come from outside: mainly, conference announcements. Moreover a delay
of a few days in the processing of such mail is not important, hence
processing it once a week is enough.

In this form, I believe that moderating is advisable. But indeed the
amount of spam in the list is minimal, no moderation is OK too.

Carlo Traverso



From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan 22 12:30:05 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA23849
	for reliable_computing-outgoing; Mon, 22 Jan 2001 12:30:04 -0600 (CST)
Received: from lipn.univ-paris13.fr ([192.33.182.24])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA23844
	for <reliable_computing [at] interval [dot] usl.edu>; Mon, 22 Jan 2001 12:29:54 -0600 (CST)
Received: from [192.33.182.131] (imac3 [192.33.182.131])
	by lipn.univ-paris13.fr (8.9.3/8.9.1) with ESMTP id SAA07075;
	Mon, 22 Jan 2001 18:07:04 GMT
Mime-Version: 1.0
X-Sender: etaps2001 [at] elios [dot] disi.unige.it
Message-Id: <a0432040bb6921ab6719c@[192.33.182.131]>
Date: Mon, 22 Jan 2001 18:13:36 +0100
To: etaps2001 [at] disi [dot] unige.it
From: "TR"@lipn.univ-paris13.fr
Subject: ETAPS 2001 FIRST CALL FOR PARTICIPATION
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

                             ETAPS 2001
                 APRIL 2 - 6, 2001 - GENOVA, ITALY

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.

                  http://www.disi.unige.it/etaps2001/
-----------------------------------------------------------------------
               5 Conferences - 10 Workshops - 10 Tutorials
               7 Invited Lectures - 1 panel- 9 Tool Demos
-----------------------------------------------------------------------

PROGRAM - REGISTRATION FORM - HOTEL BOOKING
-----------------------------------------------------------------------
    see   http://www.disi.unige.it/etaps2001/

    !!!!!!  ONLINE REGISTRATION AVAILABLE NOW   !!!!!!

IMPORTANT DATES:
-----------------------------------------------------------------------
   FEBRUARY 10: deadline to register GETTING 10% DISCOUNT on fees

   MARCH 2:      deadline to register having HOTEL GUARANTEED and
                 AVOIDING 20% SURCHARGE on fees

   April  2-6, 2001:  ETAPS 2001 in Genova

   March 31 - April 8, 2001:  Satellite Events

CONFERENCES
-----------------------------------------------------------------------
CC 2001: International Conference on Compiler Construction

ESOP 2001, European Symposium On Programming

FASE 2001, Fundamental Approaches to Software Engineering

FOSSACS 2001,
Foundations of Software Science and Computation Structures

TACAS 2001,
Tools and Algorithms for the Construction and Analysis of Systems

WORKSHOPS
-----------------------------------------------------------------------
CMCS: Co-algebraic Methods in Computer Science

ETI Day: Electronic Tool Integration platform Day

JOSES: Java Optimization Strategies for Embedded Systems

LDTA: Workshop on Language Descriptions, Tools and Applications

MMAABS: Models and Methods of Analysis for Agent Based Systems

PFM: Proofs For Mobility

RelMiS: Relational Methods in Software

UNIGRA:
Uniform Approaches to Graphical Process Specification Techniques

WADT: Workshop on Algebraic Development Techniques

WTUML: Workshop on Transformations in UML

TUTORIALS
-----------------------------------------------------------------------
T1: Common Framework Initiative for Algebraic Specification and Development
of Software

T2: Abstract State Machines:
     Surveying their Theory and their Industrial Employment

T3: Compiling object-oriented programming languages

T4: Rule based programming using ELAN: a Tutorial

T5: Mathematical Foundations for Software Architecture

T6: Rigorous Analysis and Design with the Unified Modeling Language (UML)

T7: Domain Analysis and Engineering with Sherlock -
     producing Software Product Lines

T8: Extreme Modeling - Closing the Gap between Modeling and XP

T9: Precise Component Architectures with UML/Catalysis

T10: TTCN-3 - The new testing language for telecom and datacom

INVITED LECTURES
-----------------------------------------------------------------------
Luca Cardelli: Global Computing
Michael Fourman: Propositional Reasoning
Ole Lehrmann Madsen: Virtual Classes and their Implementation
John Mitchell
Gordon Plotkin: Adequacy for Algebraic Effects
Bran Selic: Physical Programming: Beyond Mere Logic
Moshe Y. Vardi: Branching vs. Linear Time: Final Showdown

PANEL
-----------------------------------------------------------------------
Free software: the future of software engineering?

From owner-reliable_computing [at] interval [dot] usl.edu  Thu Jan 25 14:03:24 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id OAA27746
	for reliable_computing-outgoing; Thu, 25 Jan 2001 14:03:24 -0600 (CST)
Received: from mailspool.helios.nd.edu (mailspool.helios.nd.edu [129.74.250.7])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id OAA27741
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 25 Jan 2001 14:03:07 -0600 (CST)
Received: from bernstein.helios.nd.edu (bernstein.helios.nd.edu [129.74.216.30])
	by mailspool.helios.nd.edu (8.9.2/8.9.2) with ESMTP id PAA14135
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 25 Jan 2001 15:02:46 -0500 (EST)
Received: from localhost (hliang@localhost)
	by bernstein.helios.nd.edu (8.10.1/8.10.1/ND-cluster) with ESMTP id f0PK2jo06433
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 25 Jan 2001 15:02:45 -0500 (EST)
Date: Thu, 25 Jan 2001 15:02:45 -0500 (EST)
From: Hongkun Liang <hliang [at] bernstein [dot] helios.nd.edu>
To: reliable_computing [at] interval [dot] louisiana.edu
Subject: extended interval arithemetic operation
In-Reply-To: <2.2.32.20010106223016.0067d77c [at] pop [dot] louisiana.edu>
Message-ID: <Pine.SOL.4.10.10101251435460.6378-100000 [at] bernstein [dot] helios.nd.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Dear members,

I am using Sun's Fortran95 to compile my interval subroutine.
But I don't know if f95 support extended interval arithemetic
operations, such as  

[2,4] / [-2,2]

otherwise I have to write my own subroutines, which need
round down, round up functions.  Does f95 provide this kind of
functions?

Thanks very much in advance. 

Best regards,

Hongkun Liang

-------------------------------------------
Ph.D Candidate
Department of Chemical Engineering
University of Notre Dame
Email: hliang [at] nd [dot] edu
Phone: 219-634-7893
------------------------------------------



From owner-reliable_computing [at] interval [dot] usl.edu  Thu Jan 25 16:31:26 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id QAA28110
	for reliable_computing-outgoing; Thu, 25 Jan 2001 16:31:26 -0600 (CST)
Received: from mercury.Sun.COM (mercury.Sun.COM [192.9.25.1])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id QAA28105
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 25 Jan 2001 16:31:22 -0600 (CST)
Received: from engmail4.Eng.Sun.COM ([129.144.134.6])
	by mercury.Sun.COM (8.9.3+Sun/8.9.3) with ESMTP id OAA26816;
	Thu, 25 Jan 2001 14:31:20 -0800 (PST)
Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.1.131])
	by engmail4.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id OAA15845;
	Thu, 25 Jan 2001 14:31:19 -0800 (PST)
Received: from conversion-daemon.mpkmail.eng.sun.com by mpkmail.eng.sun.com
 (iPlanet Messaging Server 5.0 Patch 1 (built Nov  9 2000))
 id <0G7Q00L01OUVQ0 [at] mpkmail [dot] eng.sun.com>; Thu, 25 Jan 2001 14:31:15 -0800 (PST)
Received: from gww (gww.Eng.Sun.COM [129.146.78.116])
 by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 Patch 1 (built Nov  9
 2000)) with SMTP id <0G7Q00LFMP83R5 [at] mpkmail [dot] eng.sun.com>; Thu,
 25 Jan 2001 14:31:15 -0800 (PST)
Date: Thu, 25 Jan 2001 14:31:19 -0800 (PST)
From: William Walster <bill.walster [at] eng [dot] sun.com>
Subject: Re: extended interval arithemetic operation
To: reliable_computing [at] interval [dot] louisiana.edu, hliang [at] bernstein [dot] helios.nd.edu
Reply-to: William Walster <bill.walster [at] eng [dot] sun.com>
Message-id: <0G7Q00LFNP83R5 [at] mpkmail [dot] eng.sun.com>
MIME-version: 1.0
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc
Content-type: TEXT/plain; charset=us-ascii
Content-transfer-encoding: 7BIT
Content-MD5: APMFtHkFfpdVuKYYFapr7A==
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk


  >Date: Thu, 25 Jan 2001 15:02:45 -0500 (EST)
  >From: Hongkun Liang <hliang [at] bernstein [dot] helios.nd.edu>
  >Subject: extended interval arithemetic operation
  >To: reliable_computing [at] interval [dot] louisiana.edu
  >MIME-version: 1.0
  >
  >Dear members,
  >
  >I am using Sun's Fortran95 to compile my interval subroutine.
  >But I don't know if f95 support extended interval arithemetic
  >operations, such as  
  >
  >[2,4] / [-2,2]
  
Hongkun,

Division by intervals containing zero is supported, at least to
the extent of returning the interval [-oo, +oo], without raising
an exception.  We have also introduced an intrinsic subroutine
to compute

	X .IX. (A/B)
	
and return the one or two resulting finite intervals.  The routine
is called  XDIV and is documented in the README of our f95
compiler in the Developer 6 Update 1 release.

Please go to the product web page

http://www.sun.com/forte/fortran/documentation/index.html

and then click on 

Sun WorkShop 6 update 1 Interval Arithmetic Readme 

This displays a pdf version of the readme.

We have not yet included full support for exterior intervals.

I hope this answers your question.

Regards,

Bill

	G. William (Bill) Walster, Ph.D. 
	Interval Technology Engineering Manager
	Sun Microsystems, Inc.
	16 Network Circle, MS UMPK16-304
	Menlo Park, CA 94025
	(650) 786-9004 Direct
	(650) 786-9551 Fax
	(800) 759-8888 Pager PIN 171-2423

	bill.walster [at] eng [dot] sun.com



  >
  >otherwise I have to write my own subroutines, which need
  >round down, round up functions.  Does f95 provide this kind of
  >functions?
  >
  >Thanks very much in advance. 
  >
  >Best regards,
  >
  >Hongkun Liang
  >
  >-------------------------------------------
  >Ph.D Candidate
  >Department of Chemical Engineering
  >University of Notre Dame
  >Email: hliang [at] nd [dot] edu
  >Phone: 219-634-7893
  >------------------------------------------
  >
  >



From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan 29 03:38:56 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id DAA02157
	for reliable_computing-outgoing; Mon, 29 Jan 2001 03:38:56 -0600 (CST)
Received: from narech.irin.univ-nantes.fr (IDENT:root [at] narech [dot] irin.sciences.univ-nantes.fr [193.52.99.2])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id DAA02152
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 29 Jan 2001 03:38:48 -0600 (CST)
Received: from irin.univ-nantes.fr (IDENT:granvil@erebus [193.52.99.69])
          by narech.irin.univ-nantes.fr (8.9.3/jtpda-5.3.2) with ESMTP id KAA25055
          ; Mon, 29 Jan 2001 10:38:18 +0100
Message-ID: <3A753969.86564032 [at] irin [dot] univ-nantes.fr>
Date: Mon, 29 Jan 2001 10:35:37 +0100
From: Laurent Granvilliers <Laurent.Granvilliers [at] irin [dot] univ-nantes.fr>
Organization: IRIN
X-Mailer: Mozilla 4.75 [fr] (X11; U; Linux 2.2.14-5.0 i586)
X-Accept-Language: fr, en
MIME-Version: 1.0
To: clp [at] comp [dot] nus.edu.sg, concurrency [at] cwi [dot] nl, constraints-list [at] cwi [dot] nl,
        distributed-ai [at] mailbase [dot] ac.uk, eclipse_users [at] ecrc [dot] de, frocos [at] loria [dot] fr,
        reliable_computing [at] interval [dot] louisiana.edu
Subject: CFP: PPAM'2001: special session on constraint solving
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by interval.usl.edu id DAA02153
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Apologies if you receive this more than once.


-----------------------------------------------------------------------
First Call for Papers

SPECIAL SESSION on Parallel/Distributed/Cooperative Constraint Solving
International Conference on Parallel Processing and Applied Mathematics
Naleczow, Poland, September 9-12, 2001

Conference home page: http://www.k2.pcz.czest.pl/~roman/ppam2001
-----------------------------------------------------------------------

In the recent past, much attention has been paid to the problem of
finding a solution to a set of constraints, where constraints are
distributed among a set of agents/processors, and solvers cooperate
in parallel or concurrently. The main issues to be tackled are
efficiency, termination, correctness, etc. of the overall solver.

However, up to now, frameworks and algorithms have been developed
mostly in separate communities: numerical analysis, computer algebra,
constraint programming, parallelism, etc. The aim of this session is
to bring together specialists from diverse areas of mathematics and
computer science, and to build synergy between these communities.

Topics of interest include (but are not limited to):
  - distributed CSP
  - parallel search
  - parallel iteration/constraint propagation
  - models of cooperative solvers
  - concurrent algorithms
  - coordination-based problem solving

Submission and Proceedings
-----------------------------------------------------------------------
The submission of a paper to a special session should be clearly
identified. All accepted papers will be published in the PPAM'2001
proceedings (volume of LNCS).

Please consult the conference home page for more details, or contact
the organizers.

Important Dates
-----------------------------------------------------------------------
Submission of Papers:       May 15, 2001
Notification of Acceptance: July  01, 2001
Camera-Ready Papers:        October 31, 2001

Organizers
-----------------------------------------------------------------------
Laurent Granvilliers  (granvilliers [at] irin [dot] univ-nantes.fr)
Eric Monfroy          (monfroy [at] irin [dot] univ-nantes.fr)

2, rue de la Houssinière - B.P. 92208
F-44322 Nantes Cedex 3 - France
phone: +33 2 51 12 58 51 / fax: +33 2 51 12 58 12

From owner-reliable_computing [at] interval [dot] usl.edu  Mon Jan 29 14:35:01 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id OAA00548
	for reliable_computing-outgoing; Mon, 29 Jan 2001 14:35:01 -0600 (CST)
Received: from faui25.informatik.uni-erlangen.de (faui25.informatik.uni-erlangen.de [131.188.32.25])
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id OAA00543
	for <reliable_computing [at] interval [dot] usl.edu>; Mon, 29 Jan 2001 14:34:48 -0600 (CST)
Received: from informatik.uni-erlangen.de (faui24l.informatik.uni-erlangen.de [131.188.32.120])
	by faui25.informatik.uni-erlangen.de (8.9.1a/8.1.9-FAU) with ESMTP id SAA20089; Mon, 29 Jan 2001 18:41:21 +0100 (MET)
Message-ID: <3A75AB10.E498EC2E [at] informatik [dot] uni-erlangen.de>
Date: Mon, 29 Jan 2001 18:40:32 +0100
From: Mark Minas <Mark.Minas [at] informatik [dot] uni-erlangen.de>
Reply-To: Mark.Minas [at] informatik [dot] uni-erlangen.de
Organization: Univ. of Erlangen (Germany), CS Dep.
X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.16 i686)
X-Accept-Language: en
MIME-Version: 1.0
To: Andy =?iso-8859-1?Q?Sch=FCrr?= <Andy.Schuerr@unibw-muenchen.de>,
        minas [at] acm [dot] org
Subject: Call for Papers VLFM'01 (Update)
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by interval.usl.edu id OAA00544
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

Sorry if some of you receive multiple copies of this message.

Mark Minas
Andy Schürr

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

This mail is just an update for the Call for papers for the IEEE symposium

              Visual Languages and Formal Methods (VLFM'01)

which is part of the IEEE Symposia on Human-Centric Computing Languages and 
Environments (HCC'01) at Stresa, Italy, on September 5-7, 2001.

1. Deadline for paper submission:  *** March 11, 2001 ***

2. There will be a best paper award, and Nokia will donate the new 
   Nokia 9210 Communicator (http://www.nokia.com/phones/9210/index.html) 
   as a prize.

3. In addition to the previous call for papers (http://www2.cs.fau.de/VLFM01/),
   papers and posters on applications and systems based on formal methods are
   solicited. There will be a system demonstration session at VLFM'01.

4. In order to foster a lively discussion on formal methods and allow to
   compare different approaches directly, everybody is invited to apply their
   favorite approach to specify any reasonable variant of the family of
   STATECHART languages with a main emphasis on syntax and static semantics
   and to submit their solution as a 2 page PostScript or PDF file to
   minas [at] acm [dot] org before May 20, 2001. There will be a special session at
   VLFM'01 for presenting and discussing submitted solutions. For details,
   please visit the VLFM'01 web site.
   
VLFM'01 web site: http://www2.cs.fau.de/VLFM01/


From owner-reliable_computing [at] interval [dot] usl.edu  Wed Jan 31 19:19:27 2001
Received: (from root@localhost)
	by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id TAA03044
	for reliable_computing-outgoing; Wed, 31 Jan 2001 19:19:27 -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 TAA03039
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 31 Jan 2001 19:19:14 -0600 (CST)
Received: from earth (earth [129.108.5.21])
	by cs.utep.edu (8.11.2/8.11.2) with SMTP id f111Irx24098;
	Wed, 31 Jan 2001 18:18:54 -0700 (MST)
Message-Id: <200102010118.f111Irx24098 [at] cs [dot] utep.edu>
Date: Wed, 31 Jan 2001 18:18:51 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: TONY NOLAN RECEIVES THE "ORDER OF AUSTRALIA" MEDAL for interval research
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: CGMcKzodS/xduixmq2bZvg==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] usl.edu
Precedence: bulk

TONY NOLAN RECEIVES THE "ORDER OF AUSTRALIA" MEDAL 

On January 26, 2001, Tony Nolan from the University of Technology,
Sydney, Australia, received an award from the Australian
Government "in recognition of his significant and outstanding
contribution to the community - in the areas of crime prevention and
community safety". This award - the "Order of Australia" Medal - is the 
current replacement of the Knighthood Honour system, which existed 
until 1975. 

Tony used interval computations in designing a computer-based system
for "environmental scanning" - a kind of criminal profiling for
locations, which analyzes different areas for the possibility and
types of crime in the analyzed area. Intervals are used to 
describe uncertainty of the parameters of the models used in 
environmental scanning. 

Tony has been invited by the law enforcement agencies of several 
countries around the world, including USA (which he last visited 
in 2000), to share the successful experience of using his system. 

This work is largely unpublished. Those who are interested in details
are welcome to contact Tony at t.nolan [at] uts [dot] edu.au.