From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Feb 2 14:15:21 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g12KFKJ20775 for reliable_computing-outgoing; Sat, 2 Feb 2002 14:15:20 -0600 (CST) Received: from brama.ippt.gov.pl (amavis [at] brama [dot] ippt.gov.pl [148.81.54.253]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g12KFDm20770 for ; Sat, 2 Feb 2002 14:15:14 -0600 (CST) Received: (from amavis@localhost) by brama.ippt.gov.pl (8.9.3/8.9.3/Debian 8.9.3-21) id VAA18643 for ; Sat, 2 Feb 2002 21:14:55 +0100 Received: from ippt.gov.pl (zmit9pc.ippt.gov.pl [148.81.53.4]) by brama.ippt.gov.pl (8.9.3/8.9.3/Debian 8.9.3-21) with ESMTP id VAA18561; Sat, 2 Feb 2002 21:14:50 +0100 Message-ID: <3C5C48EC.44AC6DCE [at] ippt [dot] gov.pl> Date: Sat, 02 Feb 2002 21:15:40 +0100 From: Zenon Kulpa X-Mailer: Mozilla 4.5 [en] (WinNT; I) X-Accept-Language: en,pl MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu CC: zkulpa [at] ippt [dot] gov.pl Subject: Interval pages Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk I would like to inform you about newly launched interval section within the Qualitative Analysis Group site: http://www.ippt.gov.pl/~zkulpa/quaphys/interval.html In addition to some general information and a list of our publications on intervals, it contains good quality scans of two precursory papers by M. Warmus (from 1956 and 1961), and full materials pertaining to the Rohn's famous talk at SCAN/INTERVAL 2000. Other interesting materials are planned to appear after some time. Enjoy! -- Zenon Kulpa From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 5 07:46:57 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g15DkuA00434 for reliable_computing-outgoing; Tue, 5 Feb 2002 07:46:56 -0600 (CST) Received: from mail2.wi.rr.com (fe2.rdc-kc.rr.com [24.94.163.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g15Dko400430 for ; Tue, 5 Feb 2002 07:46:51 -0600 (CST) Received: from Marquette.edu ([65.29.171.35]) by mail2.wi.rr.com with Microsoft SMTPSVC(5.5.1877.537.53); Tue, 5 Feb 2002 07:43:47 -0600 Message-ID: <3C5FE239.30503 [at] Marquette [dot] edu> Date: Tue, 05 Feb 2002 07:46:33 -0600 From: "Dr. George Corliss" Reply-To: George.Corliss [at] Marquette [dot] edu Organization: Marquette University, EECE User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:0.9.4) Gecko/20011128 Netscape6/6.2.1 X-Accept-Language: en-us MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: New book: Automatic Differentiation of Algorithms References: <3C3C8B5A.C83CEC09 [at] univie [dot] ac.at> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Announcing a new book of potential interest to the interval community: Automatic Differentiation of Algorithms: From Simulation to Optimization Edited by George Corliss, Christele Faure, Andreas Griewank, Laurent Hascoet, Uwe Naumann Springer 2002, ISBN: 0-387-95305-1 http://www.springer-ny.com/detail.tpl?ISBN=0387953051 Automatic Differentiation (AD) is a maturing computational technology and has become a mainstream tool used by practicing scientists and computer engineers. The rapid advance of hardware computing power and AD tools has enabled practitioners to quickly generate derivative-enhanced versions of their code for a broad range of applications in applied research and development. "Automatic Differentiation of Algorithms" provides a comprehensive and authoritative survey of all recent developments, new techniques, and tools for AD use. The book covers all aspects of the subject: mathematics, scientific programming ( i.e., use of adjoints in optimization) and implementation (i.e., memory management problems). A strong theme of the book is the relationships between AD tools and other software tools, such as compilers and parallelizers. A rich variety of significant applications are presented as well, including optimum-shape design problems, for which AD offers more efficient tools and techniques. Topics and features: * introductory AD survey chapter for brief overview of AD * extensive applications chapters * comprehensive bibliography * performance issues * optimal control sensitivity analysis * AD use with object oriented software tool kits Dr. George F. Corliss Electrical and Computer Engineering Haggerty Engineering 296 Marquette University P.O. Box 1881 Milwaukee, WI 53201-1881 USA George.Corliss [at] Marquette [dot] edu Office: 414-288-6599; Dept: 288-6820; Fax: 288-5579 From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 5 09:07:01 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g15F70g00631 for reliable_computing-outgoing; Tue, 5 Feb 2002 09:07:00 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g15F6s400627 for ; Tue, 5 Feb 2002 09:06:54 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g15F6OE11254; Tue, 5 Feb 2002 08:06:25 -0700 (MST) Message-Id: <200202051506.g15F6OE11254 [at] cs [dot] utep.edu> Date: Tue, 5 Feb 2002 08:06:23 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: SCAN'2002 deadline extended To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: ZyuzinVS [at] info [dot] sgu.ru MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: MpBklrrnl7eIPq9GuViaBg== 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, Professor Zuyzin has just attracted my attention to the fact that on SCAN'2002 webpage, there is a new deadline for abstract submission April 30. (Thanks for the info). I have corrected the deadline information on the Forthcoming Conferences part of the interval computations webpage http://www.cs.utep.edu/interval-comp Vladik P.S. The information about the format and size of an abstract is not yet posted. From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 5 11:46:20 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g15HkKQ01040 for reliable_computing-outgoing; Tue, 5 Feb 2002 11:46:20 -0600 (CST) Received: from stanhope.uia.ac.be (stanhope.uia.ac.be [143.169.32.57]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g15HkE401036 for ; Tue, 5 Feb 2002 11:46:15 -0600 (CST) Received: from verdonk (helo=localhost) by stanhope.uia.ac.be with local-esmtp (Exim 3.33 #1 (Debian)) id 16Y9fF-0000pS-00; Tue, 05 Feb 2002 18:45:53 +0100 Date: Tue, 5 Feb 2002 18:45:53 +0100 (CET) From: Brigitte Verdonk X-X-Sender: verdonk [at] stanhope [dot] uia.ac.be Reply-To: verdonk [at] uia [dot] ua.ac.be To: "R. Baker Kearfott" cc: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: Undergraduate texts: Interval analysis and the mainstream In-Reply-To: <2.2.32.20020104142725.03e8c34c [at] pop [dot] louisiana.edu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear colleagues, A somewhat late reaction to Baker's mail from January 4 about the writing of an undergraduate textbook that seamlessly includes interval arithmetic. In February 2001 we (i.e. Annie Cuyt and Brigitte Verdonk) started writing our textbook, announced long ago, entitled "Computer arithmetic and Numerical techniques". It is meant to be an undergraduate text on basic numerical procedures with a lengthy introduction to the topic of computer arithmetic, in order to reach out to computer science students who experience numerical computing as "far from their subject area". It is also a reaction to the frightful idea that in a few years time, computer science students will not understand the important issues related to computer arithmetic or numerical analysis anymore. The textbook rather seamlessly incorporates sections on interval arithmetic and on interval techniques for the solution of a linear system of equations, a nonlinear equation, the reliable evaluation of a polynomial and a series expansion, etc. Those interested can find a draft of the table of contents at ftp://wins.uia.ac.be/pub/cant/drafts/cantbook.pdf. We remark that the page numbers in part II of the textbook are only temporary because not all sections have been included so far. The textbook will be accompanied by a kind of computer arithmetic and numerical analysis lab, containing variable precision simulations of well-known floating-point and interval algorithms. More information here-on can be found at ftp://wins.uia.ac.be/pub/cant/courses/ca/csecrs.pdf. ------------------------------Prof. Dr. Annie CUYT----------------------------- RESEARCH DIRECTOR FWO Mathematics & Computer Science Tel (32)3/820.24.07 University of Antwerp (UIA) Fax (32)3/820.24.21 Universiteitsplein 1 Secr (32)3/820.24.01 B-2610 Wilrijk-Antwerp Email cuyt [at] uia [dot] ua.ac.be Belgium http://www.uia.ac.be/u/cuyt/ -------------------------------------------------------------------------------- ------------------------Prof. Dr. Brigitte Verdonk--------------------------- Dept. of Math. and Comp. Sc. Tel. +32 3 820.24.03 University of Antwerp (UIA) Fax. +32 3 820.24.21 Universiteitsplein 1 URL: http://www.uia.ac.be/u/verdonk B2610 Wilrijk-Antwerp (Belgium) Email: verdonk [at] uia [dot] ua.ac.be ------------------------------------------------------------------------------ From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 5 11:55:14 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g15HtDb01135 for reliable_computing-outgoing; Tue, 5 Feb 2002 11:55:13 -0600 (CST) Received: from isis.lip6.fr (IDENT:root [at] isis [dot] lip6.fr [132.227.60.2]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g15Ht7401131 for ; Tue, 5 Feb 2002 11:55:07 -0600 (CST) Received: from lip6.fr (silex.dgs.jussieu.fr [134.157.120.31]) by isis.lip6.fr (8.12.0.Beta19/jtpda-5.3.2+victor) with ESMTP id g15HsYkB012502 ; Tue, 5 Feb 2002 18:54:34 +0100 X-pt: isis.lip6.fr X-Addr-Warning: ATTENTION - Votre correspondant a fourni une adresse d'enveloppe @lip6.fr, mais ce message ne provient pas de lip6.fr ! postmaster [at] lip6 [dot] fr. Message-ID: <3C601C64.1C5610DB [at] lip6 [dot] fr> Date: Tue, 05 Feb 2002 18:54:44 +0100 From: Jean-Luc Lamotte Reply-To: Jean-Luc.Lamotte [at] lip6 [dot] fr X-Mailer: Mozilla 4.76 [en] (X11; U; Linux 2.4.2 i686) X-Accept-Language: French, fr, en MIME-Version: 1.0 To: Vladik Kreinovich CC: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu, ZyuzinVS [at] info [dot] sgu.ru Subject: Re: SCAN'2002 deadline extended References: <200202051506.g15F6OE11254 [at] cs [dot] utep.edu> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear friends, The second announcement of SCAN2002 will be ready the February, 8. The web-site is : http://scan2002.lip6.fr Best regards The organization committee of SCAN2002 Vladik Kreinovich wrote: > > Dear Friends, > > Professor Zuyzin has just attracted my attention to the fact that on SCAN'2002 > webpage, there is a new deadline for abstract submission April 30. (Thanks for > the info). > > I have corrected the deadline information on the Forthcoming Conferences part > of the interval computations webpage http://www.cs.utep.edu/interval-comp > > Vladik > > P.S. The information about the format and size of an abstract is not yet > posted. -- ------------------------------------------------------------------------- Jean-Luc Lamotte Theme Algorithmique Numerique et Parallelisme Tel:+33 1 44 27 58 78 Laboratoire LIP6 Tel:+33 1 44 27 73 63 Universite Paris VI Tel:+33 1 44 27 71 34 4, place Jussieu Fax:+33 1 44 27 53 53 F-75252 PARIS CEDEX 05 FRANCE E-mail : Jean-Luc.Lamotte [at] lip6 [dot] fr -------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 5 13:39:49 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g15Jdm301486 for reliable_computing-outgoing; Tue, 5 Feb 2002 13:39:48 -0600 (CST) Received: from clmboh1-smtp3.columbus.rr.com (clmboh1-smtp3.columbus.rr.com [65.24.0.112]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g15Jdc401482 for ; Tue, 5 Feb 2002 13:39:39 -0600 (CST) Received: from oemcomputer (dhcp065-024-174-102.columbus.rr.com [65.24.174.102]) by clmboh1-smtp3.columbus.rr.com (8.11.2/8.11.2) with SMTP id g15JYZN29986; Tue, 5 Feb 2002 14:34:35 -0500 (EST) Message-ID: <000601c1ae7c$8477b560$66ae1841 [at] columbus [dot] rr.com> From: "Ramon Moore" To: Cc: "interval" References: Subject: Re: Undergraduate texts: Interval analysis and the mainstream Date: Tue, 5 Feb 2002 14:37:15 -0500 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Drs Verdonk & Cuyt, Thank you for informing us about your progress on your undergraduate text, which will include interval arithmetic. I have looked at the drafts of contents, etc. for which you have provided us internet access. I applaud your plans and efforts, and look forward to the appearance of the book and wish you both success with it. Two questions: 1) do you have a publisher for it? 2) can you tell us when it is likely to appear? best wishes, Ramon Moore ----- Original Message ----- From: "Brigitte Verdonk" To: "R. Baker Kearfott" Cc: Sent: Tuesday, February 05, 2002 12:45 PM Subject: Re: Undergraduate texts: Interval analysis and the mainstream > > Dear colleagues, > > A somewhat late reaction to Baker's mail from January 4 about the writing > of an undergraduate textbook that seamlessly includes interval arithmetic. > > In February 2001 we (i.e. Annie Cuyt and Brigitte Verdonk) started writing > our textbook, announced long ago, entitled "Computer arithmetic and Numerical > techniques". It is meant to be an undergraduate text on basic numerical > procedures with a lengthy introduction to the topic of computer arithmetic, > in order to reach out to computer science students who experience numerical > computing as "far from their subject area". > > It is also a reaction to the frightful idea that in a few years time, computer > science students will not understand the important issues related to computer > arithmetic or numerical analysis anymore. > > The textbook rather seamlessly incorporates sections on interval arithmetic > and on interval techniques for the solution of a linear system of equations, > a nonlinear equation, the reliable evaluation of a polynomial and a series > expansion, etc. Those interested can find a draft of the table of contents > at ftp://wins.uia.ac.be/pub/cant/drafts/cantbook.pdf. We remark that the > page numbers in part II of the textbook are only temporary because not all > sections have been included so far. > > The textbook will be accompanied by a kind of computer arithmetic and > numerical analysis lab, containing variable precision simulations of > well-known floating-point and interval algorithms. More information here-on > can be found at ftp://wins.uia.ac.be/pub/cant/courses/ca/csecrs.pdf. > > ------------------------------Prof. Dr. Annie CUYT----------------------------- > RESEARCH DIRECTOR FWO > Mathematics & Computer Science Tel (32)3/820.24.07 > University of Antwerp (UIA) Fax (32)3/820.24.21 > Universiteitsplein 1 Secr (32)3/820.24.01 > B-2610 Wilrijk-Antwerp Email cuyt [at] uia [dot] ua.ac.be > Belgium http://www.uia.ac.be/u/cuyt/ > -------------------------------------------------------------------------- ------ > > ------------------------Prof. Dr. Brigitte Verdonk--------------------------- > Dept. of Math. and Comp. Sc. Tel. +32 3 820.24.03 > University of Antwerp (UIA) Fax. +32 3 820.24.21 > Universiteitsplein 1 URL: http://www.uia.ac.be/u/verdonk > B2610 Wilrijk-Antwerp (Belgium) Email: verdonk [at] uia [dot] ua.ac.be > -------------------------------------------------------------------------- ---- > > > > > > From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 5 13:39:59 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g15JdxA01509 for reliable_computing-outgoing; Tue, 5 Feb 2002 13:39:59 -0600 (CST) Received: from patan.sun.com (patan.Sun.COM [192.18.98.43]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g15Jdq401501 for ; Tue, 5 Feb 2002 13:39:53 -0600 (CST) Received: from engmail1.Eng.Sun.COM ([129.146.1.13]) by patan.sun.com (8.9.3+Sun/8.9.3) with ESMTP id MAA01386; Tue, 5 Feb 2002 12:39:41 -0700 (MST) From: Bill.Walster [at] Eng [dot] Sun.COM Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.18.131]) by engmail1.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id JAA11607; Tue, 5 Feb 2002 09:39:40 -0800 (PST) Received: from mpkmail.Eng.Sun.COM (esun1as-be.Central.Sun.COM [129.147.34.142]) by mpkmail.eng.sun.com (iPlanet Messaging Server 5.2 (built Jan 13 2002)) with ESMTP id <0GR200DJLMDS4L [at] mpkmail [dot] eng.sun.com>; Tue, 05 Feb 2002 09:39:40 -0800 (PST) Date: Tue, 05 Feb 2002 09:35:57 -0800 Subject: Re: New book: Automatic Differentiation of Algorithms To: George.Corliss [at] Marquette [dot] edu, reliable_computing [at] interval [dot] louisiana.edu Cc: Bill.Walster [at] Eng [dot] Sun.COM Message-id: <0GR200DJUMDW4L [at] mpkmail [dot] eng.sun.com> MIME-version: 1.0 X-Mailer: Sun NetMail 2.3 Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Congratulations George, Christele, Andreas, Laurent, and Uwe! Best regards, Bill wrote: GWW>Date: Tue, 05 Feb 2002 07:46:33 -0600 GWW> GWW>Announcing a new book of potential interest to the interval community: GWW> GWW>Automatic Differentiation of Algorithms: GWW> From Simulation to Optimization GWW>Edited by George Corliss, Christele Faure, Andreas Griewank, GWW> Laurent Hascoet, Uwe Naumann GWW>Springer 2002, ISBN: 0-387-95305-1 GWW>http://www.springer-ny.com/detail.tpl?ISBN=0387953051 GWW> GWW>Automatic Differentiation (AD) is a maturing computational GWW>technology and has become a mainstream tool used by practicing GWW>scientists and computer engineers. The rapid advance of hardware GWW>computing power and AD tools has enabled practitioners to GWW>quickly generate derivative-enhanced versions of their code GWW>for a broad range of applications in applied research and GWW>development. GWW> GWW>"Automatic Differentiation of Algorithms" provides a comprehensive GWW>and authoritative survey of all recent developments, new techniques, GWW>and tools for AD use. The book covers all aspects of the subject: GWW>mathematics, scientific programming ( i.e., use of adjoints in GWW>optimization) and implementation (i.e., memory management problems). GWW>A strong theme of the book is the relationships between AD tools and GWW>other software tools, such as compilers and parallelizers. A rich GWW>variety of significant applications are presented as well, including GWW>optimum-shape design problems, for which AD offers more efficient GWW>tools and techniques. GWW> GWW>Topics and features: GWW>* introductory AD survey chapter for brief overview of AD GWW>* extensive applications chapters GWW>* comprehensive bibliography GWW>* performance issues GWW>* optimal control sensitivity analysis GWW>* AD use with object oriented software tool kits GWW> GWW> GWW>Dr. George F. Corliss GWW>Electrical and Computer Engineering GWW>Haggerty Engineering 296 GWW>Marquette University GWW>P.O. Box 1881 GWW>Milwaukee, WI 53201-1881 USA GWW>George.Corliss [at] Marquette [dot] edu GWW>Office: 414-288-6599; Dept: 288-6820; Fax: 288-5579 GWW> From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Feb 7 12:40:24 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g17IeOL13391 for reliable_computing-outgoing; Thu, 7 Feb 2002 12:40:24 -0600 (CST) Received: from sherlock.lip6.fr (sherlock.lip6.fr [132.227.61.80]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g17IeH413387 for ; Thu, 7 Feb 2002 12:40:18 -0600 (CST) Received: (from lamotte@localhost) by sherlock.lip6.fr (8.11.6/8.11.6) id g17Ifsq04457 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 7 Feb 2002 19:41:54 +0100 Date: Thu, 7 Feb 2002 19:41:54 +0100 From: Jean-Luc Lamotte Message-Id: <200202071841.g17Ifsq04457 [at] sherlock [dot] lip6.fr> To: reliable_computing [at] interval [dot] louisiana.edu Subject: SCAN 2002 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk S C A N - 2 0 0 2 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics September,24-27, 2002, Paris, France Second announcement http://scan2002.lip6.fr ---------------------------------------------------------------------- I apologize if you received this message several times ---------------------------------------------------------------------- The conference continues the series of international SCAN symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. One of the missions of SCAN 2002 is to become a forum for the presentation of the many existing validation tools and approaches in order to meet representative populations of the various fields in numerical validation. Topics of interest : - Hardware and software support for validation tools - Theory, algorithms and arithmetic for numerical validation - Supercomputing and reliability - Dynamical systems and validation - Global optimization and validation - Programming tools for numerical validation - Computer aided proofs - Industrial and scientific applications of numerical validation Scientific program : The scientific program will consist of invited general lectures of 40 minutes with a additional 5 minutes for discussion. Contributed presentations are invited in all areas of the conference subjects. A contributed presentation involves a 25 minutes oral presentation with an additional 5 minutes for discussion. The conference language is English. Exhibitions and demonstrations of books, computer hardware, and software are welcome. It is planned to publish a collection of highly qualified papers in a special issue of the journal "Numerical Algorithms". Scientific committee : G. Alefeld, Karlsruhe (Germany) R. Alt, Paris (France) J.-M. Chesneaux, Paris (France) G.F. Corliss, Milwaukee (Wisconsin, USA) T. Csendes, Szeged (Hungary) A. Frommer, Wuppertal (Germany) G. Heindl, Wuppertal (Germany) J. Herzberger, Oldenburg (Germany) K.-U. Jahn, Leipzig (Germany) E. Kaucher, Karlsruhe (Germany) R.B. Kearfott, Lafayette, (Louisiana, USA) V. Kreinovich, El Paso (Texas, USA) U. Kulisch, Karlsruhe (Germany) G. Mayer, Rostock (Germany) S. Markov (Bulgaria) J.-M. Muller, Lyon (France) M. Plum, Karlsruhe (Germany) L.B. Rall, Madison (Wisconsin, USA) J. Rohn, Praha (Czechia) S.M. Rump, Hamburg (Germany) H. Schwandt, Berlin (Germany) Z. Shen, Nanjing (China) J. Vignes, Paris (France) W. V. Walter, Dresden (Germany) J. Wolff von Gudenberg, Würzburg (Germany) T. Yamamoto, Matsuyama (Japan) Invited speakers : P. Baveye, Cornell University (N.Y., USA) Luiz Henrique de Figueiredo, Instituto de Matematica Pura e Aplicada (Brazil) K. Jackson, Univ Toronto (Canada) Kohshi Okumura, Univ Kyoto (Japan) Bernd Tibken, Univ Wuppertal (Germany) Jean Vignes, Univ P. et M. Curie (France) Paul Zimmermann, Inria (France) Abstracts : Each contributor must submit a title and a brief abstract not exceeding 200 words by using the templates (Latex, plain ASCII-text, HTML) which can be accessed at http://scan2002.lip6.fr/abstracts.html. The contribution should be sent to abstractscan2002 [at] lip6 [dot] fr. Exceptionally, contributors who cannot have access to these addresses may send their title and abstract by regular mail to the conference office. The abstracts will appear online at http://scan2002.lip6.fr/speakers and in the final program of the conference. Schedule for contributors : Action No later than ---------------------------------------------------- Submission of Abstracts April 30, 2002 Notification of Acceptance May 31, 2002 Return of Registration Form July 19, 2002 Schedule for no contributors : Action No later than ---------------------------------------------------- Return of Registration Form July 19, 2002 Conference Fee and social event : The conference registration desk will be open on Monday, September 23, 2002 between 2 P.M. to 7 P.M. and during the conference. On Thursday, September 26, there will be a visiting tour of Paris and a reception at the Eiffel Tower. The registration fee is 280 Euros, resp 320, if paid after the July 19, 2002, including the special issue of the journal "Numerical Algorithms", the visiting tour and the reception. This price does not include the cost of the bank transfer which will be given in the registration form. Participants are strongly invited to register electronically or send their registration form and fee as soon as possible. Please pay the registration fee in Euro currency. Accommodation : 12 free or low price rooms have been reserved in a student residence for people coming from country with low rate currency. A form will have to be filled for applying to these rooms. A selection will be done by the organizers before July 19th. Only contributors with an accepted abstract can be selected. A special applying form will be available on the web-site later. Conference Chairmen : Prof R. Alt and Prof. J. Vignes Laboratoire LIP6 Université P. et M. Curie 8 rue du Capitaine Scott 75015 Paris Local organisation : Responsible Jean-Luc Lamotte Laboratoire LIP6 Université P. et M. Curie 8 rue du Capitaine Scott 75015 Paris Fax (+33) 1 44 27 53 53 E-mail : scan2002 [at] lip6 [dot] fr From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Feb 7 13:05:51 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g17J5oL13482 for reliable_computing-outgoing; Thu, 7 Feb 2002 13:05:50 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g17J5d413477 for ; Thu, 7 Feb 2002 13:05:45 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g17J5Jo02898 for ; Thu, 7 Feb 2002 12:05:19 -0700 (MST) Message-Id: <200202071905.g17J5Jo02898 [at] cs [dot] utep.edu> Date: Thu, 7 Feb 2002 12:05:19 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: SCAN 2002 To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: 0R1fLqVYTTiQItKm0wtgug== 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 g17J5l413479 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------- Begin Forwarded Message ------------- Date: Thu, 7 Feb 2002 19:35:37 +0100 From: Jean-Luc Lamotte S C A N - 2 0 0 2 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics September,24-27, 2002, Paris, France Second announcement http://scan2002.lip6.fr ---------------------------------------------------------------------- I apologize if you received this message several times ---------------------------------------------------------------------- The conference continues the series of international SCAN symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. One of the missions of SCAN 2002 is to become a forum for the presentation of the many existing validation tools and approaches in order to meet representative populations of the various fields in numerical validation. Topics of interest : - Hardware and software support for validation tools - Theory, algorithms and arithmetic for numerical validation - Supercomputing and reliability - Dynamical systems and validation - Global optimization and validation - Programming tools for numerical validation - Computer aided proofs - Industrial and scientific applications of numerical validation Scientific program : The scientific program will consist of invited general lectures of 40 minutes with a additional 5 minutes for discussion. Contributed presentations are invited in all areas of the conference subjects. A contributed presentation involves a 25 minutes oral presentation with an additional 5 minutes for discussion. The conference language is English. Exhibitions and demonstrations of books, computer hardware, and software are welcome. It is planned to publish a collection of highly qualified papers in a special issue of the journal "Numerical Algorithms". Scientific committee : G. Alefeld, Karlsruhe (Germany) R. Alt, Paris (France) J.-M. Chesneaux, Paris (France) G.F. Corliss, Milwaukee (Wisconsin, USA) T. Csendes, Szeged (Hungary) A. Frommer, Wuppertal (Germany) G. Heindl, Wuppertal (Germany) J. Herzberger, Oldenburg (Germany) K.-U. Jahn, Leipzig (Germany) E. Kaucher, Karlsruhe (Germany) R.B. Kearfott, Lafayette, (Louisiana, USA) V. Kreinovich, El Paso (Texas, USA) U. Kulisch, Karlsruhe (Germany) G. Mayer, Rostock (Germany) S. Markov (Bulgaria) J.-M. Muller, Lyon (France) M. Plum, Karlsruhe (Germany) L.B. Rall, Madison (Wisconsin, USA) J. Rohn, Praha (Czechia) S.M. Rump, Hamburg (Germany) H. Schwandt, Berlin (Germany) Z. Shen, Nanjing (China) J. Vignes, Paris (France) W. V. Walter, Dresden (Germany) J. Wolff von Gudenberg, Würzburg (Germany) T. Yamamoto, Matsuyama (Japan) Invited speakers : P. Baveye, Cornell University (N.Y., USA) Luiz Henrique de Figueiredo, Instituto de Matematica Pura e Aplicada (Brazil) K. Jackson, Univ Toronto (Canada) Kohshi Okumura, Univ Kyoto (Japan) Bernd Tibken, Univ Wuppertal (Germany) Jean Vignes, Univ P. et M. Curie (France) Paul Zimmermann, Inria (France) Abstracts : Each contributor must submit a title and a brief abstract not exceeding 200 words by using the templates (Latex, plain ASCII-text, HTML) which can be accessed at http://scan2002.lip6.fr/abstracts.html. The contribution should be sent to abstractscan2002 [at] lip6 [dot] fr. Exceptionally, contributors who cannot have access to these addresses may send their title and abstract by regular mail to the conference office. The abstracts will appear online at http://scan2002.lip6.fr/speakers and in the final program of the conference. Schedule for contributors : Action No later than ---------------------------------------------------- Submission of Abstracts April 30, 2002 Notification of Acceptance May 31, 2002 Return of Registration Form July 19, 2002 Schedule for no contributors : Action No later than ---------------------------------------------------- Return of Registration Form July 19, 2002 Conference Fee and social event : The conference registration desk will be open on Monday, September 23, 2002 between 2 P.M. to 7 P.M. and during the conference. On Thursday, September 26, there will be a visiting tour of Paris and a reception at the Eiffel Tower. The registration fee is 280 Euros, resp 320, if paid after the July 19, 2002, including the special issue of the journal "Numerical Algorithms", the visiting tour and the reception. This price does not include the cost of the bank transfer which will be given in the registration form. Participants are strongly invited to register electronically or send their registration form and fee as soon as possible. Please pay the registration fee in Euro currency. Accommodation : 12 free or low price rooms have been reserved in a student residence for people coming from country with low rate currency. A form will have to be filled for applying to these rooms. A selection will be done by the organizers before July 19th. Only contributors with an accepted abstract can be selected. A special applying form will be available on the web-site later. Conference Chairmen : Prof R. Alt and Prof. J. Vignes Laboratoire LIP6 Université P. et M. Curie 8 rue du Capitaine Scott 75015 Paris Local organisation : Responsible Jean-Luc Lamotte Laboratoire LIP6 Université P. et M. Curie 8 rue du Capitaine Scott 75015 Paris Fax (+33) 1 44 27 53 53 E-mail : scan2002 [at] lip6 [dot] fr ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Feb 8 08:45:44 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g18EjhN15627 for reliable_computing-outgoing; Fri, 8 Feb 2002 08:45:43 -0600 (CST) Received: from sherlock.lip6.fr (sherlock.lip6.fr [132.227.61.80]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g18Ejb415623 for ; Fri, 8 Feb 2002 08:45:37 -0600 (CST) Received: (from lamotte@localhost) by sherlock.lip6.fr (8.11.6/8.11.6) id g18ElFt05151 for reliable_computing [at] interval [dot] louisiana.edu; Fri, 8 Feb 2002 15:47:15 +0100 Date: Fri, 8 Feb 2002 15:47:15 +0100 From: Jean-Luc Lamotte Message-Id: <200202081447.g18ElFt05151 [at] sherlock [dot] lip6.fr> To: reliable_computing [at] interval [dot] louisiana.edu Subject: SCAN 2002 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk S C A N - 2 0 0 2 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics September,24-27, 2002, Paris, France Second announcement http://scan2002.lip6.fr ---------------------------------------------------------------------- I apologize if you received this message several times ---------------------------------------------------------------------- Correction on the list of invited speakers ---------------------------------------------------------------------- The conference continues the series of international SCAN symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. One of the missions of SCAN 2002 is to become a forum for the presentation of the many existing validation tools and approaches in order to meet representative populations of the various fields in numerical validation. Topics of interest : - Hardware and software support for validation tools - Theory, algorithms and arithmetic for numerical validation - Supercomputing and reliability - Dynamical systems and validation - Global optimization and validation - Programming tools for numerical validation - Computer aided proofs - Industrial and scientific applications of numerical validation Scientific program : The scientific program will consist of invited general lectures of 40 minutes with a additional 5 minutes for discussion. Contributed presentations are invited in all areas of the conference subjects. A contributed presentation involves a 25 minutes oral presentation with an additional 5 minutes for discussion. The conference language is English. Exhibitions and demonstrations of books, computer hardware, and software are welcome. It is planned to publish a collection of highly qualified papers in a special issue of the journal "Numerical Algorithms". Scientific committee : G. Alefeld, Karlsruhe (Germany) R. Alt, Paris (France) J.-M. Chesneaux, Paris (France) G.F. Corliss, Milwaukee (Wisconsin, USA) T. Csendes, Szeged (Hungary) A. Frommer, Wuppertal (Germany) G. Heindl, Wuppertal (Germany) J. Herzberger, Oldenburg (Germany) K.-U. Jahn, Leipzig (Germany) E. Kaucher, Karlsruhe (Germany) R.B. Kearfott, Lafayette, (Louisiana, USA) V. Kreinovich, El Paso (Texas, USA) U. Kulisch, Karlsruhe (Germany) G. Mayer, Rostock (Germany) S. Markov (Bulgaria) J.-M. Muller, Lyon (France) M. Plum, Karlsruhe (Germany) L.B. Rall, Madison (Wisconsin, USA) J. Rohn, Praha (Czechia) S.M. Rump, Hamburg (Germany) H. Schwandt, Berlin (Germany) Z. Shen, Nanjing (China) J. Vignes, Paris (France) W. V. Walter, Dresden (Germany) J. Wolff von Gudenberg, Würzburg (Germany) T. Yamamoto, Matsuyama (Japan) Invited speakers : P. Baveye, Cornell University (N.Y., USA) L. Henrique de Figueiredo, Instituto de Matematica Pura e Aplicada (Brazil) K. Jackson, Univ Toronto (Canada) S. Rump, Univ Harburg-Hamburg (Germany) K. Okumura, Univ Kyoto (Japan) B. Tibken, Univ Wuppertal (Germany) J. Vignes, Univ P. et M. Curie (France) P. Zimmermann, Inria (France) Abstracts : Each contributor must submit a title and a brief abstract not exceeding 200 words by using the templates (Latex, plain ASCII-text, HTML) which can be accessed at http://scan2002.lip6.fr/abstracts.html. The contribution should be sent to abstractscan2002 [at] lip6 [dot] fr. Exceptionally, contributors who cannot have access to these addresses may send their title and abstract by regular mail to the conference office. The abstracts will appear online at http://scan2002.lip6.fr/speakers and in the final program of the conference. Schedule for contributors : Action No later than ---------------------------------------------------- Submission of Abstracts April 30, 2002 Notification of Acceptance May 31, 2002 Return of Registration Form July 19, 2002 Schedule for no contributors : Action No later than ---------------------------------------------------- Return of Registration Form July 19, 2002 Conference Fee and social event : The conference registration desk will be open on Monday, September 23, 2002 between 2 P.M. to 7 P.M. and during the conference. On Thursday, September 26, there will be a visiting tour of Paris and a reception at the Eiffel Tower. The registration fee is 280 Euros, resp 320, if paid after the July 19, 2002, including the special issue of the journal "Numerical Algorithms", the visiting tour and the reception. This price does not include the cost of the bank transfer which will be given in the registration form. Participants are strongly invited to register electronically or send their registration form and fee as soon as possible. Please pay the registration fee in Euro currency. Accommodation : 12 free or low price rooms have been reserved in a student residence for people coming from country with low rate currency. A form will have to be filled for applying to these rooms. A selection will be done by the organizers before July 19th. Only contributors with an accepted abstract can be selected. A special applying form will be available on the web-site later. Conference Chairmen : Prof R. Alt and Prof. J. Vignes Laboratoire LIP6 Université P. et M. Curie 8 rue du Capitaine Scott 75015 Paris Local organisation : Responsible Jean-Luc Lamotte Laboratoire LIP6 Université P. et M. Curie 8 rue du Capitaine Scott 75015 Paris Fax (+33) 1 44 27 53 53 E-mail : scan2002 [at] lip6 [dot] fr From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Feb 8 08:51:18 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g18EpHS15713 for reliable_computing-outgoing; Fri, 8 Feb 2002 08:51:17 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g18EpC415709 for ; Fri, 8 Feb 2002 08:51:13 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g18Ep7G09314; Fri, 8 Feb 2002 07:51:07 -0700 (MST) Message-Id: <200202081451.g18Ep7G09314 [at] cs [dot] utep.edu> Date: Fri, 8 Feb 2002 07:51:06 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: SCAN 2002 To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: cQKvzJe01laz5njr1rzB5A== 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 g18EpD415710 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------- Begin Forwarded Message ------------- Date: Fri, 8 Feb 2002 15:47:19 +0100 From: Jean-Luc Lamotte S C A N - 2 0 0 2 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics September,24-27, 2002, Paris, France Second announcement http://scan2002.lip6.fr ---------------------------------------------------------------------- I apologize if you received this message several times ---------------------------------------------------------------------- Correction on the list of invited speakers ---------------------------------------------------------------------- The conference continues the series of international SCAN symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. One of the missions of SCAN 2002 is to become a forum for the presentation of the many existing validation tools and approaches in order to meet representative populations of the various fields in numerical validation. Topics of interest : - Hardware and software support for validation tools - Theory, algorithms and arithmetic for numerical validation - Supercomputing and reliability - Dynamical systems and validation - Global optimization and validation - Programming tools for numerical validation - Computer aided proofs - Industrial and scientific applications of numerical validation Scientific program : The scientific program will consist of invited general lectures of 40 minutes with a additional 5 minutes for discussion. Contributed presentations are invited in all areas of the conference subjects. A contributed presentation involves a 25 minutes oral presentation with an additional 5 minutes for discussion. The conference language is English. Exhibitions and demonstrations of books, computer hardware, and software are welcome. It is planned to publish a collection of highly qualified papers in a special issue of the journal "Numerical Algorithms". Scientific committee : G. Alefeld, Karlsruhe (Germany) R. Alt, Paris (France) J.-M. Chesneaux, Paris (France) G.F. Corliss, Milwaukee (Wisconsin, USA) T. Csendes, Szeged (Hungary) A. Frommer, Wuppertal (Germany) G. Heindl, Wuppertal (Germany) J. Herzberger, Oldenburg (Germany) K.-U. Jahn, Leipzig (Germany) E. Kaucher, Karlsruhe (Germany) R.B. Kearfott, Lafayette, (Louisiana, USA) V. Kreinovich, El Paso (Texas, USA) U. Kulisch, Karlsruhe (Germany) G. Mayer, Rostock (Germany) S. Markov (Bulgaria) J.-M. Muller, Lyon (France) M. Plum, Karlsruhe (Germany) L.B. Rall, Madison (Wisconsin, USA) J. Rohn, Praha (Czechia) S.M. Rump, Hamburg (Germany) H. Schwandt, Berlin (Germany) Z. Shen, Nanjing (China) J. Vignes, Paris (France) W. V. Walter, Dresden (Germany) J. Wolff von Gudenberg, Würzburg (Germany) T. Yamamoto, Matsuyama (Japan) Invited speakers : P. Baveye, Cornell University (N.Y., USA) L. Henrique de Figueiredo, Instituto de Matematica Pura e Aplicada (Brazil) K. Jackson, Univ Toronto (Canada) S. Rump, Univ Harburg-Hamburg (Germany) K. Okumura, Univ Kyoto (Japan) B. Tibken, Univ Wuppertal (Germany) J. Vignes, Univ P. et M. Curie (France) P. Zimmermann, Inria (France) Abstracts : Each contributor must submit a title and a brief abstract not exceeding 200 words by using the templates (Latex, plain ASCII-text, HTML) which can be accessed at http://scan2002.lip6.fr/abstracts.html. The contribution should be sent to abstractscan2002 [at] lip6 [dot] fr. Exceptionally, contributors who cannot have access to these addresses may send their title and abstract by regular mail to the conference office. The abstracts will appear online at http://scan2002.lip6.fr/speakers and in the final program of the conference. Schedule for contributors : Action No later than ---------------------------------------------------- Submission of Abstracts April 30, 2002 Notification of Acceptance May 31, 2002 Return of Registration Form July 19, 2002 Schedule for no contributors : Action No later than ---------------------------------------------------- Return of Registration Form July 19, 2002 Conference Fee and social event : The conference registration desk will be open on Monday, September 23, 2002 between 2 P.M. to 7 P.M. and during the conference. On Thursday, September 26, there will be a visiting tour of Paris and a reception at the Eiffel Tower. The registration fee is 280 Euros, resp 320, if paid after the July 19, 2002, including the special issue of the journal "Numerical Algorithms", the visiting tour and the reception. This price does not include the cost of the bank transfer which will be given in the registration form. Participants are strongly invited to register electronically or send their registration form and fee as soon as possible. Please pay the registration fee in Euro currency. Accommodation : 12 free or low price rooms have been reserved in a student residence for people coming from country with low rate currency. A form will have to be filled for applying to these rooms. A selection will be done by the organizers before July 19th. Only contributors with an accepted abstract can be selected. A special applying form will be available on the web-site later. Conference Chairmen : Prof R. Alt and Prof. J. Vignes Laboratoire LIP6 Université P. et M. Curie 8 rue du Capitaine Scott 75015 Paris Local organisation : Responsible Jean-Luc Lamotte Laboratoire LIP6 Université P. et M. Curie 8 rue du Capitaine Scott 75015 Paris Fax (+33) 1 44 27 53 53 E-mail : scan2002 [at] lip6 [dot] fr ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Feb 9 16:15:40 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g19MFds19159 for reliable_computing-outgoing; Sat, 9 Feb 2002 16:15:39 -0600 (CST) Received: from imf24bis.bellsouth.net (mail024.mail.bellsouth.net [205.152.58.64]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g19MFY419154 for ; Sat, 9 Feb 2002 16:15:34 -0600 (CST) Received: from u8174 ([65.81.240.146]) by imf24bis.bellsouth.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with SMTP id <20020209221646.KNZE25849.imf24bis.bellsouth.net@u8174> for ; Sat, 9 Feb 2002 17:16:46 -0500 Message-Id: <2.2.32.20020209221540.0431080c [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sat, 09 Feb 2002 16:15:40 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Validated Computing 2002: Registration, deadlines, etc. Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Colleagues, I would like to remind you of some upcoming deadlines, etc. for Validated Computing 2002. Validated Computing 2002 is a SIAM workshop to be held May 23-25, 2002 in Toronto, immediately following the Seventh SIAM Conference on Optimization. * I should receive abstracts for contributed talks, in standard LaTeX format, by February 15 (for review by the scientific committee). * I should receive nominations for the Moore Prize on applications of interval analysis by February 15 (for review by the editorial board of "Reliable Computing"). * Proceedings will be published in "Reliable Computing." Full papers are to be submitted by July 1, 2002, a month after the conference. * It is now possible to register for both Validated Computing 2002 and for the SIAM workshop on the web. To register for Validated Computing 2002, go to https://www.siam.org/meetings/vc02/regform.htm For further registration and accomodation information, go to http://www.siam.org/meetings/vc02/index.htm For additional program information, etc., go to http://interval.louisiana.edu/conferences/Validated_computing_2002/html_notice.html Best regards, R. Baker Kearfott --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Feb 12 10:55:04 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g1CGt4x26541 for reliable_computing-outgoing; Tue, 12 Feb 2002 10:55:04 -0600 (CST) Received: from lcyoung.math.wisc.edu (lcyoung.math.wisc.edu [144.92.166.90]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g1CGst426537 for ; Tue, 12 Feb 2002 10:54:55 -0600 (CST) Received: from ultra8.math.wisc.edu (ultra8.math.wisc.edu [144.92.166.178]) by lcyoung.math.wisc.edu (8.11.4/8.11.4) with ESMTP id g1CGses17437; Tue, 12 Feb 2002 10:54:40 -0600 (CST) Received: from localhost (hans@localhost) by ultra8.math.wisc.edu (8.9.3+Sun/8.9.3) with ESMTP id KAA17327; Tue, 12 Feb 2002 10:54:38 -0600 (CST) X-Authentication-Warning: ultra8.math.wisc.edu: hans owned process doing -bs Date: Tue, 12 Feb 2002 10:54:38 -0600 (CST) From: Hans Schneider To: NETS -- at-net , "Hershkowitz, Danny -- Hershkowitz Daniel" , Danny Hershkowitz , E-LETTER , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison 608-271-8477 (Home FAX) Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans --- Journal: Linear Algebra and its Applications ISSN : 0024-3795 Volume : 345 Issue : 1-3 Date : 15-Apr-2002 Leverrier-Chebyshev algorithm for the singular pencils G.-r. Wang, L. Qiu pp 1-8 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004244&_version=1&md5=217e27fbb071705dba571089b132863a Generalized totally nonnegative matrices M. Fiedler, T.L. Markham pp 9-28 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004402&_version=1&md5=c9e20b929b7fb3bf68a97efe7c0ae888 On formal solutions of linear matrix differential-difference equations H.M. Martin, A. Tovbis pp 29-42 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004499&_version=1&md5=bdbb18c73cabab0c56fd35ac5b5f6f72 The solution of a problem on matrices having signed generalized inverses J.-Y. Shao, H.-Y. Shan pp 43-70 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004529&_version=1&md5=e25ea9ca14e8c61a8cf7fb29c6b5f6ab Orthogonal matrix polynomials and quadrature formulas A.J. Duran, E. Defez pp 71-84 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004748&_version=1&md5=7fd8f27ff0ec1bace005ec715ff68baa An algorithm to determine the isomorphism classes of 4-dimensional complex Lie algebras Y. Agaoka pp 85-118 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004736&_version=1&md5=e88c03a5acd3e7653a071a120ccf76c5 Commensurability classes of hyperbolic Coxeter groups N.W. Johnson, R. Kellerhals, J.G. Ratcliffe, S.T. Tschantz pp 119-147 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004773&_version=1&md5=e4f803ab33341ef4dc49eea1fbc1d1cc Monotone eigenspace structure in max-min algebra M. Gavalec pp 149-167 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004888&_version=1&md5=cd55eee038da08c7ca9db5c93a99fbbe Matrix measures, moment spaces and Favard's theorem for the interval [0,1] and [0,~) H. Dette, W.J. Studden pp 169-193 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004931&_version=1&md5=1ce4dc80c0024196e9a8f1fa6a47b9f4 g-Circulant solutions to the (0,1) matrix equation A^m=J"n wY.-K. Wu, R.-Z. Jia, Q. Li pp 195-224 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004918&_version=1&md5=83ef5028c0a4a812fe4a0716f636a4f4 On the factorization of LCM matrices on gcd-closed sets S. Hong pp 225-233 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004992&_version=1&md5=0d8c8003e01b22da584040cca6be0d80 Additive preservers of numerical range G. Lesnjak pp 235-253 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501004980&_version=1&md5=c63a21dae9c1d04cd78109fd89989e4b Matrix-traces on C^*-algebra M"n(A) H.-X. Cao, Z.-B. Xu, J.-H. Zhang, W.-H. Li pp 255-260 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379501005146&_version=1&md5=d0aa65c0f975a30912f3d72d3932195c Challenges in Matrix Theory 2002 pp 261 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379502002756&_version=1&md5=5950be807e3299a03814b066cf34be7c Open problems on GKK @t-matrices O. Holtz, H. Schneider pp 263-267 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S002437950100492X&_version=1&md5=7ed190382de051f2ec36f56ee19b558b Author index pp 269 Full text via ScienceDirect : http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S0024379502002744&_version=1&md5=a7116894997efd2884998219615d23f7 ______________________________________________________ w From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Feb 14 12:05:26 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g1EI5Qo01903 for reliable_computing-outgoing; Thu, 14 Feb 2002 12:05:26 -0600 (CST) Received: from yonge.cs.toronto.edu (root [at] yonge [dot] cs.toronto.edu [128.100.1.8]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with SMTP id g1EI5K401899 for ; Thu, 14 Feb 2002 12:05:21 -0600 (CST) Received: from jane.cs.toronto.edu ([128.100.2.31]) by yonge.cs.toronto.edu with SMTP id <15262-29830>; Thu, 14 Feb 2002 13:05:13 -0500 Received: from dvp.cs.toronto.edu by jane.cs.toronto.edu id <453139-15303>; Thu, 14 Feb 2002 13:05:05 -0500 From: Ken Jackson To: reliable_computing [at] interval [dot] louisiana.edu Subject: IMACS Workshop on Adaptive Methods for PDEs Cc: krj [at] cs [dot] toronto.edu Message-Id: <02Feb14.130505edt.453139-15303 [at] jane [dot] cs.toronto.edu> Date: Thu, 14 Feb 2002 13:05:02 -0500 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk First Announcement and Call for Papers IMACS WORKSHOP ON ADAPTIVE METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS 6-9 AUGUST 2002 The Fields Institute, Toronto As part of the Fields Institute's year on "Numerical and Computational Challenges in Science and Engineering", we are organizing a Workshop on Adaptive Methods for Partial Differential Equations. This workshop, which is co-sponsored by IMACS and the Fields Institute for Research in Mathematical Sciences, will be held 6-9 August 2002 at the Fields Institute in Toronto. OBJECTIVE Adaptive methods for partial differential equations (PDEs) are the most effective computational approach for a large class of PDEs that arise in many important applications in science and engineering. This area has grown steadily during the past two decades. This workshop will bring together leading researchers from around the world to address both theoretical and computational aspects of adaptive methods for PDEs and to foster stronger collaboration between mathematicians, engineers and scientists. TOPICS * A posterior error estimation * Adaptive H-p refinement * Adaptivity with complex geometry * Implementation of adaptive codes * Moving mesh techniques and applications * Adaptive spectral methods * Nonlinear analysis * Adaptive modeling * Applications of adaptive methods ORGANIZING COMMITTEE * Paul Fisher, Argonne National Laboratories, U.S.A * Joseph E. Flaherty, Rensselaer Polytechnic Institute, U.S.A. * Benqi Guo, University of Manitoba, Canada (Co-Chairman) * Kenneth R. Jackson, University of Toronto, Canada (Co-Chairman) * Robert D. Russell, Simon Fraser University, Canada INVITED SPEAKERS * Mark Ainsworth, Strathclyde University, Scotland * Ivo Babuska, University of Texas at Austin, U.S.A. * Martin Berzins, University of Leeds, U.K. * Anne Bourlioux, University of Montreal, Canada * Leszek Demkowicz, University of of Texas at Austin, U.S.A. * Oleg Vassilyev, University of Missouri, U.S.A. * Jinchao Xu, Penn State University, U.S.A. CALL FOR PAPERS The program will consist of invited lectures (45 minutes each), and contributed talks (30 minutes each). If you wish to contribute a talk, please send a one-page abstract, written in English, related to the topics of the conference, by 30 April 2002. The abstract should include: names(s) and affiliation(s) of author(s), as well as the address, e-mail address, phone and fax numbers of the contact person. Authors are kindly requested to submit their abstracts via e-mail in plain LaTeX (or plain AMS Tex) to: Prof. Benqi Guo Mathematics Department, University of Manitoba Email: guo [at] cc [dot] umanitoba.ca Fax: 204 - 474 7611 For more details about the workshop, please see our webpage http://www.fields.utoronto.ca./programs/scientific/01-02/numerical/adaptive/ From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Feb 14 16:17:26 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g1EMHPb02324 for reliable_computing-outgoing; Thu, 14 Feb 2002 16:17:25 -0600 (CST) Received: from imf26bis.bellsouth.net (mail126.mail.bellsouth.net [205.152.58.86]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g1EMHL402320 for ; Thu, 14 Feb 2002 16:17:21 -0600 (CST) Received: from u8174 ([66.20.80.243]) by imf26bis.bellsouth.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with SMTP id <20020214221828.WOEZ3231.imf26bis.bellsouth.net@u8174> for ; Thu, 14 Feb 2002 17:18:28 -0500 Message-Id: <2.2.32.20020214221722.0098bc24 [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: Thu, 14 Feb 2002 16:17:22 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Reminder: Validated Computing 2002 abstracts due Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Colleagues, This is a short reminder that contributed abstracts for Validated Computing 2002 are due by the end of the day on February 15 (today or tomorrow, as the case may be). For details, see http://interval.louisiana.edu/conferences/Validated_computing_2002/html_notice.html Best regards, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Feb 15 09:22:44 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g1FFMha04326 for reliable_computing-outgoing; Fri, 15 Feb 2002 09:22:43 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g1FFMc404322 for ; Fri, 15 Feb 2002 09:22:38 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g1FFMXU28539; Fri, 15 Feb 2002 08:22:33 -0700 (MST) Message-Id: <200202151522.g1FFMXU28539 [at] cs [dot] utep.edu> Date: Fri, 15 Feb 2002 08:22:32 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: CFP Knowledge Representation under Vagueness and Uncertainty 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: WoOCNWHesG6728ONbiucIw== 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 ------------- Begin Forwarded Message ------------- Date: Fri, 15 Feb 2002 12:02:24 +0100 (MET) From: Martine De Cock =========================================================================== CALL FOR PAPERS SPECIAL SESSION ON KNOWLEDGE REPRESENTATION UNDER VAGUENESS AND UNCERTAINTY http://fuzzy.rug.ac.be/fskd ICONIP'02-SEAL'02-FSKD'02 2002 International Conference on Fuzzy Systems and Knowledge Discovery November 18-22, 2002, Singapore =========================================================================== To process information using a knowledge-based system requires that the data be stated according to an agreed-upon representation formalism. Typically, the choice of a given representation will be crucial to the efficiency, the expressiveness and the transparency of the overall system. Moreover, very often the data to be represented are pervaded with modalities of imprecision, notably vagueness and uncertainty. This occurs e.g. when our knowledge of a given system or process is only partial, or when we are dealing with linguistic information. In any of those cases, the system developer is challenged to choose from a panoply of different potential frameworks which have been introduced during the past decades to deal with this kind of imperfection: * fuzzy sets * second-order, interval-valued or intuitionistic fuzzy sets * rough sets * probability, possibility and necessity distributions * generalized nets * frames * ... There is of course no strict preference between any of these approaches, and their suitability is largely determined by the needs of the application at hand. The aim of this session is therefore to bring together scientists from different backgrounds to discuss and exchange ideas about representational aspects of vagueness and uncertainty. We welcome original contributions from both the theoretical and the application side. Authors are invited to submit electronic files (postscript, pdf or Word format) to the session organizers (address see below). Papers should be double-column and use 10pt Times Roman or similar fonts. The final version of a paper should not exceed 5 pages in length. A selected number of ICONIP'02-SEAL'02-FSKD'02 accepted papers will be expanded and revised for possible inclusion in edited books and peer-reviewed journals, such as Soft Computing and Knowledge and Information Systems: An International Journal by Springer-Verlag. Important Dates: Paper/Summary Deadline: April 30, 2002 Notification of Acceptance: July 15, 2002 Camera-Ready Copy Due: August 15, 2002 Chris Cornelis, Martine De Cock and Etienne Kerre {chris.cornelis|martine.decock|etienne.kerre}@rug.ac.be Fuzziness and Uncertainty Modelling Research Unit Department of Applied Mathematics and Computer Science Ghent University Krijgslaan 281 (S9) B-9000 Ghent (Belgium) ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Feb 15 10:06:35 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g1FG6YH04489 for reliable_computing-outgoing; Fri, 15 Feb 2002 10:06:34 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g1FG6U404485 for ; Fri, 15 Feb 2002 10:06:30 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g1FG6QQ28953; Fri, 15 Feb 2002 09:06:26 -0700 (MST) Message-Id: <200202151606.g1FG6QQ28953 [at] cs [dot] utep.edu> Date: Fri, 15 Feb 2002 09:06:24 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: GRACM 2002/Session on Global Optimization To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: grapsa [at] math [dot] upatras.gr MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: /m3IPvgpIWm6HmPyhVmJ4g== 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, Dr. Theodoula N. Grapsa from the Department of Mathematics at the University of Patras, Greece, is organizing a session on Global Optimization at the Fourth International Congress on Computational Mechanics GRACM'2002 http://gracm2002.upatras.gr/ The topics of the session include, but are not limited to: Linear and nonlinear programming; Global and nonsmooth optimization; Interval methods and their applications Solutions of linear and nonlinear systems of equations; Least-squares problems; Computations of eigenvalue problems; Parallel computations in optimization and numerical algebra, Applications of optimization and algebra techniques and algorithms. Since Dr. Grapsa himself has been recently working mainly in nonlinear systems and global optimization using interval methods, he asked me to specifically solicit interval community participation. There is already a lot of people who expressed interest in presenting their results, so this session will hopefully become a mini-symposium within the Congress. If you are interested please send the title of your paper to Dr. Grapsa ASAP, and the full paper by the end of March. The official deadline for the Congress has expired, but there is a special extension for this special session. If necessary, please contact Dr. Grapsa for more information. His mailing address is: Prof. Theodoula N. Grapsa University of Patras Dept.of Mathematics Div. of Computational Math. & Informatics GR-265 00, Rio, Patras GREECE email grapsa [at] math [dot] upatras.gr From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Feb 20 12:59:26 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g1KIxPr18212 for reliable_computing-outgoing; Wed, 20 Feb 2002 12:59:25 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g1KIxL418207 for ; Wed, 20 Feb 2002 12:59:22 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g1KIxBh05557; Wed, 20 Feb 2002 11:59:11 -0700 (MST) Message-Id: <200202201859.g1KIxBh05557 [at] cs [dot] utep.edu> Date: Wed, 20 Feb 2002 11:59:11 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: FW: First International Workshop on Soft Methods in Probability a nd Statistics To: interval [at] cs [dot] utep.edu, reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: vLoegHBQldR+QaeKWoq0kg== 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 is FYI. The organizers list interval methods in probabilities as one of the topics of their interest. Vladik -----Original Message----- From: smps2002 [at] ibspan [dot] waw.pl [mailto:smps2002 [at] ibspan [dot] waw.pl] Sent: 20. februar 2002 12:11 To: igor.kozine [at] risoe [dot] dk Subject: First International Workshop on Soft Methods in Probability and Statistics ---------------------------------------------------------------------- This announcement is being sent to multiple lists. We apologize if you receive several copies. ---------------------------------------------------------------------- First International Workshop on Soft Methods in Probability and Statistics SMPS2002 SECOND ANNOUNCEMENT AND CALL FOR PARTICIPATION Warsaw, Poland, September 9-13, 2002 with the opening plenary lecture to be delivered by Professor Didier Dubois form IRIT, Universite Paul Sabatier, Toulouse, France. http://www.ibspan.waw.pl/smps2002 There has been, on the one hand, a very positive response to our workshop as people have underlined both the originality of the topic and its relevance to many fields. However, many interested participants have requested a prolongation of the deadline in view of a very high number of conferences in this year, and their inability to prepare papers by the original deadline. Therefore, in view of those requests and suggestions, we have decided to considerably postpone the deadline for the submission of abstracts, and then full papers. Namely, the abstracts (meant as an expression of the author's intent to participate) are due by March 08, 2002. The authors will be notified on the acceptance/rejection of their papers by March 15, 2002. The full papers, to be prepared according to typing instructions (to be provided) are due by May 15, 2002. The reviewers comments and remarks will be sent by May 30, 2002. The camera-ready typescripts of the papers will be due by June 10, 2002. The proceedings of the workshop, including all the accepted papers, will be published by the Springer-Verlag group in the series 'Advances in Soft Computing'. One copy of the proceedings will be given to each registered participant. Unfortunately, due to the above mentioned requests for a prolongation of the deadline, the proceedings may be unavailable at the workshop, and in such a case will be sent to the registered participants by the publisher. Additional copies of the proceedings will be available at a reduced price. In view of a considerable interest in the topics of the workshop from various mathematical, scientific, technological, etc. communities, there will be many post-workshop publications including 2-3 special issues of prestigious journals, and an edited volume to be published by the Springer-Verlag group in the series 'Studies in Fuzziness and Soft Computing'. These publications will contain extended versions of papers presented at the workshop. A final decision will be made by the Program Committee. Another suggestion of interested participants was that it would be very productive to have special sessions and round table discussions. Participants interested in the organization of a special session(s), and arranging its (their) appropriate program, are requested to contact the workshop organizers; a reduction of the registration fee is planned. Round table discussions are very important and stimulating, and we wish to encourage interested participants - an appropriate room and presentation facilities will be offered free of charge. All information about the conference and a registration form are also available on Internet. The conference website address is: http://www.ibspan.waw.pl/smps2002 We would be glad to welcome you in Warsaw. If you have any further questions, please do not hesitate to contact us. We are looking forward to hearing from you. Yours sincerely, Dr Przemyslaw Grzegorzewski -------------------------------------------------------- Dr Przemyslaw Grzegorzewski Systems Research Institute Polish Academy of Sciences ul. Newelska 6 01-447 Warsaw, Poland E-mail: pgrzeg [at] ibspan [dot] waw.pl Phone: (+48 22) 837-35-78 int. 207 Fax: (+48 22) 837-27-72 -------------------------------------------------------- ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Feb 22 18:28:23 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) id g1N0SMJ23985 for reliable_computing-outgoing; Fri, 22 Feb 2002 18:28:22 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.2) with ESMTP id g1N0SH423981 for ; Fri, 22 Feb 2002 18:28:18 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g1N0SCl26487; Fri, 22 Feb 2002 17:28:12 -0700 (MST) Message-Id: <200202230028.g1N0SCl26487 [at] cs [dot] utep.edu> Date: Fri, 22 Feb 2002 17:28:11 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: interval minis right before Validated Computing 2002 To: reliable_computing [at] interval [dot] louisiana.edu Cc: interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: lBLT5l329/Wt/TIc1iHMxA== 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 Just before the Validated Computing 2002 meeting, there will be the Seventh SIAM Conference on Optimization, Toronto, Ontario, May 20-22. This conference will include two minisymposia on interval methods in optimization: ********************************************************************* The two suggested minisymposia cover algorithmic improvements on interval arithmetic based optimization techniques. The addressed problem set is global optimization, where verified solution is necessary. The talks summarize results on several aspects of the related methods, and application fields. Purpose: to discuss the state of the art in verified techniques of nonlinear optimization. Audience: The anticipated audience is researchers interested in verified nonlinear optimization. Organizer: Tibor Csendes University of Szeged, Hungary R. Baker Kearfott University of Louisiana, Lafayette *************************************************************************** Tuesday, May 21 MS22 Interval Methods in Optimization: I 10:30 AM - 1:00 PM Room: Pier 7 & 8 For Part II, see MS40 10:30-10:55 A New Interval Selection Technique for Global Optimization Tibor Csendes, University of Szeged, Hungary 11:00-11:25 Interval Analysis on DAGs for Global Optimization I Arnold Neumaier and Hermann Schichl, University of Vienna, Austria 11:30-11:55 Interval Analysis on DAGs for Global Optimization II Hermann Schichl and Arnold Neumaier, University of Vienna, Austria 12:00-12:25 Tight Range Enclosures with Taylor Model Methods Kyoko Makino, University of Illinois, Urbana-Champaign 12:30-12:55 Reliable and Accurate Solutions of Linear and Nonlinear Systems Nathalie Revol, Ecole Normale Superieure de Lyon, France ************************************************************************* Wednesday, May 22 MS40 Interval Methods in Optimization: II 9:45 AM - 11:45 AM Room: Pier 7 & 8 9:45-10:10 Interval Linear and Nonlinear Regression -- New Paradigms, Implementations, and Experiments Jie Yang and R. Baker Kearfott, University of Louisiana, Lafayette 10:15-10:40 New Interval Methods for Constrained Global Optimization Tibor Csendes and Mihaly Markot, University of Szeged, Hungary; Jose Fernandez Hernandez, University of Murcia, Spain; Leocadio Gonzalez Casado, University of Almeria, Spain 10:45-11:10 Taylor Model Methods and Their Heuristics for Global Optimization Martin Berz, Michigan State University 11:15-11:40 A Strategy for Computing Inner and Outer Approximations of the Range of a Lipschitz Function on a Box Gerhard Heindl, University of Wuppertal, Germany