DAI-List Digest Friday, 2 July 1993 Issue Number 124 Topics: DAI at EPIA'93 CFP for ECAI'94 CFP for ICDCS14 Administrivia: Please send submissions to DAI-List@mcc.com. Send other requests, such as changes in your e-mail address, to DAI-List-Request@mcc.com. Back issues of DAI-List can be obtained via anonymous ftp from the DAI Archives at ftp.einet.net (192.147.157.225). ---------------------------------------------------------------------- From: Miguel Filgueiras Subject: DAI at EPIA'93 Date: Tue, 22 Jun 1993 07:07:41 -0700 EPIA'93 SIXTH PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE Porto, Portugal October 6 - 8, 1993 ADVANCE PROGRAMME (Excerpt) Wednesday, 6 October 11:00 Session 2, Chairman: Armando Matos "Inheritance in a Hierarchy of Theories" Gabriel David, Antonio Porto 11:30 "Semantics of Interworking Knowledge Based Systems" Georg Reichwein, J. Fiadeiro Thursday, 7 October 14:30 Invited Lecture, Chairman: Eugenio Oliveira "Organizations as Complex Dynamic Design Problems" Les Gasser Friday, 8 October 9:30 Session 7, Chairman: Eugenio Oliveira "Specifying and Verifying Distributed Intelligent Systems" Michael Fisher, Michael Wooldridge 10:00 "A Logical Approach for Distributed Truth Maintenance" Thilo Horstmann 14:30 Invited Lecture, Chairman: Antonio Porto "Software Agents: micro and macro considerations" Yoav Shoham For registration, travel, and accommodation information, please contact EPIA'93 Centro de Informatica UP R. Campo Alegre 823 4100 Porto / Portugal e-mail: epia93@ncc.up.pt Fax: +351-2-6003654 Phone: +351-2-6001672 Organizing Committee: Miguel Filgueiras, Nelma Moreira, Rogerio Reis, Ana Paula Tomas ------------------------------ From: vet@cs.utwente.nl (Paul van der Vet) Subject: ECAI'94 Date: Thu, 1 Jul 93 16:25:50 +0200 E C A I '94 A M S T E R D A M 11th European Conference on Artificial Intelligence Amsterdam RAI International Exhibition and Congress Centre The Netherlands August 8-12, 1994 Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Dutch Association for Artificial Intelligence (NVKI) The European Conference on Artificial Intelligence (ECAI) is the European forum for scientific exchange and presentation of AI research. The aim of the conference is to cover all aspects of AI research and to bring together basic research and applied research. The Technical Programme will include paper presentations, invited talks, panels, workshops, and tutorials. The conference is designed to cover all subfields of AI, including non-symbolic methods. ECAIs are held in alternate years and are organized by the European Coordinating Committee for Artificial Intelligence (ECCAI). The 11th ECAI in 1994 will be hosted by the Dutch AI Society (NVKI). The conference will take place at the Amsterdam RAI, International Exhibition and Congress Centre. E X H I B I T I O N An industrial and academic exhibition will be organized from August 9 - 11, 1994. Detailed information will be provided in the second call for papers or can be obtained at the conference office (for the adress see elsewhere). S P O N S O R S (preliminary list) Bolesian B.V. Municipality of Amsterdam University of Amsterdam Vrije Universiteit Amsterdam University of Limburg C A L L F O R P A P E R S T O P I C S O F I N T E R E S T You are invited to submit an original research paper that represents a significant contribution to any aspect of AI, including the principles underlying cognition, perception, and action in humans and machines; the design, application, and evaluation of AI algorithms and intelligent systems; and the analysis of tasks and domains in which intelligent systems perform. Theoretical and experimental results are equally welcome. Papers describing innovative ideas are especially sought providing such papers include substantial analysis of the ideas, the technology needed to realize them, and their potential impact. Of special interest this year are papers which address applied AI. Two kinds of papers are sought. The first category is case studies of AI applications that address significant real-world problems and which are used outside the AI community itself; these papers must justify the use of the AI technique, explain how the AI technology contributed to the solution and was integrated with other components, and most importantly explain WHY the application was successful (or perhaps why it failed) -- these "lessons learned" will be the most important review criteria. The second category is for papers on novel AI techniques and principles that may enable more ambitious real-world applications. All the usual AI topics are appropriate. These papers must describe the importance of the approach from an applications context, in sufficient technical detail and clarity, and clearly and thoroughly differentiate the work from previous efforts. There will be special prizes for the best papers in both these areas. S U B M I S S I O N O F P A P E R S Authors are requested to submit to the Programme Chairperson 5 copies of papers written in English in hardcopy format (electronic and fax submissions will not be accepted). Each submitted paper must conform to the following specifications. Papers should be no longer than 5500 words including references. (Each full page of figures counts as 1100 words.) Papers longer than this limit risk being rejected without refereeing. A separate title page should include the title, the name(s) of the author(s), complete address(es), email, fax and telephone numbers, the specification of between one and four Content Areas, preferably chosen from the list below and an abstract (maximum 200 words). The title page should also contain a declaration that the paper is unpublished, original work, substantially different from papers currently under review and will not be submitted elsewhere before the notification date other than to workshops and similar specialized presentations with a very limited audience. Papers should be printed on A4 or 8.5"x11" sized paper in letter quality print, with 12 point type (10 chars/inch on a typewriter), single spaced. Double sided printing is preferred. Authors who wish to check that their submission will fit into the final CRC format will be able to obtain detailed instructions including a latex style file and example postscript pages after October 15 by anonymous FTP from agora.leeds.ac.uk, directory ECAI94, or by e-mailing ecai94-style@scs.leeds.ac.uk with a message body of "help". When submitting a paper an electronic mail message should also be sent to ecai94-title@scs.leeds.ac.uk giving information in the format specified below. If an intending author has no e-mail facilities then this requirement is waived. Papers should be sent to: Programme Chairperson: Dr Tony Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom Tel.: (+44)-532-33.54.82 Fax: (+44)-532-33.54.68 E-mail: ecai94@scs.leeds.ac.uk TITLE: AUTHOR: <first author last name, first name> AFFILIATION: <first author affiliation> AUTHOR: <second author last name, first name> AFFILIATION: <second author affiliation> ...<repeat for all authors> CORRESPONDENCE ADDRESS: <give name, address, fax and telephone> CORRESPONDENCE E-MAIL: <give correspondence e-mail address> CONTENT AREAS: <at most four content areas, separated by semicolons> ABSTRACT: <text of the abstract> The content areas preferably should be drawn from the topics listed below. The text of the abstract field may include formatting commands, if desired, but these should be omitted from all other fields. Work described in an accepted paper may also be illustrated with a videotape or a demo. Special sessions will be scheduled for video presentations and demos. Authors wishing to show a videotape or a demo should specify the duration and the requirements of the videotape/demo when submitting their paper for review. Reviewing criteria do not apply to these tapes. Only the submitted papers will be peer-reviewed. Authors wishing to augment their paper presentation with a video should submit a tape only after their paper has been accepted. For details concerning tape format, see the video track description below. C O N T E N T A R E A S Abduction; AI and Creativity; Artificial Life; Automated Reasoning; Automatic Programming; Belief Revision; Case Studies of AI Applications; Case-Based Reasoning; Cognitive Modelling; Common Sense Reasoning; Communication and Cooperation; Complexity of Reasoning; Computational Theories in Psychology; Computer-Aided Education; Concept Formation; Connectionist and PDP Models for AI; Constraint-Based Reasoning; Corpus-Based Language Analysis; Deduction; Description Logics; Design; Diagnosis; Discourse Analysis; Discovery; Multiagent Systems; Distributed Problem Solving; Enabling Technology and Systems; Epistemological Foundations; Expert System Design; Generic Applications; Genetic Algorithms; Integrating AI and Conventional Systems; Integrating Several AI Components; Kinematics; Knowledge Acquisition; Knowledge Representation; Large Scale Knowledge Engineering; Logic Programming; Machine Architectures; Machine Learning; Machine Translation; Mathematical Foundations; Model Based Reasoning; Monitoring; Natural Language Front Ends; Natural Language Processing; Navigation; Neural Networks; Nonmonotonic Reasoning; Philosophical Foundations and Implications; Plan Recognition; Planning and Scheduling; Principles of AI Applications; Qualitative Reasoning; Reactivity; Reasoning About Action; Reasoning About Physical Systems; Reasoning With Uncertainty; Resource Allocation; Robotics; Robot Navigation; Search; Sensor Interpretation; Sensory Fusion/Fission; Simulation; Situated Cognition; Social Economic, Ethical and Legal Implications; Spatial Reasoning; Speech Recognition; Standardisation, Exchange and Reuse of Ontologies or Knowledge; Parsing; Semantic Interpretation; Pragmatics; System Architectures; Temporal and Causal Reasoning; Terminological Reasoning; Text Generation and Understanding; Theorem Proving; Truth Maintenance; Tutoring Systems; User Interfaces; User Models; Verification, Validation and Testing of Knowledge-Based Systems; Virtual Reality; Vision and Signal Understanding. T I M E T A B L E Papers must be received by the Programme Chairperson no later than January 8, 1994. Acceptance letters will be posted no later than March 12, 1994. Final camera-ready papers must be received by April 19, 1994. T U T O R I A L S The ECAI '94 Organizing Committee invites proposals for the Tutorial Programme for ECAI '94. The tutorials will take place on August 8 and 9, 1994. Anyone who is interested in presenting a tutorial, or who has suggestions concerning possible speakers or topics is invited to contact the Tutorial Chair. A list of suggested topics that may be covered by tutorials is given below, but the list is only a guide. Other topics, both related to these and quite different from them, will be considered: Model-based reasoning; Natural language processing; Real-time reasoning; AI & databases (deductive databases, integrity constraints); Distributed AI, multiagent systems; AI in industry (banking, networking, engineering); Knowledge sharing and reuse; Machine learning; Neutral Networks; Probabilistic reasoning and uncertainty; Genetic algorithms; Case-based reasoning; KBS design and methodology (including knowledge acquisition); Planning and scheduling; Hypermedia/multimedia in AI For more information please contact: Organizing Chairperson: Workshop Chairpersons: Prof.dr Jaap van den Herik Prof.dr Jan Treur Dutch Association for Artificial Dr Frances Brazier Intelligence (NVKI) Vrije Universiteit Amsterdam University of Limburg Department of Computer Science Department of Computer Science De Boelelaan 1081 a P.O. Box 616 1081 HV Amsterdam 6200 MD Maastricht The Netherlands The Netherlands Tel.: (+31)-20-548.55.88 Tel.: (+31)-43-88.34.77 Fax: (+31)-20-642.77.05 Fax: (+31)-43-25.23.92 E-mail: ecai94-workshops@cs.vu.nl E-mail: bosch@cs.rulimburg.nl Programme Chairperson: Tutorial Chairperson: Dr Tony Cohn Dr Frank van Harmelen Division of Artificial SWI Intelligence University of Amsterdam School of Computer Studies Roetersstraat 15 University of Leeds 1018 WB Amsterdam Leeds LS2 9JT The Netherlands United Kingdom Tel.: (+31)-20-525.61.21, or Tel.:(+44)-532-33.54.82 (+31)-20-525.67.89 Fax: (+44)-532-33.54.68 Fax: (+31)-20-525.68.96 E-mail: ecai94@scs.leeds.ac.uk E-mail: ecai94-tutorials@swi.psy.uva.nl CONFERENCE OFFICE: Erasmus Forum c/o ECAI '94 Marcel van Marrewijk, Project Manager Mirjam de Leeuw, Conference Manager E C A I '94 Erasmus University Rotterdam AMSTERDAM P.O. Box 1738 3000 DR Rotterdam The Netherlands Tel.: (+31)-10-408.23.02 Fax: (+31)-10-453.07.84 E-mail: M.M.deLeeuw@apv.oos.eur.nl ------------------------------ From: pbobbie@trivia.coginst.uwf.edu Subject: CALL FOR PAPERS FOR ICDCS14 Date: Fri, 2 Jul 93 15:42:38 CDT CALL FOR PAPERS THE 14TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS Poznan, Poland, June 21-24, 1994 This conference encompasses the technical aspects of specifying, modelling, designing, implementing, operating and evaluating distributed computing systems and applications. The technical areas covered include: - Distributed System Architecture and Shared Memory - Distributed Operating Systems - Distributed Databases and Information Systems - Distributed System Services and Management - Distributed Applications and Cooperative Work - Communication Architectures and Protocols - Languages, Tools, and Software Engineering - Distributed Algorithms and Methods - Real-Time and Continuous-Media Issues Reliability / availability, performance, security, and coping with heterogeneity are important aspects in all areas. Of particular interest are papers which address experiences with concrete distributed systems and applications, and the impact of user / system mobility and multimedia requirements on distributed system structures and algorithms. INFORMATION FOR AUTHORS Authors are requested to submit six copies (in English) of their double- space typed manuscript (maximum of 20 pages) with an abstract to Dr. Svobodova by October 15, 1993. The conference language is English and final papers are restricted to eight IEEE model pages. A submission letter that indicates which of the conference areas is most relevant to your paper must accompany the paper. In case of multiple authors, an indication of which author is responsible for correspondence and preparing the camera-ready paper for the proceedings should also be included. Authors will be notified of acceptance by February 15, 1994 and will be given instructions at that time for final preparation of their papers, which will be due in camera-ready form by March 28, 1994. Outstanding papers will be eligible for publication in IEEE Computer Society / IEEE journals. Submit papers to: Liba Svobodova IBM Research Division Zurich Research Laboratory Saumerstrasse 4, 8803 Rueschlikon Switzerland Tel: 41 1 724-8274; Fax: 41 1 710-3608 E-mail: svo@zurich.ibm.com> TUTORIALS In addition to papers, proposals for one day tutorials are solicited in any of the conference areas. Such proposals should be submitted by October 1, 1993 to: Gerald Karam Carleton University Department of Systems and Computer Eng. Ottawa, Canada K1S 5B6 Tel: (613) 788-5749; Fax: (613) 788-5727 E-mail: karam@sce.carleton.ca (Gerald Karam) ORGANIZING AND PROGRAM COMMITTEES General Co-Chairs Wojciech Cellary, Franco-Polish School, Poland Joseph E. Urban, Arizona State University, USA Program Chair Liba Svobodova, IBM Zurich Research Laboratory, Switzerland Distributed System Architecture and Shared Memory Vice Chair Per Stenstroem, Lund University, Sweden Distributed Operating Systems Vice Chair Ray Chen, Siemens-Nixdorf Information Systems, USA Distributed Databases and Information Systems Vice Chair Gottfried Vossen, University of Giessen, Germany Distributed System Services and Management Vice Chair Ralph Droms, Bucknell University, USA Distributed Applications and Cooperative Work Vice Chair Doug Shepherd, Lancaster University, UK Communication Architectures and Protocols Vice Chair Makoto Takizawa, Denki University, Japan Languages, Tools, and Software Engineering Vice Chair Samuel Chanson, University of British Columbia, Canada Distributed Algorithms and Methods Vice Chair Michel Raynal, IRISA, France Real-Time and Continuous-Media Issues Vice Chair Wei Zhao, Texas A&M University, USA Tutorials Co-Chairs Gerald Karam, Carleton University, Canada Tadeusz Morzy, Technical University of Poznan, Poland Awards Co-Chairs Lionel M. Ni, Michigan State University, USA Stefano Zatti, IBM Zurich Research Laboratory, Switzerland Publicity Co-Chairs Patrick O. Bobbie, University of West Florida, USA Morris Sloman, Imperial College, UK International Liaison Co-Chairs Nick Cercone, University of Regina, Canada Haruhisa Ichikawa, Nippon Telegraph and Telephone Corporation, Japan Local Arrangements Chair Waldemar Wieczerzycki, Franco-Polish School, Poland Treasurers Doris Carver, Lousiana State University, USA Krystyna Lewandowska, Franco-Polish School, Poland TC on Distributed Processing Chair Bill Buckles, Tulane University, USA Steering Committee Chair Ming T. (Mike) Liu, Ohio State University, USA For more information, please contact: Wojciech Cellary Franco-Polish School of New Information and Communication Technologies P. Mansfelda 4 PO Box 31 60-854 Poznan 6, POLAND Tel: (48)(61) 48.05.49 Fax: (48)(61) 48.35.82 E-mail: cellary@efp.poz.edu.pl Joseph E. Urban Arizona State University Dept. of Computer Science & Engineering Tempe, AZ 85287-5406, USA Tel: (602) 965-2774 Fax: (602) 965-2751 E-mail: jurban@asuvax.eas.asu.edu SPONSORED BY: IEEE COMPUTER SOCIETY POLSKIE TOWARZYSTWO INFORMATYCZNE THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, INC. Supplementary information: Poznan is the capital of the Wielkopolska Province, the cradle of the Polish nation. Situated halfway between Warsaw and Berlin, it is a significant cultural, scientific, industrial, and commercial center. Poznan has many interesting historical buildings, the most famous being the 16th-century Renaissance Town Hall on the Old Market Square. Poznan is also a place of international fairs, which attract companies from the whole world. Consequently, Poznan has a rather substantial hotel capacity in different price categories. Poznan has a well-established technical university where research in distributed systems and databases has been carried on since many years. In March 1992, a new private school, the Franco-Polish School of New Information and Communication Technologies was founded in Poznan. This school belongs to the system of the prestigious French "Grandes Ecoles" of Telecommunications. Next year, this school will have about 100 students, who, besides technical subjects, study intensively French and English. Conference site ICDCS-14 will be held in the former castle from the 19th century, which today serves as the cultural center. Most of the tourist attractions (the Old Town, museums, theaters) as well as hotels are within easy walking distance from this building. Participants One of the main reasons why ICDCS will be held in Poland is to open it up to the participants from the East/Central European countries. Many organizations and companies pledged to support the conference in order to enable a broad participation from these countries. A "Work in Progress" session is planned to provide a forum for researchers whose projects are not yet sufficiently well advanced to merit a full conference paper. Workshop on Services in Distributed and Networked Environments This workshop is planned to be held in Prague, Czech Republic, June 27-28, 1994, that is, just after ICDCS-14. Given enough interest, a special bus will be organized to take those people who wish to participate in both events from Poznan to Prague. There are also direct trains between the two cities as well as a regular bus service. ------------------------------ End of DAI-List Digest Issue #124 *********************************