From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 1 08:38:26 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i21EcPn20240 for reliable_computing-outgoing; Mon, 1 Mar 2004 08:38:25 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i21EcJQ20234 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 1 Mar 2004 08:38:19 -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.3) with ESMTP id i1RHkNA15053 for ; Fri, 27 Feb 2004 11:46:23 -0600 (CST) Received: from ultra7.math.wisc.edu (ultra7.math.wisc.edu [144.92.166.188]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id i1RHiRn22877; Fri, 27 Feb 2004 11:44:27 -0600 (CST) Date: Fri, 27 Feb 2004 11:44:27 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, 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 X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk * Linear Algebra and its Applications Volume 381, (1 April 2004) http://www.sciencedirect.com/science/issue/5653-2004-996189999-483175 TABLE OF CONTENTS System theoretic based characterisation and computation of the least common multiple of a set of polynomials, Pages 1-23 Nicos Karcanias and Marilena Mitrouli Conjugacy invariants of , Pages 25-35 B. Foreman Inertia theorems for pairs of matrices, Pages 37-52 Cristina Ferreira and Fernando C. Silva A property concerning the Hadamard powers of inverse M-matrices, Pages 53-60 Shencan Chen A limit theorem for sets of stochastic matrices, Pages 61-76 Anne Condon and Michael Saks On the powers of a vectorial matroid - an equivalence relation, Pages 77-95 Rosario Fernandes A decreasing sequence of upper bounds on the largest Laplacian eigenvalue of a graph, Pages 97-116 Oscar Rojo and Hector Rojo The k-edge connected subgraph problem I: Polytopes and critical extreme points, Pages 117-139 M. Didi Biha and A. R. Mahjoub A least squares approach to reduce stable discrete linear systems preserving their stability, Pages 141-163 Sven Feldmann and Patrick Lang Positive extension problems for a class of structured matrices, Pages 165-195 Vladimir Bolotnikov and Paul A. Smith Spectral shorted matrices, Pages 197-217 Jorge Antezana , Gustavo Corach and Demetrio Stojanoff Parametric extensions of Shannon inequality and its reverse one in Hilbert space operators, Pages 219-235 Takayuki Furuta Some facets of the polytope of even permutation matrices, Pages 237-244 Jeffrey Hood and David Perkinson Eventually nonnegative matrices are similar to seminonnegative matrices, Pages 245-258 Sarah Carnochan Naqvi and Judith J. McDonald Numerical ranges of unbounded operators arising in quantum physics, Pages 259-279 N. Bebiano , R. Lemos and J. da Providencia Author index, Page 281 NOTE: The ScienceDirect website http://www.sciencedirect.com contains all articles published in LAA beginning with vol 1 (1968). Also about 100 articles in press beyond vol. 381 have been posted there. From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 1 17:14:23 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i21NEN420703 for reliable_computing-outgoing; Mon, 1 Mar 2004 17:14:23 -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.3) with ESMTP id i21NEHA20699 for ; Mon, 1 Mar 2004 17:14:17 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i21NECt15794 for ; Mon, 1 Mar 2004 16:14:12 -0700 (MST) Message-Id: <200403012314.i21NECt15794 [at] cs [dot] utep.edu> Date: Mon, 1 Mar 2004 16:14:11 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Call For Papers: Parameterized and Exact Computation (IWPEC 2004) To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 7Fis3TZtJvSUcntJ4LZLBg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This may be of interest to our community. Vladik ------------- Begin Forwarded Message ------------- Date: Mon, 01 Mar 2004 14:05:50 -0500 From: "'Frank Dehne (http://www.dehne.net)'" _________________________________________________________________________ my apologies for multiple copies... _________________________________________________________________________ Call For Papers International Workshop on Parameterized and Exact Computation (IWPEC 2004) http://www.iwpec.org/ Bergen, Norway, September 14 - 17, 2004 co-located with ALGO 2004 (http://www.ii.uib.no/algo2004/) The International Workshop on Parameterized and Exact Computation, covers research in all aspects of parameterized and exact computation and complexity, including but not limited to: new techniques for the design and analysis of parameterized and exact algorithms, parameterized complexity theory, relationship between parameterized complexity and traditional complexity, applications of parameterized computation, implementation issues of parameterized algorithms, high-performance computing and fixed-parameter tractability. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions for future research. Submission Deadline: April 30, 2004 Notification: May 30, 2004 For more details, please consult http://www.iwpec.org/ ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 1 21:39:53 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i223dq521035 for reliable_computing-outgoing; Mon, 1 Mar 2004 21:39:52 -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.3) with ESMTP id i223dkA21031 for ; Mon, 1 Mar 2004 21:39:46 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i223dcX17677; Mon, 1 Mar 2004 20:39:38 -0700 (MST) Message-Id: <200403020339.i223dcX17677 [at] cs [dot] utep.edu> Date: Mon, 1 Mar 2004 20:39:38 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: conferences of potential interest to interval community To: reliable_computing [at] interval [dot] louisiana.edu Cc: sssc04 [at] ctrl [dot] cinvestav.mx MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: FAefM6UG3IsuNm/tETMgNw== 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 i223dlA21032 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, Robust (in particular, interval-based) control is one of the main topics of this conference. Professor Kharitonov who is the pioneer of robust control of interval systems (his 1978 paper started this area), is the Chair of the International Program committee. This clearly is of interest to our interval community! Vladik Date: Mon, 01 Mar 2004 15:10:24 -0600 From: sssc04 ***************************************************************** SECOND CALL FOR PAPERS IFAC Symposium on System, Structure and Control Oaxaca, Mexico December 8-10, 2004 March 31th, 2004 : Submission of manuscript March 31th, 2004 : Submission of proposal of Invited Session July 15th, 2004 : Notification of acceptance September 12th, 2004 : Receipt of paper in camera-ready form For information: http://www.sssc04.cinvestav.mx Contacts: sec.sssc04 [at] ctrl [dot] cinvestav.mx ***************************************************************** Dear Colleague, On behalf of the Organizing Committee, we are pleased to invite you to participate to the IFAC Symposium on System, Structure and Control, which will be held from December 8 to December 10, 2004, in Oaxaca, Mexico. You can get more details in the Call for Papers included below (pdf file) or the web site: http://www.sssc04.cinvestav.mx We are looking forward to meeting you at the SSSC04 , in Oaxaca. Sincerely yours, Jorge Torres Muñoz, CINVESTAV, Chair of the National Organizing Committee Vladimir Kharitonov, CINVESTAV, Chair of the International Program Committee Sabine Mondié, CINVESTAV, Program Editor From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Mar 3 08:32:02 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i23EW1T23335 for reliable_computing-outgoing; Wed, 3 Mar 2004 08:32:01 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i23EVum23330 for reliable_computing [at] interval [dot] louisiana.edu; Wed, 3 Mar 2004 08:31:56 -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.3) with ESMTP id i22LXZA22244 for ; Tue, 2 Mar 2004 15:33:36 -0600 (CST) Received: from ultra7.math.wisc.edu (ultra7.math.wisc.edu [144.92.166.188]) by lcyoung.math.wisc.edu (8.11.6p2-20030921/8.11.6) with ESMTP id i22LW3n09174; Tue, 2 Mar 2004 15:32:03 -0600 (CST) Date: Tue, 2 Mar 2004 15:32:03 -0600 (CST) From: Hans Schneider To: NETS -- at-net , E-LETTER , Pradeep Misra , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, Michael.Unser [at] epfl [dot] ch, SIAGLA-DIGEST , hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, 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 X-UWMath-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk * Linear Algebra and its Applications Volume 380, (15 March 2004) http://www.sciencedirect.com/science/issue/5653-2004-996199999-483681 Special section dedicated to the GAMM workshop Applied and Numerical Linear Algebra with special emphasis on Numerical Methods for Structured and Random Matrices, Pages 1-2 Andreas Frommer , Volker Mehrmann and Reinhard Nabben On doubly structured matrices and pencils that arise in linear response theory, Pages 3-51 Christian Mehl , Volker Mehrmann and Hongguo Xu The behavior of symmetric Krylov subspace methods for solving Mx=(M-[gamma]I)v, Pages 53-71 V. Simoncini and M. Pennacchio On finite dimension exchange algorithms, Pages 73-93 Holger Arndt Generalized Hessenberg matrices, Pages 95-105 Miroslav Fiedler and Zdenk Vavin A unified approach to fast image registration and a new curvature based registration technique, Pages 107-124 Bernd Fischer and Jan Modersitzki A note on the second largest eigenvalue of a tree with perfect matchings, Pages 125-134 Ji-Ming Guo and Shang-Wang Tan Representability of convex sets by analytical linear inequality systems, Pages 135-150 Daniel A. Jaume and Ruben Puente Generalization of Flanders' theorem to matrix triples, Pages 151-171 J. Gelonch and C. R. Johnson On graphs with at most three Laplacian eigenvalues greater than or equal to two, Pages 173-184 Miroslav Petrovi , Bojana Borovianin and Aleksandar Torgaev Additive preservers of rank-additivity on the spaces of symmetric and alternate matrices, Pages 185-198 Hong You and Xiao Min Tang Inverse eigenproblems and associated approximation problems for matrices with generalized symmetry or skew symmetry, Pages 199-211 William F. Trench The N-matrix completion problem under digraphs assumptions, Pages 213-225 C. Mendes Araujo , Juan R. Torregrosa and Ana M. Urbano A unified treatment for the matrix Stieltjes moment problem, Pages 227-239 Yong-Jian Hu and Gong-Ning Chen Generic canonical form of pairs of matrices with zeros, Pages 241-251 Tat'yana N. Gaiduk and Vladimir V. Sergeichuk Subresultants and locally nilpotent derivations, Pages 253-261 M'hammed El Kahoui Some partial inverse eigenvalue problems: recovering diagonal entries of symmetric matrices, Pages 263-270 D. Paul Phillips Author index to volume 380, Page 271 >From the Editor-in-Chief, Pages 273-274 Richard A. Brualdi Referees for volumes 361-380, Pages 275-279 Author index to volumes 361-380, Pages 281-297 Editorial board, Pages ii-iii ******************************************************* NOTE: Contents of vol. 381 have already been circulated. The ScienceDirect website http://www.sciencedirect.com contains all articles published in LAA beginning with vol 1 (1968). Also about 100 articles in press beyond vol. 381 are posted there. From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Mar 3 19:59:49 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i241xn923825 for reliable_computing-outgoing; Wed, 3 Mar 2004 19:59:49 -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.3) with ESMTP id i241xgA23821 for ; Wed, 3 Mar 2004 19:59:43 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i241xPA12796; Wed, 3 Mar 2004 18:59:25 -0700 (MST) Message-Id: <200403040159.i241xPA12796 [at] cs [dot] utep.edu> Date: Wed, 3 Mar 2004 18:59:23 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: PDF positions at University of Girona (Spain) To: reliable_computing [at] interval [dot] louisiana.edu Cc: armengol [at] silver [dot] udg.es MIME-Version: 1.0 Content-Type: MULTIPART/mixed; BOUNDARY=Colony_of_Ants_235_000 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 --Colony_of_Ants_235_000 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Content-MD5: Gx+KO46xaqDTaWWGDcNg0w== Forwarding. Vladik ************************************************* Dear Collegues, Outstanding young and responsible researchers are invited to apply for 3 postdoctoral research positions in the broad area of control, supervision and identification of uncertain complex systems in the Department of Electronics, Computer Science and Automatic Control, University of Girona, Spain. Due to the imminent application deadlines, the applicants should send by email as soon as possible the complete CV (with special mention about the impact factor of all publications referenced by JCR) and a research proposal to the following persons in order to have the previous evaluation before doing their formal on-line application. Dr. Ningsu Luo (ningsu [at] eia [dot] udg.es) PDF associated with the program "Ramon y Cajal" Dr. Josep Veh=ED (vehi [at] eia [dot] udg.es) PDF associated with the program "Juan de la Cierva - Projecte 1" Dr. Joaquim Armengol (armengol [at] eia [dot] udg.es) PDF associated with the program "Juan de la Cierva - Projecte 2" Please read the enclosed file for more information. Best regards, --=20 Joaquim Armengol Llobet http://eia.udg.es/~armengol mailto:armengol [at] eia [dot] udg.es --Colony_of_Ants_235_000 Content-Type: APPLICATION/pdf; name="PDF Call - Spain.pdf" Content-Transfer-Encoding: BASE64 Content-Description: PDF Call - Spain.pdf Content-MD5: J2IOVyzw6S3NihnedDV3hA== JVBERi0xLjQNJeLjz9MNCjEyIDAgb2JqPDwvSFs1OTYgMTg4XS9MaW5lYXJp emVkIDEvRSA4MzczL0wgMTc4ODQvTiAzL08gMTUvVCAxNzU5Nz4+DWVuZG9i ag0gICAgICAgICAgICAgICAgICAgICAgDQp4cmVmDQoxMiAxNQ0KMDAwMDAw MDAxNiAwMDAwMCBuDQowMDAwMDAwNzg0IDAwMDAwIG4NCjAwMDAwMDA1OTYg MDAwMDAgbg0KMDAwMDAwMDg2MiAwMDAwMCBuDQowMDAwMDAwOTkwIDAwMDAw IG4NCjAwMDAwMDExMjIgMDAwMDAgbg0KMDAwMDAwMTYyMyAwMDAwMCBuDQow MDAwMDAyMzQ4IDAwMDAwIG4NCjAwMDAwMDIzODIgMDAwMDAgbg0KMDAwMDAw MjYyNyAwMDAwMCBuDQowMDAwMDAyODY2IDAwMDAwIG4NCjAwMDAwMDI5NDIg MDAwMDAgbg0KMDAwMDAwNTMyNCAwMDAwMCBuDQowMDAwMDA1NDc3IDAwMDAw IG4NCjAwMDAwMDU3MDQgMDAwMDAgbg0KdHJhaWxlcg0KPDwvU2l6ZSAyNy9Q cmV2IDE3NTg2L1Jvb3QgMTMgMCBSL0luZm8gMTEgMCBSL0lEWzxjNjY2MmQw ODMxZmE2MzY3ZjYwMTk3NGU5OTRiOGNlYT48NTIzYmNkMmU2MDYyMjM0OWI2 ZTgzY2VhODkzOTM3OTM+XT4+DQpzdGFydHhyZWYNCjANCiUlRU9GDQogICAg ICAgICAgICAgDQoxNCAwIG9iajw8L0xlbmd0aCAxMDgvRmlsdGVyL0ZsYXRl RGVjb2RlL0wgMTIwL1MgNzY+PnN0cmVhbQ0KeNpiYGBgZmBgWsTAwsDAeYiB lwEBeIFiIMgxgWHOCgbmrpkFIFGWoOSV1cklQRuAbJcGIMHBwCjYAFaApJcH ihkYlBh4WB8kyRptZmC4zHNBa9KBch4pb7AMOwODqROQZgJiC4AAAwDYrhNO DQplbmRzdHJlYW0NZW5kb2JqDTEzIDAgb2JqPDwvUGFnZXMgOSAwIFIvVHlw ZS9DYXRhbG9nL1BhZ2VMYWJlbHMgNyAwIFIvTWV0YWRhdGEgMTAgMCBSPj4N ZW5kb2JqDTE1IDAgb2JqPDwvQ29udGVudHMgMjMgMCBSL1R5cGUvUGFnZS9Q YXJlbnQgOSAwIFIvUm90YXRlIDAvTWVkaWFCb3hbMCAwIDU5NSA4NDJdL0Ny b3BCb3hbMCAwIDU5NSA4NDJdL1Jlc291cmNlcyAxNiAwIFI+Pg1lbmRvYmoN MTYgMCBvYmo8PC9Db2xvclNwYWNlPDwvQ3M2IDE5IDAgUj4+L0ZvbnQ8PC9U VDIgMTcgMCBSL1RUNCAxOCAwIFIvVFQ2IDI0IDAgUj4+L1Byb2NTZXRbL1BE Ri9UZXh0XS9FeHRHU3RhdGU8PC9HUzEgMjIgMCBSPj4+Pg1lbmRvYmoNMTcg MCBvYmo8PC9UeXBlL0ZvbnQvRW5jb2RpbmcvV2luQW5zaUVuY29kaW5nL0Jh c2VGb250L1RpbWVzTmV3Um9tYW5QUy1Cb2xkTVQvRmlyc3RDaGFyIDMyL0xh c3RDaGFyIDE0OC9TdWJ0eXBlL1RydWVUeXBlL0ZvbnREZXNjcmlwdG9yIDIw IDAgUi9XaWR0aHNbMjUwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAyNTAgMzMz IDI1MCAwIDAgNTAwIDUwMCAwIDAgMCAwIDAgMCAwIDMzMyAwIDAgMCAwIDAg MCA3MjIgNjY3IDcyMiA3MjIgNjY3IDYxMSA3NzggNzc4IDM4OSA1MDAgMCA2 NjcgOTQ0IDcyMiA3NzggNjExIDAgNzIyIDU1NiA2NjcgNzIyIDcyMiAxMDAw IDcyMiA3MjIgMCAwIDAgMCAwIDAgMCA1MDAgMCA0NDQgNTU2IDQ0NCAzMzMg NTAwIDU1NiAyNzggMzMzIDAgMjc4IDgzMyA1NTYgNTAwIDU1NiAwIDQ0NCAz ODkgMzMzIDU1NiA1MDAgNzIyIDAgNTAwIDAgMCAwIDAgMCAwIDAgMCAwIDAg MCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgNTAwIDUwMF0+Pg1lbmRv YmoNMTggMCBvYmo8PC9UeXBlL0ZvbnQvRW5jb2RpbmcvV2luQW5zaUVuY29k aW5nL0Jhc2VGb250L1RpbWVzTmV3Um9tYW5QU01UL0ZpcnN0Q2hhciAzMi9M YXN0Q2hhciAyNDMvU3VidHlwZS9UcnVlVHlwZS9Gb250RGVzY3JpcHRvciAy MSAwIFIvV2lkdGhzWzI1MCAwIDAgMCAwIDAgMCAwIDMzMyAzMzMgMCAwIDI1 MCAzMzMgMjUwIDI3OCA1MDAgNTAwIDUwMCA1MDAgNTAwIDUwMCA1MDAgNTAw IDUwMCA1MDAgMjc4IDAgMCAwIDAgMCA5MjEgNzIyIDY2NyA2NjcgNzIyIDYx MSA1NTYgNzIyIDcyMiAzMzMgMzg5IDAgNjExIDg4OSA3MjIgNzIyIDU1NiA3 MjIgNjY3IDU1NiA2MTEgNzIyIDcyMiAwIDAgNzIyIDAgMCAwIDAgMCAwIDAg NDQ0IDUwMCA0NDQgNTAwIDQ0NCAzMzMgNTAwIDUwMCAyNzggMjc4IDUwMCAy NzggNzc4IDUwMCA1MDAgNTAwIDUwMCAzMzMgMzg5IDI3OCA1MDAgNTAwIDcy MiA1MDAgNTAwIDQ0NCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAw IDAgMCAwIDAgMCAwIDAgMCA0NDQgNDQ0IDAgNTAwIDAgMCAwIDAgMCAwIDAg MCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAw IDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAg MCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCA0 NDQgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDI3OCAwIDAgMCAwIDAgNTAwXT4+ DWVuZG9iag0xOSAwIG9ialsvSUNDQmFzZWQgMjYgMCBSXQ1lbmRvYmoNMjAg MCBvYmo8PC9UeXBlL0ZvbnREZXNjcmlwdG9yL0ZvbnRCQm94Wy01NTggLTMw NyAyMDM0IDEwMjZdL0ZvbnROYW1lL1RpbWVzTmV3Um9tYW5QUy1Cb2xkTVQv RmxhZ3MgMzQvU3RlbVYgMTM2L0NhcEhlaWdodCA2NTYvWEhlaWdodCAwL0Fz Y2VudCA4OTEvRGVzY2VudCAtMjE2L0l0YWxpY0FuZ2xlIDAvRm9udEZhbWls eShUaW1lcyBOZXcgUm9tYW4pL0ZvbnRTdHJldGNoL05vcm1hbC9Gb250V2Vp Z2h0IDcwMD4+DWVuZG9iag0yMSAwIG9iajw8L1R5cGUvRm9udERlc2NyaXB0 b3IvRm9udEJCb3hbLTU2OCAtMzA3IDIwMjggMTAwN10vRm9udE5hbWUvVGlt ZXNOZXdSb21hblBTTVQvRmxhZ3MgMzQvU3RlbVYgODIvQ2FwSGVpZ2h0IDY1 Ni9YSGVpZ2h0IDAvQXNjZW50IDg5MS9EZXNjZW50IC0yMTYvSXRhbGljQW5n bGUgMC9Gb250RmFtaWx5KFRpbWVzIE5ldyBSb21hbikvRm9udFN0cmV0Y2gv Tm9ybWFsL0ZvbnRXZWlnaHQgNDAwPj4NZW5kb2JqDTIyIDAgb2JqPDwvVHlw ZS9FeHRHU3RhdGUvU0EgZmFsc2UvT1AgZmFsc2UvU00gMC4wMi9vcCBmYWxz ZS9PUE0gMT4+DWVuZG9iag0yMyAwIG9iajw8L0xlbmd0aCAyMzEyL0ZpbHRl ci9GbGF0ZURlY29kZT4+c3RyZWFtDQpIicRX23LcuBF911fgEUx5IIIEb37K rCR75dJKijTrJBXnAeJgNHRRJMPLaOc71pW/zD+kGwAvc1NcW+VKuazBDIlG o/v06dPnHx85eW7OflqcnS8WHuFksTrjPkti4sI/s4oD5sYkCmLmhq5PFi9n 5xdNSNIG32GBy5MQVk1anLnMdeHVRXo208uALF7P6P3d4+Ly7mJx9zC/IR+u bm7u/vr48/U9gd+vF9d3t4+EOIuvZy6ZccYD1yOLS2PJR0u48tDOP+j88/za mQVM0Jv5TzdXZL4gv95ef756ADt/J3cfyMfrh7vb+TvyeD+/viXOPxef8FrC Xsszd/L6C3kRS4S5kEue4T+epj2e+rPvDXcj685d1zatLJZZ8Uy2ZQd/4Qup VVOVRZM95QrXStbpWtWN8YYnLMTQos3eXOwbc7JWJCs2WauWpC2JrKp8S1Zl TXxSlU27LNO2rGVuDM2MpV0PE2PS9wU3JvX5jmARrR18laZrsOUELKFN1mZl YZYOuEHhbP2NtGtFnupSLs3Xnf1KknLl+Ph7ane38BWel/k70nSV/kk5kH6f 1pusgTMwKsZUZj5V0WbGSJYa64Mrg3V9ycWfzL0iG6pI2FB1RarqVmYFeAH7 IvpS5eo30mybVoHBgL44Mfxt4E76OpeqknVrflQmETHzk8BmYprdyI/MGUUL zpCrXKVtXRZZ2rwjFyWa4LTqWmcW4k1q8phmCrzRqbeZMaZ3UxMOReHb3My7 VpsTVGK4QghCCicUrQ7lr0W2UbVx1WWxO3WVD7a4jgfmcovOfszAUwnwryA0 zFTVzG4f3dmDOQR5NpqFlXCth5edQiBiALOXl6yAvGlUQtYwYWSp5DKHnyEy 7bqPqogOXIWVH9uaUb2Fom1Isy67fEkak5KYxeF0b9Dv7ROyJE9bojBmPpVZ TiRYKAE4M8y4DT7UtC/2L8u8ILA11mAtmeLEe6WQgojFtHJcmqtWkYvP5At9 zdo1aSqVZn25wcXiiWtxb9a3gESnQoN7AcjRqH8qu9YGTz+tZNqSlcQqxmTJ PB8Bs1/J9u48ENbxqnvq494AraxUjajTEfl08fDF0fiTSDjG34iF4TF4B8JG U/MSqeoS4gG3tHlelXleviKhVcBZeBZUkPXSmDyGo7JeQiWAibXcmLhWtdpk ZdcQtZF5Z+DypFYlAo6HLJ4GU4z9QvS0RZYlOgGmsho5ECPo0T4bUMbTu421 FYTGn2KGuJyClZli8KB5+G/WAr2sGbmFw5uO3HQlATjgk0nHg26CvS5iXEyc 8NAULfTGP6tMsm75zCAbsPdqAflwWRSSIBLM80jCGbwPrTNJoL3W6myFDXjs T17IWRTD2yGcMWlQzB4zG3oihczbMgce9U6zDrdAvb/8AHXTlABt7DMa6SZh 5XMtDR+R3x/sCrK2JRfyq8y/jYx8GLMRYbN++WoC+alsVEU+q/V/TsYxZEFo 4jilIW1ho9bZkViGPtRL4HsMSCUyDZWFGj1HQil8JvBtCI9AfH1PKH3mHatH 827wvYH0IZCfTDUKBh3Z3UNcJ5FCSS7JRabqjST/Jvd1+RX6jSL825BV2Dn4 ssfYXq+PeoFkQi7/1WUvZA4tO4KiQYLT1MSRmp7LHDOhldFBKhIW+weF5fbq xEBCmWaFhqapQYOQG8/1GScCAC5ATLoCydgkhx9Jju9GTAh43Yf3vhfnUPz+ /zk73v/IjlmMgrqPNNcX10IZd3nJiPpwkLq91r29vfobmb8neJXLq8eLh+t7 FMukDzVGCtAPJCREzCIIs4j1nyHW06ccUhLvPfeAlILpdnxyzAKUmh+fPsA8 fuuE0cAbR8ShOYIHLBYH++1T3Dd5wcwtJwS+8PgEVyfF/alsjXVhXg73OQrH oV7McWgwoQumZgl36R00n98bVWRl/W1XvMMXLbwHWQEgOJQ8QTLolQHDtkPf GwSjgkCa1gxtG3TA/P0GMJYRaha0aNkctoNmC7GgUS4WWbMmv2Tw0dZaSk5l 7UKl66LMy+ft/kiFGEReMYpL7LdUWyVszys+esUt2v/SyRxmAuiONIO7ygpc 86gRinrZDhRjcusHLlJMEplOeopheOwBH/mBdxIIM5hq4+A0Gna8pzP7MLT3 h1nLEuawrwcjACaY9jVL1tyzjPaz3KDEKZ9wjsH8aq1zv74E2nmutVDytXA9 UNOcx1YoKdVPOLlsWiBcsgVd1wDDF2WrBRdIqYD8orUeZNUCxdgdbrWLaddg mvIkEe9G5lwCCMEiuozyU/vHWXIggUxatX+0rie41RdbqaJRXxy2F2R0SRzI dm3jD0V81JUg0kUSmmjZiFst6cyARuhS2cAPVWoKEwDjHxH8IrI6Cmu5aeW2 IbJF1W3kdKpwjI1pC+KZLLsaj4PnucLseEI/65OgTzh2Y6jpdt1YweofaS97 0s6117tYyxqmCwVVJGht+n3WwLcYR8sG8u/40LmNztdL28tR8jfrrNqtMBhu UGDxIGDhW03cEyBt4QPei07VGFw2iX5oje3pANfyZ2ALArC/6vJ81mam9+Pk V7QYroHSBiiy40POH3eLj26Z0hKwconq6hLgUxQdYknmEpj3C32GH5te7fxI t3oy6bkEiKl3CnDqUfAFYxVT+VvmzEKtJPFr94LTpn0HRJJcLp2Q6qYGnxIh 5VE7qMHMGB0dQ2O/ZzDIA5jyaenMQKLrMzjNEL0JTUnTVVWpn9ctzoEavIjp gKZ4UgztomizVZaOU2oU7nfBZKJjl2qj8rLCcyIKe+2+/VLcLbYJs9k2eqnk Us+YupHujJq7ZcSDCEc+7kNYwrfKCNs3ZCpAPdQPKvtlBBcOfmyvOg7YSQvx kFj3qenUTDjomdiGbYGdREHHy3VNorZNZZ5rmWH1eaqAODGug0IKD1sgKKTE WJxGHmwV0KMAKB3Yy3D+4bRwAG+W9UqkOiRlCxZtfFebjHfnVtu9qicCog15 NaHvyYnZyR9np2m/NybWbVu9Pz9/fX1l2Hb6oSw1JL1tYYI6T1GY9djhPjhF 4lhDxwPUvAmdgAPoSeJOkPM8hfFb2hZbb5yMAtfsABf+OwCqGu/cCg0KZW5k c3RyZWFtDWVuZG9iag0yNCAwIG9iajw8L1R5cGUvRm9udC9FbmNvZGluZy9X aW5BbnNpRW5jb2RpbmcvQmFzZUZvbnQvQXJpYWwtQm9sZE1UL0ZpcnN0Q2hh ciAzMi9MYXN0Q2hhciAzMi9TdWJ0eXBlL1RydWVUeXBlL0ZvbnREZXNjcmlw dG9yIDI1IDAgUi9XaWR0aHNbMjc4XT4+DWVuZG9iag0yNSAwIG9iajw8L1R5 cGUvRm9udERlc2NyaXB0b3IvRm9udEJCb3hbLTYyOCAtMzc2IDIwMzQgMTAx MF0vRm9udE5hbWUvQXJpYWwtQm9sZE1UL0ZsYWdzIDMyL1N0ZW1WIDEzOC9D YXBIZWlnaHQgNzE4L1hIZWlnaHQgNTE1L0FzY2VudCA5MDUvRGVzY2VudCAt MjExL0l0YWxpY0FuZ2xlIDAvRm9udEZhbWlseShBcmlhbCkvRm9udFN0cmV0 Y2gvTm9ybWFsL0ZvbnRXZWlnaHQgNzAwPj4NZW5kb2JqDTI2IDAgb2JqPDwv TGVuZ3RoIDI1NzUvRmlsdGVyL0ZsYXRlRGVjb2RlL04gMy9BbHRlcm5hdGUv RGV2aWNlUkdCPj5zdHJlYW0NCkiJnJZ5VFN3Fsd/b8mekJWww2MNW4CwBpA1 bGGRHQRRCEkIARJCSNgFQUQFFEVEhKqVMtZtdEZPRZ0urmOtDtZ96tID9TDq 6Di0FteOnRc4R51OZ6bT7x/v9zn3d+/v3d+9953zAKAnpaq11TALAI3WoM9K jMUWFRRipAkAAwogAhEAMnmtLi07IQfgksZLsFrcCfyLnl4HkGm9IkzKwDDw /4kt1+kNAEAZOAcolLVynDtxrqo36Ez2GZx5pZUmhlET6/EEcbY0sWqeved8 5jnaxAqNVoGzKWedQqMw8WmcV9cZlTgjqTh31amV9ThfxdmlyqhR4/zcFKtR ymoBQOkmu0EpL8fZD2e6PidLgvMCAMh01Ttc+g4blA0G06Uk1bpGvVpVbsDc 5R6YKDRUjCUp66uUBoMwQyavlOkVmKRao5NpGwGYv/OcOKbaYniRg0WhwcFC fx/RO4X6r5u/UKbeztOTzLmeQfwLb20/51c9CoB4Fq/N+re20i0AjK8EwPLm W5vL+wAw8b4dvvjOffimeSk3GHRhvr719fU+aqXcx1TQN/qfDr9A77zPx3Tc m/JgccoymbHKgJnqJq+uqjbqsVqdTK7EhD8d4l8d+PN5eGcpy5R6pRaPyMOn TK1V4e3WKtQGdbUWU2v/UxN/ZdhPND/XuLhjrwGv2AewLvIA8rcLAOXSAFK0 Dd+B3vQtlZIHMvA13+He/NzPCfr3U+E+06NWrZqLk2TlYHKjvm5+z/RZAgKg AibgAStgD5yBOxACfxACwkE0iAfJIB3kgAKwFMhBOdAAPagHLaAddIEesB5s AsNgOxgDu8F+cBCMg4/BCfBHcB58Ca6BW2ASTIOHYAY8Ba8gCCJBDIgLWUEO kCvkBflDYigSiodSoSyoACqBVJAWMkIt0AqoB+qHhqEd0G7o99BR6AR0DroE fQVNQQ+g76CXMALTYR5sB7vBvrAYjoFT4Bx4CayCa+AmuBNeBw/Bo/A++DB8 Aj4PX4Mn4YfwLAIQGsJHHBEhIkYkSDpSiJQheqQV6UYGkVFkP3IMOYtcQSaR R8gLlIhyUQwVouFoEpqLytEatBXtRYfRXehh9DR6BZ1CZ9DXBAbBluBFCCNI CYsIKkI9oYswSNhJ+IhwhnCNME14SiQS+UQBMYSYRCwgVhCbib3ErcQDxOPE S8S7xFkSiWRF8iJFkNJJMpKB1EXaQtpH+ox0mTRNek6mkR3I/uQEciFZS+4g D5L3kD8lXybfI7+isCiulDBKOkVBaaT0UcYoxygXKdOUV1Q2VUCNoOZQK6jt 1CHqfuoZ6m3qExqN5kQLpWXS1LTltCHa72if06ZoL+gcuiddQi+iG+nr6B/S j9O/oj9hMBhujGhGIcPAWMfYzTjF+Jrx3Ixr5mMmNVOYtZmNmB02u2z2mElh ujJjmEuZTcxB5iHmReYjFoXlxpKwZKxW1gjrKOsGa5bNZYvY6WwNu5e9h32O fZ9D4rhx4jkKTifnA84pzl0uwnXmSrhy7gruGPcMd5pH5Al4Ul4Fr4f3W94E b8acYx5onmfeYD5i/on5JB/hu/Gl/Cp+H/8g/zr/pYWdRYyF0mKNxX6LyxbP LG0soy2Vlt2WByyvWb60wqzirSqtNliNW92xRq09rTOt6623WZ+xfmTDswm3 kdt02xy0uWkL23raZtk2235ge8F21s7eLtFOZ7fF7pTdI3u+fbR9hf2A/af2 Dxy4DpEOaocBh88c/oqZYzFYFTaEncZmHG0dkxyNjjscJxxfOQmccp06nA44 3XGmOoudy5wHnE86z7g4uKS5tLjsdbnpSnEVu5a7bnY96/rMTeCW77bKbdzt vsBSIBU0CfYKbrsz3KPca9xH3a96ED3EHpUeWz2+9IQ9gzzLPUc8L3rBXsFe aq+tXpe8Cd6h3lrvUe8bQrowRlgn3Cuc8uH7pPp0+Iz7PPZ18S303eB71ve1 X5Bfld+Y3y0RR5Qs6hAdE33n7+kv9x/xvxrACEgIaAs4EvBtoFegMnBb4J+D uEFpQauCTgb9IzgkWB+8P/hBiEtISch7ITfEPHGGuFf8eSghNDa0LfTj0Bdh wWGGsINhfw8XhleG7wm/v0CwQLlgbMHdCKcIWcSOiMlILLIk8v3IySjHKFnU aNQ30c7Riuid0fdiPGIqYvbFPI71i9XHfhT7TBImWSY5HofEJcZ1x03Ec+Jz 44fjv05wSlAl7E2YSQxKbE48nkRISknakHRDaieVS3dLZ5JDkpcln06hp2Sn DKd8k+qZqk89lganJadtTLu90HWhduF4OkiXpm9Mv5MhyKjJ+EMmMTMjcyTz L1mirJass9nc7OLsPdlPc2Jz+nJu5brnGnNP5jHzivJ25z3Lj8vvz59c5Lto 2aLzBdYF6oIjhaTCvMKdhbOL4xdvWjxdFFTUVXR9iWBJw5JzS62XVi39pJhZ LCs+VEIoyS/ZU/KDLF02KpstlZa+Vzojl8g3yx8qohUDigfKCGW/8l5ZRFl/ 2X1VhGqj6kF5VPlg+SO1RD2s/rYiqWJ7xbPK9MoPK3+syq86oCFrSjRHtRxt pfZ0tX11Q/UlnZeuSzdZE1azqWZGn6LfWQvVLqk9YuDhP1MXjO7Glcapusi6 kbrn9Xn1hxrYDdqGC42ejWsa7zUlNP2mGW2WN59scWxpb5laFrNsRyvUWtp6 ss25rbNtenni8l3t1PbK9j91+HX0d3y/In/FsU67zuWdd1cmrtzbZdal77qx KnzV9tXoavXqiTUBa7ased2t6P6ix69nsOeHXnnvF2tFa4fW/riubN1EX3Df tvXE9dr11zdEbdjVz+5v6r+7MW3j4QFsoHvg+03Fm84NBg5u30zdbNw8OZT6 TwCkAVv+mLiZJJmQmfyaaJrVm0Kbr5wcnImc951kndKeQJ6unx2fi5/6oGmg 2KFHobaiJqKWowajdqPmpFakx6U4pammGqaLpv2nbqfgqFKoxKk3qamqHKqP qwKrdavprFys0K1ErbiuLa6hrxavi7AAsHWw6rFgsdayS7LCszizrrQltJy1 E7WKtgG2ebbwt2i34LhZuNG5SrnCuju6tbsuu6e8IbybvRW9j74KvoS+/796 v/XAcMDswWfB48JfwtvDWMPUxFHEzsVLxcjGRsbDx0HHv8g9yLzJOsm5yjjK t8s2y7bMNcy1zTXNtc42zrbPN8+40DnQutE80b7SP9LB00TTxtRJ1MvVTtXR 1lXW2Ndc1+DYZNjo2WzZ8dp22vvbgNwF3IrdEN2W3hzeot8p36/gNuC94UTh zOJT4tvjY+Pr5HPk/OWE5g3mlucf56noMui86Ubp0Opb6uXrcOv77IbtEe2c 7ijutO9A78zwWPDl8XLx//KM8xnzp/Q09ML1UPXe9m32+/eK+Bn4qPk4+cf6 V/rn+3f8B/yY/Sn9uv5L/tz/bf//AgwA94Tz+woNCmVuZHN0cmVhbQ1lbmRv YmoNMSAwIG9iajw8L0NvbnRlbnRzIDMgMCBSL1R5cGUvUGFnZS9QYXJlbnQg OSAwIFIvUm90YXRlIDAvTWVkaWFCb3hbMCAwIDU5NSA4NDJdL0Nyb3BCb3hb MCAwIDU5NSA4NDJdL1Jlc291cmNlcyAyIDAgUj4+DWVuZG9iag0yIDAgb2Jq PDwvQ29sb3JTcGFjZTw8L0NzNiAxOSAwIFI+Pi9Gb250PDwvVFQyIDE3IDAg Ui9UVDQgMTggMCBSL1RUNiAyNCAwIFI+Pi9Qcm9jU2V0Wy9QREYvVGV4dF0v RXh0R1N0YXRlPDwvR1MxIDIyIDAgUj4+Pj4NZW5kb2JqDTMgMCBvYmo8PC9M ZW5ndGggMjE3My9GaWx0ZXIvRmxhdGVEZWNvZGU+PnN0cmVhbQ0KSIm0V9tu 48gRfddX9GMzsNps3jlP2bE3yQ4wG2dHCRKM80BTLbEHNKmQlD3a39j90/xA TnU3RUqWnQE2gQGLEsnqupw6der6j58k2/aL96vF9WoVMMlWm4UMmI8/fGSx 8DOWxrnIMz9kq8fF9U2fsLK3D7C+bBa+8H0f75V0FUc5Wz0vPvPvAsG8OObM W+Yy5qtnLxUhb9kvX/aNbrtf2a7th3VbDm1X1PRFD7pteub9c/VhITORBTFO WN3CVNH3bamLQa3Z0LKhUuyua7dd8cjaDfvlw75o2Fp5y0RIbl9fylhkWcyW UsiYbBgXQ3JxSZcyJB95XbAbrbqn4lcyRHY/7YpG9xX7qPExeKsvCxmK1Dli jARkhHcHeuNTqVVTKlY0a7ZSZdW0dbs9MHoNuYxsLn22Nf7I3LgTGUsmWcYH Zh7HnTNvZTB5G9iM/mVf1HrjRSLgGqkodl6Cy12ty6Ixl0Nvov9+tXBlk4lI M5anAm77IoH7EevUYkPVnmoss0BIPJyJ1Lc1nvtn3MtgbuYgH2Mc8TL3ni/d zcQlQIShyyA/yw1eSebJjSyIZBwlNuQ/FU+62bL2YSh0Q+WvlO7YHaJNeOX5 IuK3KP22U4rpxlSwLkYABcHMshwth5G13A8sZAdVdD275007sAe1aTvFYvax 6MqKyuugZCwdo1ueoN1cIUsBLq7Ysx4q48QaWIVBcr1TG2VwJEUeneNoVl7e dTN4VxTWRjW9uvcEO8v2EpiMohlcpmr95tQHUX6a+kcP8fPCW6Kj+Fq5Chx7 1yY7wDkzW9loKw2tLerwfigOPSsGZKRXJsWlajyyOigUYb3v6Djcr1WB4sjA 3BuLYE44beexBtHIOI9tM1RUzqFqe8XQFWtNlRg5BXDJ5yHHo4HQGRjrRxCr jsA6gq/YwFOWTAAJqF2cg9b4aQtPhBPI8YS6ZuqrevRykNVuYNTOIe88PJXy 1v4MF3SPNCEBkv9rrzv3uALgJW8GAwl3bngRBqbWq9/ZMJOjF74r7U1VdEU5 KJwd0dkSH7rHN9RCg9rbjReiwQwU7aUiBxNe1+1zX+ndKc0kfiLCjMk4Fkn0 Bs8EEYIM8HgmwteIBoXO0/8/0cRTTmKbk5EMUNbNvq6Xgybkhxw4AqwoXTbj 8zY84ez/RRPKyS3LK6EfJj5T+65F6zTNnvqoqAuMn3u+xY/9vecGyDcAYUY5 mQ36VhXrGtgex1+xM9OEBvFpieMwNSUO0dXJWyXGoAPDxmH+Rol9kcXfMEyi 31rkF9kEj897N/rmzI1MEWcucSsieQVeqA1i7m7/ALpBa5MSoETuurZUoDTK 7HEeJS/nkR/njnvmuSfqwvhgm3YPe9pbptT3pvttT7bUiESX04hKzrhnCl6O 3KMeGEQWdX3O3zk0vxBzocjG/E7Z+MyrYdi9u75+fn4WGAX8EWIu4yVRR8AP g1D99VrVRWnU1AgdGcIjFiUZTSsZAUEOOfISclI8xqIU9U1G4GyPkIG0k+eI QXHOoTOGI41Vo03prSA/HbsmK6bK3/344/d/Z+/fsZ/GoYTKfVHlgHY7ik4z vlMRZBexJR2B2NkNZUKcsXP6dBSnbCY1x/RQfGlOihADSMSk0KLM/Dtm6OR2 FJCoPX0g9iMRzw2keX7ZRhCKN04wd986YHz9LfuJvcNIfEcvXrd3zfuzB+za MTbw2doRYRrI5DKNvCz6bCExUEkmqPhn0iGamMHIQX4s/50tP5PvmHtza1jg 5elHeT+pekKDmbZ8pYfayL4jg4aYjjgsCEQavdEG0kdjBXg6Efk88rERRJa/ oM6RpUaN64+C6GOLpqyNrAKPmDnW1sRXjeN3yu+JJMpGE4FDNU2HosO7NA0T vgMJZbxWX1l/6Adlf+yt8N1jFepIKg1a9e7EPTjNirxtP0k5OY9hOe/LOInc snPPIejdOnbFTCT6ZxDMvxt2OIaCrc+Ra5hOUcijscDRNevhAzQO+Iobt3Ps lLBitqbHXa2+YL429iujkL0YktdHoEaD0aPNxLVh+upi6TvBq00u9HpPGZL8 AZoXbhdlu6sL+xM2x6Elsfrxr59+uPnzvYdJbk64gLbXldxPWBI6s4NSlhO+ 95ak6eiIiD94pNlUdzrKgzSAMmeZHUgCAwgdeQGIaUiTPEijV1sQYyl8Ocjh 7MUdCXC8+ceK3d79YOcZBnCw9CNokeUNXQX/NfyZnDZ15Tdt2611Uwxtd0Q4 hNpJ3wVgbvSdBOcY5np1/vhSIKsB6pu/Fm8ukuTV7pvUlW8XuttOsA9YRHbs b6rSqPQTPn6vdCH26y0mJhXcvf9KwLMhY3DF33dabYD6vuz0zigFJ9zc1DqJ XCaSaJYGb568FXkYmgwloUhfi/xs/7pQF1yN2x6JI4vqaddzDrKRdrITjYF3 I/vuWhW145OClTWGMIVI9EOCYzcucll2YXeFEdcWtbdM8LjZWjI+I6uAetlt P53+GUvdw8E1NkZUGp5tcEfhF0aOD6viifgUBOqYUdXKLQrNQO3cF8O+Myru im06XdJVb93OAbDJ7dDqMn7FKvKOMgVIXEH30QE9JRhNLGdhhkdnUuvM/oFy iiAgPdRX2GiwH7hoUsza02jizNVHfS31YFzsx+MsvwdIMPgj4UCtyUy/f5in jtIZcVdDQtUUTZyl44aL0vVgZ2PV8P8Wx1B72qMseh9wgCNUa+hi3mWcu7zD GZtmGgTzgYP1NOYnU6fS24qtx/VtHBBRPEOMPJq31pseyShqPRwEW0HD8bGj oJUzPuC4mobNkzLf63bHGvU8DYQoPvffIVIGFpF8aFt4vQFPPY4z+Qpi/HFf W8E/n8/0lJGcuUilc/ozHyrdTw1hqgIhDm9cbQSGpSr1RtMecrhiz+72UW7+ ZwDE+m7hCg0KZW5kc3RyZWFtDWVuZG9iag00IDAgb2JqPDwvQ29udGVudHMg NiAwIFIvVHlwZS9QYWdlL1BhcmVudCA5IDAgUi9Sb3RhdGUgMC9NZWRpYUJv eFswIDAgNTk1IDg0Ml0vQ3JvcEJveFswIDAgNTk1IDg0Ml0vUmVzb3VyY2Vz IDUgMCBSPj4NZW5kb2JqDTUgMCBvYmo8PC9Db2xvclNwYWNlPDwvQ3M2IDE5 IDAgUj4+L0ZvbnQ8PC9UVDIgMTcgMCBSL1RUNCAxOCAwIFI+Pi9Qcm9jU2V0 Wy9QREYvVGV4dF0vRXh0R1N0YXRlPDwvR1MxIDIyIDAgUj4+Pj4NZW5kb2Jq DTYgMCBvYmo8PC9MZW5ndGggMjYzNy9GaWx0ZXIvRmxhdGVEZWNvZGU+PnN0 cmVhbQ0KSImEV8mS28gRvfdX1BFwNCHsi0/WSDOOmQhHjEf0wWH5UASKZI3Q KAoFdIv+2/kG/4Bf1gKALcqSFAIIoHLPly/f/PVDwk764Yf9w5v9PmcJ2x8f kpTF+ItLXURxzaoyjpI4ztj+6SFmp4c4iuO4ZPuW7rI8Z/uXh38FL7LvWSdG +SxYdx34U1hHeSDDXRKVQcvsTxXuclw60Wt2uLJW2ceHMMZHcpDDiR1xmUT4 7/0vD0kT5TUs2b+3OptFZ2J1MtELklAFYpg040NYRE3QMTlMYnzmPXMvw10c ZcF0Vp1+ZFyzFzxO/GOYbbTtrDrYmxSLysqpbJrMqsTpVg3TqHrW8xd4wbXo mBrYdBZGXWHlFkad6tVJCm0VJHWUFRt3Mis7MVpItjoy3cuOovBkLFSdWLTx oYOy9pOexOVCnzijjdBbo31u0sblxss4qpENaujlIPjI9BWybAIQllEdZj0x dZmkfcb7xew8vWN3nFbO7tPMR46QIxCtgoytyU6sexTuSiRoNZ0E39qeWOFZ nTdW+BJgZ/VTWEEEp7pKgmmUX5Bt8XnmvZwQ6Yi91dbqKsqSjdHlItfFhHF2 GdWkputFmMD4BFKVUjlO8plPEorJDbwMdwWeetuN+FvTcx+XzNfK5dLL1gpB bkmBOkwc9kKgQjSMoWlUxmt408wFFSmhA7Dxd9FOzLQX75AeVxuiPdvzSdQU 7vxuG8I4LZ0oPsCK3ue7Qkdo49SxF1/koRfOpzSPivLWJ2CAlVVVruX0NM5t iOpGAoJ5FBotlwdwJyyjNGAHwbh5DRjApaevri775ou+h/MvFhumM1xcslVu ffB6a7ojvYjEPF6UFhTJUXRzSz3wLO1xAoW7Maiq0pXRaPKgUS04CxsAP85t 6G5el6HRb0SlJojBPHRCy5FTuMQXwMuAiPaKdyi5cP87wWdq4fPNO12yVlsM ZbodAJokvDTCjV1GojkWr3rtg/2fNsW087f4/DehUf7tmf3qKiL9s1fscNtg s5GXf0eVSa3piGAvp17Q6x/3Dxbuy7hEm7A0jaqcoRGMBaN4ONKUWGdDEldR neJrANAyHEiiUQZV9Taoi3O7G+grYtcqb+dJUWkWtrOpgGzTdGKCs74NO8lP g9JS06sjX/CpuUl+tUh3DTD3EyWe6QlF0BpJ5ihV3QbZXNEkHnr8GKvtGEsx xhbMrNFDs15xOC2iurw3PBaTTPcIOyKkddLCFqdmYZ8G9YLeQDtVwQkAhLHF rOybkoijNG1cTX/EyGQfLmbsoZ30+dE2ow1mDYM5jaIawfwPb+V/B0QTU8vG 1Pz2YzattwBfeEW1U3Q1pyDcWV4FlAbzm3IBqbiEOZ5P9rVxM6NhKfT0B2Ku NLuuY5bU3cFOE6rE4TPG4B/WCaOyDkjGrJE7RXiiWuneYvQrhsDKdommemQf /s7e+2L5GEZrJDdd4f+s3ZG/GqI7f0sW/SaOYhRDKxgFvAxmS2a2FEaMRs/S S0XcRHXOahgKeIuKpmnqe71UZVGWswJYDrK19tKme3eo1eLbDeXxztyRsX97 9889e//rzyEOJkGKltvFVZKXu3dxugO8fS8evuiyFQhr89U7pUbkhk8YmdRI hO28nW4gJC/yqAQqJaBjtcOQ5I7faZxEiG5elJg83/C7icrynt+vYNrPifdj xH5R/PMsn9jbkfhGTRkiUpYEwwms5GPAR/OEfv1FSB7N3SkSqJK7QdmqS9Yq NbgV/DBKQRil21FetnPeje2bqGQNCCaikoPAlP8vKlkWoSFyBCf7VlTAGsAy vhEVT9Ca2vXSthkY/nFoddPEc4i82gBAsghwpe9ZiBruArIVAqs3RAal7jDP onUnnmULKoyygTTcaXCHHaHdSj/y6u4cJo5c11YaZY5GRNAf58HYgQH8E/cI bzaK4KIGtxB0pMyPCSwQmynh4DRJYs+SjU2s5cjiKE9U444aAbKTu8y9clW3 ZQd6Uhe9zphdWhqCt/ELvNzFteM3OH0SxgkqIDtoDAmc6WE7Cq4d2ynBmzfW uBilDSgQVQhmEkkgKm7t6EQ7Un006LI7bsAcy3FIgzuMqIEmUXgtvaH51rxG 7cTXSZ66XP80jzhN7QWOrkbxiCFtUkNBPXOMOVylfX1R44TR5Tyqtoue37ry 3NGDiQ3iZOektBP0wqkcn4Xl7WJ4lqMa3P41gC6fpS/unZV+W1dLBnM3mZ9o SyH2+qxkB3oojwxsUxM9jtgePomj8WdDWL82OImLxNNV1Lvo1WU1CT3gfrRn MHJT/ElgH7kfoNGuvzb1Y1RtrE/KZhmRpqeFDzLGrVbKDif64R2glh8ElTcf r1RgQHAKnGKfhLhsys3ugq4Et/uOQxaX77y2lQYLqOpBWvBdL55xEVTIYPnU 8iGoiBagBZjd5v85TIJRTtdH+p4qDNd5wRJ6OIpe8gPuJCb5NaJHiD0jUXS4 pxssQpaA2aCSFlirxcbSJHb1uKkL8z3vvSaBuYWrwgwPbjkevsE72mtS7JfY 1hDZ88a1iydNWbrljgtSla63/WZkWvEpRMGHJB+pR5cTZZnHZ7MSSXsRFHfO 6EsexsH4SUwrYyJdt73nWiRznr5QiVplJtYbx6A3EJOcpEkQeY1KMGOgf+FX /NQhOeZAxpwmHDDR/9miUc/RHdMLInhlVwwObVJIsec2Kqi/zWS4R1vj2NNW Km2pVW8WMqCCRt+JgR24Rt/d4KEc+qsHxFl7GE+y4s6sWnNuO60iBOpEj/Hw lj3RHRULiWhAsr5m/bE/f9sPdUCRmm052Epf1sbm/rBKcz+s1nYmmb5L4f6k /NzNFhjBMddVLjo2nXo+eGMIJohl0gz156tkE4vaG9C4ueSLr8YpPxSnM588 NHhOnhrGcdebrM6cN8tQ7Mgwsidi/9Ag3eCYAf5LsSeQQnqjTElR+BE7hM2l rvDeLrIdwDOgqw3QNzc+PgrfD0bQYu0NA84WBozlapj8dgXpm2XrkR3mydqU Rk2xLYbEz0TPnRh1JxoIfdEEgE/ImACpIFAoiSywLOpsvjFVmwBAD/YIitqO OveiE76Y0Tn4bRDHi+7tj84cpRJ2vloD7yyWuKuL4rt7pX3hOmFvgHJ5RBBf EFjbGimwxbyiSjcdXFvagrYU7Ca6lKg7u+xJOLJq5G1daFJXU1pRPK4muRjm V6qW49xjfgsTqdEMLzA9P3Xj+l7zN7lvfnAKSSiFhAPPlMWBS0jh71FYq2km GFAHs9dBG3+1mH7FpbE2wH8xElMysKLtCoTM2iy4vDY3WTj6wGbNliJXnj5a JvtoJo8fOnCh4xMnQxEDv1Fgo2mCtRFI3pYcNGmyUHY0OY0auMkvl162BLgO Acu4+JpBJo1vdb/HULFYH7e96TunuiHF5SLERerrFj5cmeUYgg96rfEUy0z6 Ku6FR+XE+QPF50F+nuHRcTTlmgXY8CZ5lK1EDn8eJuENS5YgL1Lc7Ol7eRJD a0v2g8XVigYe+3HN6/+mh8h7hijBi+iAATt1APQ9tZAKDQplbmRzdHJlYW0N ZW5kb2JqDTcgMCBvYmo8PC9OdW1zWzAgOCAwIFJdPj4NZW5kb2JqDTggMCBv Ymo8PC9TL0Q+Pg1lbmRvYmoNOSAwIG9iajw8L0NvdW50IDMvS2lkc1sxNSAw IFIgMSAwIFIgNCAwIFJdL1R5cGUvUGFnZXM+Pg1lbmRvYmoNMTAgMCBvYmo8 PC9MZW5ndGggMzMzOC9UeXBlL01ldGFkYXRhL1N1YnR5cGUvWE1MPj5zdHJl YW0NCjw/eHBhY2tldCBiZWdpbj0n77u/JyBpZD0nVzVNME1wQ2VoaUh6cmVT ek5UY3prYzlkJz8+Cjw/YWRvYmUteGFwLWZpbHRlcnMgZXNjPSJDUkxGIj8+ DQo8eDp4bXBtZXRhIHhtbG5zOng9J2Fkb2JlOm5zOm1ldGEvJyB4OnhtcHRr PSdYTVAgdG9vbGtpdCAyLjkuMS0xMywgZnJhbWV3b3JrIDEuNic+DQo8cmRm OlJERiB4bWxuczpyZGY9J2h0dHA6Ly93d3cudzMub3JnLzE5OTkvMDIvMjIt cmRmLXN5bnRheC1ucyMnIHhtbG5zOmlYPSdodHRwOi8vbnMuYWRvYmUuY29t L2lYLzEuMC8nPg0KPHJkZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9J3V1aWQ6 MzAzMTVmYTAtYmZkMi00ZjI5LTgwNmEtMmNhMTA3MWQ1ZWFmJyB4bWxuczpw ZGY9J2h0dHA6Ly9ucy5hZG9iZS5jb20vcGRmLzEuMy8nIHBkZjpQcm9kdWNl cj0nQWNyb2JhdCBEaXN0aWxsZXIgNi4wIChXaW5kb3dzKSc+PC9yZGY6RGVz Y3JpcHRpb24+DQo8cmRmOkRlc2NyaXB0aW9uIHJkZjphYm91dD0ndXVpZDoz MDMxNWZhMC1iZmQyLTRmMjktODA2YS0yY2ExMDcxZDVlYWYnIHhtbG5zOnhh cD0naHR0cDovL25zLmFkb2JlLmNvbS94YXAvMS4wLycgeGFwOkNyZWF0ZURh dGU9JzIwMDQtMDItMjRUMTA6MDE6MzgrMDE6MDAnIHhhcDpDcmVhdG9yVG9v bD0nUFNjcmlwdDUuZGxsIFZlcnNpb24gNS4yJyB4YXA6TW9kaWZ5RGF0ZT0n MjAwNC0wMi0yNFQxMDowMTozOCswMTowMCc+PC9yZGY6RGVzY3JpcHRpb24+ DQo8cmRmOkRlc2NyaXB0aW9uIHJkZjphYm91dD0ndXVpZDozMDMxNWZhMC1i ZmQyLTRmMjktODA2YS0yY2ExMDcxZDVlYWYnIHhtbG5zOnhhcE1NPSdodHRw Oi8vbnMuYWRvYmUuY29tL3hhcC8xLjAvbW0vJyB4YXBNTTpEb2N1bWVudElE PSd1dWlkOjdkMTA4ZDRkLWM5NzQtNGIxNS05NDkzLTZiZTA4ZDRkZmZkMScv Pg0KPHJkZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9J3V1aWQ6MzAzMTVmYTAt YmZkMi00ZjI5LTgwNmEtMmNhMTA3MWQ1ZWFmJyB4bWxuczpkYz0naHR0cDov L3B1cmwub3JnL2RjL2VsZW1lbnRzLzEuMS8nIGRjOmZvcm1hdD0nYXBwbGlj YXRpb24vcGRmJz48ZGM6Y3JlYXRvcj48cmRmOlNlcT48cmRmOmxpPm5pbmdz dTwvcmRmOmxpPjwvcmRmOlNlcT48L2RjOmNyZWF0b3I+PGRjOnRpdGxlPjxy ZGY6QWx0PjxyZGY6bGkgeG1sOmxhbmc9J3gtZGVmYXVsdCc+TWljcm9zb2Z0 IFdvcmQgLSBSeUMgcG9zdGRvYyBfbm91Xy5kb2M8L3JkZjpsaT48L3JkZjpB bHQ+PC9kYzp0aXRsZT48L3JkZjpEZXNjcmlwdGlvbj4NCjwvcmRmOlJERj4N CjwveDp4bXBtZXRhPg0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg IAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAK ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAog ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgICAgICAgIAo8P3hwYWNr ZXQgZW5kPSd3Jz8+DQplbmRzdHJlYW0NZW5kb2JqDTExIDAgb2JqPDwvTW9k RGF0ZShEOjIwMDQwMjI0MTAwMTM4KzAxJzAwJykvQ3JlYXRpb25EYXRlKEQ6 MjAwNDAyMjQxMDAxMzgrMDEnMDAnKS9UaXRsZShNaWNyb3NvZnQgV29yZCAt IFJ5QyBwb3N0ZG9jIF9ub3VfLmRvYykvQ3JlYXRvcihQU2NyaXB0NS5kbGwg VmVyc2lvbiA1LjIpL1Byb2R1Y2VyKEFjcm9iYXQgRGlzdGlsbGVyIDYuMCBc KFdpbmRvd3NcKSkvQXV0aG9yKG5pbmdzdSk+Pg1lbmRvYmoNeHJlZg0KMCAx Mg0KMDAwMDAwMDAwMCA2NTUzNSBmDQowMDAwMDA4MzczIDAwMDAwIG4NCjAw MDAwMDg0OTggMDAwMDAgbg0KMDAwMDAwODYyOSAwMDAwMCBuDQowMDAwMDEw ODcxIDAwMDAwIG4NCjAwMDAwMTA5OTYgMDAwMDAgbg0KMDAwMDAxMTExNiAw MDAwMCBuDQowMDAwMDEzODIyIDAwMDAwIG4NCjAwMDAwMTM4NTUgMDAwMDAg bg0KMDAwMDAxMzg3OCAwMDAwMCBuDQowMDAwMDEzOTQxIDAwMDAwIG4NCjAw MDAwMTczNTYgMDAwMDAgbg0KdHJhaWxlcg0KPDwvU2l6ZSAxMj4+DQpzdGFy dHhyZWYNCjExNg0KJSVFT0YNCg== --Colony_of_Ants_235_000-- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 6 07:25:34 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i26DPXK01789 for reliable_computing-outgoing; Sat, 6 Mar 2004 07:25:33 -0600 (CST) Received: from sunshine.math.utah.edu (IDENT:6T1hmESX4Y87KQvRlzVL6nE5+M/Sm4Su [at] sunshine [dot] math.utah.edu [128.110.198.2]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i26DPTX01784 for ; Sat, 6 Mar 2004 07:25:29 -0600 (CST) Received: from psi.math.utah.edu (IDENT:GNS9IenJnphp9btrK3bnwoMYp9YZEJJs [at] psi [dot] math.utah.edu [128.110.198.32]) by sunshine.math.utah.edu (8.12.10/8.12.10) with ESMTP id i26DP4Qo027353; Sat, 6 Mar 2004 06:25:04 -0700 (MST) Received: from psi.math.utah.edu (IDENT:qIwBZhcymW1bc7gGkiUuS9l8qTyH7jKj@localhost [127.0.0.1]) by psi.math.utah.edu (8.12.10/8.12.10) with ESMTP id i26DP4qp000655; Sat, 6 Mar 2004 06:25:04 -0700 (MST) Received: (from beebe@localhost) by psi.math.utah.edu (8.12.10/8.12.10/Submit) id i26DP3Ok000653; Sat, 6 Mar 2004 06:25:03 -0700 (MST) Date: Sat, 6 Mar 2004 06:25:03 -0700 (MST) From: "Nelson H. F. Beebe" To: reliable_computing [at] interval [dot] louisiana.edu Cc: beebe [at] math [dot] utah.edu, na [at] math [dot] utah.edu, applied-math [at] math [dot] utah.edu, mathbio [at] math [dot] utah.edu X-US-Mail: "Center for Scientific Computing, Department of Mathematics, 110 LCB, University of Utah, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA" X-Telephone: +1 801 581 5254 X-FAX: +1 801 585 1640, +1 801 581 4148 X-URL: http://www.math.utah.edu/~beebe Subject: Sun Microsystems and interval arithmetic Message-ID: Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk List readers may be interested in this Sun Microsystems news story on interval arithmetic http://wwws.sun.com/software/sundev/news/features/intervals.html and this white paper (dated September 2002, so perhaps not news): http://www.sun.com/processors/whitepapers/ia12_wp.pdf ------------------------------------------------------------------------------- - Nelson H. F. Beebe Tel: +1 801 581 5254 - - University of Utah FAX: +1 801 581 4148 - - Department of Mathematics, 110 LCB Internet e-mail: beebe [at] math [dot] utah.edu - - 155 S 1400 E RM 233 beebe [at] acm [dot] org beebe [at] computer [dot] org - - Salt Lake City, UT 84112-0090, USA URL: http://www.math.utah.edu/~beebe - ------------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 6 11:07:12 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i26H7CD02027 for reliable_computing-outgoing; Sat, 6 Mar 2004 11:07:12 -0600 (CST) Received: from ecity.cs.newpaltz.edu (ecity.cs.newpaltz.edu [137.140.8.57]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i26H4lX02023 for ; Sat, 6 Mar 2004 11:04:47 -0600 (CST) Received: from ecity.cs.newpaltz.edu (localhost [127.0.0.1]) by ecity.cs.newpaltz.edu (Postfix) with ESMTP id 74CE550D51; Sat, 6 Mar 2004 11:55:37 -0500 (EST) Received: from localhost (m_list@localhost) by ecity.cs.newpaltz.edu (8.12.10+Sun/8.12.2/Submit) with ESMTP id i26GswhB019440; Sat, 6 Mar 2004 11:54:58 -0500 (EST) Date: Sat, 6 Mar 2004 11:54:58 -0500 (EST) From: HP X-X-Sender: m_list@ecity To: agents [at] cs [dot] umbc.edu Cc: orms-students [at] www [dot] informs.org, uai [at] cs [dot] orst.edu, orgmem [at] aifb [dot] uni-karlsruhe.de, ORCS-L [at] LISTSERV [dot] OKSTATE.EDU, semantic-web [at] w3 [dot] org, jade-develop [at] sharon [dot] cselt.it, jade-news [at] sharon [dot] cselt.it, chat [at] fipa [dot] org, CI-Talk [at] yahoogroups [dot] com, coordinator [at] agentlink [dot] org, aglets-users [at] lists [dot] sourceforge.net, enegotiations [at] alice [dot] wu-wien.ac.at, cfp [at] alice [dot] wu-wien.ac.at, reliable_computing [at] interval [dot] louisiana.edu Subject: 20 MARCH : Extended Deadline for ABA In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Colleague, Due to many requests we extended the Submission Deadline to 20 MARCH. For more information about ABA please visit : http://www.aba-rd.org We are looking forward to receiving your papers. Best Regards and Wishes, Hanh Pham ( Please do not reply to this message. Please use aba [at] cs [dot] newpaltz.eduORphamh [at] newpaltz [dot] edu to contact us. Thanks) From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Mar 6 11:15:47 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i26HFjd02113 for reliable_computing-outgoing; Sat, 6 Mar 2004 11:15:45 -0600 (CST) Received: from mail.comset.net (mail.comset.net [213.172.0.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i26HFdX02109 for ; Sat, 6 Mar 2004 11:15:39 -0600 (CST) Received: from [213.172.3.71] (helo=e0gumi46) by mail.comset.net with smtp (Exim 3.33 #1) id 1AzfTa-00056Y-00 for reliable_computing [at] interval [dot] louisiana.edu; Sat, 06 Mar 2004 20:20:38 +0300 Message-ID: <006a01c4039e$7ab7d2c0$4703acd5 [at] wplus [dot] net> From: "Vyacheslav Nesterov" To: "RC mailing list" Subject: Reliable Computing, Vol. 10, issue 3, 2004 Date: Sat, 6 Mar 2004 19:50:45 +0300 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0028_01C403B4.505BB300" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2615.200 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0028_01C403B4.505BB300 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: quoted-printable Reliable Computing Volume 10, issue 3, 2004 Mathematical Research Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets Humberto Munoz, R. Baker Kearfott 163-193 Integral Approximation of Rays and Verification of Feasibility Waltraud Huyer, Arnold Neumaier 195-207 On a Refined Analysis of Some Problems in Interval Arithmetic Using Real Number Complexity Theory Klaus Meer 209-225 A Method for Outer Interval Solution of Linear Parametric Systems Lubomir V. Kolev 227-239 Letter to the Editor Fast Multiplication of Interval Matrices (Interval Version of Strassen's Algorithm) Martine Ceberio, Vladik Kreinovich 241-243 Information Interval-Related Talks at InTech'03 245-246 ------=_NextPart_000_0028_01C403B4.505BB300 Content-Type: text/html; charset="koi8-r" Content-Transfer-Encoding: quoted-printable
          &nbs= p;  =20 Reliable=20 Computing
          =  =20 Volume 10, issue 3, 2004
 
          &nbs= p;=20 Mathematical Research
 
Slope Intervals, Generalized = Gradients,=20 Semigradients, Slant
Derivatives, and Csets
Humberto Munoz, R. = Baker=20 Kearfott
163-193
 
Integral Approximation of Rays = and=20 Verification of Feasibility
Waltraud Huyer, Arnold=20 Neumaier
195-207
 
On a Refined Analysis of Some = Problems in=20 Interval Arithmetic Using
Real Number Complexity Theory
Klaus=20 Meer
209-225
 
A Method for Outer Interval = Solution of=20 Linear Parametric Systems
Lubomir V. Kolev
227-239
 
          &nbs= p; Letter=20 to the Editor
 
Fast Multiplication of Interval = Matrices=20 (Interval Version of
Strassen's Algorithm)
Martine Ceberio, Vladik = Kreinovich
241-243
 
          &nbs= p;   =20 Information
 
Interval-Related Talks at=20 InTech'03
245-246
------=_NextPart_000_0028_01C403B4.505BB300-- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 8 08:56:33 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i28EuW901909 for reliable_computing-outgoing; Mon, 8 Mar 2004 08:56:32 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i28EuT601904 for reliable_computing [at] interval [dot] louisiana.edu; Mon, 8 Mar 2004 08:56:29 -0600 (CST) Received: from oak.FernUni-Hagen.de (oak.fernuni-hagen.de [132.176.114.41]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i28DR5501796 for ; Mon, 8 Mar 2004 07:27:06 -0600 (CST) Received: from amavis by oak.FernUni-Hagen.de with scanned-ok (Exim 4.04) id 1B0KmQ-0003V3-00; Mon, 08 Mar 2004 14:26:50 +0100 Received: from newton.fernuni-hagen.de ([132.176.86.13] ident=postfix) by oak.FernUni-Hagen.de with esmtp (Exim 4.04) id 1B0KlS-0003Py-00; Mon, 08 Mar 2004 14:25:50 +0100 Received: by newton.fernuni-hagen.de (Postfix, from userid 1001) id 5171534A0; Mon, 8 Mar 2004 14:25:48 +0100 (CET) Received: from cantor.fernuni-hagen.de (cantor [132.176.87.24]) by newton.fernuni-hagen.de (Postfix) with SMTP id 0EDA02E1E; Mon, 8 Mar 2004 14:25:44 +0100 (CET) Date: Mon, 8 Mar 2004 14:25:44 +0100 (CET) From: Vasco Brattka Reply-To: Vasco Brattka Subject: RNC 6 - Second Call for Papers To: cca-list@FernUni-Hagen.de, comprox [at] doc [dot] ic.ac.uk, na.digest@na-net.ornl.gov, reliable_computing [at] interval [dot] louisiana.edu, THEORYNT [at] listserv [dot] nodak.edu, arp [at] cines [dot] fr, communaute [at] medicis [dot] polytechnique.fr, arinews.gdr.lip@ens-lyon.fr, calmet [at] ira [dot] uka.de MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: 6GroA2eoEe1VHoD4N4+1uA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.5.3_06 SunOS 5.9 sun4u sparc Message-Id: <20040308132544.0EDA02E1E [at] newton [dot] fernuni-hagen.de> X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on newton X-Spam-Level: X-Spam-Status: No, hits=-104.9 required=5.0 tests=BAYES_00,USER_IN_WHITELIST autolearn=ham version=2.63 X-Virus-Scanned: by AMaViS perl-11 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.louisiana.edu id i28DR7501797 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Second call for papers 6th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC6) November 15-17, 2004 Schloss Dagstuhl, Germany Web site: http://cca-net.de/rnc6/ Dates: Submission of manuscripts: May 1, 2004 Notification of acceptance: July 15, 2004 Revised Papers required by: September 1, 2004 Conference: November 15-17, 2004 Objective: The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, serial, on line, continued fractions, exact, multiple precision, interval and stochastic arithmetic. Results are sought on both applied and fundamental questions. Important topics discussed during these conferences include but are not limited to: * Foundation and properties of number systems * Computability and complexity * Formal aspects and automatic proof checking * Links with number theory and automata theory * Basic arithmetic operations * Implementation of the standard and special functions * Engineering of floating and fixed point algorithms * Symbolic manipulation of numbers * Accuracy and reliability for applications and industry * Robust geometric algorithms and exact geometric computation * Hardware design support and implementations The conference will feature invited lectures and contributed talks. Original research results and insightful analyses of current concerns are solicited for submission. Survey and tutorial articles may be suitable for submission if clearly identified as such. Invited lectures: Benno Fuchssteiner, Paderborn, Germany Simon Plouffe, Montreal, Canada Stefan Schirra, Magdeburg, Germany Submissions: Instructions for how to submit will be posted on the website of the conference. The proceedings will be distributed at the conference. Steering Committee: Jean-Claude Bajard, Montpellier, France Jean-Marie Chesneaux, Paris, France Marc Daumas, Lyon, France Christiane Frougny, Paris, France Peter Kornerup, Odense, Denmark (Chair) Dominique Michelucci, Dijon, France Jean-Michel Muller, Lyon, France Program Committee: Jean-Paul Allouche, Orsay, France Jean-Claude Bajard, Montpellier, France Vasco Brattka, Hagen, Germany Jean-Marie Chesneaux, Paris, France Marc Daumas, Lyon, France Martín Escardó, Birmingham, United Kingdom Guy Even, Tel Aviv, Israel Christiane Frougny, Paris, France (Chair) Peter Kornerup, Odense, Denmark Philippe Langlois, Perpignan, France Dominique Michelucci, Dijon, France Paolo Montuschi, Torino, Italy Michael Parks, Sun, United States Siegfried Rump, Hamburg, Germany Laurent Thery, Sophia Antipolis, France Organizing Committee: Vasco Brattka, Hagen, Germany (Publicity Chair) Norbert Müller, Trier, Germany (Local Organizer) From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 8 18:42:37 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i290gbV02390 for reliable_computing-outgoing; Mon, 8 Mar 2004 18:42:37 -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.3) with ESMTP id i290gV502386 for ; Mon, 8 Mar 2004 18:42:31 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i290gNU13946 for ; Mon, 8 Mar 2004 17:42:24 -0700 (MST) Message-Id: <200403090042.i290gNU13946 [at] cs [dot] utep.edu> Date: Mon, 8 Mar 2004 17:42:22 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: [SunHPC] Reminder: Call for papers, Sun HPC Consortium To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: IqlYQHRxRunAfLHYYIICuA== 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 Reminder forwarded ------------- Begin Forwarded Message ------------- Date: Mon, 08 Mar 2004 13:46:34 -0500 From: Brian Hammond CALL FOR PAPERS: Sun Microsystems' High Performance and Technical Computing Team (http://www.sun.com/edu/hpc/consortium.html) and the Sun HPC Consortium Steering Committee (www.hpcconsortium.org) invite the submission of abstracts for presentations at the upcoming meeting in June in Heidelberg. Abstract submissions should concern and/or reflect the program focus areas of: Data Intensive Computing Grid Services -- Applications, Development, Standards Computational Biology Interval Arithmetic System or Application Performance Visualization with Java, V880z Sun Science & Engineering Centers of Excellence DEADLINE: All abstracts must be submitted by March 31, 2004 WHEN: June 20, 21 - Main Program June 22 - Grid, Comp. Biology Special Interest Group Meetings (Prior to the ISC2004 conference, http://www.isc2004.org/) WHERE: Crowne Plaza Heidelberg Kurfurstenanlage 1 Heidelberg, 69115 Germany PROCEDURE: Please send a *one-page* abstract of the proposed talk to hpcconsortium-info [at] sun [dot] com. The steering committee will review all submissions and decide based on relevance to our audience. If you have any questions please contact us at mailto:hpcconsortium-info [at] sun [dot] com ===================================================== Brian Hammond, Ph.D. Scientific & Engineering Computing Global Education & Research LOB Sun Microsystems, Inc. -- ===================================================== Brian Hammond, Ph.D. Scientific & Engineering Computing Global Education & Research LOB Sun Microsystems, Inc. Phone: 877-352-4450 email: brian.hammond [at] sun [dot] com ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ NOTICE: This email message is for the sole use of the intended recipient(s) and may contain confidential and privileged information. Any unauthorized review, use, disclosure or distribution is prohibited. If you are not the intended recipient, please contact the sender by reply email and destroy all copies of the original message. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ _______________________________________________ SunHPC mailing list SunHPC [at] lists [dot] RWTH-Aachen.DE http://MailMan.RWTH-Aachen.DE/mailman/listinfo/sunhpc ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 9 11:58:51 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i29Hwpw03567 for reliable_computing-outgoing; Tue, 9 Mar 2004 11:58:51 -0600 (CST) Received: from zmit1.ippt.gov.pl (zmit1.ippt.gov.pl [148.81.53.8]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i29Hwh503563 for ; Tue, 9 Mar 2004 11:58:44 -0600 (CST) Received: (from zkulpa@localhost) by zmit1.ippt.gov.pl (8.8.5/8.7.3-zmit) id SAA13403 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 9 Mar 2004 18:55:23 +0100 (MET) Date: Tue, 9 Mar 2004 18:55:23 +0100 (MET) From: Zenon Kulpa Message-Id: <200403091755.SAA13403 [at] zmit1 [dot] ippt.gov.pl> To: reliable_computing [at] interval [dot] louisiana.edu Subject: New paper on interval diagrams Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk A paper on recent developments in using diagrams for interval analysis just appeared in BIT: Z. Kulpa, S. Markov, On the inclusion properties of interval multiplication: A diagrammatic study. BIT Numerical Mathematics, 43(4): 791-810, 2003. -- Zenon Kulpa From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 9 20:25:10 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2A2P9u03959 for reliable_computing-outgoing; Tue, 9 Mar 2004 20:25:09 -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.3) with ESMTP id i2A2Ow503926 for ; Tue, 9 Mar 2004 20:24:59 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i2A2Osf26066; Tue, 9 Mar 2004 19:24:54 -0700 (MST) Message-Id: <200403100224.i2A2Osf26066 [at] cs [dot] utep.edu> Date: Tue, 9 Mar 2004 19:24:52 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: proceedings of 2003 Dagstuhl conference in available To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: luther [at] informatik [dot] uni-duisburg.de MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 5J2vIYRV8sXFz63Q7XS93Q== 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 Date: Tue, 09 Mar 2004 10:06:53 +0100 From: Wolfram Luther LNCS 2991 is now available online. You can find information about it at http://www.springeronline.com/3-540-21260-4 or access the online version at http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2991& issue=preprint Lecture Notes in Computer Science Publisher: Springer-Verlag Heidelberg Previous Volume ISSN: 0302-9743 Subject: Computer Science Volume 2991 / 2004 Title: Numerical Software with Result Verification International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers ISBN: 3-540-21260-4 OOP and Interval Arithmetic: Language Support and Libraries Juergen Wolff von Gudenberg pp. 1 - 14 C-XSC 2.0: A C++ Library for Extended Scientific Computing Werner Hofschuster, Walter Kraemer pp. 15 - 35 Libraries, Tools, and Interactive Systems for Verified Computations: Four Case Studies R. Baker Kearfott, Markus Neher, Shinaichi Oishi, et al. pp. 36 - 63 Multiple Precision Interval Packages: Comparing Different Approaches Markus Grimmer, Knut Petras, Nathalie Revol pp. 64 - 90 Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context Michel Kieffer, Eric Walter pp. 107 - 123 Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability Eric Walter, Isabelle Braems, Luc Jaulin, et al. pp. 124 - 131 Interval Algorithms in Modeling of Multibody Systems Ekaterina Auer, Andras Kecskemathy, Martin Tandl, et al. pp. 132 - 159 Reliable Distance and Intersection Computation Using Finite Precision Geometry Katja Buehler, Eva Dyllong, Wolfram Luther pp. 160 - 190 On Singular Interval Systems Goetz Alefeld, Guenter Mayer pp. 191 - 197 Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication Daniela Fausten, Gerhard Halinger pp. 206 - 225 Result Verification for Computational Problems in Geodesy Stefan Borovac, Gerhard Heindl pp. 226 - 242 Global Optimization in the COCONUT Project Hermann Schichl pp. 243 - 249 Novel Approaches to Numerical Software with Result Verification Laurent Granvilliers, Vladik Kreinovich, Norbert Mueller pp. 274 - 305 Static Analysis-Based Validation of Floating-Point Computations Sylvie Putot, Eric Goubault, Matthieu Martel pp. 306 - 313 From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Mar 15 17:43:59 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2FNhxY12203 for reliable_computing-outgoing; Mon, 15 Mar 2004 17:43:59 -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.3) with ESMTP id i2FNhr512199 for ; Mon, 15 Mar 2004 17:43:53 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i2FNhkl12477 for ; Mon, 15 Mar 2004 16:43:46 -0700 (MST) Message-Id: <200403152343.i2FNhkl12477 [at] cs [dot] utep.edu> Date: Mon, 15 Mar 2004 16:43:45 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: 17th IMACS World Congress To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: w0ZPTMKse1n7Rdlxzzxd2g== 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. IMACS is one of the sponsors of our biannual SCAN meetings. Vladik ------------- Begin Forwarded Message ------------- From: Borne Pierre The 17th IMACS World Congress will be held in Paris July 11-15, 2005. This will coincide with the 50th Anniversary of IMACS, the International Association for Mathematics and Computers in Simulation that was founded in Brussels in 1955 (as AICA, the International Association for Analog Computation -change of name to IMACS took place in 1976). All topics represented within IMACS will be included in the Congress Program from more theoretical questions in applied/computational mathematics to relevent aspects of computer sciences and applications in the engineering, environmental, social sciences -including disciplines whose recent growth has been enabled by the appearance of powerful computers such as in biomathematics, mathematical finance... Of particular interest will also be those contributions concerned with the interface between applied and computational mathematics. All the details concerning this important event are available on the web site of the congress : http://imacs2005.ec-lille.fr Pierre BORNE General Chair of the 17th IMACS World Congress imacs2005@ec-lille.fr ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Mar 18 10:40:11 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2IGeAk16053 for reliable_computing-outgoing; Thu, 18 Mar 2004 10:40:10 -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.3) with ESMTP id i2IGe6516049 for ; Thu, 18 Mar 2004 10:40:06 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i2IGe1m08056 for ; Thu, 18 Mar 2004 09:40:01 -0700 (MST) Message-Id: <200403181640.i2IGe1m08056 [at] cs [dot] utep.edu> Date: Thu, 18 Mar 2004 09:39:59 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Summer school on Imprecise Probabilities, Lugano (CH) 27-31 July 2004 To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: 9YpC0BdNKMeIl+rqzcJ1hA== 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 i2IGe7516050 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk FYI. Vladik ------------- Begin Forwarded Message ------------- X-Sender: zaffalon [at] melanzana [dot] idsia.ch Date: Thu, 18 Mar 2004 14:54:57 +0100 ****************************************************************** SUMMER SCHOOL ON IMPRECISE PROBABILITIES University of Lugano, Lugano, Switzerland July 27-31, 2004 http://www.idsia.ch/~zaffalon/events/school2004/school.htm ****************************************************************** ABSTRACT Imprecise probability is a generic term for the many mathematical or statistical models which measure chance or uncertainty without sharp numerical probabilities. Imprecise probability models are needed in inference problems where the relevant information is scarce, vague or conflicting, and in decision problems where preferences may also be incomplete. The school on imprecise probabilities will offer a wide and deep introduction to imprecise probability topics, both theoretical and applied. In particular, the school will focus on coherent lower previsions and their behavioral interpretation, decision theory, robust statistics, risk analysis, imprecise probability methods for artificial intelligence and knowledge discovery. The school is organized by the Society for Imprecise Probability Theories and Applications (SIPTA). ------------------------------------------------------------------ INTENDED AUDIENCE The school is mainly intended for advanced master or Ph.D. students, postdoctoral fellows, and junior researchers. ------------------------------------------------------------------ PROGRAM The school is divided in 5 courses, one per day, of 8 hours each: July 27. Introduction to using imprecise probability in risk analysis. Scott Ferson (Applied Biomathematics, USA) July 28. Imprecise probability models and their behavioral interpretation. Gert de Cooman (Gent University, Belgium) July 29. Some decision theory with imprecise and indeterminate probability and utility. Teddy Seidenfeld (Carnegie Mellon University, USA) July 30. Independence, graphical models, knowledge discovery from data sets under weak assumptions, applications to classification. Serafín Moral (Granada University, Spain) & Marco Zaffalon (IDSIA, Switzerland) July 31. Robust Neyman Pearson theory & summary view on imprecise probabilities. Thomas Augustin (Munich University, Germany) ------------------------------------------------------------------ REGISTRATION FEE AND DEADLINE Registration cost will be about 50 Swiss Francs (~39 USD, ~32 EUR), including lectures and coffee breaks. People wishing to participate should apply by 31 May 2004. For all details please visit: http://www.idsia.ch/~zaffalon/events/school2004/school.htm. ------------------------------------------------------------------ LOCAL CONTACT Marco Zaffalon (school organizer) Senior Researcher IDSIA Galleria 2 CH-6928 Manno (Lugano) Switzerland phone +41 91 610 8665 fax +41 91 610 8661 email mailto:zaffalon [at] idsia [dot] ch web http://www.idsia.ch/~zaffalon ------------- End Forwarded Message ------------- ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Mar 18 13:33:57 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2IJXvY16277 for reliable_computing-outgoing; Thu, 18 Mar 2004 13:33:57 -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.3) with ESMTP id i2IJXo516273 for ; Thu, 18 Mar 2004 13:33:51 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i2IJXg509733; Thu, 18 Mar 2004 12:33:42 -0700 (MST) Message-Id: <200403181933.i2IJXg509733 [at] cs [dot] utep.edu> Date: Thu, 18 Mar 2004 12:33:42 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: let's organize an interval session To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: sstarks [at] utep [dot] edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: GscIKWKuNnSIxBog4lUpyw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, As usual, the organizers are interested in the interval computations-related session. If you are interested in participating, let me know ASAP. The deadline for a session proposal, with papers, is August 15, 2004. Vladik *********************************************** CALL FOR PAPERS: FUZZ-IEEE'2005 Reno, Nevada, May 22-25, 2005 General Chair: J. C. Bezdek Program Co-chairs: N. R. Pal R. Krishnapuram Local Arrangements: S. Fadall Finance Chair: Michelle Lockhart Conference Management: Jim C. Bezdek Arlene M. Bezdek Michelle Lockhart Rob Lockhart Website: www.fuzzieee2005.org Email: info [at] fuzzieee2005 [dot] org Surface mail: Conference Management FUZZ-IEEE 2005 Computer Science Dept. University of West Florida Pensacola, Florida, 32514, USA Objective: FUZZ-IEEE 2005 brings together scientists, engineers, and practitioners working in fuzzy logic and related areas to present their research work. The conference provides a platform for the exchange of ideas and technical interaction. There will be a written proceedings of the meeting. Venue: Atlantis Casino Resort @ 3800 S. Virginia Street, Reno, Nevada 89502, (800) 723-6500, (775) 825-4700, http://www.atlantiscasino.com/. Submission: Papers not exceeding 6 A-4 size pages with the affiliation of each author including email address should be submitted by August 15, 2004. Manuscripts should be prepared in the standard 2-column IEEE format. For details of manuscript preparation and submission please see the conference web site. Topics: Fuzzy set theory and its applications including, but not limited to: approximate reasoning, pattern recognition, image processing, vision, data mining, fuzzy mathematics, decision analysis, web mining, software engineering, computing with words, bioinformatics, neural networks, evolutionary computing, control, neuro-fuzzy and other hybrid systems. Special Sessions: Proposals for special sessions (1 page) can be submitted to either Program co-Chair at kraghura [at] in [dot] ibm.com or npal [at] cs [dot] uwf.edu. Each special session must have 5 papers. The deadline for proposals is August 15, 2004. Pre-conference Workshop: The conference will be preceded by a one-day workshop on fuzzy logic and a few selected applications. Best Student Paper Award: One or two awards will be given to authors of outstanding papers. To qualify for the competition, a student must be the principal author of the paper and the student needs to present the paper. The awardees will be decided based on the manuscript as well as the presentation. Key Dates: Papers submission August 15, 2004 Special session proposals August 15, 2004 Acceptance notification December 15, 2004 Camera-ready copy due February 15, 2005 Early registration February 15, 2005 From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Mar 18 16:18:41 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2IMIeT16411 for reliable_computing-outgoing; Thu, 18 Mar 2004 16:18:40 -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.3) with ESMTP id i2IMIY516407 for ; Thu, 18 Mar 2004 16:18:35 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i2IMISB11512; Thu, 18 Mar 2004 15:18:28 -0700 (MST) Message-Id: <200403182218.i2IMISB11512 [at] cs [dot] utep.edu> Date: Thu, 18 Mar 2004 15:18:28 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: interval workshop on Novosibirsk, Russia To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: levin [at] ledasgroup [dot] com, vladik [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: FeaUJfLgL4I9AByq0hlkog== 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 IMCP'04 http://isicad.ru/interval.php The second international workshop IMCP'04: Interval Mathematics and Constraint Propagation methods accompanying international scientific forum isiCAD - Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications - will be held in Novosibirsk, Russia, on June 21-23, 2004. The workshop is intended to cover both theory and practial issues of interval analysis, its use in constraint propagation methods over continuous domains and their applications in various fields. The scope of the workshop includes the following topics (but is not limited to): o interval algebraic problems and function approximation problems, o solving interval differential equations, both ordinary and partial, o interval methods in mathematical programming, operations researches and automatic control, o using interval methods for validated numerics and self-validated computations on digital computers, o using interval techniques in constraint propagation methods over continuous domains, o theoretical and practical aspects of construction of solvers based on combination of interval methods and constraint propagation, o application of interval constraint propagation techniques in modelling and design problems, o cooperation of mathematical software based on interval methods and classical numerical analysis techniques, o application of interval constraint propagation methods for the solution of complex computational problems. Participants of the workshop will be also able to take part in the international scientific forum isiCAD (www.isicad.ru) and parallel sessions of International Conference on Computational Mathematics - ICCM-2004 (http://www-sbras.nsc.ru/ws/iccm-2004/index.en.html). Chairman of workshop Semenov, Alexander L. Institute of Informatics Systems SB RAS (Novosibirsk, Russia) Scientific committee * Benhamou Frederic - University of Nantes, (Nantes, France) * Kashevarova, Tamara P. - Institute of Informatics Systems SB RAS (Novosibirsk, Russia) * Kearfott, R. Baker - University of Louisiana (Lafayette, USA) * Kreinovich, Vladik - University of Texas at El Paso (El Paso, USA) * Lakeyev, Anatoly V. - Institute of System Dynamics and Control Theory SB RAS (Irkutsk, Russia) * Shary, Sergey P. - Institute of Computational Technologies SB RAS (Novosibirsk, Russia) Invited talks * (To be defined) Benhamou Frederic (University of Nantes) * Validated Constraint Solving - Practicalities, Pitfalls, and New Developments Kearfott R. Baker (University of Louisiana) * Problems of uncertain data analysis: intervality and/or probability? Voshchinin, Alexander (Central Research Institute of Atomic Power Ministry of Russia) Workshop dates: June 21-23, 2004 Workshop location: Akademgorodok, Novosibirsk, Russia Publications Accepted abstracts will be published as a volume of proceedings before the workshop. Working languages: Russian, English Participation: To take part in the workshop, one should send to Organizing Committee, via electronic mail, o application, o abstract of your talk in English by May 1, 2004. In the application, specify clearly your first name, family name, affiliation, working address, contact address, as well as approximate dates of your arrival and departure. If you would like to take part in the above mentioned main conferences, indicate that in your application too. Requirements for abstracts The scientific program of the workshop will consist of two types of presentations - "short" and "full". Submitting abstracts of 1 to 4 pages implies a "short talk", while "full talk" requires extended abstract of up to 10 pages. Abstracts should be submitted via e-mail and must contain a printable PostScript file as well as its source in either LaTeX or MS Word, version 98 and higher. A hard copy of the abstract is not required. Abstracts must be typed in 12pt font, and the title should specify name(s) of the author(s), affiliation, postal and electronic addresses, following an annotation of the talk of no more than 150 words. Address for correspondence semenov [at] iis [dot] nsk.su, asm [at] nbsp [dot] nsk.su Important dates April 30, 2004 deadline for submission of abstract May 20, 2004 notification of acceptance June 21, 2004 arrival for the workshop June 22-23, 2004 workshop sessions June 21-23, 2004 sessions of the main forum isiCAD From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Mar 18 16:26:11 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2IMQAF16535 for reliable_computing-outgoing; Thu, 18 Mar 2004 16:26:10 -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.3) with ESMTP id i2IMQ4516531 for ; Thu, 18 Mar 2004 16:26:04 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i2IMPwT11605; Thu, 18 Mar 2004 15:25:58 -0700 (MST) Message-Id: <200403182225.i2IMPwT11605 [at] cs [dot] utep.edu> Date: Thu, 18 Mar 2004 15:25:58 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: forum related to interval workshop, Novosibirsk, Russia 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: 1jc4XX0mNtgmSpWjB9gTCg== 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 i2IMQ5516532 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk [Text version] THIRD CALL FOR PAPERS isiCAD-2004: The isiCAD International Workshop "Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent PLM systems: From Methods to Applications" 21 - 24 June 2004, Novosibirsk, Akademgorodok, Russia NEWS: (1) The Workshop in the framework of the isiCAD Forum (2) Preliminary Forum schedule is outlined (3) The isiCAD Forum includes a workshop on Interval Mathematics (4) Extended deadline for submission of papers: April, 12 1. The isiCAD-2004, with its focus on PLM, computer graphics, and simulation, is currently seen as an international forum, which integrates four complementary events: (a) Presentations of companies on solutions, products, and their prospects, (b) 3-day exhibition, (c) Workshop on research results & overviews, and (d) Discussion session on some problems and tendencies. 2. The structuring of the isiCAD-2004 forum is now outlined at http://isicad.ru and will also be taken into account in the upcoming construction of the forum programs (for a preminary schedule, see http://isicad.ru/schedule.php). 3. In the framework of the isiCAD workshop, there will be held a workshop on Interval Mathematics (see http://isicad.ru/interval.php); the sessions will be organized both in parallel and jointly. Also note that the isiCAD-2004 workshop is coordinated with the Second International Conference on Computational Mathematics (ICCM: http://www-sbras.nsc.ru/ws/iccm-2004/index.en.html). 4. Extended deadline for submission of papers for the isiCAD workshop is established: April, 12. AIMS AND SCOPE The aim of the workshop is to present the approaches and results in research and technology that improve intelligence of market-oriented solutions and products in PLM (CAD/CAM/CAE/PDM), computer graphics, virtual reality, simulation, computer games, multimedia, and other adjacent domains - with a special emphasis on development and application of the constraint-based techniques and geometrical solving. The isiCAD-2004 workshop is also aimed at outlining relationship between two dimensions: the above-mentioned domains and, on the other hand, the methods that are soundly expected to support and improve intelligence for those domains. Bringing together of the domains in question and relevant methods for improving the domain's intelligence seem to be fruitful and hopefully enable future establishing of the isicad community. Another important aim of the event is to bring together researchers, developers, solution providers, distributors, and customers of PLM and close domains in order to achieve better mutual understanding about tendencies, requirements, demands, problems, affordability, and prospects. Siberian region as the location of the event provides good opportunity to see a rapidly developing industrial market potential combined with a lot of R&D, education, distributor, and software outsourcing capabilities. During the preparation period of isiCAD-2004, there are no deadlines and limitations for better shaping and focusing of the event and for inviting people that can essentially contribute to the goal of the workshop. WORKSHOP TOPICS Workshop topics include but are not restricted to: · Use of constraint techniques in conceptual, collaborative, and configuration design · Symbolic and numeric methods for geometric computation, geometric constraint solving, and automated reasoning · Interval and optimization methods for geometry and engineering · Application of these methods to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education · Optimization under constraints for resource and workforce scheduling · Declarative approach in intelligent PLM solutions · Geometric and mathematical solvers based on constraint technologies · Features and prospects of the current market of large CAD systems and related products · Adding intelligence to small and medium CAD systems without loss of compactness and affordability In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers, solution developers, providers, and customers are welcome. SESSIONS · Invited talks, overviews, short communications · Presentations of commercial products and applications · Round-table discussions. ICCM-2004 IsiCAD-2004 workshop is coordinated in its organization, schedule, and cultural program with the Second International Conference on Computational Mathematics (ICCM), which gives to the isiCAD-2004 participants additional opportunity for contacts and discussions. Some special joint sessions are also planned. EXHIBITION During the ICCM-2004 and isiCAD-2004, there will be organized an exhibition of software solutions and products. More details will be published later. PROGRAMME COMMITTEE Andre CLEMENT, Dassault Systemes, France (Chairman) Vladimir FROLOVSKY, Technical University, Novosibirsk, Russia Xio-Shan GAO, Institute of Systems Science, Chinese Academy of Sciences, China R. Baker KEARFOTT, University of Louisiana at Lafayette, Louisiana, USA Vladik KREINOVICH, University of Texas at El Paso, El Paso, Texas, USA Dominique MICHELUCCI, Universite de Bourgogne, France Dimitri PLEMENOS, University of Limoges, France Martin REISER, Fraunhofer Institute for Media Communication, Germany Alexander SEMENOV, Ershov Institute of Informatics Systemes, Russian Academy of Sciences, Russia Jury SUHANOV, CAD/CAM/CAE Observer International Magazine, Latvia Roopinder TARA, TenLinks, USA Enn TYUGU, Institute of Cybernetics, Estonia ORGANIZING COMMITTEE David LEVIN, Ledas Ltd. Company, Novosibirsk, levin [at] ledas [dot] com (chairman) Valery IL'IN, Institute of Computational Mathematics and Mathematical Geophysics, Russian Academy of Sciences, Novosibirsk, ilin [at] sscc [dot] ru (co-chairman) Dmitry USHAKOV, Ledas Ltd. Company, Novosibirsk, ushakov [at] ledas [dot] com (deputy chairman) Anna SHELUKHINA, A.P.Ershov Institute of Informatics Systems, Siberian Branch of Russian Academy of Sciences, Novosibirsk (executive secretary) Artem OVCHARENKO, SIB3, Novosibirsk, artem [at] sib3 [dot] ru WORKSHOP PROCEEDINGS A book of extended abstracts of invited and accepted talks will be available at the Workshop. SUBMISSIONS All submissions must be in English, clearly written and in sufficient detail to allow the Programme Committee to assess the merits of the work. Electronic submissions are encouraged. They should be received in Novosibirsk by April, 12, 2004. A PostScript file of an extended abstract (up to 10 pages for a regular talk and up to 5 pages for a short talk) should be e-mailed to the following address: info [at] isicad [dot] ru . When preparing your submission please follow instructions for authors of papers to be published at Springer Lecture Notes in Computer Science series, which are available at www.springer.de/comp/lncs/authors.html. The abstract should indicate complete authors' addresses (including e-mail addresses and fax numbers if any), affiliation and a clear statement of the kind of the submission (regular or short talk). The receipt of all submitted papers will be acknowledged by e-mail within 2 days. Authors will be notified of acceptance by May 3, 2004. IMPORTANT DATES April, 12, 2004 Deadline for submission of papers May, 3, 2004 Notification of acceptance (by e-mail) May, 24, 2004 Final papers due (camera-ready) June, 20, 2004 Arrival date June, 24, 2004 Departure date LOCATION, FEES, CULTURAL PROGRAM, TRAVELLING, AND WEATHER The workshop will be held in Akademgorodok (Academy town), 30 km South from Novosibirsk, the largest city of Siberia. Akademgorodok is located in a picturesque place near the Ob lake. It is surrounded with birch and pine forests and pleasant not only for work but for recreation as well. Silence, beautiful landscape, and pure air are the factors promoting scientific activity and creativity. By tradition of scientific conferences in Akademgorodok, their cultural program includes barbecue picnic with Russian and Finnish sauna, night informal meeting on the lake coast, introducing and farewell parties, and other events. Accommodation for the participants will be organized at the hotel "Golden Valley" (http://gold-valley.academ.org) , Academgorodok, 700 meters from the House of Scientists. Hotel prices: one place in a double-room 19 EURO, single room - 25+ EURO, suite 69+ EURO. Registration of participants will take place at the hotel on June 20 from 4 p.m. to 8 p.m., and in the House of Scientists on June 21 starting from 8:30. The registration fee is 100 EURO / 3500 RUR, which covers the Workshop Proceeding, coffee breaks, banquet, and advanced social program. Organizing Committee establishes at least ten grants that exempt from the paying fee the participants with the most interesting talks and presentations. A direct Siberia Airlines (http://english.s7.ru/) flight will bring you from Frankfurt, Hannover, Tel Aviv or Beijing to Novosibirsk and back. One can buy an interline Lufthansa-Siberia Airlines ticket. Participants traveling via Moscow will be helped to take domestic flights. There are at least four daily flights between Moscow and Novosibirsk: Aeroflot (Sheremetyevo-1, Moscow) as well as by Sibir and Transaero (Domodedovo, Moscow). All participants will be met at the Novosibirsk airport and brought to Akademgorodok by a special transport. The weather in Novosibirsk at the end of June is normally quite warm and sunny with the temperatures in the range of 25-30 C. Night swimming in the Ob lake is guaranteed. For more information see: http://isicad.ru From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 23 06:46:49 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2NCkm723064 for reliable_computing-outgoing; Tue, 23 Mar 2004 06:46:48 -0600 (CST) Received: from mailbox.univie.ac.at (mail.univie.ac.at [131.130.1.27]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i2NCke523060 for ; Tue, 23 Mar 2004 06:46:41 -0600 (CST) Received: from univie.ac.at (theseus.mat.univie.ac.at [131.130.16.23]) by mailbox.univie.ac.at (8.12.10/8.12.10) with ESMTP id i2NCkM9n1333504; Tue, 23 Mar 2004 13:46:32 +0100 Message-ID: <4060319E.6050402 [at] univie [dot] ac.at> Date: Tue, 23 Mar 2004 13:46:22 +0100 From: Arnold Neumaier Organization: University of Vienna User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.2) Gecko/20040308 X-Accept-Language: en, de MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: Consequences of patents Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-DCC-ZID-Univie-Metrics: imap 4241; Body=2 Fuz1=2 Fuz2=2 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk People interested in the issues about patenting interval methods might be interested in the following story: http://www.american.edu/TED/basmati.htm It is about Basmati rice and not intervals, but it is telling... Arnold Neumaier From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Mar 28 10:56:29 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2SGuS500108 for reliable_computing-outgoing; Sun, 28 Mar 2004 10:56:28 -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.3) with ESMTP id i2SGuO500104 for ; Sun, 28 Mar 2004 10:56:24 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i2SGuHa02570; Sun, 28 Mar 2004 09:56:17 -0700 (MST) Message-Id: <200403281656.i2SGuHa02570 [at] cs [dot] utep.edu> Date: Sun, 28 Mar 2004 09:56:16 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: Call for Papers & Call for Special Sessions To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu Cc: tranqn [at] HAL [dot] LAMAR.EDU MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: Mc8lFQ5kSJxyvLiCVLP+iQ== 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 FYI. Vladik ------------- Begin Forwarded Message ------------- Date: Fri, 26 Mar 2004 11:46:14 -0600 From: "Prof. Quoc-Nam Tran" Subject: Re: Call for Papers & Call for Special Sessions Cc: "Prof. Quoc-Nam Tran" MIME-version: 1.0 Content-transfer-encoding: 7bit X-Accept-Language: en-us, en User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20030225 Dear Dr. Kreinovich, I have sent you this letter of invitation. In case you cannot come, could you please forward my invitation to your colleagues who can help to organize a session on Interval Computation at the ACA-2004 meeting. Thank you very much for your help. Best regards, Quoc-Nam Prof. Quoc-Nam Tran wrote: > Dear Dr. Kreinovich: > > I would like to invite you to organize a session on the topics of > Interval Computation for the Tenth International Conference on > Applications of Computer Algebra (ACA-2004). More information > about the conference can be found at > > http://buchberger.cs.lamar.edu/ACA2004 > > Information for session organizers can be found at > > http://buchberger.cs.lamar.edu/ACA2004/firstCall.pdf > > Please let me know by your earliest convenience if you > accept my invitation. > > Best regards, > > Quoc-Nam > > > Vladik Kreinovich wrote: > >> Dear Professor Tran, >> I have forwarded your cfp to our interval computations mailing list, >> and added a link to it in the Forthcoming Conferences part of the >> interval computations webiste http://www.cs.utep.edu/interval-comp >> >> Thanks a lot. >> >> Vladik >> > > -- ============================================================ Quoc-Nam Tran, Ph.D. General Chair, The 10th International Conference for Applications of Computer Algebra (ACA-2004) Department of Computer Science Tel: (409) 880 7995 Lamar (Texas State) University P.O. Box 10056 Beaumont, TX 77710 E-mail: tranqn [at] hal [dot] lamar.edu URL: http://symbolic.cs.lamar.edu/~qntran ============================================================ ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Mar 28 19:32:45 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2T1Wir00530 for reliable_computing-outgoing; Sun, 28 Mar 2004 19:32:45 -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.3) with ESMTP id i2T1Wd500526 for ; Sun, 28 Mar 2004 19:32:40 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.7/8.11.7) with SMTP id i2T1WX605801; Sun, 28 Mar 2004 18:32:33 -0700 (MST) Message-Id: <200403290132.i2T1WX605801 [at] cs [dot] utep.edu> Date: Sun, 28 Mar 2004 18:32:32 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Testing and interval To: reliable_computing [at] interval [dot] louisiana.edu Cc: enrico.oliosi [at] students [dot] univr.it MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: W0AjGzw+A1CIpBe1Zpj3Cg== 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, A student from Italy is interested in using interval techniques in regression-type data analysis. Please send him all relevant references. Thanks. Vladik ------------- Begin Forwarded Message ------------- Date: Wed, 24 Mar 2004 16:27:26 +0100 (CET) From: Enrico Oliosi X-X-Sender: enrico [at] theory [dot] sci.univr.it To: vladik [at] cs [dot] utep.edu Subject: Testing and interval MIME-Version: 1.0 Hi, I am Enrico Oliosi,a student enroled at faculty of Computer Science in Verona (Italy). I have visited recently the web site 'Interval Computations' because I am interested for my thesis. I am interested about 'Regression Testing' also and I would like to find a binding between aritmethic intervals and regression testing in order to perform testing by intervals inspection and interprocedural propagation of intervals. I would ask you if this interaction is possible and if you have some article or documents about it. Thanks a lot for your help, Best regards, Enrico. ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Mar 30 12:09:09 2004 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2UI98F04060 for reliable_computing-outgoing; Tue, 30 Mar 2004 12:09:08 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id i2UI8x004054 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 30 Mar 2004 12:08:59 -0600 (CST) Received: from oak.FernUni-Hagen.de (oak.fernuni-hagen.de [132.176.114.41]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id i2TFS3501567 for ; Mon, 29 Mar 2004 09:28:04 -0600 (CST) Received: from amavis by oak.FernUni-Hagen.de with scanned-ok (Exim 4.04) id 1B7yeG-0003yU-00; Mon, 29 Mar 2004 17:26:00 +0200 Received: from newton.fernuni-hagen.de ([132.176.86.13] ident=postfix) by oak.FernUni-Hagen.de with esmtp (Exim 4.04) id 1B7ydf-0003uS-00; Mon, 29 Mar 2004 17:25:23 +0200 Received: by newton.fernuni-hagen.de (Postfix, from userid 1001) id E2F8B5798; Mon, 29 Mar 2004 17:25:21 +0200 (CEST) Received: from cantor.fernuni-hagen.de (cantor [132.176.87.24]) by newton.fernuni-hagen.de (Postfix) with SMTP id 72F8B5792; Mon, 29 Mar 2004 17:25:10 +0200 (CEST) Date: Mon, 29 Mar 2004 17:25:10 +0200 (CEST) From: Vasco Brattka Reply-To: Vasco Brattka Subject: CCA 2004 - Second Announcement and Call for Papers To: cca-list@FernUni-Hagen.de, COMP-THY [at] LISTSERV [dot] ND.EDU, comprox [at] doc [dot] ic.ac.uk, na.digest@na-net.ornl.gov, reliable_computing [at] interval [dot] louisiana.edu, fom [at] math [dot] psu.edu, THEORYNT [at] listserv [dot] nodak.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: N1IbwLLoDk3KyMK0j05kzw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.5.3_06 SunOS 5.9 sun4u sparc Message-Id: <20040329152510.72F8B5792 [at] newton [dot] fernuni-hagen.de> X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on newton X-Spam-Level: X-Spam-Status: No, hits=-104.9 required=5.0 tests=BAYES_00,USER_IN_WHITELIST autolearn=ham version=2.63 X-Virus-Scanned: by AMaViS perl-11 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ________________________________________________________________________________ C C A 2 0 0 4 Sixth International Workshop on Computability and Complexity in Analysis August 16-20, 2004, Lutherstadt Wittenberg, Germany ________________________________________________________________________________ Second Announcement and Call for Papers Scientific Program Committee Andrej Bauer (Ljubljana, Slovenia) Vasco Brattka, chair (Hagen, Germany) Abbas Edalat (London, UK) Armin Hemmerling (Greifswald, Germany) Peter Hertling (Duisburg-Essen, Germany) Ker-I Ko (Stony-Brook, USA) Ulrich Kohlenbach (Aarhus, Denmark) Vladik Kreinovich (El Paso, USA) Matthias Schroeder (Edinburgh, UK) Hideki Tsuiki (Kyoto, Japan) John V. Tucker (Swansea, UK) Klaus Weihrauch (Hagen, Germany) Xizhong Zheng (Cottbus, Germany) Ning Zhong (Cincinnati, USA) Organizing Committee (Halle-Wittenberg, Germany) Ludwig Staiger, chair staiger [at] informatik [dot] uni-halle.de Sibylle Schwarz schwarzs [at] informatik [dot] uni-halle.de Ramona Vahrenhold vahrenho [at] informatik [dot] uni-halle.de Renate Winter winter [at] informatik [dot] uni-halle.de Rene Mazala mazala [at] informatik [dot] uni-halle.de Submissions The workshop proceedings will be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). Hardcopies will be made available during the workshop. Authors are invited to submit LaTeX and PostScript versions of papers with a length of 10 to 12 pages to cca@fernuni-hagen.de Papers have to be prepared according to the guidelines of ENTCS using the corresponding style file (see webpage below). Deadlines Submission deadline: May 3, 2004 Notification: June 7, 2004 Camera-ready versions: July 5, 2004 Information For further information please contact Vasco Brattka (Vasco.Brattka@FernUni-Hagen.de) or Ludwig Staiger (staiger [at] informatik [dot] uni-halle.de) Webpage http://cca-net.de/cca2004/ Scope The workshop is concerned with the theory of computability and complexity over real-valued data. Computability theory and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Such strings may represent various discrete objects such as integers or algebraic expressions, but cannot represent a general real or complex number, unless it is rounded. The classical theory of computation does not deal adequately with computations that operate on real-valued data. Most computational problems in the physical sciences and engineering are of this type, such as the complexity of network flow problems and of dynamical and hybrid systems. To study these types of problem, alternative models over real-valued data and other continuous structures have been developed in recent years. Unlike the well established classical theory of computation over discrete structures, the theory of computation over continuous data is still in its infancy. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics, analysis, etc. The workshop provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge. The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers; complexity-theoretic investigations, both foundational and with respect to concrete problems; and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers. This will require the extension of existing computability notions to more general classes of objects. Venue The workshop will take place in Lutherstadt Wittenberg, located at the river Elbe roughly halfway between Berlin (100 km) and Leipzig (70km). Lutherstadt Wittenberg (not to be confused with a place called "Wittenberge", also located at the river Elbe) is famous as an old German university town: in 1502 one of the first universities has been founded at this place (which now is part of the University Halle-Wittenberg). Nowadays, the historical building of the University of Wittenberg hosts the Academy Leucorea which will be the venue of our workshop. Wittenberg is called Lutherstadt ("city of Luther") since in 1517 Martin Luther declared his famous 95 theses in Wittenberg which started the process of reformation and, finally, led to the protestantic religion. Since 1508 Luther has been a professor of theology in Wittenberg. Wittenberg is part of the UNESCO world heritage. ________________________________________________________________________________