From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Apr  9 11:07:57 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j39G7vN0022908
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sat, 9 Apr 2005 11:07:57 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j39G7vLT022907
	for reliable_computing-outgoing; Sat, 9 Apr 2005 11:07:57 -0500 (CDT)
Received: from interval.louisiana.edu (rbk5287@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j39G7rM4022903
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 9 Apr 2005 11:07:54 -0500 (CDT)
Received: (from rbk5287@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j39G7rsi022902
	for reliable_computing [at] interval [dot] louisiana.edu; Sat, 9 Apr 2005 11:07:53 -0500 (CDT)
Received: from amsta.leeds.ac.uk (amsta.leeds.ac.uk [129.11.36.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j39EWScB022691
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 9 Apr 2005 09:32:35 -0500 (CDT)
Received: from localhost (pmt6sbc@localhost)
	by amsta.leeds.ac.uk (8.9.3p2-3/8.9.3) with ESMTP id PAA01768;
	Sat, 9 Apr 2005 15:30:53 +0100 (BST)
Date: Sat, 9 Apr 2005 15:30:53 +0100 (BST)
From: S B Cooper <pmt6sbc [at] maths [dot] leeds.ac.uk>
X-X-Sender: pmt6sbc@amsta
To: comprox [at] doc [dot] ic.ac.uk, <na.digest@na-net.ornl.gov>,
        <reliable_computing [at] interval [dot] louisiana.edu>, <arp [at] cines [dot] fr>,
        <communaute [at] medicis [dot] polytechnique.fr>, <arinews.gdr.lip@ens-lyon.fr>,
        <calmet [at] ira [dot] uka.de>
Subject: CiE 2005: Call for Participation
Message-ID: <Pine.GSO.4.44.0504091527400.27-100000@amsta>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Registration for CiE 2005 is now open.

CALL FOR PARTICIPATION

COMPUTABILITY IN EUROPE 2005: NEW COMPUTATIONAL PARADIGMS (CiE 2005)
http://www.illc.uva.nl/CiE/

June 8 - June 12, 2005
Amsterdam, The Netherlands

The organizers of CiE 2005 cordially invite researchers working in all
areas of computability theory, ranging from mathematics to computer
science, to participate in the conference taking place in Amsterdam in
June 2005.

CiE 2005 is an interdisciplinary venue for researchers from computer
science and mathematics focusing on New Computational Paradigms. These
include prominently connections between computation and physical systems
but also higher mathematical models of computation. The researchers from
the different communities will exchange ideas, approaches and techniques
in their respective work, thereby generating a wider community for work on
computational issues that allows uniform approaches to diverse areas, the
transformation of theoretical ideas into applicable projects, and general
cross-fertilization transcending disciplinary borders.

There will be two three-hour tutorials, eight plenary talks, six special
sessions with altogether 25 talks and over 50 contributed talks covering
the entire range of research in computability theory.

PLENARY TALKS:
http://www.illc.uva.nl/CiE/index.php?page=12

Three-hour tutorials - Harry Buhrman (Amsterdam), Klaus Weihrauch (Hagen).

Plenary talks - Samson Abramsky (Oxford), Joel D. Hamkins (New York NY),
Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri
Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens/Los Angeles CA),
Gheorghe Paun (Bucharest), Uwe Schoening (Ulm).

Introductory lecture - Andrew Hodges (Oxford).

SPECIAL SESSIONS:
http://www.illc.uva.nl/CiE/index.php?page=6

Biological Computation
Organiser: Thomas Baeck (Leiden).

Complexity
Organiser:  Elvira Mayordomo (Zaragoza).

Epistemology and Methodology of Computing
Organisers: Hartmut Fitz (Amsterdam) and Guglielmo Tamburrini (Pisa).

Proofs and Computation
Organisers: Arnold Beckmann (Swansea) and Laura Crosilla (Firenze).

Real Computation
Organiser: Abbas Edalat (Imperial College, London).

Relative Computation
Organisers: Barry Cooper (Leeds) and Andrea Sorbi (Siena).

CONTRIBUTED PAPERS:
http://www.illc.uva.nl/CiE/index.php?page=15

INFORMAL PRESENTATIONS:
http://www.illc.uva.nl/CiE/index.php?page=17

In addition to the formal presentations based on the LNCS proceedings
volume, we invite researchers to present informal presentations. For this,
please send us a brief description of your talk (between one paragraph and
half a page) before April 15th, 2005. Submission form:
http://www.illc.uva.nl/CiE/index.php?page=_6

REGISTRATION AND ACCOMMODATION:
http://www.illc.uva.nl/CiE/index.php?page=13

Regular registration (EUR 95, EUR 75 for students) will be possible until
April 30th, 2005. After May 1st, 2005, there will be an option of Late
Registration with higher fees.
Registration form:
https://www.science.uva.nl/research/illc-secure/CiE/index.php?page=10

We have reserved some rooms in Amstel Botel at a special university rate.
The Amstel Botel (reservation deadline April 25th, 2005) is located at
Oosterdokskade 2-4, next to the Central Station, and is a modern and
luxurious floating hotel. A unique experience and an alternative way to
get to know the lively city of Amsterdam. From the Botel it takes 20
minutes by tram to the conference site.

IMPORTANT DATES:

April 15th, 2005 - Deadline for submission of informal presentations.
April 25th, 2005 - Deadline for booking at Amstel Botel.
April 30th, 2005 - Deadline for regular conference registration.

SPONSORSHIP:

The conference is sponsored/supported by the Association for Symbolic
Logic (ASL), European Association for Theoretical Computer Science
(EATCS), Netherlands Organisation for Scientific Research (NWO), Royal
Netherlands Academy of Arts and Sciences (KNAW).

PROGRAM COMMITTEE:

Klaus Ambos-Spies (Heidelberg), Albert Atserias (Barcelona), Barry Cooper
(Leeds, co-chair), Sergei Goncharov (Novosibirsk), Benedikt Loewe
(Amsterdam, co-chair), Dag Normann (Oslo), Helmut Schwichtenberg
(Muenchen), Andrea Sorbi (Siena), Ivan Soskov (Sofia), Leen Torenvliet
(Amsterdam), John Tucker (Swansea), Johan van Benthem
(Amsterdam/Stanford), Peter van Emde Boas (Amsterdam), Jiri Wiedermann
(Praha).

ORGANISING COMMITTEE:

Stefan Bold, Barry Cooper, Samson de Jager, Benedikt Loewe, Leen
Torenvliet, Peter van Emde Boas, Marjan Veldhuisen.

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






From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Apr 10 13:05:45 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3AI5jFk025191
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sun, 10 Apr 2005 13:05:45 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3AI5jNJ025190
	for reliable_computing-outgoing; Sun, 10 Apr 2005 13:05:45 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3AI5aFS025186
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 10 Apr 2005 13:05:42 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j3AI4uI04590;
	Sun, 10 Apr 2005 12:04:57 -0600 (MDT)
Message-Id: <200504101804.j3AI4uI04590 [at] cs [dot] utep.edu>
Date: Sun, 10 Apr 2005 12:04:57 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Congratulations ot Oscar Mondragon
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: agates [at] cs [dot] utep.edu, oscar [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: GHTK9R1CcaM9QIOPhj3ZTg==
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

Congratulations to Oscar Mondragon and to Ann Q. Gates, his Ph.D. advisor! 

***********************************************
April 10, 2005

The University of Texas at El Paso has informed Oscar Mondragon that 
he has received a University Outstanding Dissertation Award for his 
interval-related 2004 Ph.D. dissertation "Elucidation and 
Specification of Software Properties through Patterns and Composite
Propositions to Support Formal Verification Techniques". 

One of the main problems of software engineering is to verify that the 
software satisfies the given specifications. Traditionally, in
software industry, the new software is tested on several different
situations. Usually, there are so many possible situations that it
is absolutely unrealistic to test the software on all of them, so,
instead of testing the software on all possible situations,
practitioners test software on selected situations, selected inputs
that they believe to be representative. It is well known that even
after the most thorough testing on such seemingly representative
situations, most software package and systems retain errors. The
resulting software errors (bugs, faults, etc.) lead to large losses of 
time and productivity, and even sometimes - to catastrophic events with
loss of life. Software problems are especially important for time
critical real-time systems where the software is used to make 
decisions that need to be made within given time. 

In view of this situation, one of the main objectives of software
engineering is to develop formal verification techniques - techniques
that would guarantee that the software works correctly on all possible 
situations, not just on the few selected situations on which this
software was actually tested. 

In general, program verification is a computationally difficult task;
it is known that no algorithm is possible for solving the general
program verification problem. It is therefore desirable
to find particular cases of program verification that would be general 
enough but still allow algorithmic solutions. There exist many 
interesting directions in developing efficient formal verification
techniques, among them the direction related to the
use of interval logics. 

The main idea behind interval logics is that, crudely speaking,
if we want to guarantee that a certain property occurs for all
possible values within a given interval, then, instead of testing this 
property for finite set of "representative" values from this interval
(and risking that we miss the values on which the tested property does 
not hold), we perform all the operations with the entire interval,
thus guaranteeing that this property is indeed true for all the values 
within this interval. In general, the interval approaches to program
verification still leads to algorithmically unsolvable
problems. However, several efficient formal  methods have been
developed, including Future Interval Logic (FIL), an approach
championed by the Real Time Systems Group (RTSG) at the University of
Pennsylvania, one of the world leading centers in formal verification
techniques. 

The FIL approach has several interesting applications, but it is not
yet widely used in the software engineering community, for two
reasons:

* first, the existing FIL formalism only captures a few simplest
properties of software -- although there are examples that several
more complex properties of a program can also be described in FIL and
thus tested; 

* second, while in principle, there are algorithms for testing FIL
properties, these algorithms are more of academic nature in the sense
that they have not been implemented in an easy-to-use way. 

These two problems were the two challenges that Oscar Mondragon handled 
in his dissertation. As a result:

* first, he drastically expanded the original FIL logic so that it now 
includes a large number of important software properties -- while not
increasing the computationally complexity of verifying these
properties; 

* second, he developed a user-friendly way of using FIL to verify
programs: namely, he has developed a new language that enables the
user to use traditional software engineering terms, and develop 
an efficient translation from this language into FIL; he also helped
the RTSG group to enhanced the translation from the FIL specifications
into Meta Event Definition Language (MEDL), the property specification
language of the Monitoring and Checking system.

In the process of developing his tools, Oscar also applied his
software verification skills to testing the originally proposed
FIL-related tools, and uncovered (and helped correct) several bugs
in these well-used tools. 

At present, Oscar applies his expertise as a research with the 
Mexico-based International Software Institute in Guadalajara. 
*********************************************************************
Publications of Oscar Mondragon related to his dissertation:

JOURNAL PUBLICATIONS

1. O. Mondragon, A. Q. Gates, and S. Roach, "Prospec: Support for
Elicitation and Formal Specification of Software Properties," in
O. Sokolsky and M. Viswanathan (Eds. of the special issue), 
Electronic Notes on Theoretical Computer Science 89(2),
2004.

2. O. Mondragon and A. Q. Gates, "Supporting Elicitation and
Specification of Software Properties through Patterns and Composite
Propositions," Intl. Journal of Software Engineering and Knowledge
Engineering, 14(1), Feb. 2004.

3. A. Q. Gates and O. Mondragon, "FasTLInC:
A Constraint-based Tracing Approach," The
Journal of Systems and Software, 63, 2002, 241-258.

4. A. Q. Gates, S. Roach, O. Mondragon, and N. Delgado, "DynaMICs:
Comprehensive Support for Run-Time Monitoring", in Electronic Notes in
Theoretical Computer Science, K. Havelund and G. Rosu (eds.), 55(2),
2001, www.elsevier.nl/locate/entc.  

PAPERS IN REFEREED CONFERENCE PROCEEDINGS

1. A. Q. Gates, O. Mondragon, and F. Kassem, "Automated Support for
Property Specification Based on Patterns", 
Proceedings of the 15th International Conference on Software
Engineering and Knowledge Engineering, July 2003, pp. 174-181.

2. A. Q. Gates, O. Mondragon, M. Payne, and S. Roach, "Instrumentation
of Intermediate Code for Runtime Verification", Proceedings 28th
Annual NASA Goddard/IEEE Software Engineering Workshop, December
2003. 

3. O. Mondragon, A. Q. Gates, and S. Roach, "Composite Propositions:
Toward Support for Formal Specification of System Properties", 
Proceedings 27th Annual NASA Goddard/IEEE Software Engineering Workshop,
December 2002, pp. 67-74.

4. A. Q. Gates, O. Mondragon, F. Saenz, and R. Cereceres, "The Use of
Integrity Constraints to Support Tracing", Proceedings of Software
Engineering and Knowledge Engineering Conference, June 2000, 195-204.

5. A. Q. Gates, N. Delgado, and O. Mondragon, "A Structured Approach
for Managing a Practical Software Engineering Course", 
Proceedings 2000 Frontiers in Education Conference, Kansas City, Mo.,
2000.



From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Apr 11 15:52:36 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3BKqaGN027739
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 11 Apr 2005 15:52:36 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3BKqZwY027738
	for reliable_computing-outgoing; Mon, 11 Apr 2005 15:52:35 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3BKqNc1027734
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 11 Apr 2005 15:52:33 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j3BKpdd11722
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 11 Apr 2005 14:51:39 -0600 (MDT)
Message-Id: <200504112051.j3BKpdd11722 [at] cs [dot] utep.edu>
Date: Mon, 11 Apr 2005 14:51:39 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: re patents
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: 8xTUUwMVj92qL4MAJnBgOQ==
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

This may be of interest to many of us who are involved in the software patent 
discussions. Vladik

******************************************
I.B.M. HOPES TO PROFIT BY MAKING PATENTS AVAILABLE FREE
from The New York Times (Registration Required)

I.B.M. is renowned for its rich storehouse of patented inventions. It once
again led the research sweepstakes in America last year, collecting 3,248
patents, more than any other company. And it earned more than $1 billion
last year from licensing and selling its ideas.

So why has I.B.M. shifted course recently, giving away some of the fruits of
its research instead of charging others to use it? The answer is self-interest.

Diverging from conventional wisdom, the company has calculated that sharing
technology can sometimes be more profitable than jealously guarding its
property rights on patents, copyrights and trade secrets. The moves by
I.B.M., the world's largest supplier of information technology services and
computers, are being closely watched throughout the business world.
http://www.nytimes.com/2005/04/11/technology/11ibm.html


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Apr 11 16:28:20 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3BLSKJK027824
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 11 Apr 2005 16:28:20 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3BLSJAD027823
	for reliable_computing-outgoing; Mon, 11 Apr 2005 16:28:19 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3BLSAbI027819
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 11 Apr 2005 16:28:17 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j3BLRTD12003;
	Mon, 11 Apr 2005 15:27:29 -0600 (MDT)
Message-Id: <200504112127.j3BLRTD12003 [at] cs [dot] utep.edu>
Date: Mon, 11 Apr 2005 15:27:28 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: SNC2005
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: snc2005 [at] mmrc [dot] iss.ac.cn
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: E6Pz6T4l2GXFm1Z/ueyWIQ==
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

conference of potential interest to some of us; apologies for multiple copies 
------------- Begin Forwarded Message -------------

Date: Mon, 11 Apr 2005 16:49:15 +0800

------------------------------------------------------------------------------
                       SNC 2005 - FINAL CALL FOR PAPERS

           International Workshop on Symbolic-Numeric Computation
                        Xi'an, China, July 19-21, 2005

                      A satellite workshop of ISSAC 2005
------------------------------------------------------------------------------
* Extended submission deadline:  April 20, 2005

* http://www-calfor.lip6.fr/~wang/SNC2005/

* Invited speakers:  Robert M. Corless    Matu-Tarow Noda
                     Victor Y. Pan        Hans J. Stetter
------------------------------------------------------------------------------
Potential participants of SNC 2005 are invited to submit extended abstracts (of 
three or more pages) or full papers describing their work to be presented at 
the 
workshop. The submitted extended abstracts and full papers will be reviewed by 
members of the program committee for soundness and relevance to the workshop. 
Submission of original research papers is encouraged, while published material 
and work in progress will also be considered for presentation at the workshop
[see http://www-calfor.lip6.fr/~wang/SNC2005/sub.html for more instructions].

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



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 08:38:49 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KDcmcK016880
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 08:38:49 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KDcm6w016879
	for reliable_computing-outgoing; Wed, 20 Apr 2005 08:38:48 -0500 (CDT)
Received: from its-exsmtp1.marqnet.mu.edu (email.marquette.edu [134.48.20.169])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KDce0H016875
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 08:38:46 -0500 (CDT)
Received: from its-exfe1.marqnet.mu.edu ([134.48.20.165]) by its-exsmtp1.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211);
	 Wed, 20 Apr 2005 08:37:39 -0500
Received: from [192.168.1.101] ([134.48.233.100] RDNS failed) by its-exfe1.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211);
	 Wed, 20 Apr 2005 08:37:39 -0500
User-Agent: Microsoft-Entourage/10.1.4.030702.0
Date: Wed, 20 Apr 2005 08:37:58 -0500
Subject: Sun's interval patents
From: George Corliss <George.Corliss [at] marquette [dot] edu>
To: <reliable_computing [at] interval [dot] louisiana.edu>
CC: George Corliss <George.Corliss [at] marquette [dot] edu>,
        Jill Gilbert <taxtalks [at] wi [dot] rr.com>
Message-ID: <BE8BC566.167E1%George.Corliss [at] Marquette [dot] edu>
Mime-version: 1.0
Content-type: text/plain; charset="US-ASCII"
Content-transfer-encoding: 7bit
X-OriginalArrivalTime: 20 Apr 2005 13:37:39.0310 (UTC) FILETIME=[1EC9E0E0:01C545AE]
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Intervalers,

Update on Sun's patent applications:  Several of the applications have been
issued as patents, including two dealing with term consistency - constraint
propagation.

At http://www.uspto.gov/patft
Left side is patents issued
Right side is published applications
On either side, select [Advanced Search]
In the Query box, type: IN/walster
[Search]
Bill has been granted 10 patents (two #5,7**,*** are not his)
23 applications are pending

Full text of the patents or applications are available there for your
reading

See especially 
6,859,817 
Solving systems of nonlinear equations using interval arithmetic and term
consistency 

6,823,352 
Solving a nonlinear equation through interval arithmetic and term
consistency 

Some believe that much of this work belongs to the prior art, in patent
language.  That is, it was done more than one year before the patent
applications were filed.  In many cases, the work may have been done
previously by many members of this community.  According to my best
understanding, as individuals, probably our most effective strategy is:

For pending applications, do nothing.  Why is a longer letter than I want to
write this morning.

For issued patents, anyone can send a report to the Office of Patents and
Trademarks outlining prior art, that is, material (especially published or
commercial product, e.g., ILOG's Numerica) in which the work claimed in the
patents had appeared more than one year before the patent application.  Your
report has no direct effect, but it goes into the patent file.  If someone
sues Sun, or if Sun sues anyone, both parties will have the benefit of your
research to help make their cases.

According to a recent masters thesis by attorney Jill Gilbert, proposals for
reform of the patent process have been advanced by the US Patent and
Trademark Office, the Federal Trade Commission, and the National Research
Council.  You might consider informing yourself and lobbying for
Congressional action.

Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
PO Box 1881 
1515 W. Wisconsin Ave.
Milwaukee WI 53201-1881 USA
414-288-6599; Fax: 288-5579; Dept. 288-6280
George.Corliss [at] Marquette [dot] edu



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 10:41:34 2005
Received: from interval.louisiana.edu (localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KFfY54000317
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 10:41:34 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KFfSAY000315
	for reliable_computing-outgoing; Wed, 20 Apr 2005 10:41:28 -0500 (CDT)
Received: from brama.ippt.gov.pl (brama.ippt.gov.pl [148.81.54.253])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KFe6Gr017120
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 10:40:13 -0500 (CDT)
Received: from ippt.gov.pl (diagram.ippt.gov.pl [148.81.53.25])
	(authenticated bits=0)
	by brama.ippt.gov.pl (8.13.1/8.13.1/Debian-14) with ESMTP id j3KFb9fU024270
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Wed, 20 Apr 2005 17:37:09 +0200
Message-ID: <4266775A.206 [at] ippt [dot] gov.pl>
Date: Wed, 20 Apr 2005 17:38:02 +0200
From: "Zenon Kulpa" <zkulpa [at] ippt [dot] gov.pl>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: reliable_computing [at] interval [dot] louisiana.edu
CC: George Corliss <George.Corliss [at] marquette [dot] edu>,
        Jill Gilbert <taxtalks [at] wi [dot] rr.com>
Subject: Re: Sun's interval patents
References: <BE8BC566.167E1%George.Corliss [at] Marquette [dot] edu>
In-Reply-To: <BE8BC566.167E1%George.Corliss [at] Marquette [dot] edu>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: by amavisd-new
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

George Corliss wrote:
 >
 > Update on Sun's patent applications:  Several of the applications 
have been
 > issued as patents, including two dealing with term consistency - 
constraint
 > propagation.
 >
[...]
 >
 > See especially
 > 6,859,817
 > Solving systems of nonlinear equations using interval arithmetic and term
 > consistency
 >
 > 6,823,352
 > Solving a nonlinear equation through interval arithmetic and term
 > consistency
 >
But what about such basic operations like:

6,842,764
Minimum and maximum operations to facilitate interval multiplication
and/or interval division

6,779,006
Performing dependent subtraction on arithmetic intervals within
a computer system

6,751,638
Min and max operations for multiplication and/or division under the 
simple interval system

With them patented, most interval progams will have to infringe
the patents when trying to do elementary interval arithmetic...
Or am I missing something?

-- Zenon Kulpa


From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 11:19:40 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KGJd5E000383
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 11:19:39 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KGJdaL000382
	for reliable_computing-outgoing; Wed, 20 Apr 2005 11:19:39 -0500 (CDT)
Received: from sys07.mail.msu.edu (sys07.mail.msu.edu [35.9.75.107])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KGJQbm000378
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 11:19:36 -0500 (CDT)
Received: from berz-9.user.msu.edu ([35.10.222.157] helo=TP570MSUMB)
	by sys07.mail.msu.edu with esmtpsa (Exim 4.44 #1)
	(TLSv1:RC4-MD5:128)
	id 1DOHv6-0003ng-Hf
	for reliable_computing [at] interval [dot] louisiana.edu; Wed, 20 Apr 2005 12:19:20 -0400
From: "Martin Berz" <berz [at] msu [dot] edu>
To: <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Re: Sun's interval patents
Date: Wed, 20 Apr 2005 12:19:07 -0400
Message-ID: <LOBBLFLDLCOABDBDAMICGELBIEAA.berz [at] msu [dot] edu>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.6604 (9.0.2911.0)
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1478
Importance: Normal
In-Reply-To: <200504112051.j3BKpdd11722 [at] cs [dot] utep.edu>
X-Virus: None found by Clam AV
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Zenon, George, Vladik,

indeed the patents would interfere with most interval tools, and this has all
kinds of consequences. Unfortunately from our end, this situation has now led
to the fact that we are not allowed to talk to people involved in the patent
applications anymore to prevent any conceivable later claims of knowledge
transfer about material in the applications. This is of course similar to the
way that SUN isn't talking about it either, and it unfortunately seems to be
the way lawyers do want to handle such matters.

In fact, the funding agencies DOE and NSF are very worried about endangering
the approximately $5 Million that went into the development of our COSY tool
so far, because obviously several pieces of it would fall under the claims of
the patent applications. So the COSY project could conceivably be shut down or
at least attacked and hopelessly bogged down by an overzealous army of SUN
lawyers. How far-fetched is this worry? Who knows; I would have considered it
hopelessly far-fetched to think that anyone would want to apply for such
patents in the first place.

Just recently this had the very frustrating effect that we cannot interact
anymore with one of our past valued consultants who is involved on the fringe
of the patent issues. We also could not follow a request from the European
Space Agency to apply the COSY validated integrators to some of their solar
system orbit problems, since although ESA stated to me that they strongly
discourage such patent efforts, some of their potential contractors are
apparently involved in it.

What a pity it all is.

Martin Berz



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 12:07:27 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KH7RKq000492
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 12:07:27 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KH7RKK000491
	for reliable_computing-outgoing; Wed, 20 Apr 2005 12:07:27 -0500 (CDT)
Received: from its-exsmtp1.marqnet.mu.edu (email.marquette.edu [134.48.20.169])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KH7IHj000487
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 12:07:24 -0500 (CDT)
Received: from its-exfe2.marqnet.mu.edu ([134.48.20.167]) by its-exsmtp1.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211);
	 Wed, 20 Apr 2005 12:07:12 -0500
Received: from [192.168.1.101] ([134.48.233.107] RDNS failed) by its-exfe2.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211);
	 Wed, 20 Apr 2005 12:07:11 -0500
User-Agent: Microsoft-Entourage/10.1.4.030702.0
Date: Wed, 20 Apr 2005 12:07:31 -0500
Subject: Re: Sun's interval patents
From: George Corliss <George.Corliss [at] marquette [dot] edu>
To: Zenon Kulpa <zkulpa [at] ippt [dot] gov.pl>
CC: <reliable_computing [at] interval [dot] louisiana.edu>
Message-ID: <BE8BF683.1684B%George.Corliss [at] Marquette [dot] edu>
In-Reply-To: <4266775A.206 [at] ippt [dot] gov.pl>
Mime-version: 1.0
Content-type: text/plain; charset="US-ASCII"
Content-transfer-encoding: 7bit
X-OriginalArrivalTime: 20 Apr 2005 17:07:12.0121 (UTC) FILETIME=[64C49690:01C545CB]
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Zenon,

> With them patented, most interval progams will have to infringe
> the patents when trying to do elementary interval arithmetic...
> Or am I missing something?
No, you are correct.  I had singled out the ones on constraint propagation
just because they were the ones on my mind.

The ones you point to have SOME ties to Sun hardware, and Sun probably IS
entitled to patent hardware/software implementations of the basic interval
operations.  However, as I read the patents you list, yes, any software
package that implements interval multiply or divide as [min, max] of the
four combinations of endpoint probably infringes Sun's patents.

Those claims seem entirely unenforceable, and I have no intention of
changing my behavior or that of my codes to work around them.  I think it
unlikely that Sun would come after individual researchers (unless by these
messages I distinguish myself as a prime target), but commercial vendors
(e.g., Microsoft Excel might have intervals under the hood) may have some
risk.  Microsoft can probably defend itself, but smaller firms might not.

Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
PO Box 1881 
1515 W. Wisconsin Ave.
Milwaukee WI 53201-1881 USA
414-288-6599; Fax: 288-5579; Dept. 288-6280
George.Corliss [at] Marquette [dot] edu



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 13:34:39 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KIYdTU000632
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 13:34:39 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KIYcP8000631
	for reliable_computing-outgoing; Wed, 20 Apr 2005 13:34:38 -0500 (CDT)
Received: from ms-smtp-04-eri0.ohiordc.rr.com (ms-smtp-04-smtplb.ohiordc.rr.com [65.24.5.138])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KIYSrS000627
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 13:34:35 -0500 (CDT)
Received: from Moore (cpe-204-210-226-111.columbus.res.rr.com [204.210.226.111])
	by ms-smtp-04-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id j3KIYEHJ003765;
	Wed, 20 Apr 2005 14:34:16 -0400 (EDT)
Message-ID: <001c01c545d7$9962a070$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: "Martin Berz" <berz [at] msu [dot] edu>, <reliable_computing [at] interval [dot] louisiana.edu>
Cc: "Bill Walster" <bill.walster [at] sun [dot] com>
References: <LOBBLFLDLCOABDBDAMICGELBIEAA.berz [at] msu [dot] edu>
Subject: Re: Sun's interval patents
Date: Wed, 20 Apr 2005 14:34:33 -0400
MIME-Version: 1.0
Content-Type: text/plain;
	format=flowed;
	charset="iso-8859-1";
	reply-type=original
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Bill,

This is an absolutely intolerable situation, and you need to do something 
about it, asap.

Ray Moore

----- Original Message ----- 
From: "Martin Berz" <berz [at] msu [dot] edu>
To: <reliable_computing [at] interval [dot] louisiana.edu>
Sent: Wednesday, April 20, 2005 12:19 PM
Subject: Re: Sun's interval patents


> Zenon, George, Vladik,
>
> indeed the patents would interfere with most interval tools, and this has 
> all
> kinds of consequences. Unfortunately from our end, this situation has now 
> led
> to the fact that we are not allowed to talk to people involved in the 
> patent
> applications anymore to prevent any conceivable later claims of knowledge
> transfer about material in the applications. This is of course similar to 
> the
> way that SUN isn't talking about it either, and it unfortunately seems to 
> be
> the way lawyers do want to handle such matters.
>
> In fact, the funding agencies DOE and NSF are very worried about 
> endangering
> the approximately $5 Million that went into the development of our COSY 
> tool
> so far, because obviously several pieces of it would fall under the claims 
> of
> the patent applications. So the COSY project could conceivably be shut 
> down or
> at least attacked and hopelessly bogged down by an overzealous army of SUN
> lawyers. How far-fetched is this worry? Who knows; I would have considered 
> it
> hopelessly far-fetched to think that anyone would want to apply for such
> patents in the first place.
>
> Just recently this had the very frustrating effect that we cannot interact
> anymore with one of our past valued consultants who is involved on the 
> fringe
> of the patent issues. We also could not follow a request from the European
> Space Agency to apply the COSY validated integrators to some of their 
> solar
> system orbit problems, since although ESA stated to me that they strongly
> discourage such patent efforts, some of their potential contractors are
> apparently involved in it.
>
> What a pity it all is.
>
> Martin Berz
>
>
> 



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 14:16:06 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KJG644000671
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 14:16:06 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KJG6hj000670
	for reliable_computing-outgoing; Wed, 20 Apr 2005 14:16:06 -0500 (CDT)
Received: from ms-smtp-04-eri0.ohiordc.rr.com (ms-smtp-04-smtplb.ohiordc.rr.com [65.24.5.138])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KJFtMi000666
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 14:16:02 -0500 (CDT)
Received: from Moore (cpe-204-210-226-111.columbus.res.rr.com [204.210.226.111])
	by ms-smtp-04-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id j3KJFlHJ012410;
	Wed, 20 Apr 2005 15:15:48 -0400 (EDT)
Message-ID: <002801c545dd$66f74fe0$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: <reliable_computing [at] interval [dot] louisiana.edu>
Cc: <John.Busch [at] sun [dot] com>
Subject: Fw: Sun's interval patents
Date: Wed, 20 Apr 2005 15:16:06 -0400
MIME-Version: 1.0
Content-Type: text/plain;
	format=flowed;
	charset="iso-8859-1";
	reply-type=response
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear John and all,

THIS IS EXTREMELY IMPORTANT

I feel certain that it was never the intention of people at Sun Microsystems 
to stifle research and development of interval methods of computing. I 
understand that Sun is a business, however the methods of computing with 
interval numbers go back at least to my own early work while at Lockheed 
during the late 1950's and early 1960's. Since that time there has been free 
and open exchange of ideas in many publications and at many international 
meetings and through personal contacts, just as it always is, or should be, 
in basic science. Commercial applications come later. None of the patent 
applications referred to in the correspondence below are involve commercial 
applications. Rather they are only particular instances of ways of 
programming basic interval computational operations or techniques. It should 
be made CLEAR to the many hundreds of concerned researchers that they should 
relax about fears of their work being put in jeopardy by Sun lawyers.

It makes no more sense to cause such fears than it would have back during 
the introduction of the calculus by Newton and Leibnitz. I recall there was 
some sort of rivalry about that, but fortunately the lawyers of that distant 
day did not prevent the evolution of ideas and techniques which led to the 
many spectacular benefits to all of mankind from applications of the 
techniques of the calculus. Of course businesses also benefitted. Businesses 
are part of mankind.
It is one of the many things they do.

Let us sort all this out ASAP.

best wishes to ALL,

Ramon Moore



----- Original Message ----- 
From: "G. William Walster" <Bill.Walster [at] sun [dot] com>
To: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
Sent: Wednesday, April 20, 2005 2:40 PM
Subject: Re: Sun's interval patents


>
> Ray,
>
> I've been directed by my boss to do and say nothing about this.  Please 
> feel free to write to anybody within Sun
> regarding what you think can and should be done.  My hands
> are tied. :(
>
> Sorry,
>
> Bill
>
>
> Ray Moore wrote:
>
>> Bill,
>>
>> This is an absolutely intolerable situation, and you need to do something 
>> about it, asap.
>>
>> Ray Moore
>>
>> ----- Original Message ----- From: "Martin Berz" <berz [at] msu [dot] edu>
>> To: <reliable_computing [at] interval [dot] louisiana.edu>
>> Sent: Wednesday, April 20, 2005 12:19 PM
>> Subject: Re: Sun's interval patents
>>
>>
>>> Zenon, George, Vladik,
>>>
>>> indeed the patents would interfere with most interval tools, and this 
>>> has all
>>> kinds of consequences. Unfortunately from our end, this situation has 
>>> now led
>>> to the fact that we are not allowed to talk to people involved in the 
>>> patent
>>> applications anymore to prevent any conceivable later claims of 
>>> knowledge
>>> transfer about material in the applications. This is of course similar 
>>> to the
>>> way that SUN isn't talking about it either, and it unfortunately seems 
>>> to be
>>> the way lawyers do want to handle such matters.
>>>
>>> In fact, the funding agencies DOE and NSF are very worried about 
>>> endangering
>>> the approximately $5 Million that went into the development of our COSY 
>>> tool
>>> so far, because obviously several pieces of it would fall under the 
>>> claims of
>>> the patent applications. So the COSY project could conceivably be shut 
>>> down or
>>> at least attacked and hopelessly bogged down by an overzealous army of 
>>> SUN
>>> lawyers. How far-fetched is this worry? Who knows; I would have 
>>> considered it
>>> hopelessly far-fetched to think that anyone would want to apply for such
>>> patents in the first place.
>>>
>>> Just recently this had the very frustrating effect that we cannot 
>>> interact
>>> anymore with one of our past valued consultants who is involved on the 
>>> fringe
>>> of the patent issues. We also could not follow a request from the 
>>> European
>>> Space Agency to apply the COSY validated integrators to some of their 
>>> solar
>>> system orbit problems, since although ESA stated to me that they 
>>> strongly
>>> discourage such patent efforts, some of their potential contractors are
>>> apparently involved in it.
>>>
>>> What a pity it all is.
>>>
>>> Martin Berz
>>>
>>>
>>>
>>
>>
>
> 



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 14:39:37 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KJda1A000699
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 14:39:37 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KJdaDV000698
	for reliable_computing-outgoing; Wed, 20 Apr 2005 14:39:36 -0500 (CDT)
Received: from mailgw3a.lmco.com (mailgw3a.lmco.com [192.35.35.7])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KJdLe4000694
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 14:39:32 -0500 (CDT)
Received: from emss04g01.ems.lmco.com (relay4.ems.lmco.com [166.17.13.122])
	by mailgw3a.lmco.com (8.12.10/8.12.10) with ESMTP id j3KJd0Pl026629;
	Wed, 20 Apr 2005 15:39:01 -0400 (EDT)
Received: from CONVERSION-DAEMON.lmco.com by lmco.com (PMDF V6.1-1X6 #30884) id <0IF900801FX0RD [at] lmco [dot] com>; Wed,
 20 Apr 2005 15:39:00 -0400 (EDT)
Received: from EMSS04I00.us.lmco.com ([166.17.13.135]) by lmco.com (PMDF V6.1-1X6 #30884)
 with ESMTP id <0IF900K5AFX0YO [at] lmco [dot] com>; Wed, 20 Apr 2005 15:39:00 -0400 (EDT)
Received: from EMSS04M19.us.lmco.com ([129.204.56.80]) by EMSS04I00.us.lmco.com with Microsoft SMTPSVC(5.0.2195.6713); Wed,
 20 Apr 2005 15:39:00 -0400
Date: Wed, 20 Apr 2005 15:38:59 -0400
From: "Coxson, Gregory E" <gregory.e.coxson [at] lmco [dot] com>
Subject: RE: Sun's interval patents
To: Ray Moore <rmoore17 [at] columbus [dot] rr.com>, Martin Berz <berz [at] msu [dot] edu>,
        reliable_computing [at] interval [dot] louisiana.edu
Cc: Bill Walster <bill.walster [at] Sun [dot] COM>
Message-id: <E1373E7E0A30B9488988811939F9A4170BA2746F [at] EMSS04M19 [dot] us.lmco.com>
MIME-version: 1.0
X-MIMEOLE: Produced By Microsoft Exchange V6.0.6603.0
Content-type: text/plain; charset=US-ASCII
Content-transfer-encoding: 7BIT
Thread-Topic: Sun's interval patents
Thread-Index: AcVF3FMj8X0heYa2R3WrE3ZMJnmOIgABBifw
content-class: urn:content-classes:message
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
X-OriginalArrivalTime: 20 Apr 2005 19:39:00.0347 (UTC) FILETIME=[99B194B0:01C545E0]
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Ray:

  Is there a larger organized
community that might put their
weight behind this?  I'm thinking
ohe AMS, the MAA,  SIAM, or maybe
all three together?

  Thanks.

Greg Coxson
  Mail Stop 137-228
  Telephone (856) 722-7302
  FAX  (856) RCA-DUDE
  

-----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: Wednesday, April 20, 2005 2:35 PM
To: Martin Berz; reliable_computing [at] interval [dot] louisiana.edu
Cc: Bill Walster
Subject: Re: Sun's interval patents

Bill,

This is an absolutely intolerable situation, and you need to do
something 
about it, asap.

Ray Moore

----- Original Message ----- 
From: "Martin Berz" <berz [at] msu [dot] edu>
To: <reliable_computing [at] interval [dot] louisiana.edu>
Sent: Wednesday, April 20, 2005 12:19 PM
Subject: Re: Sun's interval patents


> Zenon, George, Vladik,
>
> indeed the patents would interfere with most interval tools, and this
has 
> all
> kinds of consequences. Unfortunately from our end, this situation has
now 
> led
> to the fact that we are not allowed to talk to people involved in the 
> patent
> applications anymore to prevent any conceivable later claims of
knowledge
> transfer about material in the applications. This is of course similar
to 
> the
> way that SUN isn't talking about it either, and it unfortunately seems
to 
> be
> the way lawyers do want to handle such matters.
>
> In fact, the funding agencies DOE and NSF are very worried about 
> endangering
> the approximately $5 Million that went into the development of our
COSY 
> tool
> so far, because obviously several pieces of it would fall under the
claims 
> of
> the patent applications. So the COSY project could conceivably be shut

> down or
> at least attacked and hopelessly bogged down by an overzealous army of
SUN
> lawyers. How far-fetched is this worry? Who knows; I would have
considered 
> it
> hopelessly far-fetched to think that anyone would want to apply for
such
> patents in the first place.
>
> Just recently this had the very frustrating effect that we cannot
interact
> anymore with one of our past valued consultants who is involved on the

> fringe
> of the patent issues. We also could not follow a request from the
European
> Space Agency to apply the COSY validated integrators to some of their 
> solar
> system orbit problems, since although ESA stated to me that they
strongly
> discourage such patent efforts, some of their potential contractors
are
> apparently involved in it.
>
> What a pity it all is.
>
> Martin Berz
>
>
> 





From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 14:42:34 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KJgYpa000708
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 14:42:34 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KJgYbs000707
	for reliable_computing-outgoing; Wed, 20 Apr 2005 14:42:34 -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.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KJgJVZ000703
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 14:42:30 -0500 (CDT)
Received: from Moore (cpe-204-210-226-111.columbus.res.rr.com [204.210.226.111])
	by ms-smtp-03-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id j3KJg9YH027995;
	Wed, 20 Apr 2005 15:42:11 -0400 (EDT)
Message-ID: <001901c545e1$164fbdd0$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: "Coxson, Gregory E" <gregory.e.coxson [at] lmco [dot] com>,
        "Martin Berz" <berz [at] msu [dot] edu>,
        <reliable_computing [at] interval [dot] louisiana.edu>
Cc: "Bill Walster" <bill.walster [at] Sun [dot] COM>
References: <E1373E7E0A30B9488988811939F9A4170BA2746F [at] EMSS04M19 [dot] us.lmco.com>
Subject: Re: Sun's interval patents
Date: Wed, 20 Apr 2005 15:42:28 -0400
MIME-Version: 1.0
Content-Type: text/plain;
	format=flowed;
	charset="iso-8859-1";
	reply-type=original
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Greg,

Good idea. Please do contact them all, if you have names and email addresses 
of appropriate people in those organizations. Feel free to forward any or 
all of my correspondence.

Ray Moore

----- Original Message ----- 
From: "Coxson, Gregory E" <gregory.e.coxson [at] lmco [dot] com>
To: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>; "Martin Berz" <berz [at] msu [dot] edu>; 
<reliable_computing [at] interval [dot] louisiana.edu>
Cc: "Bill Walster" <bill.walster [at] Sun [dot] COM>
Sent: Wednesday, April 20, 2005 3:38 PM
Subject: RE: Sun's interval patents


> Dear Ray:
>
>  Is there a larger organized
> community that might put their
> weight behind this?  I'm thinking
> ohe AMS, the MAA,  SIAM, or maybe
> all three together?
>
>  Thanks.
>
> Greg Coxson
>  Mail Stop 137-228
>  Telephone (856) 722-7302
>  FAX  (856) RCA-DUDE
>
>
> -----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: Wednesday, April 20, 2005 2:35 PM
> To: Martin Berz; reliable_computing [at] interval [dot] louisiana.edu
> Cc: Bill Walster
> Subject: Re: Sun's interval patents
>
> Bill,
>
> This is an absolutely intolerable situation, and you need to do
> something
> about it, asap.
>
> Ray Moore
>
> ----- Original Message ----- 
> From: "Martin Berz" <berz [at] msu [dot] edu>
> To: <reliable_computing [at] interval [dot] louisiana.edu>
> Sent: Wednesday, April 20, 2005 12:19 PM
> Subject: Re: Sun's interval patents
>
>
>> Zenon, George, Vladik,
>>
>> indeed the patents would interfere with most interval tools, and this
> has
>> all
>> kinds of consequences. Unfortunately from our end, this situation has
> now
>> led
>> to the fact that we are not allowed to talk to people involved in the
>> patent
>> applications anymore to prevent any conceivable later claims of
> knowledge
>> transfer about material in the applications. This is of course similar
> to
>> the
>> way that SUN isn't talking about it either, and it unfortunately seems
> to
>> be
>> the way lawyers do want to handle such matters.
>>
>> In fact, the funding agencies DOE and NSF are very worried about
>> endangering
>> the approximately $5 Million that went into the development of our
> COSY
>> tool
>> so far, because obviously several pieces of it would fall under the
> claims
>> of
>> the patent applications. So the COSY project could conceivably be shut
>
>> down or
>> at least attacked and hopelessly bogged down by an overzealous army of
> SUN
>> lawyers. How far-fetched is this worry? Who knows; I would have
> considered
>> it
>> hopelessly far-fetched to think that anyone would want to apply for
> such
>> patents in the first place.
>>
>> Just recently this had the very frustrating effect that we cannot
> interact
>> anymore with one of our past valued consultants who is involved on the
>
>> fringe
>> of the patent issues. We also could not follow a request from the
> European
>> Space Agency to apply the COSY validated integrators to some of their
>> solar
>> system orbit problems, since although ESA stated to me that they
> strongly
>> discourage such patent efforts, some of their potential contractors
> are
>> apparently involved in it.
>>
>> What a pity it all is.
>>
>> Martin Berz
>>
>>
>>
>
>
>
>
> 



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Apr 20 15:45:18 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KKjIAt000800
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 15:45:18 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3KKjImH000799
	for reliable_computing-outgoing; Wed, 20 Apr 2005 15:45:18 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3KKj9ZY000795
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 20 Apr 2005 15:45:15 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j3KKiuX11717;
	Wed, 20 Apr 2005 14:44:56 -0600 (MDT)
Message-Id: <200504202044.j3KKiuX11717 [at] cs [dot] utep.edu>
Date: Wed, 20 Apr 2005 14:44:55 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: ISSAC 2005 Beijing, 2nd CALL FOR POSTERS ---
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: ikotsire [at] wlu [dot] ca
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: uCMAg6uGD+ZEWrsBWejbZA==
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 j3KKjFZY000796
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

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

From: Ilias Kotsireas <ikotsire [at] wlu [dot] ca>


            (apologies for multiple receptions) 

		   2nd CALL FOR POSTERS
		   ====================
 International Symposium on Symbolic and Algebraic Computation
 =============================================================
		ISSAC 2005, Beijing, P. R. China
		================================

ISSAC, the International Symposium on Symbolic and Algebraic Computation,
is an annual gathering of the Symbolic Mathematical Computation community.
ISSAC 2005 is scheduled for July 24-—27, 2005 at the Key Laboratory of
Mathematics Mechanization, Chinese A cademy of Sciences, Beijing, China.

ISSAC 2005 is expected to be very well attended. More than 110 papers were
submitted for review. Planned conference activities include invited
presentations, research and survey papers, poster sessions, tutorial
courses, vendor exhibits, and software demonstrations. Proceedings, as
well as abstracts of all posters, will be distributed at the conference. 

The Poster Sessions are an ideal avenue for presenting recent research
results or reports on ongoing research projects that might not yet be
complete, but whose preliminary results are already of potential interest
to the community. Especially welcome are posters describing
implementations of algorithms, computer algebra systems, and applications
of computer algebra and symbolic computation in the domains of education,
science, and industry. 

To encourage submissions of good quality, a prize will be awarded for the
best poster presented. Posters will be reviewed by a panel for content
correctness, relevance, and style of presentation. 

Abstracts of final versions of accepted posters will be distributed at the
conference, and will appear in the Communications in Computer Algebra, a
quarterly publication of the Special Interest Group on Symbolic &
Algebraic Manipulation (SIGSAM), ACM. All accepted posters will be
archived for public download, at the website of SIGSAM.

TOPICS OF INTEREST
 
Topics of the meeting include, but are not limited to:

* Algorithmic Mathematics: Algebraic, symbolic, and symbolic-numeric
algorithms. Simplification, function manipulation, ODE/PDE solving,
summation, integration, linear algebra, number theory, group and geometric
computing. 

* Computer Science: Treatments of theoretical and practical problems in
symbolic computation. Systems, problem solving environments, user
interfaces, software, libraries, parallel and distributing computing,
programming languages for symbolic computations , concrete analysis,
benchmarking, theoretical and practical complexity of computer algebra
algorithms, automatic differentiation, code generation, mathematical data
structures and exchange protocols.

* Applications: Problem treatments using algebraic, symbolic, or
symbolic-numeric computation in an essential or novel way for engineering,
economics and finance, physical and biological sciences, computer science,
logic, mathematics, statistics, and educ ation.

SUBMISSION GUIDELINES:

Authors are invited to submit an abstract of no more than 900 words by
electronic mail to Austin Lobo at the address alobo2 [at] washcoll [dot] edu. 
Portable Document Format (pdf) or PostScript is preferred, but TeX or
LaTeX source, or plain text are also acceptable . 

The deadline for submission of abstracts is May 17, 2005.  
Notification of acceptance will be made by June 14, 2005.
 
The deadline for submission of the final version of the abstract, and the
LaTeX source of the final version of an accepted poster is June 28, 2005. 

INSTRUCTIONS FOR POSTER PREPARATION

Authors should prepare posters that fit the A0 size, i.e. a maximum of 33
inches (84 cm) wide by 46 inches (117 cm) high, or 46 inches (117 cm) wide
by 33 inches (84 cm) high. Posters will be pinned onto display boards at
the conference site. 

All accepted posters will be printed at the conference site in Beijing by
the organizers of ISSAC 2005, at no cost to their authors.

Authors should strive to make their posters visually appealing and
viewer-friendly. In particular, the dense typesetting typical of journal
articles should be avoided. To ensure that the posters are of high
quality, authors are advised to use poster-prepa ration tools such as
LaTeX, Xfig, and PowerPoint. 

Prospective authors are encouraged to visit the following sites for
tutorials and other information on poster preparation

http://www.ncsu.edu/project/posters/
http://www.acronymchile.com/poster.html
http://lcavwww.epfl.ch/~ridolfi/personal/linuxstuff/latex.html
http://www.see.ed.ac.uk/~neural/oldISG/posters/xfig_posters.html
http://www.maths.ox.ac.uk/help/faqs/latex/xfig-poster.shtml 

POSTER COMMITTEE CHAIR: Austin Lobo, Washington College, USA. 

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




From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Apr 21 15:17:52 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3LKHq4p002960
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Thu, 21 Apr 2005 15:17:52 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3LKHqUG002959
	for reliable_computing-outgoing; Thu, 21 Apr 2005 15:17:52 -0500 (CDT)
Received: from ms-smtp-04-eri0.ohiordc.rr.com (ms-smtp-04-smtplb.ohiordc.rr.com [65.24.5.138])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3LKHdZc002954
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 21 Apr 2005 15:17:47 -0500 (CDT)
Received: from Moore (cpe-204-210-226-111.columbus.res.rr.com [204.210.226.111])
	by ms-smtp-04-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id j3LKHSHJ001864;
	Thu, 21 Apr 2005 16:17:31 -0400 (EDT)
Message-ID: <004701c546af$33173ff0$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: "G. William Walster" <Bill.Walster [at] sun [dot] com>
Cc: <reliable_computing [at] interval [dot] louisiana.edu>, "Martin Berz" <berz [at] msu [dot] edu>,
        "George Corliss" <George.Corliss [at] marquette [dot] edu>,
        "Scott Ferson" <scott [at] ramas [dot] com>,
        "Coxson, Gregory E" <gregory.e.coxson [at] lmco [dot] com>,
        <wlodwick [at] math [dot] cudenver.edu>, <John.Busch [at] sun [dot] com>
References: <003501c546a1$4929ead0$1702a8c0@Moore> <4268079F.2000406 [at] sun [dot] com>
Subject: Re: Fw: Sun's interval patents
Date: Thu, 21 Apr 2005 16:17:52 -0400
MIME-Version: 1.0
Content-Type: text/plain;
	format=flowed;
	charset="iso-8859-1";
	reply-type=response
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Thanks, Bill. I will forward this to the group, hoping it helps allay their 
concerns.

Ray Moore

----- Original Message ----- 
From: "G. William Walster" <Bill.Walster [at] sun [dot] com>
To: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
Sent: Thursday, April 21, 2005 4:05 PM
Subject: Re: Fw: Sun's interval patents


>
>
> Thanks, Ray.
>
> Your statement: "I feel certain that it was never the intention of people 
> at Sun Microsystems to stifle research and development of interval methods 
> of computing. " is exactly true.  Quite the contrary, we are eager for 
> interval R & D to progress as fast as possible.
>
> Cheers,
>
> Bill
>
>
>
> Ray Moore wrote:
>
>> Bill,
>>
>> In case you didn't get it.
>>
>> Ray
>>
>> ----- Original Message ----- From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
>> To: <reliable_computing [at] interval [dot] louisiana.edu>
>> Cc: <John.Busch [at] sun [dot] com>
>> Sent: Wednesday, April 20, 2005 3:16 PM
>> Subject: Fw: Sun's interval patents
>>
>>
>>> Dear John and all,
>>>
>>> THIS IS EXTREMELY IMPORTANT
>>>
>>> I feel certain that it was never the intention of people at Sun 
>>> Microsystems to stifle research and development of interval methods of 
>>> computing. I understand that Sun is a business, however the methods of 
>>> computing with interval numbers go back at least to my own early work 
>>> while at Lockheed during the late 1950's and early 1960's. Since that 
>>> time there has been free and open exchange of ideas in many publications 
>>> and at many international meetings and through personal contacts, just 
>>> as it always is, or should be, in basic science. Commercial applications 
>>> come later. None of the patent applications referred to in the 
>>> correspondence below are involve commercial applications. Rather they 
>>> are only particular instances of ways of programming basic interval 
>>> computational operations or techniques. It should be made CLEAR to the 
>>> many hundreds of concerned researchers that they should relax about 
>>> fears of their work being put in jeopardy by Sun lawyers.
>>>
>>> It makes no more sense to cause such fears than it would have back 
>>> during the introduction of the calculus by Newton and Leibnitz. I recall 
>>> there was some sort of rivalry about that, but fortunately the lawyers 
>>> of that distant day did not prevent the evolution of ideas and 
>>> techniques which led to the many spectacular benefits to all of mankind 
>>> from applications of the techniques of the calculus. Of course 
>>> businesses also benefitted. Businesses are part of mankind.
>>> It is one of the many things they do.
>>>
>>> Let us sort all this out ASAP.
>>>
>>> best wishes to ALL,
>>>
>>> Ramon Moore
>>>
>>>
>>>
>>> ----- Original Message ----- From: "G. William Walster" 
>>> <Bill.Walster [at] sun [dot] com>
>>> To: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
>>> Sent: Wednesday, April 20, 2005 2:40 PM
>>> Subject: Re: Sun's interval patents
>>>
>>>
>>>>
>>>> Ray,
>>>>
>>>> I've been directed by my boss to do and say nothing about this.  Please 
>>>> feel free to write to anybody within Sun
>>>> regarding what you think can and should be done.  My hands
>>>> are tied. :(
>>>>
>>>> Sorry,
>>>>
>>>> Bill
>>>>
>>>>
>>>> Ray Moore wrote:
>>>>
>>>>> Bill,
>>>>>
>>>>> This is an absolutely intolerable situation, and you need to do 
>>>>> something about it, asap.
>>>>>
>>>>> Ray Moore
>>>>>
>>>>> ----- Original Message ----- From: "Martin Berz" <berz [at] msu [dot] edu>
>>>>> To: <reliable_computing [at] interval [dot] louisiana.edu>
>>>>> Sent: Wednesday, April 20, 2005 12:19 PM
>>>>> Subject: Re: Sun's interval patents
>>>>>
>>>>>
>>>>>> Zenon, George, Vladik,
>>>>>>
>>>>>> indeed the patents would interfere with most interval tools, and this 
>>>>>> has all
>>>>>> kinds of consequences. Unfortunately from our end, this situation has 
>>>>>> now led
>>>>>> to the fact that we are not allowed to talk to people involved in the 
>>>>>> patent
>>>>>> applications anymore to prevent any conceivable later claims of 
>>>>>> knowledge
>>>>>> transfer about material in the applications. This is of course 
>>>>>> similar to the
>>>>>> way that SUN isn't talking about it either, and it unfortunately 
>>>>>> seems to be
>>>>>> the way lawyers do want to handle such matters.
>>>>>>
>>>>>> In fact, the funding agencies DOE and NSF are very worried about 
>>>>>> endangering
>>>>>> the approximately $5 Million that went into the development of our 
>>>>>> COSY tool
>>>>>> so far, because obviously several pieces of it would fall under the 
>>>>>> claims of
>>>>>> the patent applications. So the COSY project could conceivably be 
>>>>>> shut down or
>>>>>> at least attacked and hopelessly bogged down by an overzealous army 
>>>>>> of SUN
>>>>>> lawyers. How far-fetched is this worry? Who knows; I would have 
>>>>>> considered it
>>>>>> hopelessly far-fetched to think that anyone would want to apply for 
>>>>>> such
>>>>>> patents in the first place.
>>>>>>
>>>>>> Just recently this had the very frustrating effect that we cannot 
>>>>>> interact
>>>>>> anymore with one of our past valued consultants who is involved on 
>>>>>> the fringe
>>>>>> of the patent issues. We also could not follow a request from the 
>>>>>> European
>>>>>> Space Agency to apply the COSY validated integrators to some of their 
>>>>>> solar
>>>>>> system orbit problems, since although ESA stated to me that they 
>>>>>> strongly
>>>>>> discourage such patent efforts, some of their potential contractors 
>>>>>> are
>>>>>> apparently involved in it.
>>>>>>
>>>>>> What a pity it all is.
>>>>>>
>>>>>> Martin Berz
>>>>>>
>>>>>>
>>>>>>
>>>>>
>>>>>
>>>>
>>>>
>>>
>>
>>
>
> 



From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Apr 22 02:36:43 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3M7ag7v003861
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 02:36:42 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3M7ag5p003860
	for reliable_computing-outgoing; Fri, 22 Apr 2005 02:36:42 -0500 (CDT)
Received: from scanner2.ics.uci.edu (root [at] scanner2 [dot] ics.uci.edu [128.195.1.36])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3M7aWWU003856
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 02:36:38 -0500 (CDT)
Received: from igor.ics.uci.edu (igor.ics.uci.edu [128.195.4.119])
	by scanner2.ics.uci.edu (8.12.10/8.12.10) with ESMTP id j3M7ZMAH006990;
	Fri, 22 Apr 2005 00:35:23 -0700 (PDT)
Date: Fri, 22 Apr 2005 00:35:05 -0700
From: Wayne Hayes <wayne [at] igor [dot] ics.uci.edu>
To: Ray Moore <rmoore17 [at] columbus [dot] rr.com>
Cc: "G. William Walster" <Bill.Walster [at] sun [dot] com>,
        reliable_computing [at] interval [dot] louisiana.edu, Martin Berz <berz [at] msu [dot] edu>,
        George Corliss <George.Corliss [at] marquette [dot] edu>,
        Scott Ferson <scott [at] ramas [dot] com>,
        "Coxson, Gregory E" <gregory.e.coxson [at] lmco [dot] com>,
        wlodwick [at] math [dot] cudenver.edu, John.Busch [at] sun [dot] com
Subject: Re: Fw: Sun's interval patents
Message-ID: <20050422073505.GA15664 [at] igor [dot] ics.uci.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.4i
X-ICS-MailScanner: Found to be clean
X-ICS-MailScanner-SpamCheck: not spam (whitelisted),
	SpamAssassin (score=-95.638, required 5, MAILTO_TO_SPAM_ADDR,
	MSGID_FROM_MTA_SHORT, USER_IN_WHITELIST)
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

> From: "G. William Walster" <Bill.Walster [at] sun [dot] com>
> To: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
> Sent: Thursday, April 21, 2005 4:05 PM
> Subject: Re: Fw: Sun's interval patents
> 
> >Thanks, Ray.
> >
> >Your statement: "I feel certain that it was never the intention of people 
> >at Sun Microsystems to stifle research and development of interval methods 
> >of computing. " is exactly true.  Quite the contrary, we are eager for 
> >interval R & D to progress as fast as possible.
> >
> >Cheers,
> >
> > Bill

This statement is absolutely meaningless, regardless of Bill's apparent
good will.  It carries absolutely no legal weight and certainly will
NOT allay anybody's fears. In particular it will not allay the fears of
those lawyers who dictate to us what we should and should not do, and
who we should or should not collaborate with, and it will certainly
carry zero weight in court should Sun, at some future date, decide
to sue those infringing on its spuriously granted patents.

What WOULD be meaningful would be for Sun to do the following with
its patents that pertain to prior art: to release those currently
owned patents to the public domain, and to either drop its current
applications or publicly announce that intends to release said
patents to the public domain upon having them granted.

Bill's statement does NOTHING to change the fact that, as Ray
previously stated, this situation is completely unacceptable, and
Bill's apparently well-meaning statement is, unfortunately, entirely
vacuous.

And of course, you can bet your buns that Sun is completely out of the
running to supply the cluster of computers that I intend to buy in the
near future.  And I will vehemently attempt to disuade any of my
co-workers from buying Suns as well, until this mess is cleared up.

It is quite possible that the only measure that will convince Sun to
pony up the patents is to convince them that it will hurt them
in the pocket book.  That is the traditional way to convince
corporations that they are doing something unpopular.  Since academia
is a substantial customer to Sun, perhaps it is time that we start
speaking up loudly and clearly to our colleagues about Sun's
actions in this regard.

 - Wayne

From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Apr 22 05:54:37 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MAsbVp004456
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 05:54:37 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3MAsaX4004455
	for reliable_computing-outgoing; Fri, 22 Apr 2005 05:54:36 -0500 (CDT)
Received: from ms-smtp-02-eri0.ohiordc.rr.com (ms-smtp-02-smtplb.ohiordc.rr.com [65.24.5.136])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MAsODX004451
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 05:54:33 -0500 (CDT)
Received: from Moore (cpe-204-210-226-111.columbus.res.rr.com [204.210.226.111])
	by ms-smtp-02-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id j3MAs6XX018336;
	Fri, 22 Apr 2005 06:54:08 -0400 (EDT)
Message-ID: <000d01c54729$a9d6e030$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: <John.Busch [at] sun [dot] com>
Cc: "Bill Walster" <bill.walster [at] sun [dot] com>,
        "reliable computing" <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Fw: Fw: Sun's interval patents
Date: Fri, 22 Apr 2005 06:54:31 -0400
MIME-Version: 1.0
Content-Type: text/plain;
	format=flowed;
	charset="iso-8859-1";
	reply-type=response
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear John, Bill and all:

I trust that people at Sun will take these concerns seriously, and for the 
good of all, including Sun, make the necessary changes. People have been 
writing and distributing computer programs using interval operations and 
interval algorithms for more than 40 years DIFEQ integration routine - 
user's manual, and will continue to do so.

In order "for interval R & D to progress as fast as possible", it is 
necessary that Sun dispel even the perception of a threat to take any legal 
action against anyone engaged in interval R&D including developing and 
distributing interval software.

Ramon Moore

----- Original Message ----- 
From: "Arnold Neumaier" <Arnold.Neumaier [at] univie [dot] ac.at>
To: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
Sent: Friday, April 22, 2005 4:31 AM
Subject: Re: Fw: Sun's interval patents


> Ray Moore wrote:
>
>> Thanks, Bill. I will forward this to the group, hoping it helps allay 
>> their concerns.
>
> So far this doesn't mean anything. SUN can still take legal action
> against anyone affected by their patents.
>
> We need an official statement of SUN that they will not enforce
> these patents against anyone creating or using implementations
> of these ideas in a public domain or GNU licenced program.
>
>
> Arnold Neumaier
>
>
>
>>
>> Ray Moore
>>
>> ----- Original Message ----- From: "G. William Walster" 
>> <Bill.Walster [at] sun [dot] com>
>> To: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
>> Sent: Thursday, April 21, 2005 4:05 PM
>> Subject: Re: Fw: Sun's interval patents
>>>
>>> Thanks, Ray.
>>>
>>> Your statement: "I feel certain that it was never the intention of 
>>> people at Sun Microsystems to stifle research and development of 
>>> interval methods of computing. " is exactly true.  Quite the contrary, 
>>> we are eager for interval R & D to progress as fast as possible.
>>>
>>> Cheers,
>>>
>>> Bill
>>>
> 



From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Apr 22 06:01:50 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MB1okw004473
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 06:01:50 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3MB1o0I004472
	for reliable_computing-outgoing; Fri, 22 Apr 2005 06:01:50 -0500 (CDT)
Received: from ms-smtp-02-eri0.ohiordc.rr.com (ms-smtp-02-smtplb.ohiordc.rr.com [65.24.5.136])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MB1fFu004468
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 06:01:46 -0500 (CDT)
Received: from Moore (cpe-204-210-226-111.columbus.res.rr.com [204.210.226.111])
	by ms-smtp-02-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id j3MB1WXX028772;
	Fri, 22 Apr 2005 07:01:34 -0400 (EDT)
Message-ID: <002101c5472a$a4f4eac0$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: <John.Busch [at] sun [dot] com>
Cc: "Bill Walster" <bill.walster [at] sun [dot] com>,
        "reliable computing" <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Missing link
Date: Fri, 22 Apr 2005 07:01:32 -0400
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_001E_01C54709.1D96FF80"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

This is a multi-part message in MIME format.

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

Sorry I miscopied it in my previous message, but here:

Here is the missing link:

DIFEQ integration routine - user's manual

It is a 1964 publication which was distributed and used in a number of =
real world applications. ALL the operations and techniques were =
published in open literature soon after that,
in my 1966 book Interval Analysis and elsewhere.

Ramon Moore
------=_NextPart_000_001E_01C54709.1D96FF80
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 http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2900.2627" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Sorry I&nbsp;miscopied it in my =
previous message,=20
but here:</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Here is the missing link:</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT>&nbsp;</DIV>
<DIV><A=20
href=3D"http://interval.louisiana.edu/Moores_early_papers/Moore_DIFEQ.pdf=
">DIFEQ=20
integration routine - user's manual</A></DIV>
<DIV><FONT face=3DArial size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>It is a 1964 publication which was =
distributed and=20
used in a number of real world applications. ALL the operations and =
techniques=20
were published in open literature soon after that,</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>in my 1966 book Interval Analysis and=20
elsewhere.</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Ramon Moore</FONT></DIV></BODY></HTML>

------=_NextPart_000_001E_01C54709.1D96FF80--



From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Apr 22 07:09:59 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MC9xen004569
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 07:09:59 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3MC9xMi004568
	for reliable_computing-outgoing; Fri, 22 Apr 2005 07:09:59 -0500 (CDT)
Received: from ms-smtp-01-eri0.ohiordc.rr.com (ms-smtp-01-smtplb.ohiordc.rr.com [65.24.5.135])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MC9nn1004564
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 07:09:55 -0500 (CDT)
Received: from Moore (cpe-204-210-226-111.columbus.res.rr.com [204.210.226.111])
	by ms-smtp-01-eri0.ohiordc.rr.com (8.12.10/8.12.7) with SMTP id j3MC9ZWa005081;
	Fri, 22 Apr 2005 08:09:37 -0400 (EDT)
Message-ID: <004f01c54734$274434a0$1702a8c0@Moore>
From: "Ray Moore" <rmoore17 [at] columbus [dot] rr.com>
To: "G. William Walster" <Bill.Walster [at] sun [dot] com>,
        <reliable_computing [at] interval [dot] louisiana.edu>,
        "Martin Berz" <berz [at] msu [dot] edu>,
        "George Corliss" <George.Corliss [at] marquette [dot] edu>,
        "Scott Ferson" <scott [at] ramas [dot] com>,
        "Coxson, Gregory E" <gregory.e.coxson [at] lmco [dot] com>,
        <wlodwick [at] math [dot] cudenver.edu>, <John.Busch [at] sun [dot] com>,
        <Arnold.Neumaier [at] univie [dot] ac.at>
Subject: Sun's interval patents
Date: Fri, 22 Apr 2005 08:09:35 -0400
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_004C_01C54712.9F16C460"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

This is a multi-part message in MIME format.

------=_NextPart_000_004C_01C54712.9F16C460
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

In case you did not get this. Sorry if this is a duplicate.
Ray Moore

Dear John, Bill and all:

I trust that people at Sun will take these concerns seriously, and for =
the=20
good of all, including Sun, make the necessary changes. People have been =

writing and distributing computer programs using interval operations and =

interval algorithms for more than 40 years DIFEQ integration routine - =
user's manual,=20
and will continue to do so.

In order "for interval R & D to progress as fast as possible", it is=20
necessary that Sun dispel even the perception of a threat to take any =
legal=20
action against anyone engaged in interval R&D including developing and=20
distributing interval software.

Ramon Moore

------=_NextPart_000_004C_01C54712.9F16C460
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 http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2900.2627" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>In case you did not get this. Sorry if =
this is a=20
duplicate.</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>Ray Moore</FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman"=20
size=3D3></FONT></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>Dear John, Bill=20
and all:<BR><BR>I trust that people at Sun will take these concerns =
seriously,=20
and for the <BR>good of all, including Sun, make the necessary changes. =
People=20
have been <BR>writing and distributing computer programs using interval=20
operations and <BR>interval algorithms for more than 40 years <A=20
href=3D"http://interval.louisiana.edu/Moores_early_papers/Moore_DIFEQ.pdf=
">DIFEQ=20
integration routine - user's manual</A>, </FONT></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>and will=20
continue to do so.<BR><BR>In order "for interval R &amp; D to progress =
as fast=20
as possible", it is <BR>necessary that Sun dispel even the perception of =
a=20
threat to take any legal <BR>action against anyone engaged in interval =
R&amp;D=20
including developing and <BR>distributing interval =
software.<BR><BR>Ramon=20
Moore</FONT><BR></DIV></FONT></BODY></HTML>

------=_NextPart_000_004C_01C54712.9F16C460--



From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Apr 22 07:24:50 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MCOoJL004593
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 07:24:50 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3MCOolR004592
	for reliable_computing-outgoing; Fri, 22 Apr 2005 07:24:50 -0500 (CDT)
Received: from its-exsmtp1.marqnet.mu.edu (email.marquette.edu [134.48.20.169])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MCOfhk004588
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 07:24:47 -0500 (CDT)
Received: from its-exfe1.marqnet.mu.edu ([134.48.20.165]) by its-exsmtp1.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211);
	 Fri, 22 Apr 2005 07:24:26 -0500
Received: from [192.168.1.101] ([134.48.233.100] RDNS failed) by its-exfe1.marqnet.mu.edu with Microsoft SMTPSVC(6.0.3790.211);
	 Fri, 22 Apr 2005 07:24:25 -0500
User-Agent: Microsoft-Entourage/10.1.4.030702.0
Date: Fri, 22 Apr 2005 07:24:48 -0500
Subject: Re: Sun's interval patents
From: George Corliss <George.Corliss [at] marquette [dot] edu>
To: Ray Moore <rmoore17 [at] columbus [dot] rr.com>,
        "G. William Walster" <Bill.Walster [at] sun [dot] com>,
        <reliable_computing [at] interval [dot] louisiana.edu>,
        Martin Berz <berz [at] msu [dot] edu>, Scott Ferson <scott [at] ramas [dot] com>,
        "Coxson, Gregory E" <gregory.e.coxson [at] lmco [dot] com>,
        <wlodwick [at] math [dot] cudenver.edu>, <John.Busch [at] sun [dot] com>,
        <Arnold.Neumaier [at] univie [dot] ac.at>
CC: George Corliss <George.Corliss [at] marquette [dot] edu>
Message-ID: <BE8E5740.169EB%George.Corliss [at] Marquette [dot] edu>
In-Reply-To: <004f01c54734$274434a0$1702a8c0@Moore>
Mime-version: 1.0
Content-type: multipart/alternative; boundary="B_3196999488_3373719"
X-OriginalArrivalTime: 22 Apr 2005 12:24:25.0904 (UTC) FILETIME=[38F0D300:01C54736]
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

> This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.

--B_3196999488_3373719
Content-type: text/plain; charset="ISO-8859-1"
Content-transfer-encoding: quoted-printable

Thanks Ray.

This concern may be broader than just the interval community.  When I
started to tell the story to my university IP attorney, he said, =B3I'm
acquainted with the Sun problem.=B2  When I mentioned to Jorge More at Argonn=
e
an interval project I=B9m proposing, he said, =B3But the Sun efforts to patent
interval work may put a serious damper on this project.=B2 Neither of them ar=
e
intervalers.  And that=B9s just conversations in one day.

Concern is not =B3just=B2 among the interval folks.

I join Ray in urging Sun to put their interval patents into the public
domain. Then both Sun and the research community are protected.

Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
PO Box 1881=20
1515 W. Wisconsin Ave.
Milwaukee WI 53201-1881 USA
414-288-6599; Fax: 288-5579; Dept. 288-6280
George.Corliss [at] Marquette [dot] edu



> In case you did not get this. Sorry if this is a duplicate.
> Ray Moore
> =20
> Dear John, Bill and all:
>=20
> I trust that people at Sun will take these concerns seriously, and for th=
e
> good of all, including Sun, make the necessary changes. People have been
> writing and distributing computer programs using interval operations and
> interval algorithms for more than 40 years DIFEQ integration routine - us=
er's
> manual <http://interval.louisiana.edu/Moores_early_papers/Moore_DIFEQ.pdf=
> ,
> and will continue to do so.
>=20
> In order "for interval R & D to progress as fast as possible", it is
> necessary that Sun dispel even the perception of a threat to take any leg=
al
> action against anyone engaged in interval R&D including developing and
> distributing interval software.
>=20
> Ramon Moore
>=20



--B_3196999488_3373719
Content-type: text/html; charset="ISO-8859-1"
Content-transfer-encoding: quoted-printable

<HTML>
<HEAD>
<TITLE>Re: Sun's interval patents</TITLE>
</HEAD>
<BODY>
<FONT FACE=3D"Arial"><SPAN STYLE=3D'font-size:12.0px'>Thanks Ray.<BR>
<BR>
This concern may be broader than just the interval community. &nbsp;When I =
started to tell the story to my university IP attorney, he said, &#8220;</SP=
AN></FONT><SPAN STYLE=3D'font-size:12.0px'><FONT FACE=3D"Monaco"><TT>I'm acquain=
ted with the Sun problem.&#8221; &nbsp;When I mentioned to Jorge More at Arg=
onne an interval project I&#8217;m proposing, he said, &#8220;But the Sun ef=
forts to patent interval work may put a serious damper on this project.&#822=
1; Neither of them are intervalers. &nbsp;And that&#8217;s just conversation=
s in one day.<BR>
<BR>
Concern is not &#8220;just&#8221; among the interval folks.<BR>
<BR>
I join Ray in urging Sun to put their interval patents into the public doma=
in. Then both Sun and the research community are protected.<BR>
<BR>
</TT></FONT><FONT FACE=3D"Verdana">Dr. George F. Corliss<BR>
Electrical and Computer Engineering<BR>
Marquette University<BR>
PO Box 1881 <BR>
1515 W. Wisconsin Ave.<BR>
Milwaukee WI 53201-1881 USA<BR>
414-288-6599; Fax: 288-5579; Dept. 288-6280<BR>
George.Corliss [at] Marquette [dot] edu<BR>
<BR>
</FONT><FONT FACE=3D"Monaco"><TT><BR>
</TT></FONT><FONT FACE=3D"Arial"><BR>
</FONT></SPAN><BLOCKQUOTE><SPAN STYLE=3D'font-size:12.0px'><FONT FACE=3D"Arial"=
>In case you did not get this. Sorry if this is a duplicate.<BR>
Ray Moore<BR>
</FONT><FONT FACE=3D"Verdana"> <BR>
</FONT></SPAN><FONT SIZE=3D"4"><FONT FACE=3D"Times New Roman"><SPAN STYLE=3D'font=
-size:14.0px'>Dear John, Bill and all:<BR>
<BR>
I trust that people at Sun will take these concerns seriously, and for the =
<BR>
good of all, including Sun, make the necessary changes. People have been <B=
R>
writing and distributing computer programs using interval operations and <B=
R>
interval algorithms for more than 40 years DIFEQ integration routine - user=
's manual <a href=3D"http://interval.louisiana.edu/Moores_early_papers/Moore_D=
IFEQ.pdf">&lt;http://interval.louisiana.edu/Moores_early_papers/Moore_DIFEQ.=
pdf&gt;</a> , <BR>
and will continue to do so.<BR>
<BR>
In order &quot;for interval R &amp; D to progress as fast as possible&quot;=
, it is <BR>
necessary that Sun dispel even the perception of a threat to take any legal=
 <BR>
action against anyone engaged in interval R&amp;D including developing and =
<BR>
distributing interval software.<BR>
<BR>
Ramon Moore<BR>
</SPAN></FONT></FONT><FONT FACE=3D"Verdana"><SPAN STYLE=3D'font-size:12.0px'><B=
R>
</SPAN></FONT></BLOCKQUOTE><FONT FACE=3D"Verdana"><SPAN STYLE=3D'font-size:12.0=
px'><BR>
</SPAN></FONT>
</BODY>
</HTML>


--B_3196999488_3373719--


From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Apr 22 09:57:56 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MEvuom004910
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 09:57:56 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3MEvtOd004909
	for reliable_computing-outgoing; Fri, 22 Apr 2005 09:57:55 -0500 (CDT)
Received: from GreenSrv.rz.unibw-muenchen.de (greensrv.RZ.UniBw-Muenchen.de [137.193.10.35])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3MEveV8004905
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 22 Apr 2005 09:57:51 -0500 (CDT)
Received: from localhost (GreenSrv [127.0.0.1])
	by GreenSrv.rz.unibw-muenchen.de (8.12.8/8.12.8) with ESMTP id j3MEsf9p026757;
	Fri, 22 Apr 2005 16:54:41 +0200
Received: from GreenSrv.rz.unibw-muenchen.de ([127.0.0.1])
 by localhost (GreenSrv [127.0.0.1]) (amavisd-new, port 10024) with LMTP
 id 26555-02-3; Fri, 22 Apr 2005 16:54:36 +0200 (CEST)
Received: from informatik.unibw-muenchen.de (riemann.Informatik.UniBw-Muenchen.de [137.193.61.36])
	by GreenSrv.rz.unibw-muenchen.de (8.12.8/8.12.8) with ESMTP id j3MEpPkM026552
	(version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO);
	Fri, 22 Apr 2005 16:51:25 +0200
X-Remarks: If SPAM is relayed via GreenSrv.rz.unibw-muenchen.de to outside of unibw-muenchen.de, please report it to abuse@unibw-muenchen.de
Message-ID: <42690F68.8010200 [at] informatik [dot] unibw-muenchen.de>
Date: Fri, 22 Apr 2005 16:51:20 +0200
From: Peter Hertling <hertling [at] informatik [dot] unibw-muenchen.de>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de-DE; rv:1.0.1) Gecko/20020823 Netscape/7.0
X-Accept-Language: de-de, de
MIME-Version: 1.0
To: cca-list@fernuni-hagen.de, COMP-THY [at] LISTSERV [dot] ND.EDU, fom [at] cs [dot] nyu.edu,
        comprox [at] doc [dot] ic.ac.uk, reliable_computing [at] interval [dot] louisiana.edu,
        na.digest@na-net.ornl.gov, THEORYNT [at] LISTSERV [dot] NODAK.EDU
Subject: CCA 2005 - Third Call for Papers
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Virus-Scanned: by amavisd-new at GreenSrv.rz.unibw-muenchen.de
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

________________________________________________________________

   Third Announcement and Call for Papers
________________________________________________________________

   C C A   2 0 0 5

   Second International Conference on
   Computability and Complexity in Analysis

   August 25-29, 2005, Kyoto, Japan

   25-26: Satellite seminars
   27-29: Main conference

   http://cca-net.de/cca2005

________________________________________________________________

   Submissions:

   Authors are invited to submit a PostScript or PDF version of
   a paper to the email address provided on the web site of the
   conference.


   Dates:

   Submission:                        May 1, 2005
   Notification:                      June 5, 2005
   Camera-ready version:              July 3, 2005
   Satellite seminars and reception:  August 25-26, 2005
   Main conference:                   August 27-29, 2005


   Scope

   The conference is concerned with the theory of computability
   and complexity over real-valued data.

   Computability and complexity theory are two central areas
   of research in mathematical logic and theoretical computer
   science. Computability theory is the study of the limitations
   and abilities of computers in principle. Computational
   complexity theory provides a framework for understanding the
   cost of solving computational problems, as measured by the
   requirement for resources such as time and space.
   The classical approach in these areas is to consider
   algorithms as operating on finite strings of symbols from a
   finite alphabet. Such strings may represent various discrete
   objects such as integers or algebraic expressions, but cannot
   represent general real or complex numbers, unless they are
   rounded.

   Most mathematical models in physics and engineering, however,
   are based on the real number concept. Thus, a computability
   theory and a complexity theory over the real numbers and over
   more general continuous data structures is needed. Unlike the
   well established classical theory over discrete structures,
   the theory of computation over continuous data is still in
   its infancy, despite remarkable progress in recent years.
   Many important fundamental problems have not yet been studied,
   and presumably numerous unexpected and surprising results are
   waiting to be detected.

   Scientists working in the area of computation on real-valued
   data come from different fields, such as theoretical computer
   science, domain theory, logic, constructive mathematics,
   computer arithmetic, numerical mathematics and all branches
   of analysis. The conference provides a unique opportunity for
   people from such diverse areas to meet and exchange ideas and
   knowledge.

   The topics of interest include foundational work on various
   models and approaches for describing computability and
   complexity over the real numbers. They also include
   complexity-theoretic investigations, both foundational and
   with respect to concrete problems, and new implementations of
   exact real arithmetic, as well as further developments of
   already existing software packages. We hope to gain new
   insights into computability-theoretic aspects of various
   computational questions from physics and from other fields
   involving computations over the real numbers.


   Scientific Program Committee:

   Vasco Brattka          (Cape Town, South Africa)
   Peter Hertling, chair  (Munich, Germany)
   Hajime Ishihara        (Ishikawa, Japan)
   Iraj Kalantari         (Macomb, USA)
   Ker-I Ko               (Stony Brook, USA)
   Vladik Kreinovich      (El Paso, USA)
   Jack H. Lutz           (Ames, USA)
   Joseph S. Miller       (Bloomington, USA)
   Robert Rettinger       (Hagen, Germany)
   Matthias Schröder      (Edinburgh, Scotland)
   Alex Simpson           (Edinburgh, Scotland)
   Klaus Weihrauch        (Hagen, Germany)
   Atsushi Yoshikawa      (Kyushu, Japan)
   Xizhong Zheng          (Cottbus, Germany)
   Ning Zhong             (Cincinnati, USA)
   Martin Ziegler         (Odense, Denmark)


   Organizing Committee:

   Hiroyasu Kamo          (Nara, Japan)
   Takakazu Mori          (Kyoto, Japan)
   Izumi Takeuti          (Toho, Japan)
   Hideki Tsuiki, chair   (Kyoto, Japan)
   Yoshiki Tsujii         (Kyoto, Japan)
   Mariko Yasugi          (Kyoto, Japan)


   Invited Speakers

   Vasco Brattka          (Cape Town, South Africa)
   Masami Hagiya          (Tokyo, Japan)
   Daisuke Takahashi      (Waseda, Japan)


   Proceedings

   A technical report including the accepted papers will be
   distributed at the conference.

   It is planned to publish a special issue of the
   Journal of Complexity dedicated to the conference.
   After the workshop, the participants will be invited to
   submit their papers for publication in this special issue.
   The papers will be subject to the usual refereeing process
   of the journal.


   Satellite Seminars

   On August 25 and 26, 2005, there will be satellite seminars
   that will consist of introductory lectures to CCA and
   related areas. The following speakers have agreed to give
   introductory lectures (topic in brackets):

   Andrej Bauer      (Realizability for constructive and
                      computable mathematics)
   Martin Escardó    (Synthetic topology of computational spaces)
   Peter Hertling    (Computable analysis via representations)
   Norbert Müller    (Implementing exact real numbers efficiently)
   Hideyuki Suzuki   (Analog computation)
   Mariko Yasugi     (Computable versions of basic theorems in
                      functional analysis)
   Atsushi Yoshikawa (Computable versions of basic theorems in
                      functional analysis)


   Venue

   The conference will be held on the Yoshida Campus of
   Kyoto University.
   Kyoto was the imperial capital of Japan for over 1000 years
   until 1867. It has many famous temples, shrines, national
   treasures, and festivals, and it is still the cultural
   center of Japan. Kyoto is also known as an academic city
   with many universities and research institutes.


   Local Information

   Kyoto is about 100 km north-east of Kansai International
   Airport.
   All information concerning the conference venue, traveling,
   accommodation and registration will be provided here:
   http://www.i.h.kyoto-u.ac.jp/cca2005/


   Support:

   Some financial support will be available to cover part of
   the travel and hotel expenses of some of the speakers.
   Details are available here:
   http://www.i.h.kyoto-u.ac.jp/cca2005/support.html

   The conference is supported by the Graduate School of Human
   and Environmental Studies, Kyoto University.
________________________________________________________________



From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Apr 23 22:22:45 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3O3MjMn008989
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sat, 23 Apr 2005 22:22:45 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3O3Miqa008988
	for reliable_computing-outgoing; Sat, 23 Apr 2005 22:22:44 -0500 (CDT)
Received: from sys31.mail.msu.edu (sys31.mail.msu.edu [35.9.75.131])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3O3MZR8008984
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sat, 23 Apr 2005 22:22:40 -0500 (CDT)
Received: from c-24-11-149-116.hsd1.mi.comcast.net ([24.11.149.116] helo=TP570MSUMB)
	by sys31.mail.msu.edu with esmtpsa (Exim 4.44 #1)
	(TLSv1:RC4-MD5:128)
	id 1DPXhL-0003dX-LP
	for reliable_computing [at] interval [dot] louisiana.edu; Sat, 23 Apr 2005 23:22:19 -0400
From: "Martin Berz" <berz [at] msu [dot] edu>
To: "Reliable Computing" <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Re: SUN's attempt of patenting the interval knowledge
Date: Sat, 23 Apr 2005 23:22:04 -0400
Message-ID: <LOBBLFLDLCOABDBDAMICKEBLIFAA.berz [at] msu [dot] edu>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.6604 (9.0.2911.0)
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1478
Importance: Normal
X-Virus: None found by Clam AV
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Hello all,

> We need an official statement of SUN that they will not enforce
> these patents against anyone creating or using implementations
> of these ideas in a public domain or GNU licensed program.

That is not sufficient. The two prime US government funding agencies do not by
default allow work funded under their grants to be put in the public domain.
Rather, they usually license it for free to other government agencies,
academe, and other non-profit organizations, but not to entities that do not
make their products freely available themselves.

> Concern is not “just” among the interval folks.

Surely not; for one, the patent applications also cover most of automatic
differentiation. Also, of the more than 1000 licensed COSY users are not core
intervallers; they only want the code to work, and don't care much what it
uses inside. Those who already know about SUN's attempts overwhelmingly feel
deeply concerned, and the funding agencies urged us to inform all of them.
Worse yet, there is even movement to explicitly not make COSY available for
SUN platforms because of these problems.

I believe it is not an exaggeration to believe that to the COSY users, running
the code is more important than what machine it runs on. Earlier informal
estimates showed nearly 50% of them running on SUN, much to that company's
credit. Now this number may be lower, but whatever it is, this alone may
translate into several hundreds of lost high-end machine sales when upgrade
time comes. Likely more since the really high-end systems are often shared,
and if one user speaks up against a particular bidder, then that one is
eliminated.

As SUN is surely aware, much of its success with scientific researchers lies
in a perceived no-nonsense approach, the fact that SUN is viewed as "from
researchers for researchers", and that they are not just another IBM and
Microsoft. These patent issues have the power to torpedo this trust in SUN, at
least in a fraction of the scientific community in nuclear and particle
physics labs - and that cannot be in the interest of anybody.

Martin Berz


From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Apr 24 10:21:12 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3OFLCj1010271
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sun, 24 Apr 2005 10:21:12 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3OFLCCR010270
	for reliable_computing-outgoing; Sun, 24 Apr 2005 10:21:12 -0500 (CDT)
Received: from lakermmtao05.cox.net (lakermmtao05.cox.net [68.230.240.34])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3OFL2CV010266
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 24 Apr 2005 10:21:08 -0500 (CDT)
Received: from Inspiron-8200 ([68.226.133.93]) by lakermmtao05.cox.net
          (InterMail vM.6.01.04.00 201-2131-118-20041027) with SMTP
          id <20050424152046.IFCH13442.lakermmtao05.cox.net@Inspiron-8200>
          for <reliable_computing [at] interval [dot] louisiana.edu>;
          Sun, 24 Apr 2005 11:20:46 -0400
Message-Id: <2.2.32.20050424152032.00a22d98 [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: Sun, 24 Apr 2005 10:20:32 -0500
To: reliable_computing [at] interval [dot] louisiana.edu
From: "R. Baker Kearfott" <rbk [at] louisiana [dot] edu>
Subject: Re: SUN's attempt of patenting the interval knowledge
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Martin and the reliable computing community,

Please see my interpolated comments.

Best regards,

Baker

At 11:22 PM 4/23/2005 -0400, Martin Berz wrote:
>Hello all,
>
>> Concern is not "just" among the interval folks.
>
>Surely not; for one, the patent applications also cover most of automatic
>differentiation. Also, of the more than 1000 licensed COSY users are not core
>intervallers; they only want the code to work, and don't care much what it
>uses inside. 

On the other hand, there is a history of users thinking that the
code "works" while it is giving incomplete or erroneous answers, because
the code used is non-validated.  An example of this is the prize-winning work
of Mark Stadtherr et al in pointing out errors in widely used tables
listing molecular properties.  Thus, "what's under the hood" may matter,
but the users may not know it, due to lack of knowledge.  In such cases,
user-opinion alone should not be the determining factor for code acceptance,
but the users should be further educated.

>Those who already know about SUN's attempts overwhelmingly feel
>deeply concerned, and the funding agencies urged us to inform all of them.
>Worse yet, there is even movement to explicitly not make COSY available for
>SUN platforms because of these problems.
>

Please explain the logic of this.  Is the reason not to use Sun equipment
something to do with avoiding legal problems, is it to "boycott" someone
who does bad practices, or is there some other reason?

>I believe it is not an exaggeration to believe that to the COSY users, running
>the code is more important than what machine it runs on. Earlier informal
>estimates showed nearly 50% of them running on SUN, much to that company's
>credit. Now this number may be lower, but whatever it is, this alone may
>translate into several hundreds of lost high-end machine sales when upgrade
>time comes. Likely more since the really high-end systems are often shared,
>and if one user speaks up against a particular bidder, then that one is
>eliminated.
>
>As SUN is surely aware, much of its success with scientific researchers lies
>in a perceived no-nonsense approach, the fact that SUN is viewed as "from
>researchers for researchers", and that they are not just another IBM and
>Microsoft. These patent issues have the power to torpedo this trust in SUN, at
>least in a fraction of the scientific community in nuclear and particle
>physics labs - and that cannot be in the interest of anybody.
>

Certainly, Sun began as a company to supply the scientific
and engineering community, and continued
to do so as Microsoft and Intel emerged in the popular market.  My 
perception is that Sun has moved away from that as its primary 
business pursuit in recent years.  The question now is "Is there a
company today whose primary mission is to supply academic and
scientific interests?"


---------------------------------------------------------------
R. Baker Kearfott,    rbk [at] louisiana [dot] edu   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------



From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Apr 24 22:07:50 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3P37n5a011096
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sun, 24 Apr 2005 22:07:50 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3P37nJe011095
	for reliable_computing-outgoing; Sun, 24 Apr 2005 22:07:49 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3P37f70011091
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 24 Apr 2005 22:07:47 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j3P37D911568;
	Sun, 24 Apr 2005 21:07:13 -0600 (MDT)
Message-Id: <200504250307.j3P37D911568 [at] cs [dot] utep.edu>
Date: Sun, 24 Apr 2005 21:07:14 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Symposium in Toulouse on Robust Control Design 
To: reliable_computing [at] interval [dot] louisiana.edu
Cc: henrion [at] laas [dot] fr
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: l5dXt0fmFyWUiNv6Xxz4yA==
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

A conference of potential interest to many interval computations researchers. 
Forwarding. Vladik
******************************************************************************

From: Didier Henrion <henrion [at] laas [dot] fr>

First call for papers
IFAC SYMPOSIUM ON ROBUST CONTROL DESIGN (ROCOND'06)
Toulouse, France, July 5-7, 2006

www.laas.fr/rocond06
rocond06 [at] laas [dot] fr

This IFAC Symposium on Robust Control Design is the 5th of the series,
following Rio de Janeiro (1994), Budapest (1997), Prague (2000)
and Milan (2003). It will take place in the ancient tobacco factory
(manufacture des tabacs), in the historical center of Toulouse.

SCOPE
The field of robust control provides the theoretical principles and
the numerical tools used to design engineering control systems that
give adequate performance within an uncertain environment. Robust
control theory is built on applied mathematics, operations research
(optimization) and computer science (complexity and algorithm
theory). Deeply rooted in rigorous mathematics, the aim of robust
control is to develop theoretical and computational tools for
versatile practical applications ranging from guidance and control of
aerospace systems, control systems for the manufacturing industries,
and control of communication systems. The symposium aims at bringing
together experts from control theory (applied mathematics, convex
optimization) and applied control engineering (aerospace,
biotechnologies) to discuss the state-of-the-art in robust control.

SPONSORS
Sponsored by the IFAC Technical Committee on Robust Control
Co-sponsored by the IFAC Technical Committee on Control Design
Co-sponsored by the IFAC Technical Committee on Linear Systems
Local sponsors: SEE and LAAS-CNRS
Financial support: CNRS


From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Apr 25 10:25:17 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3PFPHXP012437
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 25 Apr 2005 10:25:17 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3PFPGDq012436
	for reliable_computing-outgoing; Mon, 25 Apr 2005 10:25:16 -0500 (CDT)
Received: from imeil.udg.es (imeil.udg.es [130.206.45.97])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3PFP3DZ012395
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 25 Apr 2005 10:25:10 -0500 (CDT)
Received: from imeil.udg.es (avirimeil.udg.es [130.206.45.95])
	by imeil.udg.es (8.11.6/out/otb) with ESMTP id j3PFOhJ08399
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 25 Apr 2005 17:24:43 +0200
Received: from eia.udg.es (silver.udg.es [130.206.129.16])
	by imeil.udg.es (8.11.6/in/otb) with ESMTP id j3PFOha08392
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 25 Apr 2005 17:24:43 +0200
Received: from PCEIA000 (pceia000.udg.es [130.206.129.66])
	by eia.udg.es (8.8.5/8.8.5) with ESMTP id RAA10220
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 25 Apr 2005 17:24:41 +0200 (MET DST)
Message-Id: <200504251524.RAA10220 [at] eia [dot] udg.es>
From: "Josep Vehi" <vehi [at] silver [dot] udg.es>
To: <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Interval Session at ROCOND06 in Toulouse
Date: Mon, 25 Apr 2005 17:24:49 +0200
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_0083_01C549BB.AF38BB90"
X-Mailer: Microsoft Office Outlook, Build 11.0.6353
Thread-Index: AcVJqut+k1iWOQhRQ72bqk+CopbEJQ==
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

This is a multi-part message in MIME format.

------=_NextPart_000_0083_01C549BB.AF38BB90
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit

Apologies if you receive multiple copies

------------------_____________________________________

 

Dear colleagues,

 

This is an invitation to participate in the special session on "Interval
methods for guaranteed parameter and state estimation" we plan to organize
in the framework of the 6th IFAC SYMPOSIUM ON ROBUST CONTROL DESIGN
(ROCOND'06) to be held in Toulouse, France, July 5-7, 2006
(www.laas.fr/rocond06).

 

If you are interested to participate in this special session, please let us
know as soon as possible. Please note that the deadline for submission is
September 1st, therefore full papers in the appropriate format should be
sent to us before August 26th.

 

State or parameter estimation problems are usually solved by probabilistic
methods, which are relevant only when an explicit characterization of the
disturbances and measurement noise is available. This, however, is not
always the case in practice, and it is often more natural to assume that all
perturbations, not only measurement and modelling errors but also model
uncertainty, belong to a known set.
In this case, guaranteed estimation, also known as bounded-error estimation,
allows the characterization of the whole set of state or parameter vectors
that are compatible with the measured data, a model structure and some prior
error bounds.

The purpose of the invited session is to show that interval analysis makes
it possible to obtain such guaranteed results. 
Indeed, interval analysis has been used since more than a decade now, in
both applied mathematics and engineering. On the one hand, it is a reliable
tool for uncertainty propagation and thus is used for computing rigorous
error bounds when evaluating the images of uncertain functions or when
solving differential equations with interval parameters or initial values.
On the other hand, when it is allied with constraint propagation techniques,
contractors or branch-and-bound algorithms, interval analysis becomes a
powerful tool for solving, in a guaranteed way, global optimization and
constraint satisfaction problems.

The aim of the invited session is to bring together researchers committed in
the development and use of interval theory for guaranteed parameter and
state estimation with uncertain systems and to introduce these developments
to the robust control community. Papers that present new interval methods
and tools for parameter and state estimation with illustrative applications
are very welcome. 

 

Josep VEHI and Nacim RAMDANI
 <mailto:vehi [at] eia [dot] udg.es> vehi [at] eia [dot] udg.es   <mailto:ramdani@uni-paris12.fr>
ramdani@uni-paris12.fr 

 

 


------=_NextPart_000_0083_01C549BB.AF38BB90
Content-Type: text/html;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

<html xmlns:v=3D"urn:schemas-microsoft-com:vml" =
xmlns:o=3D"urn:schemas-microsoft-com:office:office" =
xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:st1=3D"urn:schemas-microsoft-com:office:smarttags" =
xmlns=3D"http://www.w3.org/TR/REC-html40">

<head>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Dus-ascii">
<meta name=3DGenerator content=3D"Microsoft Word 11 (filtered medium)">
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"PersonName"/>
<!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
 /* Style Definitions */
 p.MsoNormal, li.MsoNormal, div.MsoNormal
	{margin:0cm;
	margin-bottom:.0001pt;
	font-size:12.0pt;
	font-family:"Times New Roman";}
a:link, span.MsoHyperlink
	{color:blue;
	text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
	{color:purple;
	text-decoration:underline;}
span.EstiloCorreo17
	{mso-style-type:personal-compose;
	font-family:Arial;
	color:windowtext;}
@page Section1
	{size:595.3pt 841.9pt;
	margin:70.85pt 3.0cm 70.85pt 3.0cm;}
div.Section1
	{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
 <o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
 <o:shapelayout v:ext=3D"edit">
  <o:idmap v:ext=3D"edit" data=3D"1" />
 </o:shapelayout></xml><![endif]-->
</head>

<body lang=3DES link=3Dblue vlink=3Dpurple>

<div class=3DSection1>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'>Apologies if you =
receive multiple
copies<o:p></o:p></span></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'>&shy;&shy;&shy;&s=
hy;&shy;&shy;&shy;&shy;&shy;&shy;&shy;&shy;&shy;&shy;&shy;&shy;&shy;&shy;=
_____________________________________<o:p></o:p></span></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'><o:p>&nbsp;</o:p>=
</span></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'>Dear =
colleagues,<o:p></o:p></span></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'><o:p>&nbsp;</o:p>=
</span></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'>This is an =
invitation to
participate in the special session on &#8220;</span></font><b><span =
lang=3DEN-GB
style=3D'font-weight:bold'>Interval methods for guaranteed parameter and =
state
estimation&#8221;</span></b><font size=3D2 color=3Dnavy =
face=3DArial><span
lang=3DEN-GB style=3D'font-size:10.0pt;font-family:Arial;color:navy'> we =
plan to
organize in the framework of the 6<sup>th</sup> IFAC SYMPOSIUM ON ROBUST
CONTROL DESIGN (ROCOND'06) to be held in Toulouse, France, July 5-7, =
2006</span></font><font
size=3D2 face=3D"Courier New"><span lang=3DEN-GB =
style=3D'font-size:10.0pt;font-family:
"Courier New"'> (<a href=3D"www.laas.fr/rocond06" =
title=3D"www.laas.fr/rocond06">www.laas.fr/rocond06</a>).<o:p></o:p></spa=
n></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'><o:p>&nbsp;</o:p>=
</span></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'>If you are =
interested to
participate in this special session, please let us know as soon as =
possible.
Please note that the deadline for submission is September 1st, therefore =
full
papers in the appropriate format should be sent to us before August =
26<sup>th</sup>.<o:p></o:p></span></font></p>

<p class=3DMsoNormal align=3Dcenter =
style=3D'margin-bottom:12.0pt;text-align:center'><font
size=3D3 face=3D"Times New Roman"><span lang=3DEN-GB =
style=3D'font-size:12.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'>State or =
parameter
estimation problems are usually solved by probabilistic methods, which =
are
relevant only when an explicit characterization of the disturbances and
measurement noise is available. This, however, is not always the case in
practice, and it is often more natural to assume that all perturbations, =
not
only measurement and modelling errors but also model uncertainty, belong =
to a
known set.<br>
In this case, guaranteed estimation, also known as <a =
name=3D"OLE_LINK1"></a><a
name=3D"OLE_LINK2"></a>bounded-error estimation, allows the =
characterization of
the whole set of state or parameter vectors that are compatible with the
measured data, a model structure and some prior error bounds.<br>
<br>
The purpose of the invited session is to show that interval analysis =
makes it
possible to obtain such guaranteed results. <br>
Indeed, interval analysis has been used since more than a decade now, in =
both
applied mathematics and engineering. On the one hand, it is a reliable =
tool for
uncertainty propagation and thus is used for computing rigorous error =
bounds
when evaluating the images of uncertain functions or when solving =
differential
equations with interval parameters or initial values. On the other hand, =
when
it is allied with constraint propagation techniques, contractors or
branch-and-bound algorithms, interval analysis becomes a powerful tool =
for
solving, in a guaranteed way, global optimization and constraint =
satisfaction
problems.<br>
<br>
The aim of the invited session is to bring together researchers =
committed in
the development and use of interval theory for guaranteed parameter and =
state
estimation with uncertain systems and to introduce these developments to =
the
robust control community. Papers that present new interval methods and =
tools
for parameter and state estimation with illustrative applications are =
very
welcome. <o:p></o:p></span></font></p>

<p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span =
lang=3DEN-GB
style=3D'font-size:10.0pt;font-family:Arial;color:navy'><o:p>&nbsp;</o:p>=
</span></font></p>

<p class=3DMsoNormal><st1:PersonName ProductID=3D"Josep VEHI" =
w:st=3D"on"><font
 size=3D2 color=3Dnavy face=3DArial><span lang=3DEN-GB =
style=3D'font-size:10.0pt;
 font-family:Arial;color:navy'>Josep =
VEHI</span></font></st1:PersonName><font
size=3D2 color=3Dnavy face=3DArial><span lang=3DEN-GB =
style=3D'font-size:10.0pt;
font-family:Arial;color:navy'> and Nacim RAMDANI<br>
<a href=3D"mailto:vehi [at] eia [dot] udg.es" =
title=3D"mailto:vehi [at] eia [dot] udg.es"><font
color=3Dnavy title=3D"mailto:vehi [at] eia [dot] udg.es"><span =
title=3D"mailto:vehi [at] eia [dot] udg.es"><span
style=3D'color:navy;text-decoration:none'>vehi [at] eia [dot] udg.es</span></span></=
font></a>
&nbsp;<a href=3D"mailto:ramdani@uni-paris12.fr"
title=3D"mailto:ramdani@uni-paris12.fr"><font color=3Dnavy
title=3D"mailto:ramdani@uni-paris12.fr"><span
title=3D"mailto:ramdani@uni-paris12.fr"><span =
style=3D'color:navy;text-decoration:
none'>ramdani@uni-paris12.fr</span></span></font></a> =
<o:p></o:p></span></font></p>

<p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span =
lang=3DEN-GB
style=3D'font-size:12.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoNormal><font size=3D2 face=3DArial><span lang=3DEN-GB =
style=3D'font-size:
10.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

</div>

</body>

</html>

------=_NextPart_000_0083_01C549BB.AF38BB90--


From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Apr 26 10:00:33 2005
Received: from interval.louisiana.edu (daemon@localhost [127.0.0.1])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3QF0XZ0014688
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 26 Apr 2005 10:00:33 -0500 (CDT)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j3QF0XYA014687
	for reliable_computing-outgoing; Tue, 26 Apr 2005 10:00:33 -0500 (CDT)
Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j3QF0OQj014683
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 26 Apr 2005 10:00:30 -0500 (CDT)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j3QExqI24229;
	Tue, 26 Apr 2005 08:59:52 -0600 (MDT)
Message-Id: <200504261459.j3QExqI24229 [at] cs [dot] utep.edu>
Date: Tue, 26 Apr 2005 08:59:50 -0600 (MDT)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Postponed Submission Deadline 
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: imeko2005@tu-ilmenau.de
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: PQLkyHdJs1OmlEb35P2Ieg==
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 j3QF0UQj014684
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Forwarding, FYI. Vladik

From: "IMEKO" <IMEKO2005@tu-ilmenau.de>


S U B M I S S I O N    D E A D L I N E    P O S T P O N E D    T O    6th
OF    MAY 

 

-  Final Call for Papers and Preliminary Technical Programme - 

 

 

Dear colleagues,  

 

We are pleased to cordially invite you to the  

 

                  Joint International IMEKO TC1 + TC7 Symposium 2005

   

    "Metrology and Measurement Education in the Internet Era".

 

We are proud to announce that the president of the IMEKO, Prof. Dr. ir. Leo
Van Biesen,

will give the opening lecture of the Symposium. Besides various highlights
which are

listed in the Preliminary Technical Programme we want to mention that we
offer a visit 

to one of the oldest state authorities for metrology and verification of
Germany.

 

Take this opportunity and present your research results. Gather information
about the 

latest solutions, exchange new ideas and engage in interdisciplinary
discussions regarding 

Measurement Science and Measurement Education in the Internet Era. Get a
glimpse of the 

rich cultural heritage present in Weimar and visit some of the metrology
related 

high-technology companies in Germany, for example Carl Zeiss Jena GmbH.

 

 

Symposium Topics : 

 

    1.      Fundamentals of Measurement Science 

 

    2.      Systems for Metrology and Measurements 

 

    3.      Applications of Measurement Science and Technology

 

 

 

Announcements:

 

1) Postponed Submission Deadline

 

Since the submission deadline has been postponed we would be pleased to
receive your 

abstract by May 6, 2005. All authors who submitted their abstracts till
March 21, 2005 will 

receive the notification of acceptance by April 25, 2005. All other authors
will be notified

at the latest by May 12, 2005. 

 

 

2) Registration and Up-To-Date Information

 

Please find further information and the online registration form on the
Symposium website  

 <http://www.imeko2005.de/> www.imeko2005.de. This site is updated on a
regular basis and pr