From owner-reliable_computing [at] interval [dot] usl.edu Wed Oct 4 10:49:32 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA13616 for reliable_computing-outgoing; Wed, 4 Oct 2000 10:49:32 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id KAA13611 for ; Wed, 4 Oct 2000 10:49:27 -0500 (CDT) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.10.1/8.10.1) with SMTP id e94FnK115296; Wed, 4 Oct 2000 09:49:20 -0600 (MDT) Message-Id: <200010041549.e94FnK115296 [at] cs [dot] utep.edu> Date: Wed, 4 Oct 2000 09:49:18 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: conference with verified methods as one of the topics To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: KOZSn/cjRjVBEoe66Mmktw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk The first announcement of International Conference on RECENT ADVANCES IN COMPUTATIONAL MATHEMATICS Organized by Ehime University Matsuyama, JAPAN October 10 - 13, 2001 PURPOSE The conference will concentrate on the recent advances in computational mathematics, both theory and practical applications. Topics include the following: Numerical linear algebra and software Numerical techniques for solving nonsmooth equations Numerical methods for optimization problems Numerical methods for differential equations Numerical methods for the Navier-Stokes equations Numerical computation with verification CONFERENCE COMMITTEE G. Alefeld (U. Karlsruhe) M. Mori (Kyoto U.) M.T. Nakao (Kyushu U.) Z. Nashed (U. Delaware) T. Nishida (Kyoto U.) S. Oishi (Waseda U.) Y. Oyanagi (U. Tokyo) K. Tanabe (ISM) T. Yamamoto (chair) (Ehime U.) LOCAL COMMITTEE K. Amano (Ehime U.) X. Chen (Shimane U.) Q. Fang (Ehime U.) M. Noda (chair (Ehime U.) T. Tsuchiya (Ehime U.) INVITED SPEAKERS INCLUDE R.P. Agarwal (National U. of G. Alefeld (University of Singapore) Karlsruhe) L. Atanassova (University of Bremen) O. Axelsson (University of Nijmegen) C. Brezinski (Univ. des Sci. et Tech. T.-F. Chen (National Chung de Lille Flandres-Artois) Cheng University) A. Frommer (University of Wuppertal) M. Fukushima (Kyoto University) K. Georg (Colorado State G. Heindl (University of University) Wuppertal) J. Herzberger (University of Oldenburg) T.-Y. Li (Michigan State University) I. Marek (Charles University) M. Martinez (State Univ. of Campinas) G. Mayer (University of Rostock) T. Mitsui (Nagoya University) K. Murota (Kyoto University) M.T. Nakao (Kyushu University) Z. Nashed (University of Delaware) S. Oishi (Waseda University) H. Okamoto (Kyoto University) Y. Oyanagi (University of Tokyo) F. Potra (Univ. of Maryland, BC) M. Plum (University of Karlsruhe) L. Qi (Poly. Univ. of Hong R. Rodriguez (Univ. de Kong) Concepcion) S.M. Rump (T. U. Hamburg-Harburg) M. Sugihara (Nagoya University) M. Tabata (Kyushu University) K. Tanabe (The Inst. Stat. Math.) K.-L. Teo (Poly. Univ. of Hong Y. Ye (University of Iowa) Kong) PRELIMINARY REGISTRATION If you are interested in attending ICRACM2001, please fill in the following form and send it to T. TSUCHIYA Department of Mathematical Sciences Faculty of Science Ehime University Matsuyama 790-8577, JAPAN. icracm [at] math [dot] sci.ehime-u.ac.jp by either the usual mail or e-mail (e-mail is preferred) by September 30th, 2000. For further information, please look at the web site http://daisy.math.sci.ehime-u.ac.jp/users/icracm/. -------------------------------- I am interested in attending ICRACM2001. Name: Address: Email: [ ] I would like to give a talk at ICRACM2001. From owner-reliable_computing [at] interval [dot] usl.edu Wed Oct 4 11:35:21 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA13984 for reliable_computing-outgoing; Wed, 4 Oct 2000 11:35:21 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA13979 for ; Wed, 4 Oct 2000 11:35:11 -0500 (CDT) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.10.1/8.10.1) with SMTP id e94GYwi15943; Wed, 4 Oct 2000 10:34:59 -0600 (MDT) Message-Id: <200010041634.e94GYwi15943 [at] cs [dot] utep.edu> Date: Wed, 4 Oct 2000 10:34:56 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: from the conference's website 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: N3MRv6Wv80Z5pWQ1ZGHIAQ== 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.usl.edu id LAA13980 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk International Conference on NUMERICAL ALGORITHMS Marrakesh, Morocco October 1-5, 2001 Dedicated to Claude BREZINSKI on the occasion of his 60th birthday The themes of the conference will cover all aspects of numerical analysis, in particular those which are related to numerical algorithms. The goal of this conference is to bring together experts from these areas and, of course, to celebrate Claude's 60th birthday at the banquet. ORGANIZING COMMITTEE B. Beckermann, University of Lille I, France bbecker [at] ano [dot] univ-lille1.fr A. Bentbib, Faculty of Sciences and Technologies, Marrakesh, Morocco B. Germain-Bonne, University of Lille I, France germainb [at] ano [dot] univ-lille1.fr J.-P. Chehab, University of Lille I, France Jean-Paul.Chehab@univ-lille1.fr M. El Alaoui-Talibi, Faculty of Sciences Semlalia, Marrakesh, Morocco A. Fdil, ENS, Marrakesh, Morocco A. Lembarki, Faculty of Sciences Semlalia, Marrakesh, Morocco M. Prévost, University of Littoral, Calais, France prevost [at] lmpa [dot] univ-littoral.fr A. Matos, University of Lille I, France matos [at] ano [dot] univ-lille1.fr A. Messaoudi, ENS, Rabat, Morocco M. Redivo Zaglia, University of Calabria, Cosenza, Italy M.Redivo_Zaglia [at] unical [dot] it R. Sadaka, ENS, Rabat, Morocco H. Sadok, University of Littoral, Calais, France sadok [at] lmpa [dot] univ-littoral.fr J. Van Iseghem, University of Lille I, France jvaniseg [at] ano [dot] univ-lille1.fr REGISTRATION AND FEES The conference fee is not yet defined. It will covers the conference, excursion, welcome party and banquet. As soon as possible we will give all the informations also about the registration form. Anyway, if you are interested in participating, please notify us as soon as possible at na2001 [at] lmpa [dot] univ-littoral.fr. In this way, you will regularly receive new updated informations about this event. PROCEEDINGS The proceedings of the conference will be published, subject to refereeing, in the international journal Numerical Algorithms. This special volume will be dedicated to Claude Brezinski. People must give 3 copies of their paper to the organizers before the end of the conference. They also have to send by e-mail at na2001 [at] lmpa [dot] univ-littoral.fr an abstract of the talk (written in TeX or LaTeX) before the deadline that will be communicated. Contributions from those who will be unable to attend but want to dedicate a paper to Claude will also be considered for publication. ACCOMODATION Participants will be accomodated in a 4 stars hotel comparable to the best European or American hotels. A special reduced price will be negociated for the participants. We hope that the prices will be about 230 MAD (30USD) for one person in a double room and 320MAD (40USD) in a single room. Special requirements should be communicated to the Organizing Committee by e-mail at na2001 [at] lmpa [dot] univ-littoral.fr. TRAVEL Planes and Airports: * The main international airport in Morocco is the Aeroport de Casablanca Mohammed V. Casablanca has direct connections to major European Airports cities (e.g., Amsterdam, Barcelona, Bordeaux, Brussels, Frankfurt, Genf, Lisboa, London, Lyon, Madrid, Marseille, Moscow, Nice, Paris, Roma, Strasbourg, Toulouse) and elsewhere (e.g., Johannesburg, Montreal, New York). * Marrakech can be reached by Fer du Maroc plane from Casablanca (one hour). There are also direct flights to Marrakech (including charters) from several major European cities. * There is also a train connection from Casablanca to Marrakech. Visa: http://www.maroc.net For a stay up to three months, citizens from the following countries do not require a visa but a return ticket and a passport being valid for at least 6 months from date of entry (NB: children under 15 and under may travel on their parents' passport, but must have photographs included in these passports by the relevant passport authorities): European Union, Andorra, Argentina, Australia, Bahrain, Brazil, Canada, Chile, Congo (Rep. of), Côte d'Ivoire, Guinea, Iceland, Indonesia, Japan, Korea (Rep. of), Kuwait, Libya, Liechtenstein, Mali, Malta, Mexico, Monaco, New Zealand, Niger, Norway, Oman, Peru, Philippines, Puerto Rico, Qatar, Romania, Saudi Arabia, Senegal, Switzerland, Tunisia, Turkey, United Arab Emirates, USA, and Venezuela. For citizens from other countries and further details please contact the Moroccan embassy. Weather: In October, the weather in Marrakech is very nice and not too hot (about 27 degrees Celsius). Money: Approximate exchange rate (June 2000): 100 Moroccan Dirham = 10.3 Euro = 417 Belgian Franc = 67.8 French Franc = 20.2 German Mark = 9.3123 US Dollar Trips: The conference could be combined with a visit of other places in Morocco such as Ouarzazate at the doors of the desert, the Atlas, Rabat (4 and a half hours by train), Fez or Meknes. For more details, see the conference website http://www-lmpa.univ-littoral.fr/~na2001/ From owner-reliable_computing [at] interval [dot] usl.edu Thu Oct 5 21:30:57 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id VAA17607 for reliable_computing-outgoing; Thu, 5 Oct 2000 21:30:57 -0500 (CDT) Received: from maebashi-it.ac.jp (zhong01.maebashi-it.ac.jp [202.236.152.193]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id VAA17602 for ; Thu, 5 Oct 2000 21:30:48 -0500 (CDT) Received: (from zhong@localhost) by maebashi-it.ac.jp (8.9.1/8.9.1) id LAA10283 for reliable_computing [at] interval [dot] usl.edu; Fri, 6 Oct 2000 11:34:47 +0900 (JST) (envelope-from zhong) Date: Fri, 6 Oct 2000 11:34:47 +0900 (JST) From: Ning Zhong Message-Id: <200010060234.LAA10283@maebashi-it.ac.jp> To: reliable_computing [at] interval [dot] usl.edu Subject: Web Intelligence (WI'2001): 2nd Call for Papers Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk [Apologies if you receive this more than once] ************************************************ * Second * * CALL FOR PAPERS * * * * The First Asia-Pacific Conference on * * Web Intelligence (WI-2001) * * ========================== * * * * Maebashi TERRSA, Maebashi City, Japan * * October 23-26, 2001 * ************************************************ Home Page: http://kis.maebashi-it.ac.jp/wi01 Paper Submission Deadline: March 20, 2001 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ WI-2001 will be jointly held with The Second Asia-Pacific Conference on Intelligent Agent Technology (IAT-2001) ======================================= WI-2001 and IAT-2001 Joint Keynote Speakers: Edward A. Feigenbaum (Turing Award Winner), Stanford University Benjamin Wah (2001 IEEE Computer Society President), University of Illinois WI-2001 Invited Speakers: W. Lewis Johson (University of Southern California, USA) Riichiro Mizoguchi (Osaka University, Japan) Patrick S. P. Wang (Northeastern University, USA) The 21st century is the age of Internet and World Wide Web. The Web revolutionizes the way we gather, process, and use information. At the same time, it also redefines the meanings and processes of business, commerce, marketing, finance, publishing, education, research, development, as well as other aspects of our daily life. Although individual Web-based information systems are constantly being deployed, advanced issues and techniques for developing and for benefiting from Web intelligence still remain to be systematically studied. Broadly speaking, Web Intelligence (WI) exploits AI and advanced information technology on the Web and Internet. It is the key and the most urgent research field of IT for business intelligence. The Asia-Pacific Conference on Web Intelligence (WI) is an international forum for researchers and practitioners (1) to present the state-of-the-art in the development of Web intelligence; (2) to examine performance characteristics of various approaches in Web-based intelligent information technology; (3) to cross-fertilize ideas on the development of Web-based intelligent information systems among different domains. By idea-sharing and discussions on the underlying foundations and the enabling technologies of Web intelligence, WI-2001 is expected to stimulate the future development of new models, new methodologies, and new tools for building a variety of embodiments of Web-based intelligent information systems. The Asia-Pacific Conference on Web Intelligence (WI) is a high-quality, high-impact biennial conference series. It will be jointly held with the Asia-Pacific Conference on Intelligent Agent Technology (IAT). TOPICS ====== WI-2001 welcomes submissions of original papers. The technical issues to be addressed include, but not limited to: * Web Human-Media Engineering: - Art of Web Page Design - Multimedia Information Representation - Multimedia Information Processing - Visualization of Web Information - Web-Based Human Computer Interface * Web Information Management: - Data Quality Management - Information Transformation - Internet and Web-Based Data Management - Multi-Dimensional Web Databases and OLAP - Multimedia Information Management - New Data Models for the Web - Object Oriented Web Information Management - Personalized Information Management - Semi-Structured Data Management - Use and Management of Metadata - Web Knowledge Management - Web Page Automatic Generation and Updating - Web Security, Integrity, Privacy and Trust * Web Information Retrieval: - Approximate Retrieval - Conceptual Information Extraction - Image Retrieval - Multi-Linguistic Information Retrieval - Multimedia Retrieval - New Retrieval Models - Ontology-Based Information Retrieval - Automatic Web Content Cataloging and Indexing * Web Agents: - Dynamics of Information Sources - E-mail Filtering - E-mail Semi-Automatic Reply - Global Information Collecting - Information Filtering - Navigation Guides - Recommender Systems - Remembrance Agents - Reputation Mechanisms - Resource Intermediary and Coordination Mechanisms - Web-Based Cooperative Problem Solving * Web Mining and Farming: - Data Mining and Knowledge Discovery - Hypertext Analysis and Transformation - Learning User Profiles - Multimedia Data Mining - Regularities in Web Surfing and Internet Congestions - Text Mining - Web-Based Ontology Engineering - Web-Based Reverse Engineering - Web Farming - Web-Log Mining - Web Warehousing * Web Information System Environment and Foundations: - Competitive Dynamics of Web Sites - Emerging Web Technology - Network Community Formation and Support - New Web Information Description and Query Languages - Theories of Small World Web - Web Information System Development Tools - Web Protocols * Web-Based Applications: - Business Intelligence - Computational Societies and Markets - Conversational Systems - Customer Relationship Management (CRM) - Direct Marketing - Electronic Commerce and Electronic Business - Electronic Library - Information Markets - Price Dynamics and Pricing Algorithms - Measuring and Analyzing Web Merchandising - Web-Based Decision Support Systems - Web-Based Distributed Information Systems - Web-Based EDI - Web-Based Learning Systems - Web Marketing - Web Publishing PAPER SUBMISSION & PUBLICATION ============================== High quality full-length papers in all WI related areas are solicited. Papers exploring new directions are most welcome and will receive a careful and supportive review. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Electronic submission is encouraged and preferred. Please send LaTex (MS-Words, or PDF) and PostScript versions of your paper, and an ASCII version of the cover page (in separate email), by March 20, 2001 to: wi01 [at] cs [dot] uregina.ca Four (4) hardcopies of the paper by regular mail are also requested if electronic submission is not possible. Please send hardcopies of your paper by March 20, 2001 to: Prof. Yiyu Yao (WI-2001) Department of Computer Science University of Regina Regina, Saskatchewan Canada S4S 0A2 E-mail: yyao [at] cs [dot] uregina.ca Phone: (306) 585-5226 Fax: (306) 585-4745 The ASCII version of a cover page must include author(s) full address, email, paper title and a 200 word abstract, and up to 5 keywords. Accepted papers are expected to be published in the conference proceedings by Springer-Verlag in the Lecture Notes in Artificial Intelligence series (LNCS/LNAI). A selected number of WI-2001 accepted papers will be expanded and revised for inclusion in "Knowledge and Information Systems: An International Journal" by Springer-Verlag and in "International Journal of Pattern Recognition and Artificial Intelligence" by World Scientific. WI best paper award will be conferred on the author(s) of the best papers at the conference. Please follow the instructions supplied by Springer-Verlag (http://www.springer.de/comp/lncs/authors.html) when preparing your manuscript. LaTeX2e, LaTeX, TeX, and Microsoft Word Macros for preparing your manuscript are available. Please use the style files provided by Springer-Verlag for Proceedings and Other Multi-Author Volumes in preparing your manuscripts (http://www.springer.de/comp/lncs/authors.html#Proceedings). DEMO SESSION ============ WI-2001 also welcomes submissions of research projects, research prototypes, experimental systems, and commercial products for demonstrations at the conference. Each submission should include a title page containing a title, a 200-300 word abstract, a list of keywords, the names, mailing addresses, and Email addresses of the presenters, and a two-page description of the demo system. Submissions should reach the WI-2001 Demos Chair: Dr. Yiming Ye (WI-2001) IBM T.J. Watson Research Center 30 Saw Mill River Road (Route 9A) Hawthorne, N.Y. 10532 USA Tel: (914) 784-7460 Email: yiming [at] watson [dot] ibm.com by July 2, 2001 Authors of accepted WI-2001 papers will be invited to demonstrate their systems at the conference. It is understood that once a submission is selected for demonstration at the conference, the presenter(s) of the demo will be responsible for bringing necessary software/hardware equipment. IMPORTANT DATES =============== March 20, 2001 Paper submission deadline May 20, 2001 Notification of paper acceptance mailed June 20, 2001 Camera-ready copies of accepted papers due July 2, 2001 Demo submission deadline August 3, 2001 Notification of demo acceptance mailed October 23-26, 2001 Conference technical sessions CONFERENCE ORGANIZERS ===================== WI-2001 Conference Organizing Committee ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ General Chairs: Jiming Liu, Hong Kong Baptist University, Hong Kong Setsuo Ohsuga, Waseda University, Japan Program Chairs: Ning Zhong, Maebashi Institute of Technology, Japan Yiyu Yao, University of Regina, Canada Demos and Exhibits Chair: Yiming Ye, IBM T.J. Watson Research Center, USA Local Organizing Chair: Nobuo Otani, Maebashi Institute of Technology, Japan International Advisory Board: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Nick Cercone, University of Waterloo, Canada Edward A. Feigenbaum, Stanford University, USA T.Y. Lin, San Jose State University, USA Jiming Liu, Hong Kong Baptist University, Hong Kong Setsuo Ohsuga, Waseda University, Japan Ryuichi Oka, Real World Computing Partnership, Japan Nobuo Otani, Maebashi Institute of Technology, Japan Zbigniew W. Ras, University of North Carolina, USA Andrzej Skowron, Warsaw University, Poland Xindong Wu, Colorado School of Mines, USA Yiyu Yao, University of Regina, Canada Philip Yu, IBM T.J. Watson Research Center, USA Ning Zhong, Maebashi Institute of Technology, Japan Program Committee: ~~~~~~~~~~~~~~~~~~ Sarabjot Singh Anand (MINEit Software Limited, USA) Cory Butz (U. Ottawa, Canada) Keith Chan (Hong Kong Polytechnic U.) Ming-Syan Chen (National Taiwan U.) Jingde Cheng (Saitama U., Japan) David Cheung (Hong Kong U.) Robert Cooley (U. Minnesota, USA) Liya Ding (National U. Singapore) Jiawei Han (Simon Fraser U., Canada) Bernardo A. Huberman (Xerox Palo Alto Research Center) W. Lewis Johnson (U. South California, USA) Tomonari Kamba (NEC Human Media Research Labs., Japan) Ramamohanarao Kotagiri (U. Melbourne, Australia) Bing Liu (National U. Singapore) Chunnian Liu (Beijing Poly. U., China) Jiming Liu (Hong Kong Baptist U.) Brien R. Maguire (U. Regina, Canada) Akira Namatame (National Defense Academy, Japan) Yukio Ohsawa (U. Tsukuba, Japan) Gregory Piatetsky-Shapiro (Kowlegde Stream, USA) Mohamed Quafafou (U. Nantes, France) Qiang Shen (U. Edinburgh, UK) Timothy K. Shih (Tamkang U., Taiwan) Myra Spiliopoulou (U. Magdeburg, Germany) Jaideep Srivastava (U. Minnesota, USA) Yasuyuki Sumi (ATR Lab. Japan) Einoshin Suzuki (Yokohama National U., Japan) Roman W. Swiniarski (San Diego State U., USA) Atsuhiro Takasu (National Inst. Informatics, Japan) Pierre Tchounikine (U. Maine, France) Hiroshi Tsukimoto (Toshiba Corp., Japan) Shusaku Tsumoto (Shimane Medical U., Japan) Lipo Wang (Nanyang Tech. U., Singapore) Takashi Washio (Osaka U., Japan) Michael S.K. Wong (U. Regina, Canada) Graham Williams (CSIRO, Australia) Seiji Yamada (Tokyo Inst. Tech., Japan) Yoneo Yano (Tokushima U., Japan) Yiyu Yao (U. Regina, Canada) Yiming Ye (IBM T. J. Watson Research Center, USA) Yasuhiko Kitamura (Osaka City U., Japan) Tetuya Yoshida (Osaka U., Japan) Lizhu Zhou (Tsinghua U., China) Ning Zhong (Maebashi Inst. Tech., Japan) Wojciech Ziarko (U. Regina, Canada) Local Organizing Committee: ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Hisao Machida (Maebashi Institute of Technology, Japan) Tadaomi Miyazaki (Maebashi Institute of Technology, Japan) Nobuo Otani (Maebashi Institute of Technology, Japan) Sean M. Reedy (Maebashi Institute of Technology, Japan) Ning Zhong (Maebashi Institute of Technology, Japan) Yukio Kanazawa (Maebashi Convention Bureau, Japan) Seiji Murai (Maebashi Convention Bureau, Japan) Kanehisa Sekine (Maebashi Convention Bureau, Japan) Midori Asaka (Information Technology Agency (IPA), Japan) Yoshitsugu Kakemoto (Japan Research Institute, Limited, Japan) CONFERENCE SITE =============== The WI-2001 and IAT-2001 will take place in Maebashi. Maebashi, the capital of Gumma Prefecture, is called the `City of water, greenery, and poetry'. Maebashi is an `International Convention City' designated by the Ministry of Transportation. Maebashi and the neighboring areas in Gunma is a land of greenery blessed with the wonders of natural beauty and more than a hundred hot springs offering relaxation and peace of mind. WI-2001 and IAT-2001 will organize a tour during the conference to a resort hotel with hot spring in Ikaho that is one of the most famous hot springs areas in Japan. Maebashi is positioned nearly in the center of the Japan Archipelago. Only a hundred kilometers from Japan's capital city of Tokyo and reachable in an hour by bullet train or high-speed expressway, a variety of favorable land conditions lead to flourishing economic activity. Maebashi City and the neighboring areas in Gunma are expected to further develop into an IT conurbation with highly advanced information technology. FURTHER INFORMATION =================== Please send suggestions and inquiries regarding WI-2001 to: Prof. Ning Zhong (WI-2001) Department of Information Engineering Maebashi Institute of Technology 460-1, Kamisadori-Cho, Maebashi-City, 371-0816 Japan TEL&FAX: +81-27-265-7366 E-mail: zhong@maebashi-it.ac.jp ------------------------------------------------------------ From owner-reliable_computing [at] interval [dot] usl.edu Sat Oct 7 13:46:39 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id NAA22035 for reliable_computing-outgoing; Sat, 7 Oct 2000 13:46:39 -0500 (CDT) Received: from gauss.Mines.EDU (gauss.Mines.EDU [138.67.22.33]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id NAA22030 for ; Sat, 7 Oct 2000 13:46:36 -0500 (CDT) Received: (from xwu@localhost) by gauss.Mines.EDU (8.9.3/8.9.3) id MAA24536 for reliable_computing [at] interval [dot] usl.edu; Sat, 7 Oct 2000 12:37:05 -0600 (MDT) From: Xindong Wu Message-Id: <200010071837.MAA24536 [at] gauss [dot] Mines.EDU> Subject: Knowledge and Information Systems: Vol 2 No 4 (2000) To: reliable_computing [at] interval [dot] usl.edu Date: Sat, 7 Oct 2000 12:37:05 -0600 (MDT) X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Knowledge and Information Systems: An International Journal ----------------------------------------------------------- ISSN: 0219-1377 (printed version) ISSN: 0219-3116 (electronic version) by Springer-Verlag Home Page: http://kais.mines.edu/~kais/ ======================================= Volume 2, Number 4 (November 2000): Table of Contents ----------------------------------------------------- Regular Papers - Reference Ontology and (ONTO)^2 Agent: The Ontology Yellow Pages by Julio Arpirez, Asuncion Gomez-Perez, Adolfo Lozano and H. Sofia Pinto - Incremental View Maintenance for Mobile Databases by Ken C.K. Lee, Hong Va Leong and Antonio Si - Knowledge Bases with Output by Nicolae Tandareanu - The Impact of Payoff Function and Local Interaction on the N-Player Iterated Prisoner by Yeon-Gyu Seo, Sung-Bae Cho and Xin Yao Short Papers - A Note on the Refinement of Nonmonotonic Knowledge Bases by Grigoris Antoniou, Cara MacNish, and Norman Foo - XML and Industrial Standards for Electronic Commerce by Haifei Li - Towards a Model of Learning through Communication by Nadim Obeid Call for Papers - ICDM '01: The 2001 IEEE International Conference on Data Mining, (http://kais.mines.edu/~xwu/icdm/icdm-01.html) Silicon Valley, California, November 29 - December 2, 2001 2000 KAIS Reviewers Author Index From owner-reliable_computing [at] interval [dot] usl.edu Mon Oct 9 15:53:15 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id PAA26746 for reliable_computing-outgoing; Mon, 9 Oct 2000 15:53:15 -0500 (CDT) Received: from marnier.ucs.usl.edu (root@[130.70.40.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id PAA26741 for ; Mon, 9 Oct 2000 15:53:10 -0500 (CDT) Received: from liberty (liberty.usl.edu [130.70.46.171]) by marnier.ucs.usl.edu (8.9.1/8.9.1/ucs-mx-host_1.4) with SMTP id PAA06046 for ; Mon, 9 Oct 2000 15:53:07 -0500 (CDT) Message-Id: <2.2.32.20001009205448.0125bf6c [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 09 Oct 2000 15:54:48 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: New preprint on singularity Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, I have just posted a preprint, "An Example of Singularity in Global Optimization" to my web site. You can access it from my preprints page at http://interval.louisiana.edu/preprints.html Here is the abstract: Certain practical constrained global optimization problems have to date defied practical solution with interval branch and bound methods. The exact mechanism causing the difficulty has been difficult to pinpoint. Here, an example is given where the equality constraint set has higher-order singularities and degenerate manifolds of singularities on the feasible set. The reason that this causes problems is discussed, and ways of fixing it are suggested. Best regards, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Tue Oct 10 09:30:38 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA29033 for reliable_computing-outgoing; Tue, 10 Oct 2000 09:30:38 -0500 (CDT) Received: from marnier.ucs.usl.edu (root@[130.70.40.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA29028 for ; Tue, 10 Oct 2000 09:30:35 -0500 (CDT) Received: from liberty (liberty.usl.edu [130.70.46.171]) by marnier.ucs.usl.edu (8.9.1/8.9.1/ucs-mx-host_1.4) with SMTP id JAA14105 for ; Tue, 10 Oct 2000 09:30:34 -0500 (CDT) Message-Id: <2.2.32.20001010143217.0126bcf8 [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Tue, 10 Oct 2000 09:32:17 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Correction to "new preprint on singularity" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, I've uploaded a corrected version. Jean-Charles Faugere found some indexing problems that would make the last two pages very difficult to understand. Best regards, Baker >Date: Mon, 09 Oct 2000 15:54:48 -0500 >To: reliable_computing >From: "R. Baker Kearfott" >Subject: New preprint on singularity > >Colleagues, > >I have just posted a preprint, "An Example of Singularity in Global >Optimization" to my web site. You can access it from my preprints page at > >http://interval.louisiana.edu/preprints.html > >Here is the abstract: > >Certain practical constrained global optimization problems have >to date defied practical solution with interval branch and >bound methods. The exact mechanism causing the difficulty has >been difficult to pinpoint. Here, an example is given where the >equality constraint set has higher-order singularities and >degenerate manifolds of singularities on the feasible set. The >reason that this causes problems is discussed, and ways of >fixing it are suggested. > > >Best regards, > >Baker > --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Wed Oct 11 09:06:47 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA01668 for reliable_computing-outgoing; Wed, 11 Oct 2000 09:06:47 -0500 (CDT) Received: from postmarq.mu.edu (hermes.mu.edu [134.48.1.5]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA01663 for ; Wed, 11 Oct 2000 09:06:42 -0500 (CDT) Received: from mscs.mu.edu ([134.48.24.7]) by postmarq.mu.edu (Netscape Messaging Server 4.15) with ESMTP id G29R7000.EHS for ; Wed, 11 Oct 2000 09:06:36 -0500 Message-ID: <39E4741E.6D4E883B [at] mscs [dot] mu.edu> Date: Wed, 11 Oct 2000 09:07:26 -0500 From: George Corliss Reply-To: georgec [at] mscs [dot] mu.edu Organization: Marquette University X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] usl.edu Subject: More on Jiri Rohn's talk: References Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Professor Jiri Rohn has prepared an appendix for the talk "Finite Characterization of Some Linear Problems with Inexact Data" he gave at Scan 2000 in Karlsruhe. The Appendix contains references for the results he cited in the talk. The Appendix (and slides from the talk) are available at http://www.mscs.mu.edu/~georgec/Corliss/rohn_slides.html Thanks, Jiri. Dr. George F. Corliss Dept. Math, Stat, Comp Sci Marquette University P.O. Box 1881 Milwaukee, WI 53201-1881 USA georgec [at] mscs [dot] mu.edu; George.Corliss [at] Marquette [dot] edu http://www.mscs.mu.edu/~georgec/ Office: 414-288-6599; Dept: 288-7573; Fax: 288-5472 From owner-reliable_computing [at] interval [dot] usl.edu Thu Oct 12 10:59:55 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA04663 for reliable_computing-outgoing; Thu, 12 Oct 2000 10:59:55 -0500 (CDT) Received: from automatix.informatik.uni-wuerzburg.de (root [at] wi2x40 [dot] informatik.uni-wuerzburg.de [132.187.10.40]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id KAA04658 for ; Thu, 12 Oct 2000 10:59:51 -0500 (CDT) Received: from informatik.uni-wuerzburg.de (hystrix [132.187.10.44]) by automatix.informatik.uni-wuerzburg.de (8.8.8/8.8.8) with ESMTP id RAA00705 for ; Thu, 12 Oct 2000 17:59:33 +0200 Message-ID: <39E5DFE5.A0A657F1 [at] informatik [dot] uni-wuerzburg.de> Date: Thu, 12 Oct 2000 17:59:33 +0200 From: "J.Wolff v. Gudenberg" X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.13-SMP i686) X-Accept-Language: en MIME-Version: 1.0 To: "reliable_computing [at] interval [dot] usl.edu" Subject: SCAN2000 / INTERVAL2000 procededings Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleagues, A volume of Refereed Proceedings of the SCAN2000/INTERVAL2000 will be published by Kluwer Academic/Plenum Publishers (Editors: Juergen Wolff von Gudenberg, University of Wuerzburg, and Walter Kraemer, University of Wuppertal). The volume will appear in spring 2001 and presumably contain 300 - 400 pages. Special arrangement with the publisher concerning a prepublication order has been made. The price, if ordered before December 2000 will be 65 Euros. Payment is possible by bank transfer to the account holder: J. Wolff v. Gudenberg acc number 560 218 901 bank Sparkasse Mainfranken bank code (BLZ) 790 500 00 purpose: scan2000 proceedings Please make sure that : -- your name is clearly identifiable. -- payment arrives before January 31st 2001. -- no money transfer fees will be charged. (a cheque drawn on a foreign bank costs DM 20.-- even if it is issued in Euros !, e.g.) Those participants who ordered the book during the conference are liable for payment. Others may join ! please send an email to wolff [at] informatik [dot] uni-wuerzburg.de. Note, that the book will be considerably more expensive, if you buy it after publication! Probably 130 Euros ! Addresses of editors: Prof: Dr. W. Kraemer FB Mathematik Bergische Universität Wuppertal Gaussstr. 20 D- 42097 Wuppertal kraemer [at] math [dot] uni-wuppertal.de Tel. 0202 / 439-3060 Prof. Dr. J. Wolff v. Gudenberg Lehrstuhl fuer Informatik II wolff [at] informatik [dot] uni-wuerzburg.de Universitaet Wuerzburg Tel. 0931 / 888-6602 Am Hubland Fax. 0931 / 888-6603 D-97074 Wuerzburg URL http://www-info2.informatik.uni-wuerzburg.de/staff/wvg --------------------------------------------- -- __o \<, ()/ ()__________________ Prof. Dr. J. Wolff v. Gudenberg Lehrstuhl fuer Informatik II wolff [at] informatik [dot] uni-wuerzburg.de Universitaet Wuerzburg Tel. 0931 / 888-6602 Am Hubland Fax. 0931 / 888-6603 D-97074 Wuerzburg URL http://www-info2.informatik.uni-wuerzburg.de/staff/wvg --------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Fri Oct 13 08:22:56 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id IAA07211 for reliable_computing-outgoing; Fri, 13 Oct 2000 08:22:55 -0500 (CDT) Received: from lukla.Sun.COM (lukla.Sun.COM [192.18.98.31]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA07206 for ; Fri, 13 Oct 2000 08:22:51 -0500 (CDT) From: bill.walster [at] eng [dot] sun.com Received: from engmail2.Eng.Sun.COM ([129.146.1.25]) by lukla.Sun.COM (8.9.3+Sun/8.9.3) with ESMTP id HAA21673 for ; Fri, 13 Oct 2000 07:22:49 -0600 (MDT) Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.1.131]) by engmail2.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v1.7) with ESMTP id GAA03806 for ; Fri, 13 Oct 2000 06:22:49 -0700 (PDT) Received: from mpkmail.Eng.Sun.COM (euroapp.Holland.Sun.COM [129.159.197.58]) by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 (built Sep 6 2000)) with ESMTP id <0G2D00J2UEHCAG [at] mpkmail [dot] eng.sun.com> for reliable_computing [at] interval [dot] louisiana.edu; Fri, 13 Oct 2000 06:22:48 -0700 (PDT) Date: Fri, 13 Oct 2000 06:22:49 -0700 Subject: Applications Wanted To: reliable_computing [at] interval [dot] louisiana.edu Cc: bill.walster [at] eng [dot] sun.com Message-id: <0G2D00J2VEHOAG [at] mpkmail [dot] eng.sun.com> MIME-version: 1.0 X-Mailer: Sun NetMail 2.3 Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleagues: I have agreed to present a paper at an internal Sun conference sumarizing recent interval applications. Of primary interest to Sun employees are those applications that have, or will lead to commercial industrial, scientific, or financial use. Please send papers and/or abstracts of work in progress, along with your estimate of the practical importance. Thanks in advance, Bill From owner-reliable_computing [at] interval [dot] usl.edu Mon Oct 16 19:32:32 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id TAA14632 for reliable_computing-outgoing; Mon, 16 Oct 2000 19:32:31 -0500 (CDT) Received: from lukla.Sun.COM (lukla.Sun.COM [192.18.98.31]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id TAA14627 for ; Mon, 16 Oct 2000 19:32:26 -0500 (CDT) Received: from engmail4.Eng.Sun.COM ([129.144.134.6]) by lukla.Sun.COM (8.9.3+Sun/8.9.3) with ESMTP id SAA28425 for ; Mon, 16 Oct 2000 18:32:21 -0600 (MDT) Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.1.131]) by engmail4.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v1.7) with ESMTP id RAA13515; Mon, 16 Oct 2000 17:32:20 -0700 (PDT) Received: from gww (gww.Eng.Sun.COM [129.146.78.116]) by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 (built Sep 6 2000)) with SMTP id <0G2J000NPTHWB3 [at] mpkmail [dot] eng.sun.com>; Mon, 16 Oct 2000 17:32:20 -0700 (PDT) Date: Mon, 16 Oct 2000 17:32:32 -0700 (PDT) From: William Walster Subject: C++ IA Programming Reference available on docs.sun.com To: reliable_computing [at] interval [dot] louisiana.edu Cc: bill.walster [at] eng [dot] sun.com Reply-to: William Walster Message-id: <0G2J000NQTHWB3 [at] mpkmail [dot] eng.sun.com> MIME-version: 1.0 X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc Content-type: TEXT/plain; charset=us-ascii Content-transfer-encoding: 7BIT Content-MD5: y7ZNuFPLQTCwasb0sd5QLg== Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk The C++ Interval Arithmetic Programming Reference document is available in the following collection on docs.sun.com: Forte Developer 6 update 1/Sun WorkShop 6 update 1 Collection Regards, Bill G. William (Bill) Walster, Ph.D. Interval Technology Engineering Manager Sun Microsystems, Inc. 16 Network Circle, MS UMPK16-304 Menlo Park, CA 94025 (650) 786-9004 Direct (650) 786-9551 Fax (800) 759-8888 Pager PIN 171-2423 bill.walster [at] eng [dot] sun.com From owner-reliable_computing [at] interval [dot] usl.edu Tue Oct 17 09:39:45 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA16631 for reliable_computing-outgoing; Tue, 17 Oct 2000 09:39:44 -0500 (CDT) Received: from disi.unige.it (mailhost.disi.unige.it [130.251.61.19]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA16626 for ; Tue, 17 Oct 2000 09:39:39 -0500 (CDT) Received: from [130.251.61.155] (reggio [130.251.61.155]) by disi.unige.it (8.8.8/8.8.8) with ESMTP id PAA08932; Tue, 17 Oct 2000 15:18:21 +0200 (MET DST) Mime-Version: 1.0 Message-Id: Date: Tue, 17 Oct 2000 15:17:00 +0100 To: etaps2001 [at] disi [dot] unige.it From: Etaps 2001 Subject: ETAPS 2001: Deadline Approaching Content-Type: text/plain; charset="us-ascii" ; format="flowed" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ETAPS 2001 APRIL 2 - 6, 2001 - GENOVA, ITALY The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of conferences and other events that has become the primary European forum for academic and industrial researchers working on topics relating to Software Science. http://www.disi.unige.it/etaps2001/ ----------------------------------------------------------------------- 5 Conferences - Tutorials - Tool Demonstrations - 9 Satellite Events ----------------------------------------------------------------------- CONFERENCES ----------------------------------------------------------------------- CC 2001: International Conference on Compiler Construction Chair: Reinhard Wilhelm ESOP 2001, European Symposium On Programming Chair: David Sands FASE 2001, Fundamental Approaches to Software Engineering Chair: Heinrich Hussmann FOSSACS 2001, Foundations of Software Science and Computation Structures Chair: Furio Honsell TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems Chairs: Tiziana Margaria and Wang Yi Prospective authors are invited to submit, **** BEFORE OCTOBER 20, 2001, **** full papers in English presenting original research. People who cannot submit electronically or who have exceptional conflicts with the submission deadline should contact the relevant PC chair directly. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings of each main conference will be published as a separate volume in the Springer Verlag Lecture Notes in Computer Science series. TUTORIALS ----------------------------------------------------------------------- Proposals for half-day or full-day tutorials related to ETAPS 2001 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants to ETAPS 2001. Contact: Bernhard Rumpe (Technische Universitaet Munchen, Germany) TOOL DEMONSTRATIONS ----------------------------------------------------------------------- Demonstrations of tools presenting advances on the state of the art are invited. Submissions in this category should present tools having a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately. These should not be confused with contributions to TACAS, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application. Contact: Don Sannella (University of Edinburgh) SATELLITE EVENTS ----------------------------------------------------------------------- Besides the five main conferences the following satellite events are planned for ETAPS 2001 CMCS: Co-algebraic Methods in Computer Science Contact: Ugo Montanari (Universita' di Pisa, Italy) ETI Day: Electronic Tool Integration platform Day Contacts: Tiziana Margaria (Universitaet Dortmund, Germany) and Andreas Podelski (MPI Saarbrucken, Germany) JOSES: Java Optimization Strategies for Embedded Systems Contact: Uwe Assmann (Universitat Karlsruhe, Germany) LDTA: Workshop on Language Descriptions, Tools and Applications Contact: Mark van den Brand (CWI Amsterdam, The Netherlands) MMAABS: Models and Methods of Analysis for Agent Based Systems Contact: David Robertson (University of Edinburgh, UK) PFM: Proofs For Mobility Contact: Davide Sangiorgi (INRIA-Sophia Antipolis, France) RelMiS: Relational Methods in Software Contact: Wolfram Kahl (Universitaet der Bundeswehr Munchen, Germany) UNIGRA: Uniform Approaches to Graphical Process Specification Techniques Contact: Julia Padberg (Technische Universitaet Berlin, Germany) WADT: Workshop on Algebraic Development Techniques Contact: Maura Cerioli (DISI-Universita' di Genova, Italy) IMPORTANT DATES: ----------------------------------------------------------------------- October 20, 2000: Submissions Deadline for the Main Conferences, Demos and Tutorials December 15, 2000: Notification of Acceptance/Rejection January 15 2001: Camera-ready Version Due April 2-6, 2001: ETAPS 2001 in Genova March 31 - April 8, 2001: Satellite Events ----------------------------------------------------------------------- [ Sorry for multiple copies. Do not reply to this message. If you believe we have sent this to a list not appropriate, please let us know by mailing to etaps2001 [at] disi [dot] unige.it ] From owner-reliable_computing [at] interval [dot] usl.edu Wed Oct 18 12:26:49 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA19382 for reliable_computing-outgoing; Wed, 18 Oct 2000 12:25:48 -0500 (CDT) Received: from bologna.vision.caltech.edu (bologna.vision.caltech.edu [131.215.163.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA19377 for ; Wed, 18 Oct 2000 12:25:12 -0500 (CDT) Received: from modena.vision.caltech.edu (modena.vision.caltech.edu [131.215.134.17]) by bologna.vision.caltech.edu (8.9.3/8.9.3) with ESMTP id KAA04552 for ; Wed, 18 Oct 2000 10:20:16 -0700 (PDT) Received: (from arrigo@localhost) by modena.vision.caltech.edu (8.9.3+Sun/8.9.1) id KAA02936; Wed, 18 Oct 2000 10:24:28 -0700 (PDT) X-Authentication-Warning: modena.vision.caltech.edu: arrigo set sender to arrigo [at] vision [dot] caltech.edu using -f From: Arrigo Benedetti MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14829.56524.635760.464765 [at] modena [dot] vision.caltech.edu> Date: Wed, 18 Oct 2000 10:24:28 -0700 To: reliable_computing [at] interval [dot] usl.edu Subject: interval and probabilities X-Mailer: VM 6.76 under Emacs 20.4.1 Reply-To: arrigo [at] vision [dot] caltech.edu Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear all, I'm looking for references to the problems involved with the association of intervals and probabilities. I'm particularly interested to know if there is any work showing the relations between arithmetic operations on intervals and the same operations performed on probability density functions of random variables. Thanks in advance, -Arrigo -- Dr. Arrigo Benedetti e-mail: arrigo [at] vision [dot] caltech.edu Caltech, MS 136-93 phone: (626) 395-3695 Pasadena, CA 91125 fax: (626) 795-8649 From owner-reliable_computing [at] interval [dot] usl.edu Thu Oct 19 11:00:58 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA21911 for reliable_computing-outgoing; Thu, 19 Oct 2000 11:00:58 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA21906 for ; Thu, 19 Oct 2000 11:00:51 -0500 (CDT) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.10.1/8.10.1) with SMTP id e9JG0b505983 for ; Thu, 19 Oct 2000 10:00:37 -0600 (MDT) Message-Id: <200010191600.e9JG0b505983 [at] cs [dot] utep.edu> Date: Thu, 19 Oct 2000 10:00:35 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: SCAN2000 / INTERVAL2000 Proceedings To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: tpNby/2QuwUaA0PyjmyL9g== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Friends, This is FYI. I have just tranferred money to Juergen's account, and his bank charged him DM 24, NOT DM 20 as he assumed in his attached email. Please add DM 24 to the amount you send to cover this expense. Thanks Vladik ********************************************************************* Date: Thu, 12 Oct 2000 17:55:32 +0200 From: "J.Wolff v. Gudenberg" X-Accept-Language: en MIME-Version: 1.0 To: J WvG Subject: SCAN2000 / INTERVAL2000 Proceedings Content-Transfer-Encoding: 8bit Dear Colleagues, A volume of Refereed Proceedings of the SCAN2000/INTERVAL2000 will be published by Kluwer Academic/Plenum Publishers (Editors: Juergen Wolff von Gudenberg, University of Wuerzburg, and Walter Kraemer, University of Wuppertal). The volume will appear in spring 2001 and presumably contain 300 - 400 pages. Special arrangement with the publisher concerning a prepublication order has been made. The price, if ordered before December 2000 will be 65 Euros. Payment is possible by bank transfer to the account holder: J. Wolff v. Gudenberg acc number 560 218 901 bank Sparkasse Mainfranken bank code (BLZ) 790 500 00 purpose: scan2000 proceedings Please make sure that : -- your name is clearly identifiable. -- payment arrives before January 31st 2001. -- no money transfer fees will be charged. (a cheque drawn on a foreign bank costs DM 20.-- even if it is issued in Euros !, e.g.) Those participants who ordered the book during the conference are liable for payment. Others may join ! please send an email to wolff [at] informatik [dot] uni-wuerzburg.de. Note, that the book will be considerably more expensive, if you buy it after publication! Probably 130 Euros ! ... __o \<, ()/ ()__________________ Prof. Dr. J. Wolff v. Gudenberg Lehrstuhl fuer Informatik II wolff [at] informatik [dot] uni-wuerzburg.de Universitaet Wuerzburg Tel. 0931 / 888-6602 Am Hubland Fax. 0931 / 888-6603 D-97074 Wuerzburg URL http://www-info2.informatik.uni-wuerzburg.de/staff/wvg --------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Thu Oct 19 13:01:43 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id NAA22290 for reliable_computing-outgoing; Thu, 19 Oct 2000 13:01:43 -0500 (CDT) Received: from mail.vi-internet.de (mailx.vi-internet.de [195.182.114.82]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id NAA22285 for ; Thu, 19 Oct 2000 13:01:36 -0500 (CDT) Received: from mailx.vi-internet.de ([195.182.114.6]) by mail.vi-internet.de with Microsoft SMTPSVC(5.5.1877.537.53); Thu, 19 Oct 2000 19:40:59 +0200 Received: from mail pickup service by mailx.vi-internet.de with Microsoft SMTPSVC; Thu, 19 Oct 2000 19:40:52 +0200 Received: from mx0.gmx.net ([213.165.64.100]) by mail.vi-internet.de with Microsoft SMTPSVC(5.5.1877.537.53); Thu, 19 Oct 2000 18:04:50 +0200 Received: (qmail 25096 invoked by alias); 19 Oct 2000 16:04:56 -0000 Delivered-To: GMX delivery to jens.maurer [at] gmx [dot] net Received: (qmail 25030 invoked by uid 0); 19 Oct 2000 16:04:54 -0000 Received: from interval.usl.edu (130.70.43.77) by mx0.gmx.net with SMTP; 19 Oct 2000 16:04:54 -0000 Received: from localhost (daemon@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with SMTP id LAA21991; Thu, 19 Oct 2000 11:02:57 -0500 (CDT) Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA21911 for reliable_computing-outgoing; Thu, 19 Oct 2000 11:00:58 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA21906 for ; Thu, 19 Oct 2000 11:00:51 -0500 (CDT) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.10.1/8.10.1) with SMTP id e9JG0b505983 for ; Thu, 19 Oct 2000 10:00:37 -0600 (MDT) Message-Id: <200010191600.e9JG0b505983 [at] cs [dot] utep.edu> Date: Thu, 19 Oct 2000 10:00:35 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: SCAN2000 / INTERVAL2000 Proceedings To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: tpNby/2QuwUaA0PyjmyL9g== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc X-Resent-By: Forwarder X-Resent-For: jens.maurer [at] gmx [dot] net X-Resent-To: jmaurer@planet-interkom.de Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Friends, This is FYI. I have just tranferred money to Juergen's account, and his bank charged him DM 24, NOT DM 20 as he assumed in his attached email. Please add DM 24 to the amount you send to cover this expense. Thanks Vladik ********************************************************************* Date: Thu, 12 Oct 2000 17:55:32 +0200 From: "J.Wolff v. Gudenberg" X-Accept-Language: en MIME-Version: 1.0 To: J WvG Subject: SCAN2000 / INTERVAL2000 Proceedings Content-Transfer-Encoding: 8bit Dear Colleagues, A volume of Refereed Proceedings of the SCAN2000/INTERVAL2000 will be published by Kluwer Academic/Plenum Publishers (Editors: Juergen Wolff von Gudenberg, University of Wuerzburg, and Walter Kraemer, University of Wuppertal). The volume will appear in spring 2001 and presumably contain 300 - 400 pages. Special arrangement with the publisher concerning a prepublication order has been made. The price, if ordered before December 2000 will be 65 Euros. Payment is possible by bank transfer to the account holder: J. Wolff v. Gudenberg acc number 560 218 901 bank Sparkasse Mainfranken bank code (BLZ) 790 500 00 purpose: scan2000 proceedings Please make sure that : -- your name is clearly identifiable. -- payment arrives before January 31st 2001. -- no money transfer fees will be charged. (a cheque drawn on a foreign bank costs DM 20.-- even if it is issued in Euros !, e.g.) Those participants who ordered the book during the conference are liable for payment. Others may join ! please send an email to wolff [at] informatik [dot] uni-wuerzburg.de. Note, that the book will be considerably more expensive, if you buy it after publication! Probably 130 Euros ! ... __o \<, ()/ ()__________________ Prof. Dr. J. Wolff v. Gudenberg Lehrstuhl fuer Informatik II wolff [at] informatik [dot] uni-wuerzburg.de Universitaet Wuerzburg Tel. 0931 / 888-6602 Am Hubland Fax. 0931 / 888-6603 D-97074 Wuerzburg URL http://www-info2.informatik.uni-wuerzburg.de/staff/wvg --------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Thu Oct 19 15:01:37 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id PAA22699 for reliable_computing-outgoing; Thu, 19 Oct 2000 15:01:37 -0500 (CDT) Received: from lukla.Sun.COM (lukla.Sun.COM [192.18.98.31]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id PAA22694 for ; Thu, 19 Oct 2000 15:01:32 -0500 (CDT) From: bill.walster [at] eng [dot] sun.com Received: from engmail4.Eng.Sun.COM ([129.144.134.6]) by lukla.Sun.COM (8.9.3+Sun/8.9.3) with ESMTP id OAA22679 for ; Thu, 19 Oct 2000 14:01:26 -0600 (MDT) Received: from phys-mpkmaila (phys-mpkmaila.Eng.Sun.COM [129.146.1.131]) by engmail4.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v1.7) with ESMTP id NAA26624; Thu, 19 Oct 2000 13:01:14 -0700 (PDT) Received: from mpkmail.Eng.Sun.COM (eastapp2.East.Sun.COM [129.148.162.99]) by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 (built Sep 6 2000)) with ESMTP id <0G2P0066A0W8O9 [at] mpkmail [dot] eng.sun.com>; Thu, 19 Oct 2000 13:00:21 -0700 (PDT) Content-return: allowed Date: Thu, 19 Oct 2000 13:00:25 -0700 Subject: To: reliable_computing [at] interval [dot] louisiana.edu Cc: bill.walster [at] eng [dot] sun.com Message-id: <0G2P0066B0WDO9 [at] mpkmail [dot] eng.sun.com> MIME-version: 1.0 X-Mailer: Sun NetMail 2.3 Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Forte Developer 6 Update 1, including intrinsic interval data types in Fortran and a C++ interval class library are now available at: http://www.sun.com/forte/ Regards, Bill G. William (Bill) Walster, Ph.D. Interval Technology Engineering Manager Sun Microsystems, Inc. 16 Network Circle, MS UMPK16-304 Menlo Park, CA 94025 (650) 786-9004 Direct (650) 786-9551 Fax (800) 759-8888 Pager PIN 171-2423 bill.walster [at] eng [dot] sun.com From owner-reliable_computing [at] interval [dot] usl.edu Mon Oct 23 11:48:35 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA01265 for reliable_computing-outgoing; Mon, 23 Oct 2000 11:48:34 -0500 (CDT) Received: from disi.unige.it (mailhost.disi.unige.it [130.251.61.19]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA01260 for ; Mon, 23 Oct 2000 11:48:28 -0500 (CDT) Received: from [130.251.61.155] (reggio [130.251.61.155]) by disi.unige.it (8.8.8/8.8.8) with ESMTP id SAA25785; Mon, 23 Oct 2000 18:28:25 +0200 (MET DST) Mime-Version: 1.0 Message-Id: Date: Mon, 23 Oct 2000 18:27:10 +0100 To: Gianna Reggio From: Gianna Reggio Subject: FASE 2001: deadline extension Content-Type: text/plain; charset="us-ascii" ; format="flowed" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear colleagues, I would like to remind you that the submission deadline for the FASE 2001 conference has been extended. FASE (Fundamental Approaches to Software Engineering) covers all aspects which provide a bridge between theory and practice and which are aimed at producting engineering methods and tools for all phases of software development. Contributions are particularly welcome on: - Scientific analysis of software development methods for large-scale systems - Experience reports on the effectiveness of development methods in industrial practice - Systematic analysis and design of software architectures - Scientifically justified approaches to reverse engineering and improvement of legacy software - Precise specification methods for component-based software development - Frameworks and metamodels for the integration of specification concepts - Integration of formal methods with current best practices in industrial software development, in particular object-oriented analysis and design - Rigorous approaches to the design of reactive and distributed software systems For more information, see: http://www-st.inf.tu-dresden.de/fase2001 http://www.disi.unige.it/etaps2001/ New submission deadline is October 29. From owner-reliable_computing [at] interval [dot] usl.edu Mon Oct 23 19:19:53 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id TAA02053 for reliable_computing-outgoing; Mon, 23 Oct 2000 19:19:53 -0500 (CDT) Received: from lukla.Sun.COM (lukla.Sun.COM [192.18.98.31]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id TAA02048 for ; Mon, 23 Oct 2000 19:19:40 -0500 (CDT) Received: from engmail4.Eng.Sun.COM ([129.144.134.6]) by lukla.Sun.COM (8.9.3+Sun/8.9.3) with ESMTP id SAA26707 for ; Mon, 23 Oct 2000 18:19:35 -0600 (MDT) Received: from gww.eng.sun.com (gww.Eng.Sun.COM [129.146.78.116]) by engmail4.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v1.7) with ESMTP id RAA02844 for ; Mon, 23 Oct 2000 17:19:35 -0700 (PDT) Received: from gww (gww [129.146.78.116]) by gww.eng.sun.com (8.9.3+Sun/8.9.3) with SMTP id RAA12106 for ; Mon, 23 Oct 2000 17:19:48 -0700 (PDT) Message-Id: <200010240019.RAA12106 [at] gww [dot] eng.sun.com> Date: Mon, 23 Oct 2000 17:19:48 -0700 (PDT) From: William Walster Reply-To: William Walster Subject: CFP:ASCM2001(The Fifth Asian Symposium on Computer Mathematics) To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: Ao1GFM0GutNEQS+YfLEm2A== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------- Begin Forwarded Message ------------- Date: Tue, 24 Oct 2000 05:56:47 +0900 (JST) From: ascm2001 Subject: CFP:ASCM2001(The Fifth Asian Symposium on Computer Mathematics) To: bill.walster [at] eng [dot] sun.com Dear Colleagues: We are sending you the 1st announcement and CFP for ASCM 2001. Please feel free to circulate it, and we look forward to your participation and submission of papers. If you receive duplicate mailings or wish to be removed from the ASCM 2001 mailing list, please let us know at ascm2001 [at] hpc [dot] cs.ehime-u.ac.jp. --- FIRST ANNOUNCEMENT & CALL FOR PAPERS ASCM 2001 (The Fifth Asian Symposium on Computer Mathematics) September 26-28, 2001 Ehime University Matsuyama, Japan Web site at http://www.hpc.cs.ehime-u.ac.jp/~ascm E-mail: ascm2001 [at] hpc [dot] cs.ehime-u.ac.jp ASCM 2001 will provide an international forum for active researchers to review the current state of the art and trends, to report research results and progress, and to exchange ideas for future developments on computer mathematics. Research papers on all aspects of the interaction between computers and mathematics are solicited for the symposium. Specific topics include but are not limited to: * Symbolic, algebraic, and geometric computation * Automated mathematical reasoning * Computer-aided problem solving and instruction * Computational algebra and geometry * Symbolic/numeric hybrid methods * Parallel/distributed/network computing * Applications in CAGD/CAD, robotics, and computer vision * Mathematical software design and implementation The symposium will consist of plenary sessions by invited speakers, regular sessions of contributed papers, and software demonstration. PROGRAM COMMITTEE Co-Chairs: * Kiyoshi Shirayanagi (NTT Communication Science Labs, Japan) * Kazuhiro Yokoyama (Fujitsu Labs, Japan) Members: * Shang-Ching Chou (Wichita State University, USA) * Mark J. Encarnacion (University of the Philippines, Philippines) * Yuyu Feng (University of Science and Technology of China, China) * Xiao-Shan Gao (Chinese Academy of Sciences, China) * George Havas (The University of Queensland, Australia) * Hoon Hong (North Carolina State University, USA) * Jieh Hsiang (National Taiwan University, Taiwan) * Deepak Kapur (University of New Mexico, USA) * Hongbo Li (Chinese Academy of Sciences, China) * Tien-Yien Li (Michigan State University, USA) * Ziming Li (Chinese Academy of Sciences, China) * Masayuki Noro (Kobe University, Japan) * Tateaki Sasaki (University of Tsukuba, Japan) * Yosuke Sato (Ritsumeikan University, Japan) * Nobuki Takayama (Kobe University, Japan) * Dongming Wang (Centre National de la Recherche Scientifique, France) * Paul S. Wang (Kent State University, USA) * Wenping Wang (Hongkong University, China) * Lu Yang (Chinese Academy of Sciences, China) * Hangtao Zhang (University of Iowa, USA) PAPER SUBMISSION Potential participants are invited to submit their papers to both of the PC co-chairs: Dr. Kiyoshi Shirayanagi, NTT Communication Science Labs, 3-1 Morinosato-Wakamiya, Atsugi 243-0198, Japan Email: shirayan [at] theory [dot] brl.ntt.co.jp Dr. Kazuhiro Yokoyama, FUJITSU Labs, 4-1-1 Kamikodanaka, Nakahara-ku, Kawassaki 211-8588, Japan Email: yokoyama [at] sec [dot] flab.fujitsu.co.jp IMPORTANT DATES * March 31, 2001: deadline for submission of papers * June 10, 2001: notification of acceptance * June 30, 2001: deadline for camera-ready copy Papers should be written in English and should not exceed 10 pages. Authors are encouraged to submit their papers by electronic mail. The first page of each paper should contain its title, author(s) with affiliation(s) and e-mail address(es), and an abstract. All submitted papers will undergo a standard review process and the selection of papers by the program committee will be based on their originality and significance of contribution as well as their presentation. Accepted papers will be published in the proceedings, which will be distributed to the participants at the conference. For further information contact: Prof. Matu-Tarow Noda, General Chair of ASCM 2001: Department of Computer Science, Ehime University, Matsuyama 790-8577 Japan E-mail : ascm2001 [at] hpc [dot] cs.ehime-u.ac.jp Information on previous ASCM symposia may be found in http://www.mmrc.iss.ac.cn/~ascm ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Mon Oct 23 22:36:33 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id WAA02557 for reliable_computing-outgoing; Mon, 23 Oct 2000 22:36:32 -0500 (CDT) Received: from inu.hpc.cs.ehime-u.ac.jp (hpc.cs.ehime-u.ac.jp [133.71.104.21]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id WAA02552 for ; Mon, 23 Oct 2000 22:36:27 -0500 (CDT) Received: from hpc.cs.ehime-u.ac.jp (hpc.cs.ehime-u.ac.jp [133.71.104.21]) by hpc.cs.ehime-u.ac.jp (8.9.3/8.9.3) id MAA72892 for reliable_computing [at] interval [dot] usl.edu; Tue, 24 Oct 2000 12:35:48 +0900 (JST) Date: Tue, 24 Oct 2000 12:35:48 +0900 (JST) From: ascm2001 Message-Id: <200010240335.MAA72892 [at] inu [dot] hpc.cs.ehime-u.ac.jp> To: reliable_computing [at] interval [dot] usl.edu Subject: CFP:ASCM2001(The Fifth Asian Symposium on Computer Mathematics) Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleagues: We are sending you the 1st announcement and CFP for ASCM 2001. Please feel free to circulate it, and we look forward to your participation and submission of papers. If you receive duplicate mailings or wish to be removed from the ASCM 2001 mailing list, please let us know at ascm2001 [at] hpc [dot] cs.ehime-u.ac.jp. --- FIRST ANNOUNCEMENT & CALL FOR PAPERS ASCM 2001 (The Fifth Asian Symposium on Computer Mathematics) September 26-28, 2001 Ehime University Matsuyama, Japan Web site at http://www.hpc.cs.ehime-u.ac.jp/~ascm E-mail: ascm2001 [at] hpc [dot] cs.ehime-u.ac.jp ASCM 2001 will provide an international forum for active researchers to review the current state of the art and trends, to report research results and progress, and to exchange ideas for future developments on computer mathematics. Research papers on all aspects of the interaction between computers and mathematics are solicited for the symposium. Specific topics include but are not limited to: * Symbolic, algebraic, and geometric computation * Automated mathematical reasoning * Computer-aided problem solving and instruction * Computational algebra and geometry * Symbolic/numeric hybrid methods * Parallel/distributed/network computing * Applications in CAGD/CAD, robotics, and computer vision * Mathematical software design and implementation The symposium will consist of plenary sessions by invited speakers, regular sessions of contributed papers, and software demonstration. PROGRAM COMMITTEE Co-Chairs: * Kiyoshi Shirayanagi (NTT Communication Science Labs, Japan) * Kazuhiro Yokoyama (Fujitsu Labs, Japan) Members: * Shang-Ching Chou (Wichita State University, USA) * Mark J. Encarnacion (University of the Philippines, Philippines) * Yuyu Feng (University of Science and Technology of China, China) * Xiao-Shan Gao (Chinese Academy of Sciences, China) * George Havas (The University of Queensland, Australia) * Hoon Hong (North Carolina State University, USA) * Jieh Hsiang (National Taiwan University, Taiwan) * Deepak Kapur (University of New Mexico, USA) * Hongbo Li (Chinese Academy of Sciences, China) * Tien-Yien Li (Michigan State University, USA) * Ziming Li (Chinese Academy of Sciences, China) * Masayuki Noro (Kobe University, Japan) * Tateaki Sasaki (University of Tsukuba, Japan) * Yosuke Sato (Ritsumeikan University, Japan) * Nobuki Takayama (Kobe University, Japan) * Dongming Wang (Centre National de la Recherche Scientifique, France) * Paul S. Wang (Kent State University, USA) * Wenping Wang (Hongkong University, China) * Lu Yang (Chinese Academy of Sciences, China) * Hangtao Zhang (University of Iowa, USA) PAPER SUBMISSION Potential participants are invited to submit their papers to both of the PC co-chairs: Dr. Kiyoshi Shirayanagi, NTT Communication Science Labs, 3-1 Morinosato-Wakamiya, Atsugi 243-0198, Japan Email: shirayan [at] theory [dot] brl.ntt.co.jp Dr. Kazuhiro Yokoyama, FUJITSU Labs, 4-1-1 Kamikodanaka, Nakahara-ku, Kawassaki 211-8588, Japan Email: yokoyama [at] sec [dot] flab.fujitsu.co.jp IMPORTANT DATES * March 31, 2001: deadline for submission of papers * June 10, 2001: notification of acceptance * June 30, 2001: deadline for camera-ready copy Papers should be written in English and should not exceed 10 pages. Authors are encouraged to submit their papers by electronic mail. The first page of each paper should contain its title, author(s) with affiliation(s) and e-mail address(es), and an abstract. All submitted papers will undergo a standard review process and the selection of papers by the program committee will be based on their originality and significance of contribution as well as their presentation. Accepted papers will be published in the proceedings, which will be distributed to the participants at the conference. For further information contact: Prof. Matu-Tarow Noda, General Chair of ASCM 2001: Department of Computer Science, Ehime University, Matsuyama 790-8577 Japan E-mail : ascm2001 [at] hpc [dot] cs.ehime-u.ac.jp Information on previous ASCM symposia may be found in http://www.mmrc.iss.ac.cn/~ascm From owner-reliable_computing [at] interval [dot] usl.edu Tue Oct 24 02:18:26 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA03084 for reliable_computing-outgoing; Tue, 24 Oct 2000 02:18:26 -0500 (CDT) Received: from maebashi-it.ac.jp (IDENT:root [at] kis [dot] maebashi-it.ac.jp [202.236.152.195]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id CAA03079 for ; Tue, 24 Oct 2000 02:18:18 -0500 (CDT) From: iat01 [at] kis [dot] maebashi-it.ac.jp Received: (from iat01@localhost) by maebashi-it.ac.jp (8.9.3/3.7Wpl2/SERIKA1.01) id QAA17296 for reliable_computing [at] interval [dot] usl.edu; Tue, 24 Oct 2000 16:20:37 +0900 Date: Tue, 24 Oct 2000 16:20:37 +0900 Message-Id: <200010240720.QAA17296@maebashi-it.ac.jp> To: reliable_computing [at] interval [dot] usl.edu Subject: Intelligent Agent Technology (IAT-2001): 2nd CFP Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk [Apologies if you receive this more than once] ************************************************* * Second * * CALL FOR PAPERS * * * * The Second Asia-Pacific Conference on * * Intelligent Agent Technology (IAT-2001) * * ======================================= * * * * Maebashi TERRSA, Maebashi City, Japan * * October 23-26, 2001 * ************************************************* Home Page: http://kis.maebashi-it.ac.jp/iat01 Paper Submission Deadline: March 20, 2001 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ IAT-2001 will be jointly held with The First Asia-Pacific Conference on Web Intelligence (WI-2001) ========================== IAT-2001 and WI-2001 Joint Keynote Speakers: Benjamin Wah (2001 IEEE Computer Society President), University of Illinois Edward A. Feigenbaum (Turing Award Winner), Stanford University IAT-2001 Invited Speakers: Toyoaki Nishida (University of Tokyo, Japan) Zbigniew W. Ras (University of North Carolina, USA) Andrzej Skowron (Warsaw University, Poland) Katia Sycara (Carnegie Mellon University, USA) The Asia-Pacific Conference on Intelligent Agent Technology (IAT) is a high-quality, high-impact biennial agent conference series. The second meeting in this conference series follows the success of IAT'99 held in Hong Kong in 1999 (http://www.comp.hkbu.edu.hk/IAT99). IAT-2001 will primarily focus on (1) the state-of-the-art in the development of intelligent agents and (2) the theoretical and computational foundations of intelligent agent technology. The aim of IAT-2001 is to bring together researchers and practitioners from diverse fields, such as computer science, information technology, business, education, human factors, systems engineering, and robotics to (1) examine the design principles and performance characteristics of various approaches in intelligent agent technology, and (2) increase the cross-fertilization of ideas on the development of autonomous agents and multiagent systems among different domains. By encouraging idea-sharing and discussions on the underlying logical, cognitive, physical, and biological foundations as well as the enabling technologies of intelligent agents, IAT-2001 is expected to stimulate the future development of new models, new methodologies, and new tools for building a variety of embodiments of agent-based systems. TOPICS ====== The technical issues to be addressed include, but not limited to: * Applications: - data and knowledge intensive domains (e.g., large databases, Internet, digital libraries, distributed decision making, financial modeling and engineering, business information systems and process automation) - software and interface agents (e.g., personal assistant, translator, scheduler, information filter, tutor) - computational intelligence (e.g., pattern analysis and recognition, imaging, optimization, resource allocation, constraint satisfaction, planning) - agents in e-commerce and e-business - autonomous agents in science and engineering (e.g. aerospace, survey of the seabed and space) - physically embodied systems (e.g., autonomous robots and groups) - very-large, complex, integrated intelligent systems * Computational Architecture and Infrastructure: - computational architectures - ontology models - agent-level and multi-agent-level infrastructure - communication languages - multi-modal systems and interfaces - protocols - tools and standards - heterogeneity and interoperability - scalability * Learning and Adaptation: - soft-computing in multi-agent systems - uncertainty management in multi-agent systems - integrated exploration and exploitation - long-term reliability - neural networks - artificial life - behavioral selection - coordinating perception, thought, and action - behavioral self-organization - believable lifelike quality - classifier systems - evolution and learning in dynamic environments - adaptation and self-adaptation - emergent behavior - evolutionary computation * Data and Knowledge Engineering/Communication: - information filtering - data mining - heterogeneous data integration and management - human-agent interaction - knowledge discovery - knowledge sharing - knowledge aggregation - reasoning and planning - adaptation and evolution of knowledge networks - distributed knowledge systems * Distributed Intelligence: - dynamics of groups and populations - swarms - population evolution - coevolution - collective group behavior - coordination and cooperation - distributed intelligence - social integration - market-based computing * Formal Theories of Agents: - formal/computational modeling - chaotic and fractal dynamics - computational complexity - efficiency in distributed systems - taxonomy of agent environments - classification and characterization of complex behaviors - theories of perception, rationality, intention, emotion, coordination, action, and social behaviors PAPER SUBMISSION & PUBLICATION ============================== High quality full-length papers in all IAT related areas are solicited. Papers exploring new directions are most welcome and will receive a careful and supportive review. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Electronic submission is encouraged and preferred. Please send LaTex (MS-Words, or PDF) and PostScript versions of your paper, and an ASCII version of the cover page (in separate email), by March 20, 2001 to: iat01@maebashi-it.ac.jp Four (4) hardcopies of the paper by regular mail are also requested if electronic submission is not possible. Please send hardcopies of your paper by March 20, 2001 to: Prof. Ning Zhong (IAT-2001) Department of Information Engineering Maebashi Institute of Technology 460-1, Kamisadori-Cho, Maebashi-City, 371-0816 Japan TEL&FAX: +81-27-265-7366 E-mail: zhong@maebashi-it.ac.jp The ASCII version of a cover page must include author(s) full address, email, paper title and a 200 word abstract, and up to 5 keywords. Accepted papers are expected to be published in the conference proceedings by World Scientific, An International Publisher, as a hardcover book. A selected number of IAT-2001 accepted papers will be expanded and revised for inclusion in ``Knowledge and Information Systems: An International Journal'' by Springer-Verlag and in "International Journal of Pattern Recognition and Artificial Intelligence" by World Scientific. IAT best paper award will be conferred on the author(s) of the best papers at the conference. All manuscripts must be formatted using the World Scientific's style files for proceedings. The style files can be found at: http://www.wspc.com/others/style_files/proceedings/proceedings_style_files.html -- use the style files appropriate to a page size of 8.5"x6". DEMO SESSION ============ IAT-2001 also welcomes submissions of research projects, research prototypes, experimental systems, and commercial products for demonstrations at the conference. Each submission should include a title page containing a title, a 200-300 word abstract, a list of keywords, the names, mailing addresses, and Email addresses of the presenters, and a two-page description of the demo system. Submissions should reach the IAT-2001 Demo Chair: Dr. Jianchang Mao (IAT-2001) Verity Inc. 894 Ross Drive Sunnyvale CA 94089, USA E-mail: jmao [at] verity [dot] com by July 2, 2001 Authors of accepted IAT-2001 papers will be invited to demonstrate their systems at the conference. It is understood that once a submission is selected for demonstration at the conference, the presenter(s) of the demo will be responsible for bringing necessary software/hardware equipment. IMPORTANT DATES =============== March 20, 2001 Paper submission deadline May 20, 2001 Notification of paper acceptance mailed June 20, 2001 Camera-ready copies of accepted papers due July 2, 2001 Demo submission deadline August 3, 2001 Notification of demo acceptance mailed October 23-26, 2001 Conference technical sessions CONFERENCE ORGANIZERS ===================== IAT-2001 Conference Organizing Committee ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ General Chairs: Setsuo Ohsuga, Waseda University, Japan Jeffrey Bradshaw, Institute for Human and Machine Cognition, USA Program Chairs: Ning Zhong, Maebashi Institute of Technology, Japan Jiming Liu, Hong Kong Baptist University, Hong Kong Demos and Exhibits Chair: Jianchang Mao, Verity Inc., USA Local Organizing Chair: Nobuo Otani, Maebashi Institute of Technology, Japan International Advisory Board: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Jeffrey Bradshaw, Institute for Human and Machine Cognition, USA Michele L. D. Gaudreault, US Asian Office of Aerospace R&D Daniel T. Ling, Microsoft Corporation, USA Jiming Liu, Hong Kong Baptist University, Hong Kong Jianchang Mao, Verity Inc., USA Hiroshi Motoda, Osaka University, Japan Setsuo Ohsuga, Waseda University, Japan Patrick S. P. Wang, Northeastern University, USA Yiyu Yao, University of Regina, Canada Ning Zhong, Maebashi Institute of Technology, Japan Jan Zytkow, University of North Carolina, USA Program Committee: ~~~~~~~~~~~~~~~~~~ Kerstin Dautenhahn (U. Hertfordshire, UK) Cristiano Castelfranchi (Italian National Research Council) E.A. Edmonds (Loughborough U., UK) Tim Finin (U. Maryland Baltimore County, USA) Adam Maria Gadomski (ENEA, Italy) Scott Goodwin (U. Regina, Canada) Vladimir Gorodetsky (Russian Academy of Sciences) Mark Greaves (The Boeing Company, USA) Barbara Hayes-Roth (Stanford U., USA) Keniti Ida (Maebashi Institute of Technology, Japan) Toru Ishida (Kyoto U., Japan) Lakhmi Jain (U. South Australia) Stefan J. Johansson (U. Karlskrona, Sweden) Qun Jin (U. Aizu, Japan) Juntae Kim (Dongguk U., Korea) David Kinny (U. Melbourne, Australia) Sarit Kraus (U. Maryland, USA) Danny B. Lange (General Magic, Inc., USA) Jimmy Ho Man Lee (Chinese U. Hong Kong) Jiming Liu (Hong Kong Baptist U.) Mike Luck (U. Southampton, UK) Helen Meng (Chinese U. Hong Kong) Hideyuki Nakashima (ETL, Japan) Katsumi Nitta (Tokyo Institute of Technology, Japan) Sun Park (Rutgers University, USA) Zbigniew W. Ras (U. North Carolina, USA) Eugene Santos (U. Connecticut, USA) Zhongzhi Shi (Chinese Academy of Sciences) Carles Sierra (Scientific Research Council, Spain) Kwang M. Sim (Chinese U. Hong Kong) Andrzej Skowron (Warsaw U., Poland) Ron Sun (U. Missouri-Columbia, USA) Takao Terano (U. Tsukuba, Japan) Demetri Terzopoulos (U. Toronto, Canada) Huaglory Tianfield (Cheltenham & Gloucester College of H. E., UK) David Wolpert (NASA Ames Research Center, USA) Jinglong Wu (Kagawa university, Japan) Takahira Yamaguchi (Shizuoka U., Japan) Kazumasa Yokota (Okayama Prefectural U., Japan) Eric Yu (U. Toronto, Canada) P.C. Yuen (Hong Kong Baptist U.) Chengqi Zhang (Deakin U., Australia) Ning Zhong (Maebashi Institute of Technology, Japan) Local Organizing Committee: ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Hisao Machida (Maebashi Institute of Technology, Japan) Tadaomi Miyazaki (Maebashi Institute of Technology, Japan) Nobuo Otani (Maebashi Institute of Technology, Japan) Sean M. Reedy (Maebashi Institute of Technology, Japan) Ning Zhong (Maebashi Institute of Technology, Japan) Yukio Kanazawa (Maebashi Convention Bureau, Japan) Seiji Murai (Maebashi Convention Bureau, Japan) Kanehisa Sekine (Maebashi Convention Bureau, Japan) Midori Asaka (Information Technology Agency (IPA), Japan) Yoshitsugu Kakemoto (Japan Research Institute, Limited, Japan) CONFERENCE SITE =============== The IAT-2001 and WI-2001 will take place in Maebashi City. Maebashi, the capital of Gumma Prefecture, is called the `City of water, greenery, and poetry'. Maebashi is an `International Convention City' designated by the Ministry of Transportation. Maebashi and the neighboring areas in Gunma is a land of greenery blessed with the wonders of natural beauty and more than a hundred hot springs offering relaxation and peace of mind. IAT-2001 and WI-2001 will organize a tour during the conference to a resort hotel with hot spring in Ikaho that is one of the most famous hot springs areas in Japan. Maebashi is positioned nearly in the center of the Japan Archipelago. Only a hundred kilometers from Japan's capital city of Tokyo and reachable in an hour by bullet train or high-speed expressway, a variety of favorable land conditions lead to flourishing economic activity. Maebashi City and the neighboring areas in Gunma are expected to further develop into an IT conurbation with highly advanced information technology. FURTHER INFORMATION =================== Please send suggestions and inquiries regarding IAT-2001 to: Prof. Ning Zhong (IAT-2001) Department of Information Engineering Maebashi Institute of Technology 460-1, Kamisadori-Cho, Maebashi-City, 371-0816 Japan TEL&FAX: +81-27-265-7366 E-mail: zhong@maebashi-it.ac.jp ------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Fri Oct 27 09:35:46 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA07114 for reliable_computing-outgoing; Fri, 27 Oct 2000 09:35:46 -0500 (CDT) Received: from kleene.math.wisc.edu (kleene.math.wisc.edu [144.92.166.90]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA07109 for ; Fri, 27 Oct 2000 09:35:38 -0500 (CDT) Received: from bing.math.wisc.edu (bing.math.wisc.edu [144.92.166.133]) by kleene.math.wisc.edu (8.9.3/8.9.3) with ESMTP id JAA22386; Fri, 27 Oct 2000 09:24:03 -0500 (CDT) Date: Fri, 27 Oct 2000 09:23:46 -0500 (CDT) From: Hans Schneider To: NETS -- at-net , "Hershkowitz, Danny -- Hershkowitz Daniel" , Danny Hershkowitz , E-LETTER , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu cc: CO Issue , =?iso-8859-1?Q?Eduardo_Marques_de_S=E1?= , Joao Filipe Queiro Subject: LAA contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison 608-271-8477 (Home FAX) Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ ContentsDirect from Elsevier Science ===================================== Journal: Linear Algebra and its Applications ISSN : 0024-3795 Volume : 319 Issue : 1-3 Date : 01-Nov-2000 NOTE: ContentsDirect, which is automatically generated, lists the first author of each paper and the corresponding author (if different). Please note that only subscribers can access full text and abstracts through the provided URLs. Visit the journal at http://www.elsevier.nl/locate/jnlnr/07738 pp 1-2 Workshop on ''Geometric and combinatorial methods in the Hermitian sum spectral problem'' University of Coimbra, Portugal, 15-16 July 1999 E. Marques de Sa, J.F. Queiro, A.P. Santana pp 3-22 Finite and infinite dimensional generalizations of Klyachko's theorem S. Friedland http://www.elsevier.nl/PII/S0024379500002172 pp 23-36 Eigenvalues of majorized Hermitian matrices and Littlewood-Richardson coefficients W. Fulton http://www.elsevier.nl/PII/S0024379500002184 pp 37-59 Random walks on symmetric spaces and inequalities for matrix spectra A.A. Klyachko http://www.elsevier.nl/PII/S0024379500002196 pp 61-81 The symplectic and algebraic geometry of Horn's problem A. Knutson http://www.elsevier.nl/PII/S0024379500002202 ---------------------------------------------------------- pp 83-102 Completions of P-matrix patterns L.M. DeAlba, L. Hogben http://www.elsevier.nl/PII/S0024379500001671 pp 103-116 The Weyl calculus and a Cayley-Hamilton theorem for pairs of selfadjoint matrices F. Baur, W.J. Ricker http://www.elsevier.nl/PII/S0024379500001749 pp 117-135 An extended operator trigonometry K. Gustafson http://www.elsevier.nl/PII/S0024379500001701 pp 137-145 Estimates for bounds of some numerical characters of matrices T. Huang, W. Li, W. Sun http://www.elsevier.nl/PII/S0024379500001762 pp 147-162 Nonnegative linear systems in the behavioral approach: the autonomous case M. Elena Valcher http://www.elsevier.nl/PII/S0024379500001828 pp 163-178 The structure of the state representation of shift invariant controllable and observable group codes M. Campanella, G. Garbo http://www.elsevier.nl/PII/S002437950000183X pp 179-191 A resultant matrix for scaled Bernstein polynomials J.R. Winkler http://www.elsevier.nl/PII/S0024379500001890 pp 193-209 Computation of a specified root of a polynomial system of equations using eigenvectors D. Bondyfalat, B. Mourrain, V.Y. Pan http://www.elsevier.nl/PII/S0024379500001907 pp 211 Index ------- From owner-reliable_computing [at] interval [dot] usl.edu Fri Oct 27 10:46:25 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA07606 for reliable_computing-outgoing; Fri, 27 Oct 2000 10:46:25 -0500 (CDT) Received: from dodo.prod.itd.earthlink.net (dodo.prod.itd.earthlink.net [207.217.120.99]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id KAA07600 for ; Fri, 27 Oct 2000 10:46:15 -0500 (CDT) Received: from company.mail (ip220.garden-city2.ny.pub-ip.psi.net [38.26.50.220]) by dodo.prod.itd.earthlink.net (8.9.3/8.9.3) with ESMTP id IAA02344 for ; Fri, 27 Oct 2000 08:40:48 -0700 (PDT) Received: from ramas.com [192.0.0.24] by company.mail [127.0.0.1] with SMTP (MDaemon.v3.1.0.R) for ; Fri, 27 Oct 2000 11:42:01 -0400 Message-ID: <39F9A206.1E5286D3 [at] ramas [dot] com> Date: Fri, 27 Oct 2000 11:40:54 -0400 From: Scott Ferson Organization: Applied Biomathematics X-Mailer: Mozilla 4.73 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: "reliable_computing [at] interval [dot] usl.edu" Subject: bounding higher-order moments Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-MDaemon-Deliver-To: reliable_computing [at] interval [dot] usl.edu X-Return-Path: scott [at] ramas [dot] com X-MDRcpt-To: reliable_computing [at] interval [dot] usl.edu X-MDRemoteIP: 192.0.0.24 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Reliable Computing: Here's an interval question involving probability. Given the the range of a random variable X, as well as its mean and variance, what are the best possible bounds for its third and fourth moments X^3 and X^4? Scott Ferson Applied Biomathematics From owner-reliable_computing [at] interval [dot] usl.edu Tue Oct 31 09:45:05 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA15739 for reliable_computing-outgoing; Tue, 31 Oct 2000 09:45:05 -0600 (CST) Received: from marnier.ucs.usl.edu (root@[130.70.40.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA15733 for ; Tue, 31 Oct 2000 09:45:00 -0600 (CST) Received: from liberty (liberty.usl.edu [130.70.46.171]) by marnier.ucs.usl.edu (8.9.1/8.9.1/ucs-mx-host_1.4) with SMTP id JAA29659 for ; Tue, 31 Oct 2000 09:44:59 -0600 (CST) Message-Id: <2.2.32.20001031154740.01270b60 [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Tue, 31 Oct 2000 09:47:40 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: New globsol_support mailing list Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, I have consistently been getting requests about how to install and use the GlobSol verified global optimization package. To this end, I have created a mailing list, and have added certain people to it. I recommend that people with GlobSol questions use this list, as the questions and answers are automatically archived, etc. The *.info file for this list is as follows: ================================================================= ================================================================= [Last updated on: Tue Oct 31 07:19:20 CST 2000] This mailing list, globsol_support [at] interval [dot] louisiana.edu, is a mailing list with automatic maintenance by the "majordomo" software. Questions and answers about installation and use of the GlobSol software, including preparation of particular problems for GlobSol and running them are welcome. This includes discussion of formulations leading to efficient solution, as well as reasons for failure in specific cases. More general discussion of techniques for verified global optimization is also welcome. For an introduction to the GlobSol software, see http://www.mscs.mu.edu/~globsol/ and http://interval.usl.edu/GlobSol/download_GlobSol.html Anyone may automatically subscribe or unsubscribe themselves from the list. To subscribe, send mail to majordomo [at] interval [dot] louisiana.edu and include the line subscribe globsol_support in the body. Similarly, to unsubscribe, send mail to majordomo [at] interval [dot] louisiana.edu, and include the line unsubscribe globsol_support in the body. To get a complete list of commands available (such as adding persons other than yourself to the list), send mail to majordomo [at] interval [dot] louisiana.edu, and include the line help in the body. To send to everyone in the list, send your message to globsol_support [at] interval [dot] louisiana.edu ================================================================= Best regards, Baker --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA ---------------------------------------------------------------