From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Mar 10 09:42:41 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 j2AFgfiE021236
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Thu, 10 Mar 2005 09:42:41 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2AFgf8Z021234
	for reliable_computing-outgoing; Thu, 10 Mar 2005 09:42:41 -0600 (CST)
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 j2AFgWQF021230
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 10 Mar 2005 09:42:38 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j2AFgUW28277
	for <reliable_computing [at] interval [dot] louisiana.edu>; Thu, 10 Mar 2005 08:42:30 -0700 (MST)
Message-Id: <200503101542.j2AFgUW28277 [at] cs [dot] utep.edu>
Date: Thu, 10 Mar 2005 08:42:28 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: conference on measurement theory: forwarding 
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: EjIXNftJQ45kEy4BkvIbgg==
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 j2AFgcQF021231
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk


Dear Friends, 

Since one of the main sources of interval uncertainty is measurement 
uncertainty which often leads to intertval bounds, this conference may be of 
interest to some researchers from our community. 

I attended last year's conference in St. Petersburg, Russia, and learned a lot, 
especially from application-oriented talks. 

Vladik

P.S. Goethe and Schiller lived and worked in Weimar. UNESCO lists Weimar as one 
of its World Heritage Centers. 

***************************************************************************
From: "IMEKO" <IMEKO2005@tu-ilmenau.de>
Subject: Second Call for Papers for Joint International IMEKO TC1 +
TC7 Symposium 2005 in Weimar
Date: Thu, 10 Mar 2005 13:03:30 +0100

S E C O N D    C A L L    F O R    P A P E R S

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"

The Symposium will take place September 21 - 24, 2005 in Weimar, Germany.
Please find further information and the registration form on the 
Symposium website http://www.imeko2005.de

This site is updated on a regularly basis and provides you with
up-to-date information. 

To register for the Symposium please use one of the following possibilities:

1. online registration  <http://www.imeko2005.de> www.imeko2005.de

2. print out the registration form, fill in and send via fax to the number
+49 3677 693823

3. print out the registration form, fill in and send to the following
address:

    Technische Universität Ilmenau
    Fakultät Maschinenbau
    Fachgebiet Qualitätssicherung
    Prof. Dr.-Ing. Gerhard Linss
    Postfach 10 05 65
    D-98684 Ilmenau
    Germany

We are looking forward to receive your registration and will be pleased to
welcome you in the town where Goethe and Schiller once dwelled. 

Yours sincerely

Prof. Dr. Gerhard Linss
Chairman National Organising Committee

Prof. Dietrich Hofmann
Honorary Chairman

Dipl.-Wirtsch.-Ing. Susanne Toepfer
Secretary
Technische Universität Ilmenau
Fakultät Maschinenbau
Fachgebiet Qualitätssicherung

Prof. Dr.-Ing. Gerhard Linss
Postfach 10 05 65
D-98684 Ilmenau
Germany

Phone: +49 36 77 693822
Fax:   +49 36 77 693823
Email: imeko2005@tu-ilmenau.de
Web:   http://www.imeko2005.de
 

 

 


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




From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Mar 18 09:23:31 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 j2IFNUFP007779
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 18 Mar 2005 09:23:30 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2IFNUxq007778
	for reliable_computing-outgoing; Fri, 18 Mar 2005 09:23:30 -0600 (CST)
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 j2IFNPqQ007774
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 18 Mar 2005 09:23:25 -0600 (CST)
Received: (from rbk5287@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2IFNOWV007773
	for reliable_computing [at] interval [dot] louisiana.edu; Fri, 18 Mar 2005 09:23:24 -0600 (CST)
Received: from psmtp01.wxs.nl (psmtp01.wxs.nl [195.121.6.56])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j2GL14bZ004146
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 16 Mar 2005 15:01:12 -0600 (CST)
Received: from [10.0.0.154] (ip5451bed0.direct-adsl.nl [84.81.190.208])
	by psmtp01.wxs.nl (8.12.10/8.12.10) with ESMTP id j2GL09gB026226;
	Wed, 16 Mar 2005 22:00:14 +0100
From: Bas Spitters <b.spitters [at] cs [dot] ru.nl>
To: coq-club [at] pauillac [dot] inria.fr, isabelle-users [at] cl [dot] cam.ac.uk,
        Types [at] lists [dot] chalmers.se, coalgebras [at] iti [dot] cs.tu-bs.de,
        comprox [at] doc [dot] ic.ac.uk, reliable_computing [at] interval [dot] louisiana.edu,
        cca-list@fernuni-hagen.de, types [at] cis [dot] upenn.edu
Subject: Small types workshop: Constructive analysis, types and exact real numbers.
User-Agent: KMail/1.7.2
MIME-Version: 1.0
Content-Disposition: inline
X-UID: 1333
X-Length: 2180
Date: Wed, 16 Mar 2005 22:00:08 +0100
Content-Type: text/plain;
  charset="iso-8859-1"
Message-Id: <200503162200.09062.b.spitters [at] cs [dot] ru.nl>
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by interval.louisiana.edu id j2GL1DbZ004147
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

        Small TYPES workshop
"Constructive analysis, types and exact real numbers."
       3/4 October 2005
             Nijmegen, the Netherlands

The workshop will be held at the campus of the Radboud University Nijmegen 
(formerly known as University of Nijmegen or Catholic University of 
Nijmegen). This workshop is part of the TYPES project 
(http://www.cs.chalmers.se/Cs/Research/Logic/Types/)

Topics include, but are not limited to:
    * the development of constructive analysis in type theory
    * program extraction from such developments
    * exact real number computation
    * co-inductive methods for continuous structures
    * semantics for real computations (e.g. domain theory, formal topology)

Invited speakers:
Martín Escardó and Norbert Müller

Homepage:
http://www.cs.ru.nl/fnds/typesreal/

Deadline for registration:
September 1st 2005.

We are in the process of investigating the possibilities for a post-workshop 
proceedings.

Organizers:
Herman Geuvers 
Nicole Messink 
Milad Niqui 
Bas Spitters


From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Mar 18 16:17:13 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 j2IMHD33008184
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 18 Mar 2005 16:17:13 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2IMHC5G008183
	for reliable_computing-outgoing; Fri, 18 Mar 2005 16:17:12 -0600 (CST)
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 j2IMH4pS008179
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 18 Mar 2005 16:17:10 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j2IMGv526499;
	Fri, 18 Mar 2005 15:16:57 -0700 (MST)
Message-Id: <200503182216.j2IMGv526499 [at] cs [dot] utep.edu>
Date: Fri, 18 Mar 2005 15:16:56 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: a conference of potential interest to interval researchers
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: mbanton [at] sdsc [dot] edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: XZSrJN14ZbtfFMsJOcCNIA==
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


Forwarding. 

Uncertainty in geosciences is one of the areas of interest of this meeting. 
Please note that the April 11 abstract deadline is asbolute, there will no 
extension. 
****************************************

GEON: Cyberinfrastructure for the Geosciences
3rd Annual Meeting 

A National Meeting on Research Frontiers in Cyberinfrastructure for
the Geosciences 

May 5 & 6, 2005 
Bahia Resort Hotel, San Diego, CA 

GEON (www.geongrid.org) is hosting a two-day meeting on current
developments and identifying further needs and opportunities in the
area of cyberinfrastructure (CI) for the Geosciences. Research results
from both the GEON project, as well as those from other members of the
community will be presented. 

Meeting Guidelines 
Meeting is open to all who are interested in information technology
based geoscience research and education. All participants are
encouraged to submit an abstract. Speakers and posters will be
selected from submitted abstracts. Presenting authors will be notified
by April 15, 2005. 

Registration and abstract deadline is April 11, 2005. For
further information and to apply please visit
http://www.geongrid.org/AM05/ 

GEON is an NSF-funded collaborative research project facilitating
information integration and knowledge discovery in the Geosciences.



From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Mar 20 02:20:55 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 j2K8KsGO010853
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Sun, 20 Mar 2005 02:20:55 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2K8Ksl6010852
	for reliable_computing-outgoing; Sun, 20 Mar 2005 02:20:54 -0600 (CST)
Received: from mx3.mail.ru (mx3.mail.ru [194.67.23.23])
	by interval.louisiana.edu (8.13.1/8.13.1/ull-interval-math-majordomo-1.5) with ESMTP id j2K8KiQS010848
	for <reliable_computing [at] interval [dot] louisiana.edu>; Sun, 20 Mar 2005 02:20:50 -0600 (CST)
Received: from [62.152.82.21] (port=24318 helo=slava)
	by mx3.mail.ru with smtp 
	id 1DCvfq-00074R-00
	for reliable_computing [at] interval [dot] louisiana.edu; Sun, 20 Mar 2005 11:20:38 +0300
Message-ID: <009a01c52d25$88869b50$1552983e@slava>
From: "Slava Nesterov" <slnest [at] mail [dot] ru>
To: "RC mailing list" <reliable_computing [at] interval [dot] louisiana.edu>
Subject: Reliable Computing, Vol.11, issue 4, 2005
Date: Sun, 20 Mar 2005 11:10:18 +0300
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_0064_01C52D3D.6691E6E0"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
X-Spam: Probable Spam
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

This is a multi-part message in MIME format.

------=_NextPart_000_0064_01C52D3D.6691E6E0
Content-Type: text/plain;
	charset="koi8-r"
Content-Transfer-Encoding: quoted-printable

                Reliable Computing
             Volume 11, issue 4, 2005

              Mathematical Research

Empirical Investigation of the Convergence Speed
of Inclusion Functions in a Global Optimization Context
Boglarka Toth, Tibor Csendes
253-273

               Applications and Tools

Motivations for an Arbitrary Precision Interval Arithmetic
and the MPFI Library
Nathalie Revol, Fabrice Rouillier
275-290

Checking If There Exists a Monotonic Function
That Is Consistent with the Measurements: An Efficient Algorithm
Kavitha Tupelly, Vladik Kreinovich, Karen Villaverde
291-312

A Constructive Criticism of the C/C++ Proposal
for Complex Arithmetic
Franky Backeljauw, Annie Cuyt
313-319
------=_NextPart_000_0064_01C52D3D.6691E6E0
Content-Type: text/html;
	charset="koi8-r"
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=3Dkoi8-r">
<META content=3D"MSHTML 6.00.2800.1106" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial=20
size=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;=20
Reliable=20
Computing<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;=20
Volume 11, issue 4, 2005</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial=20
size=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;=20
Mathematical Research</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Empirical Investigation of the =
Convergence=20
Speed<BR>of Inclusion Functions in a Global Optimization =
Context<BR>Boglarka=20
Toth, Tibor Csendes<BR>253-273</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial=20
size=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;=20
Applications and Tools</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Motivations for an Arbitrary Precision =
Interval=20
Arithmetic<BR>and the MPFI Library<BR>Nathalie Revol, Fabrice=20
Rouillier<BR>275-290</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Checking If There Exists a Monotonic=20
Function<BR>That Is Consistent with the Measurements: An Efficient=20
Algorithm<BR>Kavitha Tupelly, Vladik Kreinovich, Karen=20
Villaverde<BR>291-312</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>A Constructive Criticism of the C/C++=20
Proposal<BR>for Complex Arithmetic<BR>Franky Backeljauw, Annie=20
Cuyt<BR>313-319</FONT></DIV></BODY></HTML>

------=_NextPart_000_0064_01C52D3D.6691E6E0--


From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Mar 25 15:10:46 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 j2PLAkPh023107
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 25 Mar 2005 15:10:46 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2PLAkMj023106
	for reliable_computing-outgoing; Fri, 25 Mar 2005 15:10:46 -0600 (CST)
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 j2PLAbwf023102
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 25 Mar 2005 15:10:43 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j2PLAXM12384;
	Fri, 25 Mar 2005 14:10:33 -0700 (MST)
Message-Id: <200503252110.j2PLAXM12384 [at] cs [dot] utep.edu>
Date: Fri, 25 Mar 2005 14:10:33 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: SAC'06: call for tracks
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: BfqkOpeV1CxO+b7LKnLCKw==
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

P.S. Martine Ceberio and Michel Rueher, co-organizers of the SAC'05 interval 
track, have just informed me that they are planning to organize an interval 
track at SAC'06 in France as well. 

Many thanks for Martine and Michel! 


From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Mar 25 14:51:32 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 j2PKpW7H023091
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Fri, 25 Mar 2005 14:51:32 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2PKpVDV023090
	for reliable_computing-outgoing; Fri, 25 Mar 2005 14:51:31 -0600 (CST)
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 j2PKpNNX023086
	for <reliable_computing [at] interval [dot] louisiana.edu>; Fri, 25 Mar 2005 14:51:28 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j2PKpGV12261;
	Fri, 25 Mar 2005 13:51:16 -0700 (MST)
Message-Id: <200503252051.j2PKpGV12261 [at] cs [dot] utep.edu>
Date: Fri, 25 Mar 2005 13:51:16 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: SAC 2006 CALL FOR TRACKS
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: At0+LGIUHW15DWxosyo4BQ==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, 

This year, Martine Ceberio organized a very good interval-related track at 
SCA'05 in Santa Fe, a track that attracted attention from non-interval folks 
and helped promote our problems and techniques. 

Ray Moore himself was one of the keynote speackers at the conference. 

The organizers are looking for volunteers to organize tracks at the next year's 
conference. Please note: the deadlinefor proposing a track is in 3 weeks. 

Vladik

*****************************************************************************
                       SAC 2006 
       http://www.acm.org/conferences/sac/sac2006
       
                CALL FOR TRACK PROPOSALS
                   
The 21th ACM Symposium on Applied Computing (SAC 2006)
April 23 - 27, 2006, Dijon, France

For the past twenty years the ACM Symposium on Applied Computing (SAC) 
has been a primary and international forum for applied computer 
scientists, computer engineers and application developers to gather, 
interact and present their work. The ACM Special Interest Group on 
Applied Computing  (SIGAPP) is the sole sponsor of SAC. 
The conference proceedings are published by ACM and are also available 
online through ACM's Digital Library.

SAC is based on a flexible structure of mostly self-contained and 
self-managed tracks. Over the past years SAC hosted tracks on a 
variety of timely topics such as Artificial Intelligence, Bioinformatics, 
Coordination Models, Database Technology, Data Mining, Embedded Systems, 
Evolutionary Computing, Parallel and Distributed Systems, 
Mobile Computing, Object-Oriented Programming Systems, Software Engineering, 
and Web Technologies. SAC 2005, which was held in Santa Fe, New Mexico, USA, 
consisted of 30 tracks that hosted 275 accepted papers out of 764 
submissions. More information on past SAC events can be found at 
http://www.acm.org/conferences/sac/

The 21th Annual SAC (SAC 2006) will be held April 23-27, 2006 in 
Dijon, France, and will be hosted by the University de Bourgogne
in Dijon, France. 
The conference Steering Committee solicits proposals for organizing 
and hosting tracks.  Perspective track chairs should submit an up 
to two pages description for organizing a track, which should include 
at least the following items:

1) The proposed title for the track with a description of its aims, 
topics it will cover and rationale for having such a track in SAC. 
This rationale should refer to any related conference events that 
are held regularly and why the proposed track differs from them or 
complements them. The proposed track should not be overly general 
but also not overly specialized, thus being able to attract a wide 
audience of people sharing similar interests. Proposals from industry 
are also welcomed. Despite its name, SAC also welcomes topics of 
mostly theoretical nature, provided there is clear practical potential 
in applying the results of such work.

2) A short description of the activities the track chair will 
undertake upon acceptance of the proposal, to disseminate the 
call-for-papers for his/her track, manage the review process and 
collect final materials from authors of accepted papers. (Specific 
guidelines to track chairs regarding these issues will also be provided.)

3) A short CV of the perspective track chair(s) with reference to 
research interests and publication record directly related to the 
themes of the proposed track, and any previous experience of involvement 
in the organization of similar events (in the interest of brevity, 
reference to a personal web page where such information can be found 
will be sufficient).

All proposals will be reviewed by the Program Chairs with 
respect to the above criteria. The Program Chairs reserve the right to: 
(1) accept a proposal as is, 
(2) require modifications before acceptance, 
(3) recommend merging of similar proposals with a considerable 
overlap in the topics addressed (in this case the track chairs of 
the different proposals will be asked to form a single chair), 
(4) reject a proposal. Upon acceptance of a proposal, the track 
chairs will be notified of their responsibilities in managing the 
affairs of their tracks; as such responsibilities are defined by 
both the ACM and SAC conference rules. The Program Chairs reserve 
the right to cancel at any time a track, if these responsibilities 
are not addressed adequately by the track chair(s).  

Please submit your proposal electronically in any acceptable 
readable form by April 16, 2005 to:

Roger L. Wainwright,
SAC 2006 Program Co-Chair
University of Tulsa
Tulsa, Oklahoma, USA
mailto:rogerw [at] utulsa [dot] edu



From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 28 23:33: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 j2T5XBWC000614
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Mon, 28 Mar 2005 23:33:12 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2T5XBrn000613
	for reliable_computing-outgoing; Mon, 28 Mar 2005 23:33:11 -0600 (CST)
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 j2T5X1nX000609
	for <reliable_computing [at] interval [dot] louisiana.edu>; Mon, 28 Mar 2005 23:33:08 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j2T5Wpx04997;
	Mon, 28 Mar 2005 22:32:51 -0700 (MST)
Message-Id: <200503290532.j2T5Wpx04997 [at] cs [dot] utep.edu>
Date: Mon, 28 Mar 2005 22:32:51 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: WCCI 2006 (Call for Papers)
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: bonissone [at] research [dot] ge.com
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: 5F6C6rehlZEZvsSYwpvUWw==
X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc 
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk

Dear Friends, 

Every year, the major fuzzy conference FUZZ-IEEE'06 has either an interval 
session or interval-related talks. Here is the CFp for the 2006 conference. Let 
us have an interval session there as well. 

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

Date: Mon, 28 Mar 2005 14:30:06 -0600

To: "Leong, Wenf" <wenf.leong [at] okstate [dot] edu>


Sponsored by the IEEE Computational Intelligence Society, 2006 IEEE World 
Congress on Computational Intelligence (WCCI 2006), to be held in Vancouver, 
British Columbia, Canada from July 16-21, 2006, is the best known academic 
Olympic event in computational intelligence community.  Joined by three premier 
international events, International Joint Conference on Neural Networks 
(IJCNN), IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), and IEEE 
Congress on Evolutionary Computation (CEC), WCCI 2006 will provide a venue to 
foster technical exchanges, renew everlasting friendship, and establish new 
connections. The Congress will bring together researchers and practitioners in 
the area of theory, design, implementation, and applications of computational 
intelligence. The Congress will feature world-renowned plenary and invited 
speeches, state-of-the-art special sessions, themed tutorial workshops, 
moderated panel discussions, regular technical sessions, poster interactions, 
and last but not least, exciting social functions that include welcoming 
reception, award banquet, student reception, and farewell reception.

 

Call for Contributed Papers

The annual International Joint Conference on Neural Networks (IJCNN 2006) 
solicits papers from all topics in neural networks, including, but not limited 
to:

* supervised, unsupervised & reinforcement  learning,

* neuroinformatics,

* computational neuroscience,

* neural dynamics & complex systems,

* connectionist cognitive science,

* neural optimization & dynamic programming,

* kernel methods,

* graphic models,

* embedded neural systems,

* autonomous mental development,

* neural control & cognitive robotics,

* hybrid intelligent systems,

* data analysis & pattern recognition,

* image & signal processing,

* hardware implementation, and

* real-world applications.

 

The annual IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2006) 
solicits papers from all topics in fuzzy systems, including, but not limited 
to:

* fuzzy logics & fuzzy set theory,

* fuzzy-neuro-evolutionary hybrids,

* fuzzy optimization & design,

* fuzzy system architectures & hardware,

* fuzzy pattern recognition & image processing,

* fuzzy control & robotics,

* fuzzy data mining & forecasting,

* fuzzy information retrieval,

* fuzzy human interface,

* fuzzy internet & multimedia,

* fuzzy computing with words,

* granular computing, and

* real-world applications.

 

The annual IEEE Congress on Evolutionary Computation (CEC 2006) solicits papers 
from all topics in evolutionary computation, including, but not limited to:

* theory of evolutionary computation,

* representation and operators,

* combinatorial & numerical optimization,

* coevolution & collective behavior,

* multiobjective evolutionary algorithms,

* evolutionary design,

* evolvable hardware,

* evolvable software,

* evolving neural networks & fuzzy systems,

* evolving learning systems,

* evolutionary intelligent agents,

* developmental systems,

* molecular & quantum computing,

* bioinformatics & bioengineering,

* ant colonies & immune systems,

* particle swarm & differential evolution, and

* real-world applications.

 

Cross-fertilization of the three technical disciplines and newly emerging 
technologies is strongly encouraged. All papers are to be submitted 
electronically through the Congress website. Look for more details at

 

http://www.wcci2006.org <http://www.wcci2006.org/> 

 

For general inquiries, please contact General Chair Gary Yen at 
gyen [at] okstate [dot] edu <mailto:gyen [at] okstate [dot] edu> . For program inquiries, contact 
IJCNN Program Chair Lipo Wang at elpwang [at] ntu [dot] edu.sg <mailto:elpwang [at] ntu [dot] edu.sg> 
, FUZZ-IEEE Program Chair Piero Bonissone at bonissone [at] research [dot] ge.com 
<mailto:bonissone [at] research [dot] ge.com> , or CEC Program Chair Simon M. Lucas at 
sml [at] essex [dot] ac.uk <mailto:sml [at] essex [dot] ac.uk> .

 

Call for Special Sessions

IJCNN/FUZZ-IEEE/CEC Program Committees also solicits proposals for special 
sessions within the technical scopes of the three conferences. Special sessions 
are organized by internationally recognized experts and aimed to bring together 
researchers in a focused topic. Special sessions have become both a tradition 
and an important component of each conference. Papers submitted for special 
sessions are to be peer-reviewed with the same criteria used for the 
contributed papers. Researchers interested in organizing a special session are 
invited to submit a formal proposal to IJCNN Special Sessions Chair Jun Wang at 
jwang [at] acae [dot] cuhk.edu.hk <mailto:jwang [at] acae [dot] cuhk.edu.hk> , FUZZ-IEEE Special 
Sessions Chair Tsu-Tian Lee at president [at] ntut [dot] edu.tw 
<mailto:president [at] ntut [dot] edu.tw> , or CEC Special Sessions Chair Carlos A. Coello 
Coello at ccoello [at] cs [dot] cinvestav.mx <mailto:ccoello [at] cs [dot] cinvestav.mx> . Special 
session proposal should include the session title, a brief description of the 
scope and motivation, names, contact information and brief CV of the 
organizers. 

 

Call for Tutorials

WCCI 2006 will feature a number of pre-congress tutorials covering fundamental 
and advanced computational intelligence topics. Tutorial proposals, submitted 
to Tutorials Chair via emails, are solicited and should include title, outline, 
expected enrollment, and presenter biography. Any inquires regarding the 
tutorials should address to Tutorial Chair DeLiang Wang at 
dwang [at] cse [dot] ohio-state.edu <mailto:dwang [at] cse [dot] ohio-state.edu> . 

 

Important Due Dates

Special Session Proposal: December 31, 2005

Paper Submission: January 31, 2006

Tutorial Proposal: January 31, 2006

Decision Notification: March 15, 2006 

Camera-Ready Submission: April 15, 2006

 


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



From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 29 09:17: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 j2TFHc50001644
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 29 Mar 2005 09:17:38 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2TFHcrg001643
	for reliable_computing-outgoing; Tue, 29 Mar 2005 09:17:38 -0600 (CST)
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 j2TFHUaN001639
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 29 Mar 2005 09:17:35 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j2TFHPm08356
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 29 Mar 2005 08:17:25 -0700 (MST)
Message-Id: <200503291517.j2TFHPm08356 [at] cs [dot] utep.edu>
Date: Tue, 29 Mar 2005 08:17:24 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: ISSAC 2005 Beijing, CALL FOR POSTERS: forwarding 
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=ISO-8859-1
Content-MD5: HaMlQcSecUiTh+vvzQefWA==
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 j2TFHaaN001640
Sender: owner-reliable_computing [at] interval [dot] louisiana.edu
Precedence: bulk



This conference may be of interest to some interval folks; as you can see from 
the interval computations website, there are several conference conference in 
China around the same time that may be of interest

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


		   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 -------------


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




From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 29 10:00:35 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 j2TG0ZiS001719
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Tue, 29 Mar 2005 10:00:35 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2TG0YAT001718
	for reliable_computing-outgoing; Tue, 29 Mar 2005 10:00:34 -0600 (CST)
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 j2TG0QXl001714
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 29 Mar 2005 10:00:32 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j2TG0LD08835
	for <reliable_computing [at] interval [dot] louisiana.edu>; Tue, 29 Mar 2005 09:00:21 -0700 (MST)
Message-Id: <200503291600.j2TG0LD08835 [at] cs [dot] utep.edu>
Date: Tue, 29 Mar 2005 09:00:20 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: Brualdi-fest in Madison later this spring: forwarding 
To: reliable_computing [at] interval [dot] louisiana.edu
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: Xme03HUDhlidEF4jLZbmBA==
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 intereste to many of us: 

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

Date: Tue, 29 Mar 2005 08:02:01 -0500
From: "Coxson, Gregory E" <gregory.e.coxson [at] lmco [dot] com>

 http://math.uwyo.edu/~bshader/rabconf.html

Brualdi-fest:
Linear Algebra, Graph Theory & Combinatorics Conference</A>, 
Madison, Wisconsin, April 30 - May 1, 2005.
 


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



From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Mar 30 15:29: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 j2ULTHcB004607
	for <reliable_computing-outgoing [at] interval [dot] louisiana.edu>; Wed, 30 Mar 2005 15:29:17 -0600 (CST)
Received: (from daemon@localhost)
	by interval.louisiana.edu (8.13.1/8.13.1/Submit) id j2ULTHIx004606
	for reliable_computing-outgoing; Wed, 30 Mar 2005 15:29:17 -0600 (CST)
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 j2ULT8qe004602
	for <reliable_computing [at] interval [dot] louisiana.edu>; Wed, 30 Mar 2005 15:29:14 -0600 (CST)
Received: from aragorn (aragorn [129.108.5.35])
	by cs.utep.edu (8.11.7/8.11.7) with SMTP id j2ULT1V18585;
	Wed, 30 Mar 2005 14:29:01 -0700 (MST)
Message-Id: <200503302129.j2ULT1V18585 [at] cs [dot] utep.edu>
Date: Wed, 30 Mar 2005 14:29:00 -0700 (MST)
From: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Reply-To: Vladik Kreinovich <vladik [at] cs [dot] utep.edu>
Subject: CASC'2005 Computer Algebra in Scientific Computing
To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu
Cc: vrahatis [at] math [dot] upatras.gr, ikotsire [at] wlu [dot] ca
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: yMzOWaEUEvof/yaGn+guSg==
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

forwarding. Vladik

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

Date: Wed, 30 Mar 2005 19:53:00 +0300
From: "Michael N. Vrahatis" <vrahatis [at] math [dot] upatras.gr>

==============================================================
               CASC'2005
    The 8th International Workshop
on Computer Algebra in SCientific Computing
  September 12-16 2005, Kalamata, Greece
     http://www.cargo.wlu.ca/casc2005/
*** EXTENDED SUBMISSION DEADLINE *** 
==============================================================

The 8th International Workshop in Computer Algebra in Scientific
Computing, CASC'2005, will be held in the city of Kalamata, Greece, in
September 12-16, 2005.
*************************************************************************
The deadline for submission of papers has been extended to April 15, 2005
*************************************************************************

CASC General Conference Chairs: V.P. Gerdt (Dubna), E.W. Mayr (Munich)
CASC'2005 Conference Chairs: I Z. Emiris (Athens), I S. Kotsireas 
(Waterloo), M N. Vrahatis (Patras)

Conference Proceedings:
Accepted papers will be published in the Springer-Verlag series Lecture 
Notes in
Computer Science, LNCS, http://www.springeronline.com/lncs
and will be available at the conference.

Conference Hotel: HOTEL FILOXENIA
CASC'2005 conference rate for double room: 38 euros (includes breakfast 
and taxes)
CASC'2005 conference rate for double room: 52 euros (includes breakfast, 
lunch and taxes)

CASC'2005 Satellite Workshops: Monday, September 12, 2005

1./ "Algebraic and Matrix Computation with Applications"
      organized by Emiris, Mourrain, Vrahatis
http://cgi.di.uoa.gr/~erga/collab/calamataWorkshop.html
2./ "Kalamata Combinatorics"
      organized by Kotsireas and Koukouvinos
http://www.cargo.wlu.ca/casc2005/KalamataCombinatorics/

-- 
==============================================
 Michael N. Vrahatis, Professor,
 Department of Mathematics,
 University of Patras Artificial Intelligence
    Research Center (UPAIRC),
 University of Patras,
 GR-26110 Patras,
 Greece

 Tel:    +30 2610 997374
 Fax:    +30 2610 992965
 URL:    http://www.math.upatras.gr/~vrahatis
 E-mail: vrahatis [at] math [dot] upatras.gr
==============================================

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