From owner-reliable_computing [at] interval [dot] usl.edu Thu Mar 1 08:50:13 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id IAA23965 for reliable_computing-outgoing; Thu, 1 Mar 2001 08:50:13 -0600 (CST) Received: from mail2.lig.bellsouth.net (mail2.lig.bellsouth.net [205.152.0.56]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id IAA23960 for ; Thu, 1 Mar 2001 08:50:10 -0600 (CST) Received: from u8174 (adsl-20-80-237.lft.bellsouth.net [66.20.80.237]) by mail2.lig.bellsouth.net (3.3.5alt/0.75.2) with SMTP id JAA29913 for ; Thu, 1 Mar 2001 09:50:07 -0500 (EST) Message-Id: <2.2.32.20010301145217.00763d9c [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Thu, 01 Mar 2001 08:52:17 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: Re: Where functions are non-zero Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk >Return-Path: >From: "Langley, Simon" >To: "R. Baker Kearfott" >Subject: Re: Where functions are non-zero >Date: Thu, 1 Mar 2001 10:59:50 +0000 (GMT) >Priority: NORMAL >X-Authentication: IMSP > >On Wed, 28 Feb 2001 16:44:54 -0600 "R. Baker Kearfott" >wrote: > >> By "more sophisticated," do you mean "more likely to have a positive >> result when there are no zeros?" Please elaborate. > >That was what I meant. My apologies, the posting wasn't very clear. > >For example, if p \in Q[x1, .. xn] and I'm interested in the box [1, 2]^n >I can write p = a - b where a and b are polynomials with only positive >coefficients. So: > >L = a(1, ... 1) - b(2, ... 2) <= p(x1, ... xn) <= a(2, .. 2) - b(1, ...1) = H > >So if L and H have the same sign, p doesn't have a zero in the box. Whether >this is better or worse than just doing an interval evaluation of p I don't >know. > >Thanks for responding. > >Simon > >~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ >Simon Langley >Email: Simon.Langley [at] uwe [dot] ac.uk >University of the West of England >Bristol BS16 1QY >England > > --------------------------------------------------------------- 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 Fri Mar 2 09:31:53 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id JAA25589 for reliable_computing-outgoing; Fri, 2 Mar 2001 09:31:53 -0600 (CST) 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.1) with ESMTP id JAA25584 for ; Fri, 2 Mar 2001 09:31:48 -0600 (CST) 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 AAA18557 for reliable_computing [at] interval [dot] usl.edu; Sat, 3 Mar 2001 00:36:29 +0900 Date: Sat, 3 Mar 2001 00:36:29 +0900 Message-Id: <200103021536.AAA18557@maebashi-it.ac.jp> To: reliable_computing [at] interval [dot] usl.edu Subject: Final CFP: IAT-2001 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk [Apologies if you receive this more than once] ------------------------------------------------------------------- FINAL CALL FOR PAPERS: IAT-2001 The Second Asia-Pacific Conference on Intelligent Agent Technology SPONSORED BY ACM SIGART Maebashi Institute of Technology ------------------------------------------------------------------- Maebashi TERRSA, Maebashi City, Japan October 23-26, 2001 Home Page: http://kis.maebashi-it.ac.jp/iat01 Mirror Page: http://www.comp.hkbu.edu.hk/IAT/iat01 Paper Submission Deadline: March 20, 2001 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ IN COOPERATION WITH ACM SIGCHI, ACM SIGWEB Japanese Society for Artificial Intelligence (JSAI) JSAI SIGFAI, JSAI SIGKBS, IEICE SIGKBSE CORPORATE SPONSORS Maebashi Convention Bureau Maebashi City Government Gunma Prefecture Government The Japan Research Institute, Limited US AFOSR/AOARD and US Army Research Office in Far East IAT-2001 will be jointly held with The First Asia-Pacific Conference on Web Intelligence (WI-2001) (One registration may attend both IAT-2001 and WI-2001) ======================================================= IAT-2001 and WI-2001 Joint Keynote Speakers: Benjamin Wah (2001 IEEE CS President), U. Illinois at Urbana-Champaign 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 Or use the Submission Form at the IAT-2001 webpage: http://kis.maebashi-it.ac.jp/iat01 to submit your paper. 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 will 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 (upto about 10 pages long) 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 trim 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 28, 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, University of West Florida, 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, University of West Florida, 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 Jie Yang, University of Science and Technology of China Ning Zhong, Maebashi Institute of Technology, Japan Jan Zytkow, University of North Carolina, USA Program Committee: ~~~~~~~~~~~~~~~~~~ K. Suzanne Barber (U. Texas at Austin, USA) Guy Boy (EURISCO, France) Cristiano Castelfranchi (Italian National Research Council) Kerstin Dautenhahn (U. Hertfordshire, UK) Edmund H. Durfee (U. Michigan, USA) 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) Michael Huhns (U. South Carolina, 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) Matthias Klusch (German Research Center for AI) 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) Joerg Mueller (Siemens, Germany) Hideyuki Nakashima (ETL, Japan) Wee-Keong Ng (Nanyang Technological U., Singapore) Katsumi Nitta (Tokyo Institute of Technology, Japan) Yoshikuni Onozato (Gunma U., Japan) Tuncer Oren (Marmara Research Center, Turkey) Ichiro Osawa (ETL, Japan) Sun Park (Rutgers U., USA) Van Parunak (ERIM, 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) Niranjan Suri (U. West Florida, 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 U., 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: ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Masahiko Satori (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 Sun Mar 4 06:20:27 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id GAA28552 for reliable_computing-outgoing; Sun, 4 Mar 2001 06:20:27 -0600 (CST) 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.1) with ESMTP id GAA28547 for ; Sun, 4 Mar 2001 06:20:21 -0600 (CST) Received: (from zhong@localhost) by maebashi-it.ac.jp (8.9.1/8.9.1) id VAA03831 for reliable_computing [at] interval [dot] usl.edu; Sun, 4 Mar 2001 21:26:35 +0900 (JST) (envelope-from zhong) Date: Sun, 4 Mar 2001 21:26:35 +0900 (JST) From: Ning Zhong Message-Id: <200103041226.VAA03831@maebashi-it.ac.jp> To: reliable_computing [at] interval [dot] usl.edu Subject: Final CFP: WI-2001 (Web Intelligence) Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk [Apologies if you receive this more than once] ------------------------------------------------------- FINAL CALL FOR PAPERS: WI-2001 The First Asia-Pacific Conference on Web Intelligence SPONSORED BY ACM SIGART Maebashi Institute of Technology ------------------------------------------------------- Maebashi TERRSA, Maebashi City, Japan October 23-26, 2001 Home Page: http://kis.maebashi-it.ac.jp/wi01 Mirror Page: http://cs.uregina.ca/~wi01/ Paper Submission Deadline: March 20, 2001 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ IN COOPERATION WITH ACM SIGCHI, ACM SIGWEB Japanese Society for Artificial Intelligence (JSAI) JSAI SIGFAI, JSAI SIGKBS, IEICE SIGKBSE CORPORATE SPONSORS Maebashi Convention Bureau Maebashi City Government Gunma Prefecture Government The Japan Research Institute, Limited US AFOSR/AOARD and US Army Research Office in Far East WI-2001 will be jointly held with The Second Asia-Pacific Conference on Intelligent Agent Technology (IAT-2001) (One registration may attend both IAT-2001 and WI-2001) ======================================================= WI-2001 and IAT-2001 Joint Keynote Speakers: Edward A. Feigenbaum (Turing Award Winner), Stanford University Benjamin Wah (2001 IEEE CS President), U. Illinois at Urbana-Champaign WI-2001 Invited Speakers: James Hendler (DARPA/ISO, USA) W. Lewis Johnson (University of Southern California, USA) Riichiro Mizoguchi (Osaka University, Japan) Prabhakar Raghavan (Verity Inc., USA) 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-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 * 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 - The Semantic Web - Theories of Small World Web - Web Information System Development Tools - Web Protocols 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 Or use the Submission Form at the WI-2001 webpage: http://kis.maebashi-it.ac.jp/wi01 to submit your paper. 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 will 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, "International Journal of Pattern Recognition and Artificial Intelligence" by World Scientific, and in an edited hardcover book to be published by Springer-Verlag. WI best paper award will be conferred on the author(s) of the best papers at the conference. All manuscripts (upto about 10 pages long) must be formatted using the Springer LNAI's style files. The style files can be found at: http://www.springer.de/comp/lncs/authors.html#Proceedings. 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. 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 28, 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) Hendrik Blockeel (Katholieke U. Leuven, Belgium) Peter Bollmann-Sdorra (Technischen U. Berlin, Germany) Cory Butz (U. Ottawa, Canada) Keith Chan (Hong Kong Polytechnic U.) Hsinchun Chen (U. Arizona, USA) Ming-Syan Chen (National Taiwan U.) Jingde Cheng (Saitama U., Japan) David Cheung (Hong Kong U.) Robert Cooley (U. Minnesota, USA) Stefan Decker (Stanford U., USA) Liya Ding (National U. Singapore) Dieter Fensel (Vrije U. Amsterdam, The Netherlands) Benjamin Grosof (MIT, USA) Jiawei Han (Simon Fraser U., Canada) James Hendler (DARPA/ISO, USA) Bernardo A. Huberman (Xerox Palo Alto Research Center) W. Lewis Johnson (U. South California, USA) Tomonari Kamba (NEC Human Media Research Labs., Japan) Yasuhiko Kitamura (Osaka City U., 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) Jian-Yun Nie (U. Montrial, Canada) H-O Nyongesa (Sheffield Hallam U., UK) Yukio Ohsawa (U. Tsukuba, Japan) Terry R. Payne (Carnegie Mellon U., USA) Gregory Piatetsky-Shapiro (Kowlegde Stream, USA) Mohamed Quafafou (U. Nantes, France) Vijay V. Raghavan (U. Louisiana at Lafayette, USA) 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) Gottfried Vossen (U. Munster, Germany) 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) Tetuya Yoshida (Osaka U., Japan) Ning Zhong (Maebashi Inst. Tech., Japan) Lizhu Zhou (Tsinghua U., China) Wojciech Ziarko (U. Regina, Canada) Local Organizing Committee: ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Masahiko Satori (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 Sun Mar 4 09:10:59 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id JAA28919 for reliable_computing-outgoing; Sun, 4 Mar 2001 09:10:59 -0600 (CST) Received: from mail1.lig.bellsouth.net (mail1.lig.bellsouth.net [205.152.0.55]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id JAA28914 for ; Sun, 4 Mar 2001 09:10:55 -0600 (CST) Received: from u8174 (adsl-20-82-92.lft.bellsouth.net [66.20.82.92]) by mail1.lig.bellsouth.net (3.3.5alt/0.75.2) with SMTP id KAA18742 for ; Sun, 4 Mar 2001 10:15:42 -0500 (EST) Message-Id: <2.2.32.20010304151259.006802f8 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Sun, 04 Mar 2001 09:12:59 -0600 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: A global optimization package: Does it use intervals? Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, Does anyone have experience with the package "Global Optimization?" (I have appended a recent advertisement for it, along with a link.) In particular, it contains the function GlobalMinima, described as an "adaptive grid search." It sounds like it very well could use interval technology, although the description does not say so. (I have appended the description of GlobalMinima.) Best regards, Baker ====================================================================== Description of GlobalMinima: --------------------------- The function GlobalMinima solves smaller constrained or unconstrained global nonlinear models. This algorithm is based on the identification of feasible points that define the solution set at each iteration. As lower points are found during the grid refinement process, points far from the current optimum are pruned from the solution set. As a result, multiple minima, if they exist, can be found in a single run. The algorithm can also identify optimal regions rather than only single points. These optimal regions might represent the bounds on feasible management strategies that achieve an equivalent result, or they might depict confidence limits for a parameter estimation problem. ====================================================================== Description of "Global Optimization:" ----------------------------------- From: Craig Loehl Date: Thu, 1 Mar 2001 11:57:31 EST Subject: Global Optimization for Mathematica Announcing Global Optimization v. 4.0 Global Optimization is a Mathematica application package, designed for solving nonlinear optimization problems with equality, inequality, and bounds-type constraints. Solutions are robust to local minima. Also contains Tabu search and interchange method for 0-1 integer problems and constrained nonlinear regression and constrained maximum likelihood estimation. More information is available at http://www.wolfram.com/products/applications/globalopt/ or from the developer at craigloehl [at] aol [dot] com. ====================================================================== --------------------------------------------------------------- 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 Sun Mar 4 22:26:28 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id WAA29776 for reliable_computing-outgoing; Sun, 4 Mar 2001 22:26:28 -0600 (CST) Received: from ALPHA6.CC.MONASH.EDU.AU (alpha6.cc.monash.edu.au [130.194.1.25]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id WAA29771 for ; Sun, 4 Mar 2001 22:26:23 -0600 (CST) Received: from silas.cc.monash.edu.au ([130.194.1.7]) by vaxc.cc.monash.edu.au (PMDF V6.0-24 #43886) with ESMTP id <01K0UC9H5ET29S9JE5 [at] vaxc [dot] cc.monash.edu.au> for reliable_computing [at] interval [dot] usl.edu; Mon, 05 Mar 2001 15:26:09 +1100 Received: by silas.cc.monash.edu.au (8.9.3/1.1.29.3/16Feb01-1022AM) id PAA0000964749; Mon, 05 Mar 2001 15:26:07 +1100 (EST) Date: Mon, 05 Mar 2001 15:26:07 +1100 (EST) From: Dr David Taniar Subject: Distributed Objects Symposium To: reliable_computing [at] interval [dot] usl.edu Message-id: <200103050426.PAA0000964749 [at] silas [dot] cc.monash.edu.au> Content-transfer-encoding: 7BIT Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk [[ Apologies if you receive this message more than once ]] C A L L F O R P A P E R S ============================= ____ __ __ __ | | | | | | / | || International Symposium on | | | | |--| | || DISTRIBUTED OBJECTS AND APPLICATIONS _|_| |__| | | |__|| Rome, Italy, September 18-20, 2001 http://www.cs.rmit.edu.au/conf/doa/2001/ IMPORTANT DATES Electronic (paper) submission: April 1st, 2001 Notification of acceptance: May 20th, 2001 Camera-ready copies: June 10th, 2001 Symposium: September 18-20, 2001 CONTEXT DOA is a symposium about the recent advances in Distributed Object Computing (DOC). It has been successfully organised during 1999 (Edinburgh) and 2000 (Antwerp). You may found more details about these symposiums at http://www.cs.rmit.edu.au/conf/doa/2000 .../1999 DOA'2001 follows the same tradition as the precedent symposiums. We want attendees to be able to evaluate existing ORB middleware systems; to analyse, and propose solutions to major limitations of existing systems; and to indicate promising future research directions for distributed objects. We are seeking RESEARCH (theory, fundamentals, principles of DOC) and PRACTICAL (applications, experience, pragmatics of DOC) papers. Contributions attempting to cross over the gap between these two dimensions will, of course, be especially welcome. Finally, we are glad to announce that the following experts will be running tutorials at DOA'01 Symposium: Sean Baker (Iona) Santosh Shrivastava (University of Newcastle) Bran Selic (Rational Software) Douglas Schmidt (University of California at Irvine) SUBMISSIONS Details about submissions can be found at http://www.cs.rmit.edu.au/conf/doa/2001/cfp.html -------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Tue Mar 6 09:08:50 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id JAA02359 for reliable_computing-outgoing; Tue, 6 Mar 2001 09:08:50 -0600 (CST) Received: from mercury.Sun.COM (mercury.Sun.COM [192.9.25.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id JAA02354 for ; Tue, 6 Mar 2001 09:08:44 -0600 (CST) Received: from engmail4.Eng.Sun.COM ([129.144.134.6]) by mercury.Sun.COM (8.9.3+Sun/8.9.3) with ESMTP id HAA23713; Tue, 6 Mar 2001 07:08:42 -0800 (PST) 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,v2.1p1) with ESMTP id HAA22436; Tue, 6 Mar 2001 07:08:41 -0800 (PST) Received: from conversion-daemon.mpkmail.eng.sun.com by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 Patch 1 (built Nov 9 2000)) id <0G9S00B01771MB [at] mpkmail [dot] eng.sun.com>; Tue, 06 Mar 2001 07:08:03 -0800 (PST) Received: from gww (gww.Eng.Sun.COM [129.146.78.116]) by mpkmail.eng.sun.com (iPlanet Messaging Server 5.0 Patch 1 (built Nov 9 2000)) with SMTP id <0G9S00C0J7DF4R [at] mpkmail [dot] eng.sun.com>; Tue, 06 Mar 2001 07:08:03 -0800 (PST) Date: Tue, 06 Mar 2001 07:08:44 -0800 (PST) From: William Walster Subject: Re: suggestion To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu, bill.walster [at] eng [dot] sun.com Cc: bill.walster [at] eng [dot] sun.com Reply-to: William Walster Message-id: <0G9S00C0K7DF4R [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: irmzbi3JG6xuEqHb39QZBg== Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Members, Here is a template you can use. http://www.sun.com/forte/success/webx.html Best regards, Bill >Date: Mon, 26 Feb 2001 09:29:31 -0800 (PST) >From: William Walster >Subject: Re: suggestion >To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu >Cc: bill.walster [at] Eng [dot] Sun.COM >MIME-version: 1.0 >Content-transfer-encoding: 7BIT >Content-MD5: 9ykFM9vSrKqc8CfvTxthHQ== > > > >Dear interval community members: > >We are coming up on a year since we have provided support for intervals >in Sun's Fortran compiler. See: > > http://www.sun.com/forte/fortran/interval/ > >and links contained therein. We also now have a C++ class library. > >In my continuing efforts to justify adding more interval support, feedback >from users will be most appreciated. You can send email directly to me, or >use the email alias that Baker Kearfott has kindly established for the >purpose of providing an easy way for communication about the compilers to >take place. See the above URL. > >Looking forward to hearing from you. > >Best 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 Wed Mar 7 18:55:05 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id SAA04476 for reliable_computing-outgoing; Wed, 7 Mar 2001 18:55:05 -0600 (CST) 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.1) with ESMTP id SAA04471 for ; Wed, 7 Mar 2001 18:54:59 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.11.2/8.11.2) with SMTP id f280ssQ10462; Wed, 7 Mar 2001 17:54:54 -0700 (MST) Message-Id: <200103080054.f280ssQ10462 [at] cs [dot] utep.edu> Date: Wed, 7 Mar 2001 17:54:53 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Workshop on uncertainty in Geometric Computations (from NA Digest) 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: Oy0X6V/3s6u4Tb/6VomC9g== 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 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ UNCERTAINTY IN GEOMETRIC COMPUTATIONS, 5-6 July 2001, Sheffield, England Invited Speakers (will be expanded) : Shun-ichi Amari (RIKEN, Japan), Andrew Blake (Microsoft, UK), Adrian Bowyer (Bath, UK), Alan Edelman (MIT, USA), Robin Forrest (East Anglia, UK), Nicholas Higham (Manchester, UK), Dinesh Manocha (North Carolina, USA), Si Wu (Sheffield, UK) Organisers: Joab Winkler and Mahesan Niranjan Department of Computer Science The University of Sheffield, UK. The representation and management of uncertainty is an important issue in several different disciplines, such as numerical problems in computer graphics that occur when calculating the intersection curve of two surfaces, high performance pattern classification in a feature space, and the study of families of probability distributions in information geometry. The aim of this two-day workshop is to explore the underlying geometric theme that is common to these diverse disciplines. The workshop will consist of a number of invited contributions of a tutorial nature covering the different topics, contributed papers from participants and discussion sessions that explore the connections. Contributions will be published by Kluwer in an edited volume. The workshop is sponsored by the EPSRC and LMS, and financial support is available to cover costs of UK based graduate students. The total number of participants is limited to 70. One page abstracts are invited from potential participants. Please submit electronically (postscript, PDF or plain text) to Dr Joab Winkler Deadline for Abstracts: 15 April 2001 For further information see: http://www.shef.ac.uk/~geom2001/ From owner-reliable_computing [at] interval [dot] usl.edu Wed Mar 7 19:16:06 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id TAA04770 for reliable_computing-outgoing; Wed, 7 Mar 2001 19:16:06 -0600 (CST) 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.1) with ESMTP id TAA04765 for ; Wed, 7 Mar 2001 19:16:02 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.11.2/8.11.2) with SMTP id f281Fxo10791; Wed, 7 Mar 2001 18:15:59 -0700 (MST) Message-Id: <200103080115.f281Fxo10791 [at] cs [dot] utep.edu> Date: Wed, 7 Mar 2001 18:15:57 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: (CORRECTED): An AMS/IMS/SIAM conference on Fast Algorithms 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: tPCeEaGADI0QpD42F1mrHw== 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 If there is an interest, we can probably do a minisympoium or something. ------------- Begin Forwarded Message ------------- X-Sender: matvro [at] zeus [dot] cs.gsu.edu Date: Tue, 06 Mar 2001 04:12:52 -0500 To: Vadim Olshevsky From: Vadim Olshevsky Subject: (CORRECTED): An AMS/IMS/SIAM conference on Fast Algorithms Mime-Version: 1.0 CALL FOR PAPERS 2001 AMS-IMS-SIAM Conference on Fast Algorithms in Mathematics, Computer Science and Engineering www.cs.gsu.edu/~matvro/fa.html South Hadley, MA, August 5-9, 2001 SCOPE: The goal of the conference is to bring together active researchers interested in developing fast algorithms for solving actual problems in different areas including control, system theory, signal and image processing, filtering and estimation, numerical analysis, linear algebra, operator theory, rational passive interpolation, orthogonal polynomials, coding theory, theoretical computer science. We hope this meeting will stimulate an exchange of ideas and methods originated in different applications, and will foster integration between different schools, and it will help to find connections between seemingly unrelated results, thus allowing a continuing expansion of the ``fast algorithm theory.'' INVITED SPEAKERS: Paul Van Dooren (Belgium), Franklin Luk (RPI), Volker Mehrmann (Berlin), Robert Plemmons (Wake Forest University), Lothar Reichel (Kent State University), G.W.Stewart (University of Mariland), Gilbert Strang (MIT), Charlie Van Loan (Cornell), Angelika Bunse-Gerstner (University Of Bremen), Biswa Datta (Northern Illinous University, DeKalb), Patrick DeWilde (Delft), Clyde Martin (Texas Tech University), Phillip Regalia (Institut National des Telecommunications, France), Albrecht Boettcher (TU Chemnitz), Harry Dym (Weizmann Institute of Science), Miroslav Fiedler (Prague Academy of Sciences), Israel Gohberg (Tel Aviv University), Georg Heinig (Kuwait University), Peter Lancaster (University of Calgary), Harald Wimmer (University of Wurzburg), Dario A.Bini (University of Pisa), Joachim von zur Gathen (University of Paderborn), Erich Kaltofen (North Carolina State University), Amin Shokrollahi (Digital Fountain) ORGANIZING COMMITTEE: G.Heinig (Kuwait), F.Luk (RPI), V.Mehrmann (Berlin), Bob Plemmons (Wake Forest), and V.Olshevsky (Chair) PARTICIPATION: All persons who are interested in participating in the conferences should request an invitation by sending the following information by April 3 to Summer Research Conferences Coordinator, AMS, P. O. Box 6887, Providence, RI 02940, or PREFERABLY by e-mail to dls [at] ams [dot] org with cc to volshevsky [at] gsu [dot] edu Please type or print the following: 1.Title and dates of conference. 2.Full name. 3.Mailing address. 4.Phone numbers (including area code) for office, home, and fax. 5.E-mail address and web page. 6.Your anticipated arrival/departure dates. 7.Scientific background relevant to the Institute topics; please indicate if you are a student or if you received your Ph.D. on or after 7/1/94. 8.The amount of financial assistance requested (or indicate if no support is required). HOW TO CONTRIBUTE: Contributions in lecture format are invited in all areas of mathematics, engineering and computer science consistent with the meeting themes. Each contributor must submit a 75-word abstract in LaTeX format by sending an email to volshevsky [at] gsu [dot] edu by March 31. MINISYMPOSIA: A number of minisymposia on topics related to the conference themes are being arranged by the Conference Organizing Committee. Please visit this web page again for an update on minisymposia titles and their organizers. MINISYMPOSIA PROPOSALS: submit now: A minisymposium consists of 25-minute presentations, with an additional five minutes for discussion after each presentation. Prospective minisymposium organizers are asked to submit a proposal consisting of a title, a description (not exceeding 100 words), a list of speakers. Each minisymposium speaker should submit a 75-word abstract in LaTeX format. MORE INFORMATION: www.cs.gsu.edu/~matvro/fa.html ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Thu Mar 8 12:14:00 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id MAA06172 for reliable_computing-outgoing; Thu, 8 Mar 2001 12:14:00 -0600 (CST) 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.1) with ESMTP id MAA06167 for ; Thu, 8 Mar 2001 12:13:52 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.11.2/8.11.2) with SMTP id f28IDhX17026; Thu, 8 Mar 2001 11:13:43 -0700 (MST) Message-Id: <200103081813.f28IDhX17026 [at] cs [dot] utep.edu> Date: Thu, 8 Mar 2001 11:13:42 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Claude Shannon 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: EYq7mo2rQjs/qyYgn180HA== 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 Claude E. Shannon (1916-2001) Claude E. Shannon, the founding father of information theory, died on February 24, 2001. He is well known all over the world for his pioneering research in mathematical theory of communication, in which he introduced and developed the notion of information as measured by the number of transmitted bits, and studied information capacity of different communication channels under realistic noise conditions. At Bell Laboratories, where he worked from 1941 to 1972, he is also remembered as a joyful person who would often ride the hallways on a unicycle while juggling several balls. He could indeed juggle several balls (and he wrote several mathematical papers on how to do it), and he could also "juggle" - successfully work on - several research projects at the same time. Some of these projects involve computation with guaranteed error estimation, and can be thus truly called forerunners of computation with automatic result verification. Shannon's 1940 paper "Mathematical Theory of the Differential Analyzer" (Journal of Mathematics and Physics, 1941, Vol. 20, No. 4) contains the pioneer analysis of the world's first working universal computer - Vannaver Bush's analog Differential Analyzer. The computer consisted of the simplest analog devices: integrators and adders. Two problems remained open when Shannon started his research: * First (due to the simplicity of the computer), it was not clear whether this computer was indeed universal, i.e., whether it is able to compute an arbitrary computable function. * Second, since analog devices are (inevitably) approximate, the results of its computation are also approximate. Therefore, if we use the results of its computation in a crucial application, e.g., to check whether a certain computed value lies within the given bounds, we cannot simply check whether the computation's result is within these bounds, we must also take the computational inaccuracy into consideration. Shannon handled both problems. In particular, he proved the first Universal Approximation Theorem (anticipating more recent results about fuzzy and neural systems) that an arbitrary continuous function on a box can be approximated, with any given accuracy, by an appropriate differential analyzer. When digital computers appeared, Shannon used his expertise in analyzing guaranteed computational results of analog computers (where the main source of computation error is inaccuracy of analog components) to study the possibility of guaranteed computations on digital computers - where the main source of inaccuracy is roundoff error, caused by the necessity to represent a real number by finitely many binary digits. The main results of his theoretical analysis appeared in his 1956 paper "Computability by Probabilistic Machines", which was published as paper of the Princeton University Press edited book "Automata Studies". This paper takes into consideration not only roundoff errors, but also the possibility of a computer malfunctioning (with known low probability). Many of Shannon's results were not widely known and not widely used, because he was not the best popularizer of his own ideas. His papers were full of ideas, some described in heavily mathematical language, some simply raw ideas, more intuitions than results. The success of Shannon's information theory came largely after other mathematicians (Kolmogorov, Khinchin, and others) succeeded in describing his results and his ideas in a clear and understandable way. Shannon's contributions to several other research areas are also highly praised by experts: e.g., his master thesis on switching circuits has been called "the most important master thesis of the century". It may be that the ideas from Shannon's pioneer research on reliable analog computations - especially coupled with his analysis of computations which are only probabilistically correct - will turn out to be useful for modern and future analog devices such as highly parallel analog neural networks, quantum computers, etc. Scott A. Starks and Vladik Kreinovich PACES Center University of Texas at El Paso El Paso, TX 79968, USA From owner-reliable_computing [at] interval [dot] usl.edu Thu Mar 8 12:23:28 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id MAA06413 for reliable_computing-outgoing; Thu, 8 Mar 2001 12:23:27 -0600 (CST) Received: from clmboh1-smtp3.columbus.rr.com (clmboh1-smtp3.columbus.rr.com [65.24.0.112]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id MAA06408 for ; Thu, 8 Mar 2001 12:23:22 -0600 (CST) Received: from oemcomputer (dhcp065-024-174-102.columbus.rr.com [65.24.174.102]) by clmboh1-smtp3.columbus.rr.com (8.11.2/8.11.2) with SMTP id f28IKN517764; Thu, 8 Mar 2001 13:20:24 -0500 (EST) Message-ID: <004901c0a7fc$c8754660$66ae1841 [at] columbus [dot] rr.com> From: "Ramon Moore" To: "Vladik Kreinovich" Cc: References: <200103081813.f28IDhX17026 [at] cs [dot] utep.edu> Subject: Re: Claude Shannon Date: Thu, 8 Mar 2001 13:22:48 -0500 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk I met Claude Shannon at a talk he gave. Of all the things he did, the one that I liked the very best was the little black box he invented and marketed. It was a cube about 4 inches on an edge. There was a toggle switch on top. If you turned on the switch, a humming sound could be heard; a little green hand slowly emerged, and the hand turned off the switch and quickly disappeared inside again. Ramon Moore From owner-reliable_computing [at] interval [dot] usl.edu Wed Mar 14 12:15:29 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id MAA00560 for reliable_computing-outgoing; Wed, 14 Mar 2001 12:15:29 -0600 (CST) Received: from faui45.informatik.uni-erlangen.de (root@[131.188.34.45]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id MAA00555 for ; Wed, 14 Mar 2001 12:15:20 -0600 (CST) Received: from faui25.informatik.uni-erlangen.de (faui25.informatik.uni-erlangen.de [131.188.32.25]) by faui45.informatik.uni-erlangen.de (8.9.1/8.1.49-FAU) with ESMTP id LAA29000 for ; Wed, 14 Mar 2001 11:14:53 +0100 (MET) Received: from informatik.uni-erlangen.de (faui24l.informatik.uni-erlangen.de [131.188.32.120]) by faui25.informatik.uni-erlangen.de (8.9.1a/8.1.9-FAU) with ESMTP id JAA04599; Wed, 14 Mar 2001 09:02:32 +0100 (MET) Message-ID: <3AAF1C60.B39CEB7A [at] informatik [dot] uni-erlangen.de> Date: Wed, 14 Mar 2001 08:23:12 +0100 From: Mark Minas Reply-To: Mark.Minas [at] informatik [dot] uni-erlangen.de Organization: Univ. of Erlangen (Germany), CS Dep. X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.16 i686) X-Accept-Language: en MIME-Version: 1.0 To: Andy =?iso-8859-1?Q?Sch=FCrr?= Subject: VLFM'01 - Extended Deadline Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.usl.edu id MAA00556 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Sorry if some of you receive multiple copies of this message. Mark Minas Andy Schürr ========================================================================= In response to a large number of requests, we are extending the deadline for Visual Languages and Formal Methods (VLFM'01) ============================================= Individual Symposium within IEEE Symposia on Human-Centric Computing Languages and Environments (HCC'01) Stresa, Italy September 5-7, 2001 *********************************************************************** ************* EXTENDED DEADLINE: March 25, 2001 ************* *********************************************************************** Further Information ------------------- VLFM'01 web site: http://www2.cs.fau.de/VLFM01/ HCC'01 web site: http://cuisung.unige.ch/HCC01/ New Events: ----------- * Best paper Award / Sponsor * Statechart Modeling "Contest" Important Dates --------------- March 25, 2001: NEW Submission Deadline May 20, 2001: Statechart Modeling "Contest" Deadline June 3, 2001: Notification of Acceptance July 1, 2001: Camera Ready Version From owner-reliable_computing [at] interval [dot] usl.edu Mon Mar 19 17:37:57 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id RAA06451 for reliable_computing-outgoing; Mon, 19 Mar 2001 17:37:56 -0600 (CST) 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.1) with ESMTP id RAA06446 for ; Mon, 19 Mar 2001 17:37:48 -0600 (CST) Received: from forelli.math.wisc.edu (forelli.math.wisc.edu [144.92.166.70]) by kleene.math.wisc.edu (8.9.3/8.9.3) with ESMTP id RAA09526; Mon, 19 Mar 2001 17:28:08 -0600 (CST) Date: Mon, 19 Mar 2001 17:28:06 -0600 (CST) From: Hans Schneider To: NETS -- at-net , "Hershkowitz, Danny -- Hershkowitz Daniel" , Danny Hershkowitz , E-LETTER , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu, Peggy Conklin 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 ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison 608-271-8477 (Home FAX) Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans --- *********************************************************************************** ContentsDirect from Elsevier Science ====================================== Journal: Linear Algebra and its Applications ISSN : 0024-3795 Volume : 327 Issue : 1-3 Date : 15-Apr-2001 Visit the journal at http://www.elsevier.nl/locate/jnlnr/07738 pp 1-15 Analysis on eigenvalues for preconditioning cubic spline collocation method of elliptic equations S. Dong Kim, Y. HunLee pp 17-26 A variant of the Hausdorff theorem for multi-index matrices II S. Keska pp 27-40 Matrix groups with independent spectra G. Cigler pp 41-51 Square nearly nonpositive sign pattern matrices Y. Hou, J. Li pp 53-60 Possible line sums for a qualitative matrix C.R. Johnson, S.A. Lewis, D.Y. Yau pp 61-68 On the potential stability of star sign pattern matrices Y. Gao, J. Li pp 69-83 Corrigendum/addendum to: Sets of matrices all infinite products of which converge I. Daubechies, J.C. Lagarias pp 85-94 On Perron complements of totally nonnegative matrices S.M. Fallat, M. Neumann pp 95-104 On invertibility and positive invertibility of matrices M.I. Gil' pp 105-114 Pattern correlation matrices and their properties A. Rukhin pp 115-119 A generalization of Saad's theorem on Rayleigh-Ritz approximations G.W. Stewart pp 121-130 Complete positivity of matrices of special form J. Drew, C. Johnson, F. Lam pp 131-149 Approximating commuting operators J. Holbrook, M. Omladic pp 151-180 Products of transvections in one conjugacy class of the symplectic group over the p-adic numbers E.W. Ellers, H. Lausch pp 181-196 Chebyshev-Hankel matrices and the splitting approach for centrosymmetric Toeplitz-plus-Hankel matrices G. Heinig pp 197-206 Additive mappings on operator algebras preserving absolute values M. Radjabalipour, K. Seddighi, Y. Taghavi pp 207-223 Generalized controlled and conditioned invariances for linear @w-periodic discrete-time systems N. Otsuka pp 225 Author Index --- Contents of several volumes of LAA have not been circulated recently. Apologies! From owner-reliable_computing [at] interval [dot] usl.edu Tue Mar 20 06:45:31 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id GAA07243 for reliable_computing-outgoing; Tue, 20 Mar 2001 06:45:31 -0600 (CST) Received: from mailhost.uni-koblenz.de (mailhost.uni-koblenz.de [141.26.64.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) with ESMTP id GAA07238 for ; Tue, 20 Mar 2001 06:45:27 -0600 (CST) Received: from nostromo.uni-koblenz.de (root [at] nostromo [dot] uni-koblenz.de [141.26.66.122]) by mailhost.uni-koblenz.de (8.9.3/8.9.3) with ESMTP id NAA05504; Tue, 20 Mar 2001 13:44:59 +0100 (MET) Received: (from peter@localhost) by nostromo.uni-koblenz.de (8.9.3/8.9.1) id NAA04193; Tue, 20 Mar 2001 13:44:58 +0100 From: Peter Baumgartner MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Message-ID: <15031.20682.176006.6839 [at] nostromo [dot] uni-koblenz.de> Date: Tue, 20 Mar 2001 13:44:58 +0100 To: Ijcar Publicity Chair Subject: IJCAR 2001 - Deadlines reminder + List of accepted papers X-Mailer: VM 6.90 under 21.1 (patch 14) "Cuyahoga Valley" XEmacs Lucid Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.usl.edu id GAA07239 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------------------------------------------------------ IJCAR 2001 The International Joint Conference on Automated Reasoning http://www.dii.unisi.it/~ijcar/ ------------------------------------------------------------ Contents: 1) About IJCAR 2) Deadlines reminder 3) List of accepted Research Papers 4) List of accepted System Descriptions 1) About IJCAR -------------- The International Joint Conference on Automated Reasoning (IJCAR) is the fusion of three major conferences in Automated Reasoning: CADE (The International Conference on Automated Deduction), TABLEAUX (The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) and FTP (The International Workshop on First-Order Theorem Proving). These three events will join for the first time at the IJCAR conference in Siena in June 2001. 2) Deadlines reminder --------------------- The submission deadline for research papers and system descriptions has passed. However, submission of short papers and submission to workshops is still open. Short papers submission deadline : April 2, 2001 Workshop submission deadlines: Theory and Application of Quantified Boolean Formulas : March 24, 2001 Verification : March 25, 2001 Future directions in Automated Reasoning : March 29, 2001 Mechanized Reasoning about Languages with Variable Bindings : March 30, 2001 Precise Modelling and Deduction for OO-Software Development : March 31, 2001 Automation of Proof by Mathematical Induction : March 31, 2001 Strategies in Automated Deduction (STRATEGIES 2001) : March 31, 2001 Proof Transformations, Proof Presentations and Complexity of Proofs (PTP-01) : March 31, 2001 Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics : April 1, 2001 Unification (UNIF-2001) : April 15, 2001 For details please visit the IJCAR web page given above. 3) List of accepted Research Papers ----------------------------------- (88 submitted, 37 accepted) Ulrike Sattler, Moshe Y. Vardi The Hybrid mu-Calculus Carsten Lutz NExpTime-complete Description Logics with Concrete Domains R. Pliuskevicius Deduction-based Decision Procedure for a Clausal Miniscoped Fragment of FTL Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev A tableau calculus for temporal description logic: the constant domain case Juergen Giesl, Deepak Kapur Decidable Classes of Inductive Theorems Arnon Avron, Iddo Lev Canonical Propositional Gentzen-Type Systems Aart Middeldorp, Seitaro Yuuki Approximating Dependency Graphs using Tree Automata Techniques Haarslev, Volker, Möller, Ralf, Turhan, Anni-Yasmin Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics Bernard Boigelot, Sébastien Jodogne, Pierre Wolper On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables Haarslev, V., Moeller, R., Wessel, M. The Description Logic ALCNHR Extended with Concrete Domains: A Practically Motivated Approach Gilles Audemard, Laurent Henocque The eXtended Least Number Heuristic Nicolas Peltier A general method for using schematizations in automated deduction Franz Baader, Stephan Tobies The Inverse Method Implements the Automata Approach for Modal Satisfiability Marco Benedetti Conditional Pure Literal Graphs CERRITO Serenella, CIALDEA-MAYER Marta Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-Rigid Designation Bernhard Beckert, Steffen Schlager A Sequent Calculus for First-order Dynamic Logic with Trace Modalities Pablo Armelin, David Pym Bunched Logic Programming (Extended Abstract)) W. Reif, G. Schellhorn, A. Thums Flaw Detection in Formal Specification Stefan Szeider NP-Completeness of Refutability by Literal-Once Resolution Xavier Urbain Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems Sylvie Doutre, Jerome Mengin Preferred Extensions of Argumentation Frameworks: Query Answering and Computation Reiner Haehnle, Neil V. Murray, Erik Rosenthal Ordered Resolution vs. Connection Graph Resolution Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Instructing equational set-reasoning with Otter Martin Giese Incremental Closure of Free Variable Tableaux Hans de Nivelle, Ian Pratt-Hartmann A Resolution-Based Decision Procedure for the Two-Variable fragment with Equality Marko Luther More On Implicit Syntax Kewen Wang A Top-down Procedure for Disjunctive Well-founded Semantics Brigitte Pientka Termination and Reduction Checking for Higher-Order Logic Programs Enrico Giunchiglia, Massimo Maratea, Armando Tacchella, Davide Zambonin Evaluating search heuristics and optimization techniques in propositional satisfiability Jürgen Stuber A Model-based Completeness Proof of Extended Narrowing And Resolution Joshua S. Hodas, Naoyuki Tamura LolliCoP -- A Linear Logic Implementation of a Lean Connection-Method TheoremProver for First-Order Classical Logic Uwe Egly, Stephan Schmitt Deriving Modular Programs from Short Proofs Christopher Lynch, Barbara Morawska Decidability and Complexity of Finitely Closable Linear Equational Theories Uwe Waldmann Superposition and Chaining for Totally Ordered Divisible Abelian Groups(Extended Abstract) Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov On the Evaluation of Indexing Techniques for Theorem Proving Harald Ganzinger, David McAllester Bottum-up deduction with deletion Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela Context trees 4) List of accepted System Descriptions --------------------------------------- (24 submitted, 19 accepted) Maria Paola Bonacina Combination of distributed search and multi-search in Peers-mcd.d Dominique PASTRE Muscadet 2.3: A Knowledge-based Theorem Prover Based on Natural Deduction Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Alexey Nogin JProver: Integrating Connection-based Theorem Proving into Interactive Proof Assistants Michael Beeson A Second-order Theorem Prover applied to Circumscription Peter F. Patel-Schneider, Roberto Sebastiani A System and Methodology for Generating Random Modal Formulae Haarslev, V., Moeller, R. RACE System Description C. Anger, K. Konczak, Th. Linke NoMoRe: A System for NonMonotonic Reasoning with logic Programs under Answer Set Semantic Jens Happe The ModProf Theorem Prover Stephan Schulz System Abstract: E 0.61 Alessandro Armando, Luca Compagna, Silvio Ranise System Description: RDL---Rewrite and Decision procedure Laboratory Kahlil Hodgson, John Slaney Development of a Semantically Guided Theorem Prover Armin Fiedler P.rex: An Interactive Proof Explainer Reinhold Letz, Gernot Stenz DCTP -- A Disconnection Calculus Theorem Prover -- System Abstract D. Larchey-Wendling, D. Mery, D. Galmiche STRIP: Structural sharing for efficient proof-search Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella QuBE: A system for deciding Quantified Boolean Formulas Satisfiability Joerg Luecke Hilberticus - a Tool Deciding an Elementary Sublanguage of Set Theory Farinas del Cerro, Luis, Fauthoux, David, Gasquet, Olivier, Herzig, Andreas, Longin, Dominique, Massacci, Fabio Lotrec: The Generic Tableau Prover for Modal and Description Logics Jürgen Avenhaus, Bernd Löchner CCE: Testing Ground Joinability Alexandre Riazanov, Andrei Voronkov Vampire 1.1 (system description) -- Peter Baumgartner Tel. (Giessen): +49 641 99-32160 Mail: peter@uni-koblenz.de Tel. (Koblenz): +49 261 287-2777 WWW: http://www.informatik.uni-giessen.de/staff/baumgart/ From owner-reliable_computing [at] interval [dot] usl.edu Thu Mar 22 22:00:24 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id WAA11211 for reliable_computing-outgoing; Thu, 22 Mar 2001 22:00:23 -0600 (CST) 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.1) with ESMTP id WAA11206 for ; Thu, 22 Mar 2001 22:00:18 -0600 (CST) Received: (from zhong@localhost) by maebashi-it.ac.jp (8.9.1/8.9.1) id NAA18671 for reliable_computing [at] interval [dot] usl.edu; Fri, 23 Mar 2001 13:08:42 +0900 (JST) (envelope-from zhong) Date: Fri, 23 Mar 2001 13:08:42 +0900 (JST) From: Ning Zhong Message-Id: <200103230408.NAA18671@maebashi-it.ac.jp> To: reliable_computing [at] interval [dot] usl.edu Subject: IAT-2001 Deadline Extension Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleagues, We have received many requests for extending the IAT-2001 submission deadline. After further consideration, we decide to extend the submission deadline to April 1, 2001. On-Line Submission is encouraged and preferred. Please use the Submission Form at the IAT-2001 webpage: "http://kis.maebashi-it.ac.jp/iat01" to submit your paper. All accepted papers will be published in the conference proceedings by World Scientific, An International Publisher, as a hardcover book entitled: INTELLIGENT AGENT TECHNOLOGY: RESEARCH AND DEVELOPMENT. Authors of selected papers will be invited to have their papers included in a special issue of an international journal. Best Regards, Ning Zhong and Jiming Liu Program Chairs, IAT-2001 ******************************************* !!! deadline extended to April 1, 2001 !!! ******************************************* [Apologies if you receive this more than once] ------------------------------------------------------------------- FINAL CALL FOR PAPERS: IAT-2001 The Second Asia-Pacific Conference on Intelligent Agent Technology SPONSORED BY ACM SIGART Maebashi Institute of Technology ------------------------------------------------------------------- Maebashi TERRSA, Maebashi City, Japan October 23-26, 2001 Home Page: http://kis.maebashi-it.ac.jp/iat01 Mirror Page: http://www.comp.hkbu.edu.hk/IAT/iat01 ******************************************* !!! deadline extended to April 1, 2001 !!! ******************************************* IN COOPERATION WITH ACM SIGCHI, ACM SIGWEB Japanese Society for Artificial Intelligence (JSAI) JSAI SIGFAI, JSAI SIGKBS, IEICE SIGKBSE CORPORATE SPONSORS Maebashi Convention Bureau Maebashi City Government Gunma Prefecture Government The Japan Research Institute, Limited US AFOSR/AOARD and US Army Research Office in Far East IAT-2001 will be jointly held with The First Asia-Pacific Conference on Web Intelligence (WI-2001) (One registration may attend both IAT-2001 and WI-2001) ======================================================= IAT-2001 and WI-2001 Joint Keynote Speakers: Benjamin Wah (2001 IEEE CS President), U. Illinois at Urbana-Champaign 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 Or use the Submission Form at the IAT-2001 webpage: http://kis.maebashi-it.ac.jp/iat01 to submit your paper. 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 will 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 (upto about 10 pages long) 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 trim 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 28, 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, UWF/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, UWF/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 Jie Yang, University of Science and Technology of China Ning Zhong, Maebashi Institute of Technology, Japan Jan Zytkow, University of North Carolina, USA Program Committee: ~~~~~~~~~~~~~~~~~~ K. Suzanne Barber (U. Texas at Austin, USA) Guy Boy (EURISCO, France) Cristiano Castelfranchi (Italian National Research Council) Kerstin Dautenhahn (U. Hertfordshire, UK) Edmund H. Durfee (U. Michigan, USA) 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) Michael Huhns (U. South Carolina, 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) Matthias Klusch (German Research Center for AI) 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) Joerg Mueller (Siemens, Germany) Hideyuki Nakashima (ETL, Japan) Wee-Keong Ng (Nanyang Technological U., Singapore) Katsumi Nitta (Tokyo Institute of Technology, Japan) Yoshikuni Onozato (Gunma U., Japan) Tuncer Oren (Marmara Research Center, Turkey) Ichiro Osawa (ETL, Japan) Sun Park (Rutgers U., USA) Van Parunak (ERIM, 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) Niranjan Suri (U. West Florida, 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 U., 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: ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Masahiko Satori (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 Mar 23 21:23:06 2001 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.1) id VAA12523 for reliable_computing-outgoing; Fri, 23 Mar 2001 21:23:06 -0600 (CST) 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.1) with ESMTP id VAA12518 for ; Fri, 23 Mar 2001 21:23:01 -0600 (CST) Received: (from zhong@localhost) by maebashi-it.ac.jp (8.9.1/8.9.1) id MAA23129 for reliable_computing [at] interval [dot] usl.edu; Sat, 24 Mar 2001 12:31:31 +0900 (JST) (envelope-from zhong) Date: Sat, 24 Mar 2001 12:31:31 +0900 (JST) From: Ning Zhong Message-Id: <200103240331.MAA23129@maebashi-it.ac.jp> To: reliable_computing [at] interval [dot] usl.edu Subject: WI-2001 Deadline Extension Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Colleagues, We have received many requests for extending the WI-2001 submission deadline. After further consideration, we decide to extend the submission deadline to April 1, 2001. On-Line Submission is encouraged and preferred. Please use the Submission Form at the WI-2001 webpage: "http://kis.maebashi-it.ac.jp/wi01" to submit your paper. All accepted papers will be published in the conference proceedings by Springer-Verlag in the Lecture Notes in AI series (LNCS/LNAI). Authors of selected papers will be invited to have their papers included in a special issue of an international journal and in an edited hardcover book to be published by Springer-Verlag. Best Regards, Ning Zhong and Yiyu Yao Program Chairs, WI-2001 ******************************************* !!! deadline extended to April 1, 2001 !!! ******************************************* [Apologies if you receive this more than once] ------------------------------------------------------- FINAL CALL FOR PAPERS: WI-2001 The First Asia-Pacific Conference on Web Intelligence SPONSORED BY ACM SIGART Maebashi Institute of Technology -------------------------------------------------------- Maebashi TERRSA, Maebashi City, Japan October 23-26, 2001 Home Page: http://kis.maebashi-it.ac.jp/wi01 Mirror Page: http://cs.uregina.ca/~wi01/ ******************************************* !!! deadline extended to April 1, 2001 !!! ******************************************* IN COOPERATION WITH ACM SIGCHI, ACM SIGWEB Japanese Society for Artificial Intelligence (JSAI) JSAI SIGFAI, JSAI SIGKBS, IEICE SIGKBSE CORPORATE SPONSORS Maebashi Convention Bureau Maebashi City Government Gunma Prefecture Government The Japan Research Institute, Limited US AFOSR/AOARD and US Army Research Office in Far East WI-2001 will be jointly held with The Second Asia-Pacific Conference on Intelligent Agent Technology (IAT-2001) (One registration may attend both IAT-2001 and WI-2001) ======================================================= WI-2001 and IAT-2001 Joint Keynote Speakers: Edward A. Feigenbaum (Turing Award Winner), Stanford University Benjamin Wah (2001 IEEE CS President), U. Illinois at Urbana-Champaign WI-2001 Invited Speakers: James Hendler (DARPA/ISO, USA) W. Lewis Johnson (University of Southern California, USA) Riichiro Mizoguchi (Osaka University, Japan) Prabhakar Raghavan (Verity Inc., USA) 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-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 * 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 - The Semantic Web - Theories of Small World Web - Web Information System Development Tools - Web Protocols 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 Or use the Submission Form at the WI-2001 webpage: http://kis.maebashi-it.ac.jp/wi01 to submit your paper. 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 will 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, "International Journal of Pattern Recognition and Artificial Intelligence" by World Scientific, and in an edited hardcover book to be published by Springer-Verlag. WI best paper award will be conferred on the author(s) of the best papers at the conference. All manuscripts (upto about 10 pages long) must be formatted using the Springer LNAI's style files. The style files can be found at: http://www.springer.de/comp/lncs/authors.html#Proceedings. 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. 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 28, 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) Hendrik Blockeel (Katholieke U. Leuven, Belgium) Peter Bollmann-Sdorra (Technischen U. Berlin, Germany) Cory Butz (U. Ottawa, Canada) Keith Chan (Hong Kong Polytechnic U.) Hsinchun Chen (U. Arizona, USA) Ming-Syan Chen (National Taiwan U.) Jingde Cheng (Saitama U., Japan) David Cheung (Hong Kong U.) Stefan Decker (Stanford U., USA) Liya Ding (National U. Singapore) Dieter Fensel (Vrije U. Amsterdam, The Netherlands) Benjamin Grosof (MIT, USA) Jiawei Han (Simon Fraser U., Canada) James Hendler (DARPA/ISO, USA) Bernardo A. Huberman (Xerox Palo Alto Research Center) W. Lewis Johnson (U. South California, USA) Tomonari Kamba (NEC Human Media Research Labs., Japan) Yasuhiko Kitamura (Osaka City U., 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) Jian-Yun Nie (U. Montrial, Canada) H-O Nyongesa (Sheffield Hallam U., UK) Yukio Ohsawa (U. Tsukuba, Japan) Terry R. Payne (Carnegie Mellon U., USA) Gregory Piatetsky-Shapiro (Kowlegde Stream, USA) Mohamed Quafafou (U. Nantes, France) Vijay V. Raghavan (U. Louisiana at Lafayette, USA) 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) Gottfried Vossen (U. Munster, Germany) 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) Tetuya Yoshida (Osaka U., Japan) Ning Zhong (Maebashi Inst. Tech., Japan) Lizhu Zhou (Tsinghua U., China) Wojciech Ziarko (U. Regina, Canada) Local Organizing Committee: ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Masahiko Satori (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 ------------------------------------------------------------