From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul  8 10:22:37 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i68FMVMR002028
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Thu, 8 Jul 2004 10:22:36 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i68FMV0I002027
	for reliable_computing-outgoing; Thu, 8 Jul 2004 10:22:31 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i68FMH0k002023
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 8 Jul 2004 10:22:26 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i68FM8t15212;
	Thu, 8 Jul 2004 09:22:10 -0600 (MDT)
Message-Id: <200407081522.i68FM8t15212 [at] cs [dot] utep.edu>
Date: Thu, 8 Jul 2004 09:22:07 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: CFP: Track on Constraint Solving and Programming, part of ACM SAC 2005
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: Eric.Monfroy [at] irin [dot] univ-nantes.fr
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: P/o2Da0es5/bwO1GtL6c6g==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i68FMR0k002024
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

FYI, a track at SAC'05 that supplements our track on the relation between 
interval computations and constraint propagation techniques. 

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

From: "Eric Monfroy" <Eric.Monfroy [at] irin [dot] univ-nantes.fr>
To: <vladik [at] cs [dot] utep.edu>
Cc: "Eric Monfroy (E-mail)" <Eric.Monfroy [at] irin [dot] univ-nantes.fr>
Subject: CFP: Track on Constraint Solving and Programming, part of ACM SAC 2005
Date: Thu, 8 Jul 2004 15:45:02 +0200
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Importance: Normal
X-Virus-Scanned: by AMaViS snapshot-20010714
X-Virus-Scanned: by amavisd-new at sciences.univ-nantes.fr


Dear Pr. Kreinovich,

I know that you organize a track at SAC 2005, but I don't think
we are competing (there will be an advertisement of your
track on the next CP Newsletter)!
If you feel the CFP I attached is related to the reliable computing list,
could I ask you to post it on the list?

Sorry for bothering you,
Best regards,

	eric

Eric Monfroy
LINA
2, rue de la Houssiničre
BP 92208
44322 Nantes Cedex 3
France

Email: Eric.Monfroy [at] irin [dot] univ-nantes.fr
Tel: (+33 2)/(02) 51 12 58 53
Fax: (+33 2)/(02) 51 12 58 12




----------------------------------------------------------------------------
----------------
We apologise if you receive this message more than once.
----------------------------------------------------------------------------
----------------



CALL FOR PAPERS:

            Track on Constraint Solving and Programming

                           part of

         the 20th Annual ACM Symposium on Applied Computing

                     Santa Fe, New Mexico
                      March 13 -17, 2005

   http://www.sci.unich.it/%7Ebista/organizing/constraint-sac2005/


************************************************************************
OVERVIEW

Constraints have emerged as the basis of a representational and
computational paradigm that draws from many disciplines and can be
brought to bear on many problem domains.



************************************************************************
SCOPE

The track is concerned with all aspects of computing with constraints
including algorithms, applications, environments, languages, models,
and systems. Contributions are welcome from any discipline concerned
with constraints, including artificial intelligence, combinatorial
algorithms, computational logic, concurrent computation, databases,
discrete mathematics, operations research, programming languages, and
symbolic computation. We also solicit papers from any domain employing
constraints, including computational linguistics, configuration,
decision support, design, diagnosis, graphics, hardware verification,
molecular biology, planning, qualitative reasoning, real-time systems,
resource allocation, robotics, scheduling, software engineering,
temporal reasoning, vision, visualization, and user interfaces. Papers
that bridge disciplines or combine theory and practice or discuss
novel reasoning methods are especially welcome. A special attention is
focused around the use of constraint technologies in the networking,
wireless and internet fields.


************************************************************************
SUBMISSIONS

We would like to invite authors to submit papers on research on
constraint solving and programming, with particular emphasis on
assessing the current state of the art and identifying future
directions.

Preliminary guidelines:
Submissions should be properly anonymized to facilitate blind
reviewing: papers being submitted should not list the authors,
affiliations or addresses on the first page and authors are also
encouraged to take care throughout the entire document to minimise
references that may reveal the identity of the authors or
institution. The body of each paper should not exceed 4,000
words. Papers failing to comply with length limitations risk immediate
rejection.  At least three reviewers will be assigned to each
submission to the track. Accepted papers are published by ACM in both
printed form and CD-ROM; they are also available on the Web through
the ACM Digital Library. Once accepted, papers must fit within five
(5) two column pages (please check the author kit on the main SAC
website: the format is usually the format used in the ACM templates),
with the option (at additional expense) to add three (3) more pages.
A second set of selected papers, which did not get accepted as full
papers, will be accepted as posters and will be published as extended
2-page abstracts in the symposium proceedings.

Authors of accepted papers must be prepared to sign a copyright
statement and must pay the registration fee and guarantee that their
paper will be presented at the conference.

Paper submissions should be sent (as an attached PDF file) to:

               stefano.bistarelli [at] iit [dot] cnr.it

The body of the email should include the title of the paper, the
author(s) name(s) and affiliation(s), and the address (including
e-mail, telephone, and fax) to which correspondence should be sent.
The subject of the email should be "SAC2005 constraint track
submission" We strongly suggest to use for submission the available
camera ready templates, and adhere to the 5 page limitation.

Registration is required for paper and poster inclusion in the
Conference Proceedings, and for event attendance.



************************************************************************
IMPORTANT DATES

The proposed schedule of important dates for the track is as follows:

Paper Submission deadline August 31, 2004
Notification of acceptance October 18, 2004
Camera-ready version deadline November 2, 2004
Track Dates March 13-17, 2005


************************************************************************
ORGANISATION:


Organising Committee
--------------------

Stefano Bistarelli (Primary Contact)
 Dipartimento di Scienze
 Universitŕ degli studi "G. D'Annunzio" di Chieti-Pescara, Italy
 Email: bista [at] sci [dot] unich.it
 Web: http://www.sci.unich.it/~bista/
 and
 Istituto di Informatica e Telematica
 C.N.R. Pisa, Italy
 Email: stefano.bistarelli [at] iit [dot] cnr.it


Eric Monfroy
 LINA
 University of Nantes,France
 Email: Eric.Monfroy [at] lina [dot] univ-nantes.fr
 Web: http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/


Barry O'Sullivan
 Cork Constraint Computation Centre
 Department of Computer Science
 University College Cork, Ireland
 Email: b.osullivan [at] cs [dot] ucc.ie
 Web: http://www.cs.ucc.ie/~osullb/




Programme Committee (more to come)
----------------------------------
Stefano Bistarelli (University of Pescara, Italy --- C.N.R., Pisa, Italy)
Eric Monfroy (University of Nantes, France)
Barry O'Sullivan (University College Cork, Ireland)
Roman Bartak, Charles University, Czech Republic
Stefano Bistarelli, Universitŕ degli studi "G. D'Annunzio" di
Chieti-Pescara, Italy
Carlos Castro, UTFSM Valparaiso, Chile
Yves Colombani, DASH, UK
Hani El Sakkout, Parc technologies, UK
Filippo Focacci, ILOG, France
Markus Fromherz, Palo Alto Research Center, USA
Laurent Granvilliers, LINA, Université de Nantes, France
Narendra Jussien, LINA, EMN, France
Arnaud Lallouet, LIFO, Orléans, France
Jimmy Lee, Chinese University of Hong Kong
Michela Milano, DEIS - Universitŕ di Bologna, Italy
Eric Monfroy, LINA, Université de Nantes, France
Carlos Alberto Olarte, Pontificia Universidad Javeriana, Colombia
Barry O'Sullivan, Cork Constraint Computation Centre, Ireland
María Cristina Riff, UTFSM, Chile
Frédéric Saubion, LERIA, Université d'Angers, France
Peter Stuckey, the University of Melbourne, Australia
József Váncza, MTA SZTAKI, Hungary
Roland Yap, National University of Singapore

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




From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jul  9 10:17:47 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i69FHgvJ003836
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 9 Jul 2004 10:17:47 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i69FHfEv003835
	for reliable_computing-outgoing; Fri, 9 Jul 2004 10:17:41 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i69FHU35003831
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 9 Jul 2004 10:17:36 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i69FHSt27773;
	Fri, 9 Jul 2004 09:17:28 -0600 (MDT)
Message-Id: <200407091517.i69FHSt27773 [at] cs [dot] utep.edu>
Date: Fri, 9 Jul 2004 09:17:27 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: congratulations to Dr. Markot
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: Mihaly.Csaba.Markot [at] esa [dot] int
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: WDFxGCVO42ktq5+yufE2Sw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, 

I have just learned that on June 25, Mihaly Markot was awarded a Ph.D. degree 
(cumma sum laude) in Mathematis and Computer Science. 

The title of his dissertation is: Reliable Global Optimization Methods for 
Constrained Problems and Their Application for Solving Circle Packing Problems 
(alas, the dissertation itself is in Hungarian). 

Congratulations to Dr. Markot!

Vladik


From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jul 11 13:42:13 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6BIg7Ux007327
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sun, 11 Jul 2004 13:42:13 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6BIg6Q8007326
	for reliable_computing-outgoing; Sun, 11 Jul 2004 13:42:06 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6BIfsrE007322
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 11 Jul 2004 13:42:00 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i6BIfcx04656
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 11 Jul 2004 12:41:38 -0600 (MDT)
Message-Id: <200407111841.i6BIfcx04656 [at] cs [dot] utep.edu>
Date: Sun, 11 Jul 2004 12:41:38 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: First Call: International Conference on Polynomial System Solving
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: 6hhe3aVIdr4Z32MbjKiz7A==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i6BIg1rE007323
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk


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

X-pt: isis.lip6.fr
Date: Fri, 9 Jul 2004 19:32:18 +0200
From: Jean-Charles FAUGERE <Jean-Charles.Faugere [at] lip6 [dot] fr>




      First Call for Participation
      International Conference on Polynomial System Solving
      November 24-25-26, 2004
      Université Pierre et Marie Curie Paris, France
      in honor of Daniel Lazard


Daniel Lazard, Professor of Computer Science at Université Pierre et Marie 
Curie, will retire at the end of the year 2004. This conference will be held in 
honor of his many major contributions to computer algebra, polynomial system 
solving, and applications. The program will consist of invited talks and 
contributed presentations.


Scope
Since the meeting is held in honor of Lazard's achievements, we solicit 
research 
papers on topics related to Lazard's works and interests, for instance: 
Algebraic resolution of polynomial systems
Gröbner bases, triangular sets, algebraic representation of solutions, 
specifications of polynomial system solvers, practical and theoretical 
improvements, efficient implementations, complexity, effective differential 
algebra, ... 
Quantifier elimination and real solutions of polynomial systems

Algorithms for studying real solutions of polynomial systems in many senses 
(number, topological invariants, ...), improvements of cylindrical algebraic 
decomposition (CAD). 
Effective Galois theory
Techniques improving the resolution of polynomial systems using symmetries, 
computations in the field of effective Galois theory, ... 
Applications
Resolution of polynomial systems arising in applications using symbolic/numeric 
techniques: robotics, signal theory, cryptography, statistics, ...


Publication
Accepted contributed papers (extended abstracts) will be published in the 
proceedings that will be available at the meeting. After the meeting the 
extended versions of the contributed papers will be published in a special 
issue 
of the Journal of Symbolic Computation after a standard journal refereeing 
procedure.


Invited Speakers
(to be completed) 
      B. Buchberger(Research Institute for Symbolic Computation, Austria)
      J. Calmet(Universität Karlsruhe, Germany)
      J. Davenport(Bath University, UK)
      M.F. Roy(Université de Rennes 1, France)
      C. Traverso(Universitŕ di Pisa, Italy)


Program Committee

      A. Valibouze, Chair(Université Pierre et Marie Curie, France)
      D. Augot(INRIA Rocquencourt, France)
      C. Brown(United States Naval Academy, USA)
      X.-S. Gao(Academy of Mathematics and System Sciences, China)
      H. Hong(North Carolina State University, USA)
      E. Hubert(INRIA Sophia-Antipolis, France)
      I. Kotsireas(Wilfrid Laurier University, Canada)
      B. Mourrain(INRIA Sophia-Antipolis, France)
      E. Schost(Ecole Polytechnique, France)
      A. Steel(University of Sydney, Australia)
      B. Sturmfels(University of California at Berkeley, USA)
      K. Yokoyama(Fujitsu Laboratories, Japan)


Local Organizers
The conference is organized by the Computer Algebra Team (CALFOR) of LIP6 
(Université Pierre et Marie Curie) and the SALSA INRIA project.


Sponsors

      INRIA Rocquencourt, France
      LIP6, Université Paris et Marie Curie, France
      Wilfrid Laurier University, Canada
      RAAG (Real Algebraic and Analytic Geometry) European Network
      SMF (Société Mathématique de France)


Important Dates and Instructions for authors
Each contributor must submit a title and a brief abstract not exceeding 3 pages 
formatted by using LaTeX (with the templates available at 
http://www-calfor.lip6.fr/ICPSS). The contribution should be sent to 
icpss [at] calfor [dot] lip6.fr. 

      Deadline for submissions:September 15, 2004



Other Information

The conference will be held at Université Paris et Marie Curie from November 24 
to 26, 2004. More information is available at:

http://www-calfor.lip6.fr/ICPSS 




  This document was translated from LATEX by HEVEA. 

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




From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jul 11 22:18:41 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6C3IZIH007810
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sun, 11 Jul 2004 22:18:41 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6C3IYLr007809
	for reliable_computing-outgoing; Sun, 11 Jul 2004 22:18:34 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6C3IMYi007805
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 11 Jul 2004 22:18:28 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i6C3IGA08036;
	Sun, 11 Jul 2004 21:18:16 -0600 (MDT)
Message-Id: <200407120318.i6C3IGA08036 [at] cs [dot] utep.edu>
Date: Sun, 11 Jul 2004 21:18:16 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: NAFIPS'05
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: dfilev [at] ford [dot] com
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: zQxv2v/5r90u52R6uB/TrQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, 

As you can see from the attached CFP, next year's North American fuzzy 
conference will be specifically oriented towards real world applications. 

Because of the close relations between fuzzy and intervals, it is desirable to 
have a strong interval presence at this conference. 

Please mark your calendars. 

The deadline for submitting proposals for special sessions is January 30, but 
let us start preparing ASAP. 

If you are interested in organizing and/or participating in an interval-related 
session, please let me know. 

Thanks a lot.

Vladik

*********************************************************
NAFIPS-05
Annual Conference of the 
North American Fuzzy Information Processing Society

Soft Computing for Real World Applications 
Ann Arbor, Michigan
June 22-25, 2005

 Honorary Chair:         Lotfi A. Zadeh
 General Chair:          Dimitar Filev 
 Organizing Committee 
   Chair:                Harpreet Singh 
 Program Chair:          Hao Ying 
 Tutorials Chair:        George Vachtsevanos
 Invited Session 
   Chair:                Thomas Sudkamp 
 Finance Chair:          Joseph Barone 
 Publication Chair:      Janos Grantner
 Registration Chair:     Devinder Kaur
 Publicity Chair:        Thomas Meitzler 
 Webmaster:              Nabil J. Sarhan 

VENUE
You are cordially invited to participate in NAFIPS'04 Annual
Conference, to be held in Detroit Metro area, the heart of US
automotive industry. The conference will take place in Four Points by
Sheraton, Ann Arbor, Michigan.

FORMAT AND SCHEDULE
The conference will include three days of presentations (Thursday
  through Saturday) 
Registration and Welcome Reception - Wednesday Night
A special track on soft computing applications will be part of the
  conference program 
A half-day visit to an automotive plant in Detroit area will be
included in the conference program. The conference banquet will be
held in the world famous Henry Ford Museum.

AIMS AND SCOPE
The goal of NAFIPS'05 meeting is to bring together researchers,
engineers and practitioners to present the latest achievements and
innovations in the area of soft computing, fuzzy theory and
applications, to discuss thought-provoking developments and
challenges, to consider potential future directions.

TOPICS: 
* Fuzzy sets methodology/Algorithms/Mathematics,
  Neurofuzzy systems/Evolutionary optimization/Hybrid architectures
* Computational Intelligence/Learning adaptive systems/
  Uncertainty management
* Fuzzy modeling/Intelligent data analysis 
  Control/Robotics/Computer vision
* Pattern Recognition/Image processing      
  Bioinformatics/Software Engineering/Intelligent Agents
* Data Mining/Databases/Human-centric interfaces/Visualization 
  Applications/Computational experiments/Case studies
* Applications of Soft Computing Technologies 

SPECIAL TOPIC SESSIONS & TUTORIALS
Proposals for special sessions and tutorials focusing on fundamental
theories and innovative applications of fuzzy sets and soft computing 
are welcome. Submission of proposals to General Chair should include a
short description of the session, its relevance to NAFIPS-05, and a
list of potential contributors. Special sessions will be open to all
participants.

BEST STUDENT PAPER CONTEST
To identify and recognize accomplishments of students, the best student
papers will be recognized with a special award. To qualify, a student or a
group of students must be the primary author(s) of the paper. The paper will
be judged based on both manuscript content and presentation. Awards will be
presented at the banquet.

IMPORTANT DATES
Special Topic Session proposals due: January 30, 2005
Paper Abstracts due:                 February 5, 2005
Notification of Acceptance:          March 1, 2005
Final Papers and Early Registration: April 3, 2005

For further details please contact Dimitar Filev (Phone: 313-594-1775, 
Fax: 313-594-1898, dfilev [at] ford [dot] com)


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 12 12:26:52 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6CHQkiF009085
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 12 Jul 2004 12:26:51 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6CHQjVk009084
	for reliable_computing-outgoing; Mon, 12 Jul 2004 12:26:45 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6CHQYWb009080
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 12 Jul 2004 12:26:40 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i6CHQTv14666
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 12 Jul 2004 11:26:29 -0600 (MDT)
Message-Id: <200407121726.i6CHQTv14666 [at] cs [dot] utep.edu>
Date: Mon, 12 Jul 2004 11:26:29 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Publications
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: vrNFZmXJ1vPSHILOrAaVqA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk


From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>

Interval researchers,

Anyone who wishes to know if Moore published anything other than his 1966 book 
Interval Analysis, see:

http://www.cs.utep.edu/interval-comp/moore.html

R.E.M.




From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 12 18:38:14 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6CNc8JC009469
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 12 Jul 2004 18:38:13 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6CNc7E7009468
	for reliable_computing-outgoing; Mon, 12 Jul 2004 18:38:07 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6CNbuwO009464
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 12 Jul 2004 18:38:02 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i6CNbna18722;
	Mon, 12 Jul 2004 17:37:49 -0600 (MDT)
Message-Id: <200407122337.i6CNbna18722 [at] cs [dot] utep.edu>
Date: Mon, 12 Jul 2004 17:37:47 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: NAFIPS'05
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: wlodwick [at] math [dot] cudenver.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: TAtIWIgyOXoQZcXYfuH7IA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, Many thanks to all who replied. 

Weldon Lodwick and I decided to co-host a special session on intervals and 
fuzzy. 

Dimitar Filev, the main organizer of NAFIPS'05, said that if there is enough 
interest and sufficiently many participants, we can go beyond a special session 
into a separate symposium. 

Please infom Weldon and myself if you plan to participate. 

Thanks again.

Vladik

**************************************************************************
From: "Filev, Dimitar \(D.P.\)" <dfilev [at] ford [dot] com>

Thanks for advertising NAFIPS'05.  If you are interested to go beyond an 
invited session, e.g. a parallel Symposium on Interval Math this is fine.  
Dimitar




From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 12 18:47:26 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6CNlLYi009575
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 12 Jul 2004 18:47:26 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6CNlKfF009574
	for reliable_computing-outgoing; Mon, 12 Jul 2004 18:47:20 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6CNlAIn009570
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 12 Jul 2004 18:47:15 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i6CNl5E18854
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 12 Jul 2004 17:47:05 -0600 (MDT)
Message-Id: <200407122347.i6CNl5E18854 [at] cs [dot] utep.edu>
Date: Mon, 12 Jul 2004 17:47:04 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: interval-related session at fuzzy congress in China
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: bwLaEsf78Ip5Erzkl0oKpw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk


Dear Friends,

I have just learned that our own Weldon Lodwick has been invited to head a 
fuzzy optimization group within the International Fuzzy Systems Association 
IFSA. 

He is organizing a special session for the forthcoming IFSA congress IFSA'05 
which will be in Beijing July 28-31, 2005 (see 
http://ifsa2005.em.tsinghua.edu.cn/ for more details). Because many fuzzy 
optimization techniques are interval-related, this session may be of interest 
to many researchers from our interval community. 

If you are interested, please contact Weldon for more details, his email is 
wlodwick [at] math [dot] cudenver.edu

Vladik


From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jul 14 05:48:10 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6EAm5gG012368
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 14 Jul 2004 05:48:10 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6EAm4v3012367
	for reliable_computing-outgoing; Wed, 14 Jul 2004 05:48:04 -0500 (CDT)
Received: from kendy.up.ac.za (kendy.up.ac.za [137.215.101.101])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6EAln2V012363
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 14 Jul 2004 05:47:56 -0500 (CDT)
Received: from mx1.up.ac.za ([137.215.6.15])
	by kendy.up.ac.za with esmtp (Exim 4.24)
	id 1BkhIR-0004ur-2H
	for reliable_computing [at] interval [dot] louisiana.edu; Wed, 14 Jul 2004 12:47:31 +0200
Received: from b061pc079.up.ac.za ([137.215.61.79] helo=anguelov1)
	by mx1.up.ac.za with smtp (Exim 4.24)
	id 1BkhIQ-0000Ng-Fn
	for reliable_computing [at] interval [dot] louisiana.edu; Wed, 14 Jul 2004 12:47:30 +0200
From: "Roumen Anguelov" <anguelov [at] scientia [dot] up.ac.za>
To: "reliable computing" <reliable_computing [at] interval [dot] louisiana.edu>
Subject: interval analysis and PDEs
Date: Wed, 14 Jul 2004 12:47:33 +0200
Message-ID: <HCEPKAMPCGKABJOLGMKKIEBGCBAA.anguelov [at] scientia [dot] up.ac.za>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0)
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409
Importance: Normal
X-Scan-Signature: 320e10bbe6d5e0ec7b00f985ba1e4b61
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Colleagues

Recently I have worked on an application of the Hausdorff continuous
interval functions to the exact solution of nonlinear PDEs. This less than
usual application of interval analysis appears to give a significant
improvement on the regularity of the solutions.

I would appreciate to learn about people on this mailing list who may be
interested in this sort of extension of the present work in interval
analysis.

Roumen Anguelov
University of Pretoria
anguelov [at] scientia [dot] up.ac.za


From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jul 14 06:06:52 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6EB6l7f012484
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 14 Jul 2004 06:06:52 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6EB6lkm012483
	for reliable_computing-outgoing; Wed, 14 Jul 2004 06:06:47 -0500 (CDT)
Received: from ms-smtp-03-eri0.ohiordc.rr.com (ms-smtp-03-smtplb.ohiordc.rr.com [65.24.5.137])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6EB6aTN012479
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 14 Jul 2004 06:06:42 -0500 (CDT)
Received: from Moore (wor226164.columbus.rr.com [204.210.226.164])
	by ms-smtp-03-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id i6EB6SVe024156;
	Wed, 14 Jul 2004 07:06:31 -0400 (EDT)
Message-ID: <000601c46992$a5ea6480$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: "Roumen Anguelov" <anguelov [at] scientia [dot] up.ac.za>,
        "reliable computing" <reliable_computing [at] interval [dot] louisiana.edu>
References: <HCEPKAMPCGKABJOLGMKKIEBGCBAA.anguelov [at] scientia [dot] up.ac.za>
Subject: Re: interval analysis and PDEs
Date: Wed, 14 Jul 2004 07:06:41 -0400
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1409
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1409
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Roumen Anguelov,

I am interested, as I am sure many others will be.
Could you please give us a link to some work of yours in that area?

Ramon Moore

----- Original Message ----- 
From: "Roumen Anguelov" <anguelov [at] scientia [dot] up.ac.za>
To: "reliable computing" <reliable_computing [at] interval [dot] louisiana.edu>
Sent: Wednesday, July 14, 2004 6:47 AM
Subject: interval analysis and PDEs


> Dear Colleagues
>
> Recently I have worked on an application of the Hausdorff continuous
> interval functions to the exact solution of nonlinear PDEs. This less than
> usual application of interval analysis appears to give a significant
> improvement on the regularity of the solutions.
>
> I would appreciate to learn about people on this mailing list who may be
> interested in this sort of extension of the present work in interval
> analysis.
>
> Roumen Anguelov
> University of Pretoria
> anguelov [at] scientia [dot] up.ac.za
>
>



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jul 14 07:14:07 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6ECE1ba012641
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 14 Jul 2004 07:14:06 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6ECE0TU012640
	for reliable_computing-outgoing; Wed, 14 Jul 2004 07:14:00 -0500 (CDT)
Received: from kendy.up.ac.za (kendy.up.ac.za [137.215.101.101])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6ECDmCn012636
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 14 Jul 2004 07:13:54 -0500 (CDT)
Received: from postino.up.ac.za ([137.215.6.15] helo=mx1.up.ac.za)
	by kendy.up.ac.za with esmtp (Exim 4.24)
	id 1Bkidu-0005Iz-U9
	for reliable_computing [at] interval [dot] louisiana.edu; Wed, 14 Jul 2004 14:13:46 +0200
Received: from b061pc079.up.ac.za ([137.215.61.79] helo=anguelov1)
	by mx1.up.ac.za with smtp (Exim 4.24)
	id 1Bkidu-0005ZZ-FI
	for reliable_computing [at] interval [dot] louisiana.edu; Wed, 14 Jul 2004 14:13:46 +0200
From: "Roumen Anguelov" <anguelov [at] scientia [dot] up.ac.za>
To: "reliable computing" <reliable_computing [at] interval [dot] louisiana.edu>
Subject: RE: interval analysis and PDEs
Date: Wed, 14 Jul 2004 14:13:49 +0200
Message-ID: <HCEPKAMPCGKABJOLGMKKMEBHCBAA.anguelov [at] scientia [dot] up.ac.za>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0)
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409
Importance: Normal
In-Reply-To: <000601c46992$a5ea6480$1702a8c0@Moore>
X-Scan-Signature: 52de2786fb67da2683c901fe489f1f08
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Prof Moore

Thank you indeed for your prompt and kind reply. My respective joint paper
Hausdorff Continuous Solutions of Nonlinear PDEs through the Order
Completion Method can be found as a pdf file at

www.arXiv.org

under

math.AP/0406517

The direct link is

http://www.arxiv.org/PS_cache/math/pdf/0406/0406517.pdf

Roumen Anguelov



-----Original Message-----
From: owner-reliable_computing [at] interval [dot] louisiana.edu
[mailto:owner-reliable_computing [at] interval [dot] louisiana.edu]On Behalf Of Ray
Moore
Sent: 14 July 2004 01:07
To: Roumen Anguelov; reliable computing
Subject: Re: interval analysis and PDEs


Dear Roumen Anguelov,

I am interested, as I am sure many others will be.
Could you please give us a link to some work of yours in that area?

Ramon Moore

----- Original Message -----
From: "Roumen Anguelov" <anguelov [at] scientia [dot] up.ac.za>
To: "reliable computing" <reliable_computing [at] interval [dot] louisiana.edu>
Sent: Wednesday, July 14, 2004 6:47 AM
Subject: interval analysis and PDEs


> Dear Colleagues
>
> Recently I have worked on an application of the Hausdorff continuous
> interval functions to the exact solution of nonlinear PDEs. This less than
> usual application of interval analysis appears to give a significant
> improvement on the regularity of the solutions.
>
> I would appreciate to learn about people on this mailing list who may be
> interested in this sort of extension of the present work in interval
> analysis.
>
> Roumen Anguelov
> University of Pretoria
> anguelov [at] scientia [dot] up.ac.za
>
>



From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jul 17 11:37:56 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6HGboMs013867
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sat, 17 Jul 2004 11:37:55 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6HGbn5i013866
	for reliable_computing-outgoing; Sat, 17 Jul 2004 11:37:49 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6HGbbik013862
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 17 Jul 2004 11:37:44 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i6HGbVQ19287;
	Sat, 17 Jul 2004 10:37:31 -0600 (MDT)
Message-Id: <200407171637.i6HGbVQ19287 [at] cs [dot] utep.edu>
Date: Sat, 17 Jul 2004 10:37:31 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Christian Ullrich
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: slnest [at] comset [dot] net
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: XqVlzP0fJFWUXYcMldWSbw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, 

If anyone knows how to reach Christian Ullrich please let us know. 

His old email ullrich [at] urz [dot] unibas.ch does not seem to work, and Slava Nesterov's 
attempts to fin d him via the University of Basel website did not succeed 
either. 

Thanks a lot. 

Vladik


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 19 13:43:30 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6JIhOrs017300
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 19 Jul 2004 13:43:29 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6JIhNa0017299
	for reliable_computing-outgoing; Mon, 19 Jul 2004 13:43:23 -0500 (CDT)
Received: from mailhub-3.iastate.edu (mailhub-3.iastate.edu [129.186.140.13])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6JIhBo3017295
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 19 Jul 2004 13:43:17 -0500 (CDT)
Received: from mailout-1.iastate.edu (mailout-1.iastate.edu [129.186.140.1])
	by mailhub-3.iastate.edu (8.12.10/8.12.10) with SMTP id i6JIh3Mt020778
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 19 Jul 2004 13:43:03 -0500
Received: from meryl.eng.iastate.edu(129.186.23.54) by mailout-1.iastate.edu via csmap 
	 id 83793562_d9b2_11d8_88d4_00304811d932_27399;
	Mon, 19 Jul 2004 18:36:14 +0000 (UTC)
Received: from dq.engr.iastate.edu ([129.186.5.76]) by meryl.engr.iastate.edu with Microsoft SMTPSVC(5.0.2195.6713);
	 Mon, 19 Jul 2004 13:43:03 -0500
X-MimeOLE: Produced By Microsoft Exchange V6.0.6249.0
content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----_=_NextPart_001_01C46DC0.393C7E44"
Subject: Interval methods for probability
Date: Mon, 19 Jul 2004 13:43:03 -0500
Message-ID: <D8F193CE6B861649985140733ECDCC65B3AEFA [at] dq [dot] ece.iastate.edu>
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Interval methods for probability
Thread-Index: AcRtwDjtgR/8AvHdSu2LjLa4kJeiaA==
From: "Berleant, Dan" <berleant [at] iastate [dot] edu>
To: <reliable_computing [at] interval [dot] louisiana.edu>
Cc: <berleant [at] iastate [dot] edu>
X-OriginalArrivalTime: 19 Jul 2004 18:43:03.0491 (UTC) FILETIME=[3940C130:01C46DC0]
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

This is a multi-part message in MIME format.

------_=_NextPart_001_01C46DC0.393C7E44
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

Dear Intervalers,

=20

I am seeking books on interval methods for probabilistic computations to
list on the intervals and probability Web page
(http://class.ee.iastate.edu/berleant/home/ServeInfo/Interval/intprob.ht
ml). I have currently listed three:

=20

5. References



Books (defined as coherent, non-thesis/dissertation, book-length works)

*	Ferson, S., J. Hajagos, D. Berleant, J. Zhang, W. T. Tucker, L.
Ginzburg, and W. Oberkampf, Dependence in Dempster-Shafer Theory and
Probability Bounds Analysis
<http://class.ee.iastate.edu/berleant/home/me/cv/papers/Sandia04.pdf> ,
Technical Report SAND2004-XXXX, Sandia National Laboratory, forthcoming.
Free.
*	Helton, J.C. and W.L. Oberkampf, eds., Special Volume on
Alternative Representations of Epistemic Uncertainty
<http://www.sciencedirect.com/science/journal/09518320> , Reliability
Engineering and System Safety, 85 (1-3) (July-Sept. 2004), pp. 1-369.
Collection of papers focusing on the same challenge problems concerning
system response under uncertainty.=20
*	Kuznetsov, Vladimir, Interval-Valued Statistical Models (in
Russian). Please send any info about availability to
berleant [at] iastate [dot] edu <mailto:berleant [at] iastate [dot] edu> .

Although unfortunately none of these are published by mainstream
publishers or are for sale on, say, Amazon.com, I believe they are all
good and useful works.
=20
Please let me know of any others.=20
=20
I'd also be glad to entertain discussion of whether books by Dempster
and Shafer might belong here :).
=20
Thank you,
=20
Dan Berleant
=20



------_=_NextPart_001_01C46DC0.393C7E44
Content-Type: text/html;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE></TITLE>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dus-ascii">
<META content=3D"MSHTML 6.00.2800.1400" name=3DGENERATOR></HEAD>
<BODY><!-- Converted from text/plain format -->
<P style=3D"MARGIN: 0in 0in 0pt"><FONT face=3DArial>Dear =
Intervalers,</FONT></P>
<P style=3D"MARGIN: 0in 0in 0pt"><FONT face=3DArial></FONT>&nbsp;</P>
<P style=3D"MARGIN: 0in 0in 0pt"><FONT face=3DArial>I am seeking books =
on interval=20
methods for probabilistic computations to list on the intervals and =
probability=20
Web page (<A=20
href=3D"http://class.ee.iastate.edu/berleant/home/ServeInfo/Interval/intp=
rob.html">http://class.ee.iastate.edu/berleant/home/ServeInfo/Interval/in=
tprob.html</A>).=20
I have currently listed three:</FONT></P>
<P style=3D"MARGIN: 0in 0in 0pt"><FONT =
face=3DArial></FONT>&nbsp;</P><SPAN=20
style=3D"FONT-SIZE: 13.5pt">
<P style=3D"MARGIN: 0in 0in 0pt"><SPAN style=3D"FONT-SIZE: =
13.5pt"><STRONG>5.=20
References<BR style=3D"mso-special-character: line-break"><BR=20
style=3D"mso-special-character: line-break"><?xml:namespace prefix =3D o =
ns =3D=20
"urn:schemas-microsoft-com:office:office" =
/><o:p></o:p></STRONG></SPAN></P>
<P style=3D"MARGIN: 0in 0in 0pt"><SPAN><STRONG>Books </STRONG><FONT=20
size=3D3>(defined as coherent, non-thesis/dissertation, book-length=20
works)<o:p></o:p></FONT></SPAN></P>
<UL type=3Ddisc>
  <LI class=3DMsoNormal=20
  style=3D"MARGIN: 0in 0in 0pt; mso-margin-top-alt: auto; =
mso-margin-bottom-alt: auto; tab-stops: list .5in; mso-list: l0 level1 =
lfo1"><SPAN=20
  style=3D"FONT-SIZE: 11pt; mso-bidi-font-weight: bold">Ferson, S., J. =
Hajagos, D.=20
  Berleant, J. Zhang, W. T. Tucker, L. Ginzburg, and W. Oberkampf, <A=20
  =
href=3D"http://class.ee.iastate.edu/berleant/home/me/cv/papers/Sandia04.p=
df">Dependence=20
  in Dempster-Shafer Theory and Probability Bounds Analysis</A>, =
Technical=20
  Report SAND2004-XXXX, Sandia National Laboratory, forthcoming.=20
  Free.</SPAN></LI>
  <LI class=3DMsoNormal=20
  style=3D"MARGIN: 0in 0in 0pt; mso-margin-top-alt: auto; =
mso-margin-bottom-alt: auto; tab-stops: list .5in; mso-list: l0 level1 =
lfo1"><FONT=20
  size=3D3>Helton, J.C. and W.L. Oberkampf, eds.,<SPAN=20
  style=3D"FONT-FAMILY: Verdana"> </SPAN></FONT><A=20
  href=3D"http://www.sciencedirect.com/science/journal/09518320"><SPAN=20
  style=3D"FONT-SIZE: 11pt">Special Volume on Alternative =
Representations of=20
  Epistemic Uncertainty</SPAN></A><FONT size=3D3>,<SPAN=20
  style=3D"FONT-FAMILY: Verdana"> </SPAN><I>Reliability Engineering and =
System=20
  Safety</I><SPAN style=3D"mso-bidi-font-style: italic">,</SPAN>=20
  <STRONG>85</STRONG> (1-3) (July-Sept. 2004), pp. 1-369. Collection of =
papers=20
  focusing on the same challenge problems concerning system response =
under=20
  uncertainty. </FONT></LI>
  <LI class=3DMsoNormal=20
  style=3D"MARGIN: 0in 0in 0pt; mso-margin-top-alt: auto; =
mso-margin-bottom-alt: auto; tab-stops: list .5in; mso-list: l0 level1 =
lfo1"><FONT=20
  size=3D3>Kuznetsov, Vladimir, <I=20
  style=3D"mso-bidi-font-style: normal">Interval-Valued Statistical =
Models</I> (in=20
  Russian). Please send any info about availability to </FONT><A=20
  href=3D"mailto:berleant [at] iastate [dot] edu"><FONT=20
  size=3D3>berleant [at] iastate [dot] edu</FONT></A><FONT =
size=3D3>.</FONT></LI></UL>
<DIV class=3DMsoNormal=20
style=3D"MARGIN: 0in 0in 0pt; mso-margin-top-alt: auto; =
mso-margin-bottom-alt: auto; tab-stops: list .5in; mso-list: l0 level1 =
lfo1"><FONT=20
size=3D3>Although unfortunately none of these are published by =
mainstream=20
publishers or are for sale on, say, Amazon.com, I believe they are all =
good and=20
useful works.</FONT></DIV></SPAN>
<DIV class=3DMsoNormal=20
style=3D"mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; =
tab-stops: list .5in; mso-list: l0 level1 lfo1">&nbsp;</DIV>
<DIV class=3DMsoNormal=20
style=3D"mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; =
tab-stops: list .5in; mso-list: l0 level1 lfo1"><FONT=20
face=3DArial>Please let me know of any others. </FONT></DIV>
<DIV class=3DMsoNormal=20
style=3D"mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; =
tab-stops: list .5in; mso-list: l0 level1 lfo1"><FONT=20
face=3DArial></FONT>&nbsp;</DIV>
<DIV class=3DMsoNormal=20
style=3D"mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; =
tab-stops: list .5in; mso-list: l0 level1 lfo1"><FONT=20
face=3DArial>I'd also&nbsp;be glad to entertain discussion of whether =
books by=20
Dempster and Shafer might belong here :).</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial>Thank you,</FONT></DIV>
<DIV><FONT face=3DArial></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial>Dan Berleant</FONT></DIV>
<DIV><FONT face=3DArial></FONT>&nbsp;</DIV>
<DIV><BR><BR></DIV></BODY></HTML>

------_=_NextPart_001_01C46DC0.393C7E44--

From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jul 24 13:07:12 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6OI76mE025234
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sat, 24 Jul 2004 13:07:12 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6OI75eH025233
	for reliable_computing-outgoing; Sat, 24 Jul 2004 13:07:05 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6OI6oJX025229
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 24 Jul 2004 13:06:57 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id i6OI6dR06935;
	Sat, 24 Jul 2004 12:06:39 -0600 (MDT)
Message-Id: <200407241806.i6OI6dR06935 [at] cs [dot] utep.edu>
Date: Sat, 24 Jul 2004 12:06:39 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Reliable Computations and their Applications at SAC'05
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: mceberio [at] cs [dot] utep.edu, rueher [at] essi [dot] fr, rogerw [at] utulsa [dot] edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: o2vsM8ll28RuIryYbQiZCA==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, 

The organizers have clarified how to submit the papers. Please find the 
detailed instructions below. 

See you all in the majestic Santa Fe, the histori and cultiral capital of the 
US Southwest! 

Martine Vladik Michel

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

CALL FOR PAPERS - RCA'2005
Reliable Computations and their Applications
(with an emphasis on combining interval and 
constraint satisfaction techniques)
http://www.cs.utep.edu/interval-comp/sac05.html

a Technical Track at 
the 20th ACM Symposium on Applied Computing SAC'2005
March 13 - 17, 2005, Santa Fe, New Mexico, USA
http://www.acm.org/conferences/sac/sac2005/

TRACK CO-CHAIRS:
Martine Ceberio 
University of Texas at El Paso
El Paso, TX, USA 
mceberio [at] cs [dot] utep.edu

Vladik Kreinovich
University of Texas at El Paso
El Paso, TX, USA 
vladik [at] cs [dot] utep.edu

Michel Rueher  
Universite de Nice ESSI 
Sophia Antipolis, France 
rueher [at] essi [dot] fr

SAC'2005
For the past nineteen years, the ACM Symposium on Applied 
Computing has been a primary gathering forum for applied 
computer scientists, computer engineers, software engineers, 
and application developers from around the world. 
SAC 2005 is sponsored by the ACM Special Interest 
Group on Applied Computing, and is hosted by New Mexico 
Institute of Mining and Technology, Socorro, NM, USA.

RCA TRACK: MOTIVATIONS 
Many numerical computations, be it solutions to systems of
differential equations or optimization problems coming from applied
areas like protein folding, do not provide us with guaranteed
computation results. In many situations, we have numerical solutions,
we may even have a theorem guaranteeing that eventually, this numerical
solution tends to the actual precise one, but the algorithm itself
does not provide us with guaranteed bounds on the difference between the
numerical approximate solution and the desired actual one. 

Therefore, in some practical situations, numerical solutions 
are much farther from the actual (unknown) precise
solutions than the users assume. As a result, we often end up with
inefficient local maxima for practical optimization problems like
chemical engineering - or even with a mission failure if we are
planning, e.g., a spaceship trajectory. 

For some such algorithms, researchers have found guaranteed bounds, but
producing a guaranteed bound for each algorithm requires a lot of work. 

It is therefore desirable to develop a methodology that would provide
algorithms with automatic result verification, i.e., with
automatically generated upper bound on the difference between the
actual and the numerical solution. In other words, we need computation 
techniques that produce reliable (guaranteed) results. 

This problem was recognized already in the late 1950s when Lockheed 
wanted to develop algorithmic techniques guaranteeing
trajectories of spaceflights. These techniques, largely developed 
by Ramon E. Moore, were later applied to other 
practical problems where deviations from the target are of critical
importance. The main idea behind these techniques is that 
at any intermediate step of the computations, instead of the exact
number, we keep an interval of possible values. For inputs (that
usually come from measurements), we have an interval because
measurements are never 100% accurate; if the manufacturer of the
measuring instrument guarantees that the measurement error is D or
smaller, then the measuring result X means that the actual value is in
the interval [X-D,X+D]. At each elementary computational step, we
apply interval arithmetic to the corresponding intervals and produce
the interval for the result; e.g., [a,b]+[c,d] leads to [a+c,b+d]. 

Of course, this "straightforward interval computation", that does not
take dependence between intermediate results into consideration, does
not always lead to efficient estimates; however, in the last 40+
years, efficient interval computations methods have been developed
based on this original idea. There are a lot of interesting
applications of interval computations, there is a lot of potential,
but there are still numerous open problems, situations where new
techniques are needed. 

One such technique that has also been used to provide guaranteed
bounds is the technique of constraint propagation. This technique
originated in logical AI problems, and it has been lately successfully
applied to numerical problems, often in conjunction with interval
methods. For example, one of the latest textbooks on interval
computations, by Jaulin et al., contains robot-related practical
examples of combining these two techniques. This combination has
started, it is the object of interest by many researchers, it has
already led to interesting and efficient packages like Numerica, but
there is still a lot of room for potential improvement. 

We hope that our track, with an emphasis on such a combination, 
will bring together not only algorithm developers but also 
practitioners whose practical needs will help guide researchers 
in the proper directions. 

PAPERS
Authors are invited to submit original papers in all areas 
related to the track's topic. Possible submissions fall into 
the following categories:

* Original and unpublished research work
* Report of innovative computing applications in the arts, 
  sciences, engineering, and business areas 
* Report of successful technology transfer to new problem domains
* Report of industrial experience and demos of new innovative systems

Peer groups with expertise in the track focus area will blindly 
review submissions to that track. Accepted papers will be 
published in the annual conference proceedings. 

Papers should be submitted with no more that 4000 words. Accepted
papers must fit within five (5) two column pages, with the option (at
additional expense) to add three (3) more pages.

For submission, please use guidelines posted under Downloads at the ]
SAC'2004 website http://www.acm.org/conferences/sac/sac2004/
(There may be minor changes for submitting the 
final versions of accepted papers). 

Paper submissions should be sent to Track co-Chairs. 

IMPORTANT DUE DATES

Sept. 3, 2004:	Paper submissions
Oct. 15, 2004:	Author notification
Nov.  5, 2004:	Camera-Ready Copy

CONFERENCE VENUE
Nestled at 7000 feet (2 km) in the foothills of Rocky Mountains, 
Santa Fe, New Mexico, the "City Different", is the oldest capital city
in the United States, the city that has a long history and rich
cultural heritage. Originally a townlet populated by Pueblo Indians, 
it became a capital of Nueva Espana (New Spain) in 1607, then a 
capital of the Mexican state of Nuevo Mexico (New Mexico); 
since 1840s, it is part of the USA. 

Santa Fe is famous for its culture, art, and traditions. It is home to 
US's third largest art market, to the Santa Fe Opera, variety of
cuisines, hundreds of quaint shops, and unlimited outdoor
activities. For more information about Santa Fe see
the city website http://www.santafe.org




From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jul 30 07:49:10 2004
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6UCn50g004983
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 30 Jul 2004 07:49:10 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6UCn5kE004982
	for reliable_computing-outgoing; Fri, 30 Jul 2004 07:49:05 -0500 (CDT)
Received: from interval.louisiana.edu (rbk5287@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6UCms4j004978
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 30 Jul 2004 07:49:00 -0500 (CDT)
Received: (from rbk5287@localhost)
	by interval.louisiana.edu (8.13.0/8.13.0/Submit) id i6UCmqk3004977
	for reliable_computing [at] interval [dot] louisiana.edu; Fri, 30 Jul 2004 07:48:52 -0500 (CDT)
Received: from esacom57-int.estec.esa.int (esacom57-ext.estec.esa.int [131.176.107.4])
	by interval.louisiana.edu (8.13.0/8.13.0/ull-interval-math-majordomo-1.5) with ESMTP id i6U9scll004686
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 30 Jul 2004 04:54:44 -0500 (CDT)
Received: from esacom52.estec.esa.int (esacom52.estec.esa.int [131.176.7.7])
	by esacom57-int.estec.esa.int (8.12.10/8.12.10/ESA-External-v3.2) with ESMTP id i6U9sWKD015293
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 30 Jul 2004 11:54:32 +0200 (MET DST)
Received: from estecmta1.estec.esa.int (estecmta1.estec.esa.int [131.176.1.131])
	by esacom52.estec.esa.int (8.12.10/8.12.10/ESA-Internal-v3.2) with ESMTP id i6U9sWk9008262
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 30 Jul 2004 11:54:32 +0200 (MET DST)
To: reliable_computing [at] interval [dot] louisiana.edu
Subject: call for an interval-related study - full text
MIME-Version: 1.0
X-Mailer: Lotus Notes Release 5.0.10  March 22, 2002
Message-ID: <OF4FC042CE.54E02548-ONC1256EE1.003587EB-41256EE1.003BEC18 [at] estec [dot] esa.int>
From: Mihaly.Csaba.Markot [at] esa [dot] int
Date: Fri, 30 Jul 2004 10:54:29 +0100
X-MIMETrack: Serialize by Router on estecmta1/estec/ESA(Release 5.0.11  |July 24, 2002) at
 30/07/2004 11:54:32 AM,
	Serialize complete at 30/07/2004 11:54:32 AM
Content-Type: multipart/alternative; boundary="=_alternative 003BEC1541256EE1_="
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

This is a multipart message in MIME format.
--=_alternative 003BEC1541256EE1_=
Content-Type: text/plain; charset="us-ascii"

Dear Colleagues,

the Advanced Concepts Team of the European Space Agency (ESA) operates a 
mechanism called Ariadna for interacting universities and academic 
research institutes. Recently, the Ariadna Call for Proposals 2004/01 has 
been released, and it contains a study description

"Assessing the accuracy of interval arithmetic estimates in space flight 
mechanics"

(focusing on the applicability of existing validated ODE solvers). The 
planned duration of the study is 4 months.

For more information about Ariadna please check
http://www.esa.int/gsp/ACT/ACT_Web/Opportunities/Ariadna/ariadna.htm

The mentioned Call for Proposals including the study description and a 
draft contact can be found at
http://www.esa.int/gsp/ACT/ACT_Web/Opportunities/Ariadna/ariadna_calls2004.htm

The latter page also contains the details of submitting a proposal.

Best regards,
Mihaly Markot

Dr. Mihaly Csaba Markot
European Space Agency, Advanced Concepts Team (http://www.esa.int/act)
ESTEC, DG-X, Keplerlaan 1, 2201 AZ Noordwijk, The Netherlands
email: Mihaly.Csaba.Markot [at] esa [dot] int
tel: +31 71 565 8035, fax: +31 71 565 8018


--=_alternative 003BEC1541256EE1_=
Content-Type: text/html; charset="us-ascii"


<br><font size=2 face="sans-serif">Dear Colleagues,</font>
<br><font size=2 face="sans-serif">sorry for my previous broken mail. Here is the full text:</font>
<br>
<br><font size=2 face="sans-serif">the Advanced Concepts Team of the European Space Agency (ESA) operates a mechanism called Ariadna for interacting universities and academic research institutes. Recently, the Ariadna Call for Proposals 2004/01 has been released, and it contains a study description</font>
<br>
<br><font size=2 face="sans-serif">&quot;Assessing the accuracy of interval arithmetic estimates in space flight mechanics&quot;</font>
<br>
<br><font size=2 face="sans-serif">(focusing on the applicability of existing validated ODE solvers). The planned duration of the study is 4 months.</font>
<br>
<br><font size=2 face="sans-serif">For more information about Ariadna please check</font>
<br><font size=2 face="sans-serif">http://www.esa.int/gsp/ACT/ACT_Web/Opportunities/Ariadna/ariadna.htm</font>
<br>
<br><font size=2 face="sans-serif">The mentioned Call for Proposals including the study description and a draft contact can be found at</font>
<br><font size=2 face="sans-serif">http://www.esa.int/gsp/ACT/ACT_Web/Opportunities/Ariadna/ariadna_calls2004.htm</font>
<br>
<br><font size=2 face="sans-serif">The latter page also contains the details of submitting a proposal.</font>
<br>
<br><font size=2 face="sans-serif">Best regards,</font>
<br><font size=2 face="sans-serif">Mihaly Markot</font>
<br>
<br><font size=2 face="sans-serif">Dr. Mihaly Csaba Markot<br>
European Space Agency, Advanced Concepts Team (http://www.esa.int/act)<br>
ESTEC, DG-X, Keplerlaan 1, 2201 AZ Noordwijk, The Netherlands<br>
email: Mihaly.Csaba.Markot [at] esa [dot] int<br>
tel: +31 71 565 8035, fax: +31 71 565 8018<br>
<br>
</font>
--=_alternative 003BEC1541256EE1_=--