From owner-gann-list Fri Sep 8 17:17:56 1995 Received: (from mdomo@localhost) by cs.iastate.edu (8.6.12/8.6.9) id QAA20259 for gann-list-outgoing; Fri, 8 Sep 1995 16:53:28 -0500 Received: from ren.cs.iastate.edu (ren.cs.iastate.edu [129.186.3.41]) by cs.iastate.edu (8.6.12/8.6.9) with ESMTP id QAA20214 for ; Fri, 8 Sep 1995 16:52:20 -0500 From: GANN List Admin Received: (gannadm@localhost) by ren.cs.iastate.edu (8.6.12/8.6.9) id QAA24797 for gann-list@cs.iastate.edu; Fri, 8 Sep 1995 16:52:18 -0500 Reply-To: Robert Elliott Smith X-Originator: Robert Elliott Smith Message-Id: <9509081925.AA19501@comec4.mh.ua.edu> To: ml@ics.uci.edu, psych%tcsvm.bitnet@cunyvm.cuny.edu, news-announce-conferences@uunet.uu.net, neuron@hplabs.hpl.hp.com, biosci@largo.ig.com, ETHOLOGY%FINHUTC.BITNET@cunyvm.cuny.edu, neuro-evolution@cse.ogi.edu, alife@cognet.ucla.edu, neuron@hplabs.hpl.hp.com, biosci%net.bio.net@vm1.nodak.edu, ga-list@aic.nrl.navy.mil, Connectionists@CS.CMU.EDU, simulation@bikini.cis.ufl.edu, IE-list@cs.ucl.ac.uk, EP-List@magenta.me.fau.edu, genetic-programming@CS.Stanford.EDU, gann@cs.iastate.edu, neuron-request@cattell.psych.upenn.edu, reinforce@cs.uwa.edu.au, AILIST@SRI-AI.mh.ua.edu, ckarr@buster.eng.ua.edu Subject: Special AI session of SECTAM XVIII Date: Fri, 08 Sep 95 14:25:58 -0600 Sender: owner-gann-list@cs.iastate.edu Precedence: bulk AI Techniques in Engineering and Mechanics A Special Session of EIGHTEENTH SOUTHEASTERN CONFERENCE ON THEORETICAL AND APPLIED MECHANICS April 14 - 16, 1996 TUSCALOOSA, ALABAMA Artificial Intelligence (AI) techniques are now being used by the practicing engineer to solve a whole range of heretofore intractable problems. This session will consist of paper presentations describing the practical application of AI in all branches of engineering and mechanics, and thus will serve as a forum for the transfer of knowledge in this rapidly developing field. Papers are welcome from individuals and research groups on the subject of applications of AI including, but not limited to, the following topics: Systems and techniques such as: Expert systems, knowledge acquisition, knowledge-based systems, interactive knowledge-based systems, intelligent CAD/CAM systems, signal processing, sensor and data fusion, adaptive learning systems, neural networks, performance analysis, machine-vision systems, deductive databases, knowledge representation, modelling, learning heuristics, intelligent control systems, fuzzy logic, and genetic algorithms. Engineering applications including: Manufacturing, industrial engineering, production engineering, chemical engineering, civil engineering, electrical engineering, mechanical engineering, process control, robotics, autonomous vehicles, and communication. To submit a paper to the special session, follow instructions in the general SECTAM XVIII announcement (included below). Please indicate that the paper is for the AI special session. Contact persons for information on the special session are: Robert E. Smith Phone: (205) 348-1618 Email: rob@comec4.mh.ua.edu and Charles L. Karr Phone: (205) 348-0066 Email: ckarr@buster.eng.ua.edu Department of Engineering Science and Mechanics University of Alabama Box 870278 Tuscaloosa, AL 35487 Fax: (205) 348-7240 ----------------------------------------------------------------- CALL FOR PAPERS SECTAM XVIII EIGHTEENTH SOUTHEASTERN CONFERENCE ON THEORETICAL AND APPLIED MECHANICS April 14 - 16, 1996 TUSCALOOSA, ALABAMA Hosted by The University of Alabama ABOUT THE CONFERENCE The Southeastern Conference on Theoretical and Applied Mechanics (SECTAM) has been held biannually since 1962 to provide a forum for researchers from all over the world to publish the results of their investigations and to promote the exchange of new ideas in theoretical and applied mechanics. During the past thirty-three years, SECTAM has gained an international reputation for high quality presentations and proceedings. Practitioners from industry, government, and education are invited to participate. The program consists of a keynote address and invited and contributed papers. TOPICS Original papers are solicited in all areas of theoretical and applied mechanics and related topics. Papers are especially sought in the areas of biomechanics and penetration/impact dynamics in which symposia are planned. If researchers would like to propose additional symposia in other areas, please contact H. B. Wilson. INSTRUCTIONS FOR AUTHORS Research results can be submitted either as an abstract or a full-length paper. Only full-length papers will be published in the hardback proceedings of the conference. Both abstracts and full-length papers will be reviewed. Accepted abstracts and full- length papers will be presented at the conference. Abstracts Abstracts are required for review by the Editorial Committee. Authors of accepted abstracts will present their work at the conference. Abstracts are limited to two single-spaced pages in length. Abstracts will be reprinted in a soft-cover collection and available for attendees at the conference. Full-length Papers Full-length papers are required for review by the Editorial Committee. Authors of accepted papers will be instructed to provide a complete camera-ready manuscript. Accepted papers will be presented at the conference and will be published in the hard-bound proceedings, which will be available at the time of the conference. Student Paper Competition After the successful student program introduced in 1992, SECTAM is proud to organize the Third Student Paper Competition. Student papers must be authored by students only. Faculty collaboration, if any, should be recognized in an acknowledgment section. Papers in this category will also be reviewed by the Editorial Committee and must adhere to the conference guidelines and deadlines. Authors of accepted papers will be instructed to provide a complete camera-ready manuscript for publication in the hard-bound proceedings and are expected to present their work at the conference. A panel of judges will evaluate paper presentations and select the best papers. Plaques and cash prizes will be awarded to the authors of the best papers during the conference. Awards for the best three papers are $300, $200, and $100. Specially Organized Technical Sessions and Panel Discussions Individuals and/or groups who wish to organize technical sessions or panel discussions focusing on specific technical issues of current interest should write to the Conference Executive Chair by June 30, 1995 describing the proposed session. Full- length papers for these special sessions must be submitted to the Editorial Committee Chair. Mail three copies of full-length papers or abstracts by September 30, 1995 to: H. B. Wilson, Editorial Committee Chair, SECTAM XVIII Department of Engineering Science and Mechanics University of Alabama Box 870278 Tuscaloosa, AL 35487-0278 email: hwilson@ua1vm.ua.edu EDITORIAL COMMITTEE H. B. Wilson, University of Alabama, Chair W. F. Ames, Georgia Institute of Technology R. C. Batra, Virginia Polytechnic Institute and State University C. W. Bert, University of Oklahoma R. A. Schapery, University of Texas at Austin D. S. Stewart, University of Illinois F. F. Swinson, Oak Ridge National Laboratory EXECUTIVE COMMITTEE J. L. Hill, University of Alabama, Chair K. K. Stevens, Florida Atlantic University, Vice Chair H. B. Wilson, University of Alabama, Editorial Committee Chair S. C. Gambrell, Jr., University of Alabama, Secretary/Treasurer T. H. Moulden and B. N. Antar, SECTAM XVI, University of Tennessee Space Institute F. A. Akl, SECTAM XVII, Louisiana Tech University DEADLINES June 30, 1995 Proposals for specially organized technical sessions and/or panel discussions September 30, 1995 Deadline for full-length papers December 30, 1995 Notification of acceptance January 31, 1996 Deadline for camera-ready manuscripts February 15, 1996 Program and conference material mailed to prospective participants March 8, 1996 Deadline for conference rates at hotels April 14-16, 1996 Conference CONFERENCE INFORMATION For technical information, please contact: J. L. Hill, SECTAM XVIII Executive Chair Department of Engineering Science and Mechanics University of Alabama Box 870278, 210 Hardaway Hall Tuscaloosa, AL 35487-0278 Phone: (205) 348-1628 FAX: (205) 348-7240 email: jhill@ua1vm.ua.edu For general information, please contact: Ms. Patty Stewart, SECTAM XVIII University of Alabama Box 870278 Tuscaloosa, AL 35487-0278 Phone: (205) 348-7251 FAX: (205) 348-7240 email: mhdept@ua1vm.ua.edu World Wide Web: http://hamton.eng.ua.edu/college/orgs/esm/sectam.html REGISTRATION FORM SECTAM XVIII, April 14-16, 1996, Tuscaloosa, Alabama Name: ________________________________ Title: __________________________________________ Address _______________________________ ___________________________________________________ City ________________________________ State/Country _______________________ Zip ___________ Telephone _____________ Fax _______________ Email (internet) ___________________________________ PLEASE CHECK APPROPRIATE ITEMS BELOW: Registration fee: _____ $175 early bird or _____ $200 after February 28, 1996 (including the costs of a copy of the proceedings, a banquet, a lunch, and two breakfasts) Author page charge: $17/single-spaced page of camera-ready manuscript Total page charge _________________________ Student registration fee for technical sessions only (meals and proceedings extra): _____ $35 early bird or _____ $45 after February 28, 1996 (Authors of student papers are exempt from page charges.) ______ Amount enclosed: __________________________________ ______ I am interested in the Spouse/Friends Program. Please make check, money order, or draft payable in U.S. currency to: The University of Alabama - SECTAM XVIII Please mail the completed form with payment to: Registration Services College of Continuing Studies University of Alabama Box 870388 Tuscaloosa, AL 35487-0388 Phone in Registration (credit card only): (205) 348-3000 Fax Registration (credit card or purchase order): (205) 348-6614 Fax or phone in registration must have PO # or credit card # and information. If PO # is used, please attach. THE BRYANT CONFERENCE CENTER & HOTEL The Bryant Conference Center will be the site for SECTAM XVIII. The Bryant Conference Center and Sheraton Capstone Inn are located on the campus of the University of Alabama and adjacent to the Paul Bear Bryant Museum. The hotel offers high quality service in a cordial atmosphere with modern comfortable facilities. Room rates per night for the conference are: Single Occupancy: $65.00 Double Occupancy: $75.00 For reservations, please call the Sheraton Capstone Inn (205) 752-3200. The cut-off date for hotel conference rates is March 8, 1996. Alternatively, the newly-constructed Hampton Inn is located less than a mile from campus and may be reached at (205) 553-9800. Room rates per night are: Single Occupancy: $50.00 Double Occupancy: $55.00 Information about other accommodations will be provided with your registration confirmation. TRAVEL INFORMATION Direct airline service to Tuscaloosa, Alabama is available on American Eagle from their hub in Nashville, Tennessee. Most major airlines fly into Birmingham International Airport. Tuscaloosa is a one-hour trip southwest on I20/59 from Birmingham. Car rentals are available at the airport. SPOUSES/FRIENDS PROGRAM Information about the Spouses/Friends Program will be available at registration. Please check the box on the registration form to receive more information on such area attractions as: Mound Archaeological Park and Museum (Native American Archeology, Geology) Historical University Campus Buildings Gulf States Paper Corporation (Guided Tours of a Fabulous Collection of American Art) Scenic Tannehill State Park (Museum, Crafts, Nature Trails, Civil War Iron Works, Water Powered Grist Mill) PLEASE POST OR SHARE WITH OTHERS The University of Alabama is an affirmative action/equal opportunity institution. From owner-gann-list Mon Sep 18 13:06:22 1995 Received: (from mdomo@localhost) by cs.iastate.edu (8.6.12/8.6.9) id MAA02054 for gann-list-outgoing; Mon, 18 Sep 1995 12:37:30 -0500 Received: from ren.cs.iastate.edu (ren.cs.iastate.edu [129.186.3.41]) by cs.iastate.edu (8.6.12/8.6.9) with ESMTP id MAA02045 for ; Mon, 18 Sep 1995 12:37:25 -0500 From: GANN List Admin Received: (gannadm@localhost) by ren.cs.iastate.edu (8.6.12/8.6.9) id MAA02596 for gann-list@cs.iastate.edu; Mon, 18 Sep 1995 12:31:43 -0500 Reply-To: CELLIER@cadmus.ece.arizona.edu X-Originator: CELLIER@CADMUS.ece.arizona.edu Date: Sun, 17 Sep 1995 16:30:58 -0700 (MST) To: gann-list@cs.iastate.edu Message-Id: <950917163059.20a0005c@CADMUS.ece.arizona.edu> Subject: ICQFN'96: Call for Papers Sender: owner-gann-list@cs.iastate.edu Precedence: bulk ANNOUNCEMENT AND CALL FOR PAPERS The Society for Computer Simulation International (SCS) presents: 1996 2ND INTERNATIONAL CONFERENCE ON QUALITATIVE INFORMATION, FUZZY TECHNIQUES, AND NEURAL NETWORKS IN SIMULATION June 3-6 1996, Budapest, Hungary Part of the 1996 SCS European Multiconference on Computer Simulation The 1996 2nd International Conference on Qualitative Information, Fuzzy Techniques, and Neural Networks in Simulation brings together research paper presentations, panel sessions, tutorials, workshops, seminars, industrial applications, and software demonstrations that make use of qualitative information of some sort or other in models of dynamic systems for the purpose of simulation. Research papers are welcome in the following categories of presentation sessions. . Tutorials . Time-dependent Expert Systems . Panel Discussions . Qualitative Data Bases . Software and Tools for Simulation . Theory . Associative Memory . Common Sense Reasoning for Simulation about Dynamical Processes . Fuzzy Information Models . Inductive Reasoning . Fuzzification and Defuzzification about Dynamical Processes . Treatment of Uncertainty . Knowledge-based Reasoning in Dynamical Systems about Dynamical Processes . Treatment of Incomplete Knowledge . Naive Physics about Dynamical Systems . Neural Networks . Assumptions and Belief Systems for Dynamical Processes . Models of Human Reasoning Processes . Fault Monitoring and Diagnosis In recent years, more and more papers were published that combine several of the known qualitative knowledge representation techniques in a combined algorithm. For example, a number of papers have lately been published on fuzzy neural networks. We therefore believe that it makes sense to bring the experts on and advocates of the various techniques together in one conference. There are many conferences convened every year relating to Neural Networks and/or Fuzzy Systems. ICQFN'96 is not a competitor of these conferences. ICQFN is really a modeling/simulation conference (as will be the flavor of all the tracks offered within ESM). ESM is one of the biggest and most prominent modeling/simulation events in Europe. Within this overall effort, ICQFN'96 plays a special role. Just as AI researchers have often considerable problems with processing precise quantitative information in their schemes, simulation researchers have traditionally had difficulties with processing qualitative and imprecisely known information. This is what ICQFN is all about: providing the modeling/simulation researchers with methodological tools that shall enable them to process qualitative and imprecisely known information in their models and simulation programs. Neural networks and fuzzy systems are simply two of the vehicles that can be used to accomplish this. ICQFN'96 is the second conference of its kind. The first ICQFN conference has been held in early June 1994 in Barcelona, Spain, as part of the ESM'94 MultiConference. The effort led to a rather successful meeting in which roughly 40 papers of high quality were presented, a medium-size track within the overall MultiConference that usually offers somewhere around six to seven different conferences with somewhere in the order of 200-250 papers altogether. Since the registration fee for the MultiConference provides access to all conferences, and since the attendees receive the proceedings of the entire MultiConference, there has always been quite a bit of walk-over between presentations of the individual conferences. We found that in most of the presentations of ICQFN'94, we had more than 40 people sitting, indicating that more attendees migrated to our track than emigrated away from it. The other conferences within ESM'96 shall cover the following topics: -> Simulation in Aerospace -> Simulation in Economics -> Simulation in Electronics and Telecommunication -> Simulation Methodology and AI -> Analytical and Numerical Modeling Techniques -> Mission Earth DEADLINES: . December 20, 1995 Extended Abstracts or full paper drafts due. . February 16, 1996 Notification of acceptance/rejection to authors. . April 10, 1996 Camera Ready Copies due. Please, send four copies of extended abstracts (from four to six pages in typing excluding figures and tables) or drafts of full papers (a maximum of twelve pages in typing) to the General Chair of ICQFN'96. Electronic submissions in the form of uuencoded compressed postscript files are highly encouraged. Abstracts without figures and/or complicated formulae can also be submitted as straight ASCII text files. Please, provide your name, affiliation, full mailing address, telephone number, FAX number, and EMail address. Indicate clearly that your paper is being submitted to ICQFN'96. Each manuscript will be reviewed by at least two members of the International Program Committee of ICQFN'96. General Chairperson of ICQFN'96 ------------------------------- Francois E. Cellier, Ph.D. Phone: +1(520)621-6192 Associate Professor FAX: +1(520)621-8076 Dept. of Electr. and Computer Engr. EMail: Cellier@ECE.Arizona.Edu University of Arizona TUCSON, AZ 85721 U.S.A. Program Chairperson of ICQFN'96 ------------------------------- Dr. Josep Aguilar Martin Phone: +34(3)739-8144 Grup SAC, Dept. ESAII FAX: +34(3)739-8101 ETSEIT-UPC smtp%"Aguilar@ESAII.UPC.ES" Colom, 11 E-08222 TERRASSA, Catalunya Spain Dr. Josep Aguilar Martin Phone: +33(61)33-6200 Groupe DHP, op. AQSE FAX: +33(61)55-3577 or 33-6455 Laboratoire d'Automatique et d'Analyse smtp%"Aguilar@LAAS.FR" des Systemes (L.A.A.S.) Centre National de la Recherche Scientifique (C.N.R.S.) 7 Ave Colonel Roche F-31077 TOULOUSE Cedex France Local Arrangements Chairperson of ICQFN'96 ------------------------------------------ Prof. Dr. Katalin Hangos Phone: +36(1)166-7483 or 181-0990 Computer and Automation Institute FAX: +36(1)166-7503 Hungarian Academy of Sciences smtp%"Hangos@DECSt.SCL.Sztaki.HU" Kende utca 13-17 H-1518 BUDAPEST Hungary International Program Committee of ICQFN'96 ------------------------------------------- Robert Babuska Delft University of Technology Netherlands Silvano Colombano NASA Ames Research Center U.S.A. Massimo De Gregorio Institute of Cibernetics Italy Paul Fishwick University of Florida U.S.A. Fernando Gomide Univeristy of Campinas Brazil Madan Gupta University of Saskatchewan Canada Kurt Hornik Technical University of Vienna Austria Rafael Huber Technical University of Catalonia Spain Yumi Iwasaki Stanford University U.S.A. Mohamed Jamshidi University of New Mexico U.S.A. Dani Juricic Josef Stefan Institute Slovenia Eugene Kerckhoffs Delft University of Technology Netherlands George Klir S.U.N.Y. Binghamton U.S.A. Bart Kosko University of Southern California U.S.A. Granino Korn G.A. & T.M. Korn Associates U.S.A. Derek Linkens University of Sheffield United Kingdom Hiroshi Narazaki Kobe Steel Ltd. Japan Kevin Passino Ohio State University U.S.A. Witold Pedrycz University of Manitoba Canada Ethan Scarl The Boeing Company U.S.A. Walter Schaufelberger E.T.H. Zurich Switzerland Miroslav Snorek Czech Technical University Czech Republic Georgios Stavrakakis Technical University of Crete Greece Jan-Erik Stromberg Linkoeping University Sweden Hideo Tanaka University of Osaka Japan Jan Top Agrotechnological Research Institute Netherlands Louise Trave-Massuyes L.A.A.S. / C.N.R.S. France Tu Van Le University of Camberra Australia Ghislain Vansteenkiste University of Ghent Belgium Takeshi Yamakawa Kyushu Institute of Technology Japan Lotfi Zadeh University of California Berkeley U.S.A. Hans-Juergen Zimmermann R.W.T.H. Aachen Germany =====virtual scissors========================================================== ICQFN'96 -- 2ND INTERNATIONAL CONFERENCE ON QUALITATIVE INFORMATION, FUZZY TECHNIQUES, AND NEURAL NETWORKS IN SIMULATION ******************************************************************** [ ] I plan to submit a paper [ ] I wish to receive the Preliminary Program Name: _____________________________________ Title: ____________________________________ Affiliation: ______________________________ Address: __________________________________ ___________________________________________ ___________________________________________ Phone Number: _____________________________ FAX Number: _______________________________ E_Mail Address: ___________________________ If you wish to receive further information about ICQFN'96, please, fill in the above form and return it to: Cellier@ECE.Arizona.Edu From owner-gann-list Tue Sep 19 18:47:20 1995 Received: (from mdomo@localhost) by cs.iastate.edu (8.6.12/8.6.9) id SAA01595 for gann-list-outgoing; Tue, 19 Sep 1995 18:27:39 -0500 Received: from ren.cs.iastate.edu (ren.cs.iastate.edu [129.186.3.41]) by cs.iastate.edu (8.6.12/8.6.9) with ESMTP id SAA01587 for ; Tue, 19 Sep 1995 18:27:36 -0500 From: GANN List Admin Received: (gannadm@localhost) by ren.cs.iastate.edu (8.6.12/8.6.9) id SAA27881 for gann-list@cs.iastate.edu; Tue, 19 Sep 1995 18:27:33 -0500 Reply-To: Nuno Joao Mamede X-Originator: Nuno Joao Mamede Message-Id: <199509171923.UAA03406@cupido.inesc.pt> X-Authentication-Warning: cupido.inesc.pt: Host localhost didn't use HELO protocol To: gann@cs.iastate.edu Subject: FINAL PROGRAM: EPIA'95 Date: Sun, 17 Sep 95 20:23:29 +0100 X-Mts: smtp Sender: owner-gann-list@cs.iastate.edu Precedence: bulk EPIA'95 - PRELIMINARY PROGRAM SEVENTH PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE Casino Park Hotel, Funchal, Madeira Island, Portugal 3-6 October, 1995 (Under the auspices of the Portuguese Association for AI) The 7th Portuguese Conference on Artificial Intelligence will be held at Funchal, Madeira Island, Portugal, October 3-6, 1995. As in the past, EPIA 95 is an international conference with English as the official language. The conference covers all areas of Artificial Intelligence, including theoretical areas, foundational areas, and applications. The scientific program consists of invited lectures, tutorials, demonstrations and paper presentations. There will also be parallel workshops on Expert Systems, Fuzzy Logic and Neural Networks, and Applications of AI to Robotics and Vision Systems. ====================================================================== FINAL PROGRAM (Summary) ====================================================================== Tuesday - October, 3 95 ~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 12:30 TUTORIAL 1 - Artificial Life and Autonomous Robots Luc Steels 9:00 - 12:30 TUTORIAL 3 - Introduction to Artificial Intelligence Ernesto Costa (in Portuguese) 14:30 - 18:00 TUTORIAL 2 - Virtual Reality - The AI perspective 14:30 - 18:00 TUTORIAL 4 - Design of Expert Systems Ernesto Morgado (in Portuguese) Wednsday - October, 4 95 ~~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 9:30 OPENING SESSION 9:40 - 10:30 QUALITATIVE REASONING 10:30 - 10:50 Coffee break 10:50 - 12:30 NEURAL NETWORKS & DISTRIBUTED ARTIFICIAL INTELLIGENCE 10:50 - 12:30 FUZZY LOGIC & NEURAL NETWORKS WORKSHOP 12:30 - 14:00 Lunch 14:00 - 15:30 Invited Lecture by LUIS B. ALMEIDA (IST - Portugal) "The Connectionist Paradigm and AI" 15:30 - 15:50 Coffee break 15:50 - 18:00 BELIEF REVISION & NON-MONOTONIC REASONING 15:50 - 18:30 FUZZY LOGIC & NEURAL NETWORKS WORKSHOP 15:50 - 18:30 APPLICATIONS OF EXPERT SYSTEMS WORKSHOP 20:00 - Welcome Dinner (With a performance of the Univ. of Madeira "tuna") Thursday - October, 5 95 ~~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 10:30 Invited Lecture by RODNEY BROOKS (MIT - USA) "The Evolutionist Approach - Past, Present and Future of AI" 10:30 - 10:50 Coffee break 10:50 - 12:30 APPLICATIONS OF EXPERT SYSTEMS WORKSHOP 10:50 - 11:40 ROBOTICS AND CONTROL 11:40 - 12:30 POSTER SECTION 12:30 - 14:00 Lunch 14:00 - 15:15 MACHINE LEARNING 15:15 - 15:35 Coffee break 15:35 - 17:05 Invited Lecture by MARVIN MINSKY (MIT - USA) "Why Human Brains Can't Really Think" 17:15 - 18:30 Visit to the Madeira Wine Cellars Friday - October, 6 95 ~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 10:30 INVITED LECTURE by Manuela Veloso (CMU - USA) "Planning and Learning in Intelligent Agents" 10:30 - 10:50 Coffee break 10:50 - 12:30 STREAM 1: PLANNING AND CASE-BASED REASONING 10:50 - 12:30 STREAM 2: CONSTRAINT-BASED REASONING 10:50 - 12:30 APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP 12:30 - 14:00 Lunch 14:00 - 15:30 STREAM 1: AUTOMATED REASONING AND THEOREM PROVING 14:00 - 15:30 STREAM 2: GENETIC ALGORITHMS & THEORY OF COMPUTATION 14:00 - 15:30 APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP 15:30 - 15:50 Coffee break 15:50 - 17:30 PANNEL (The Next Frontiers of AI: the Role of Foundations) 18:00 - 19:00 APPIA meeting 20:00 Farewell Dinner (with folklore dances show) Saturday - October, 7 95 ~~~~~~~~~~~~~~~~~~~~~~~~ TOUR 1 - Island Tour (full day) TOUR 2 - Ribeiro Frio/Portela Walking Tour (full day) TOUR 3 - Eira do Serrado (half day) ====================================================================== PAPERS TO BE PRESENTED IN EACH SESSION ====================================================================== AUTOMATED REASONING AND THEOREM PROVING ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Terminological Meta-Reasoning by Reification and Multiple Contexts Klemens Schnattinger, Udo Hahn, Manfred Klenner CLIF, Freiburg University, Germany A New Continuous Propositional Logic Riccardo Poli, Mark Ryan, Aaron Sloman SCS, The University of Birmingham, UK Super-Polynomial Speed-Ups in Proof Length by New Tautologies Uwe Egly FG Intellektik, TH Darmstadt, Germany BELIEF REVISION ~~~~~~~~~~~~~~~ Belief Revision in Non-Monotonic Reasoning Jose Alferes, Luis Moniz Pereira, T. Przymusinski DM, U. Evora, and CRIA, U. Nova de Lisboa, Portugal, and University of California at Riverside, USA A New Representation of JTMS Truong Quoc Dung IRIDIA, Universite Libre de Bruxelles, Belgium CONSTRAINT-BASED REASONING ~~~~~~~~~~~~~~~~~~~~~~~~~~ The Retrieval Problem in a Concept Language with Number Restrictions Aida Vitoria, Margarida Mamede, Luis Monteiro DI, Universidade Nova de Lisboa, Portugal Formalizing Local Propagation in Constraint Maintenance Systems Gilles Trombettoni INRIA-CERMICS, France A Dependency Parser of Korean Based on Connectionist/Symbolic Techniques Jong-Hyeok Lee, Geunbae Lee Pohang University of Science and Technology, Korea A Symbiotic Approach to Arc and Path Consistency Checking Pierre Berlandier INRIA-CERMICS, France DISTRIBUTED ARTIFICIAL INTELLIGENCE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Adoption, Derivation and Evolution Graca Gaspar, Helder Coelho Faculdade de Ciencias de Lisboa, and INESC, Portugal A Closer Look to Artificial Learning Environments Helder Coelho, Augusto Eusebio, Ernesto Costa INESC, Portugal, and DEI, Universidade de Coimbra, Portugal Building Multi-Agent Societies from Descriptions to Systems: Inter-Layer Translations Helder Coelho, Luis Antunes, Luis Moniz INESC, Portugal GENETIC ALGORITHMS ~~~~~~~~~~~~~~~~~~ System Jose Ramon Zubizarreta, Javier Arrieta Facultad de Informatica de San Sebastian, Spain MACHINE LEARNING ~~~~~~~~~~~~~~~~ A Controlled Experiment: Evolution for Learning Difficult Image Classification Astro Teller, Manuela Veloso Carnegie Mellon University, USA Minimal Model Complexity Search Chris McConnell CMU School of Computer Science, USA Characterization of Classification Algorithms Joao Gama, Pavel Brazdil LIACC, Universidade do Porto, Portugal NEURAL NETWORKS ~~~~~~~~~~~~~~~ Neurons, Glia and the Borderline Between Subsymbolic and Symbolic Processing J. G. Wallace, K. Bluff Swinburne University of Technology, Australia NON-MONOTONIC REASONING ~~~~~~~~~~~~~~~~~~~~~~~ Arguments and Defeat in Argument-Based Nonmonotonic Reasoning Bart Verheij University of Limburg, The Netherlands A Preference Semantics for Ground Nonmonotonic Modal Logics Daniele Nardi, Riccardo Rosati DIS, Universita di Roma ``la Sapienza", Italy Logical Omniscience vs. Logical Ignorance On a Dilemma of Epistemic Logic Ho Ngoc Duc ILPS, University of Leipzig, Germany PLANNING AND CASE-BASED REASONING ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ On the Role of Splitting and Merging Past Cases for Generation of New Solutions Carlos Bento, Penousal Machado, Ernesto Costa DEI, Universidade de Coimbra, Portugal Theorem Proving by Analogy - A Compelling Example Erica Melis Department of AI, University of Edimburgh, Scotland Non-Atomic Actions in the Situation Calculus Jose Julio Alferes, Renwei Li, Luis Moniz Pereira CRIA and DCS, Universidade Nova de Lisboa, Portugal Planning under Uncertainty: A Qualitative Approach Nikos Karacapilidis FIT.KI, GMD, Sankt Augustin, Germany QUALITATIVE REASONING ~~~~~~~~~~~~~~~~~~~~~ Qualitative Reasoning under Uncertainty Daniel Pacholczyk DMI, U.F.R., Science d'Angers, France Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics Jaques Reifman, Thomas Y.C. Wei Argonne National Laboratory, USA ROBOTICS AND CONTROL ~~~~~~~~~~~~~~~~~~~~ Integrated Process Supervision (IPS): A Structured Approach to Expert Control Chai Quek, P.W. Ng, M. Pasquier Nanyang Technological University, Singapore Using Stochastic Grammars to Learn Robotic Tasks Pedro Lima, George Saridis ISR, Technical Univ. of Lisbon, Portugal, and Rensselaer Polytechnic Institute, USA THEORY OF COMPUTATION ~~~~~~~~~~~~~~~~~~~~~ Constraint Categorial Grammars Luis Damas, Nelma Moreira LIACC, Universidade do Porto, Portugal A New Translation Algorithm from Lambda Calculus into Combinatory Logic Sabine Broda, Luis Damas LIACC, Universidade do Porto, Portugal POSTER SECTION ~~~~~~~~~~~~~~ Interlocking Multi-Agent and Blackboard Architectures Bernhard Kipper DCS, University of Saarbrucken, Germany A Model Theory for Paraconsistent Logic Programming Carlos Viegas Damasio, Luis Moniz Pereira CRIA, and DCS, Universidade Nova de Lisboa, Portugal Promoting Software Reuse Through Explicit Knowledge Representation Carmen Fernandez-Chamizo, Pedro A. Gonzalez-Calero, Mercedes Gomez-Albarran Universidad Complutense, Spain Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm Gildas Cherruel, Bassel Solaiman, Yvon Autret Univ. de Bretagne Occidentale, and TNI, and ENSTB, France An Non-Diffident Combinatorial Optimization Algorithm Gilles Trombettoni, Bertrand Neveu INRIA-CERMICS, France Modelling Diagnosis Systems with Logic Programming Iara Mora, Jose Alferes CRIA, U. Nova de Lisboa, and DM, U. Evora, Portugal Agreement: A Logical Approach to Approximate Reasoning Luis Custodio, Carlos Pinto-Ferreira ISR, Technical University of Lisbon, Portugal Constructing Extensions by Resolving a System of Linear Equations Messaoudi Nadia Universite Aix-Marseille II, France Presenting Significant Information in Expert System Explanation Michael Wolverton Daresbury Rutherford Appleton Laboratory, UK A Cognitive Model of Problem Solving with Incomplete Information Nathalie Chaignaud LIPN, Universite Paris-Nord, France Filtering Software Specifications Written In Natural Language Nuria Castell, Angels Hernandez Universitat Politecnica de Catalunya, Spain Parsimonious Diagnosis in SNePS Pedro A. Matos, Joao P. Martins DEM, Technical University of Lisbon, Portugal Syntactic and Semantic Filtering in a Chart Parser Sayan Bhattacharyya, Steven L. Lytinen University of Michigan, and DePaul University, USA GA Approach to solving Multiple Vehicle Routing Problem Slavko Krajcar, Davor Skrlec, Branko Pribicevic, Snjezana Blagajac Faculty of Electrical Eng. and Computing, Croatia Multilevel Refinement Planning in an Interval-Based Temporal Logic Werner Stephan and Susanne Biundo German Research Center for AI, Germany APPLICATIONS OF EXPERT SYSTEMS WORKSHOP ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Wednesday, 4 15:50 - 16:15 CGD - An Expert System for Loan Analysis Decision Vasco Moreira, Andre Frazao, Elisabete Silva, Ernesto Costa Caixa Geral de Depositos, Dir. Organizacao Informatica Lisboa, Portugal 16:15 - 16:40 A Quantitative Method for Performing A Cost-Benefit Analysis of Expert System Projects Ramu Kannan, Reza Khorramshahgol, Mohan Tanniru Dept. of Management Science and Economics, Coppin State College, Baltimore, USA 16:40 - 17:05 DARE: a Knowledge-Based System for the Diagnosis of Neuromuscular Disorders J. Cruz, P. Barahona, A. P. Figueiredo, M. Veloso, M. Carvalho UNINOVA, Portugal 17:05 - 17:30 A Cooperative Multi-Agent System for Strategic Decision Making Suzanne Pinson Jorge Louca Universite Paris IX - Dauphine, Paris, France 17:30 - 17:55 Sergio Rosa, Beatriz Leao Instituto de Informatica UFRGS, Porto Alegre, Brasil Thursday, 5 10:50 - 11:15 PERMEX - Expert System for Corrosion Failure Analysis Fernando Lopes, A. Novais, N. Mamede, C. Rangel INETI, DMS, Lisboa, Portugal 11:15 - 11:40 Architectural Aspects of an Intelligent DSS for Flow Shop Production Control Ioannis Hatzilygeroudis, D. Sofotassios, N. Dendris, P. Spirakis, A. Tsakalidis Dept. of Computer Engin. and Informatics, Univ. of Patras, Greece 11:40 - 12:05 Advances in Explanation Facilities for Expert Systems Keith Darlington School of Computing, Information Systems and Mathematics South Bank University, London, UK 12:05 - 12:30 A Deferred Communication in a Parallel Distributed Expert System Shell Wided Lejouad SECOIA Project, Sophia Antipolis, France APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Friday, 6 10:50 - 11:15 Designing and Implementing Real Walking Agents Using Virtual Environments Aleix Martinez Universitat Autonoma de Barcelona, Dept. Informatica, Spain 11:15 - 11:40 Multi-Layer Perceptrons for Task Visual Servoing in Robotics Nadine Rondel, Gilles Burel Thomson CSF-LER, France 11:40 - 12:05 Heuristic Autonomous Mobile Robot Using Visual Servoing Jean-Charles Bonin, Fernandoo De Carvalho Gomes Laboratorio de Inteligencia Artificial-LIA, Fortaleza, Brasil 12:05 - 12:30 An Integrated Approach to Position a Robot Arm in a System for Planar Part Grasping Pedro Sanz, Juan Domingo Universitat Jaume I, Dpto. Informatica, Castellon, Spain 14:00 - 14:25 Learning and Recall of Robot Manipulator Motions Using Driver Programs Frank Smieja, Uwe Bayer GMD, Schloss Birlinghoven, Germany 14:25 - 14:50 Selective Visual Perception Driven by Cues from Speech Processing Reinhard Moratz AG Angewandte Informatikj, Universitaet Bielefeld, Germany 14:50 - 15:15 Autonomous Robots and Active Vision Systems: Issues on Architectures an Integration Helder Araujo, Jorge Dias, Jorge Batista, Paulo Peixoto ISR-Coimbra, Universidade de Coimbra, Portugal 15:15 - 15:35 Learning from Perception, Success and Failure in a Team of Autonomous Mobile Robots Arvin Agah, George Bekey Inst. for Robotics and Intell.Syst., Univ. of Southern California, USA FUZZY LOGIC & NEURAL NETWORKS WORKSHOP IN ENGINEERING ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Wednesday, 4 - Session 1 10:50 - 11:15 A Fuzzy Logic Controller for Supraconductivity Measuring N. Zimic, J. Ficzko, M. Mraz, J. Virant Faculty of Electrical & Computer Engineering Science University of Ljubljana, Slovenia 11:15 - 11:40 Complex Data and Fuzziness in Database Applications Adnan Yazici Dept. of Computer Engineering, Middle East Technical University, Turkey 11:40 - 12:05 Car License Plate Recognition with Neural Networks and Fuzzy Logic J. Nijhuis, et.al. Dept. of Computer Science, Groningen University, The Netherlands 12:05 - 12:30 Similarity-Based Self-organized Clustering Jurgen Rahmel Center for Learning Systems & Applications, University of Kaiserslautern, Germany 15:50 - 16:15 On the Representation of Data for Optimal Learning M. Brugge, J. Nijhuis, W. Jansen, H. Drenth, L. Spaanenburg Dept. of Computer Science, Groningen University, The Netherlands 16:15 - 16:40 Artificial Neural Net-Based Controllers for Real Process Control Petr Pivonka, Jan Zizka Dept. of Automatic Control and Instrumentation Technical University of Brno, Czech Republic 16:40 - 17:05 A Production Line for Generating Clinical Decision Support Systems Patrik Eklund Dept. of Computing Science, Umea University, Sweden 17:05 - 17:30 Knowledge Discovery Using Hierarchical Connectionist Marie Pai, Robin Ying AT&T Bell Laboratories, USA 17:30 - 17:55 Growing Filters for Finite Impulse Response Networks M. Diepenhorst, J. Nijhuis, R. Venema, L. Spaanenburg Dept. of Computer Science, Groningen University, The Netherlands ====================================================================== ENQUIRIES ADDRESS ====================================================================== EPIA'95 - INESC E-mail: epia95@inesc.pt Av. Alves Redol, 9 Fax: 351-1-525843 1000 Lisboa Voice: 351-1-3100325 PORTUGAL Home Page: http://www.isr.ist.utl.pt/~cpf/epia95 ====================================================================== SUPPORTERS ====================================================================== Banco Nacional Ultramarino Governo Regional da Madeira Instituto Superior Tecnico SISCOG - Sistemas Cognitivos INESC CITMA IBM TAPair Portugal =========================== Last Line ================================ From owner-gann-list Tue Sep 19 18:47:21 1995 Received: (from mdomo@localhost) by cs.iastate.edu (8.6.12/8.6.9) id SAA04933 for gann-list-outgoing; Tue, 19 Sep 1995 18:32:17 -0500 Received: from ren.cs.iastate.edu (ren.cs.iastate.edu [129.186.3.41]) by cs.iastate.edu (8.6.12/8.6.9) with ESMTP id SAA04869 for ; Tue, 19 Sep 1995 18:32:13 -0500 From: GANN List Admin Received: (gannadm@localhost) by ren.cs.iastate.edu (8.6.12/8.6.9) id SAA28177 for gann-list@cs.iastate.edu; Tue, 19 Sep 1995 18:32:11 -0500 Reply-To: peter@ai.iit.nrc.ca (Peter Turney) X-Originator: peter@ai.iit.nrc.ca (Peter Turney) Date: Tue, 19 Sep 1995 14:46:45 +0500 Message-Id: <9509191846.AA12114@ksl0j.iit.nrc.ca> To: gann@cs.iastate.edu Subject: Second and Final CFP: special issue of Evolutionary Computation Cc: peter@ai.iit.nrc.ca X-Sun-Charset: US-ASCII Content-Length: 1113 Sender: owner-gann-list@cs.iastate.edu Precedence: bulk Second and Final Call for Papers EVOLUTIONARY COMPUTATION Special Issue on EVOLUTION, LEARNING, AND INSTINCT: 100 YEARS OF THE BALDWIN EFFECT In 1896, James Mark Baldwin proposed that individual learning can explain evolutionary phenomena that appear to require Lamarckian inheritance of acquired characteristics. The ability of individuals to learn can guide the evolutionary process. In effect, learning smoothes the fitness landscape, thus facilitating evolution. A special issue of Evolutionary Computation is planned for 1996, the 100th anniversary of Baldwin's paper. See "http://ai.iit.nrc.ca/baldwin/cfp.html" on the World Wide Web or send a message to peter@ai.iit.nrc.ca. Manuscripts due: February 1, 1996 Acceptance notification: May 1, 1996 Final manuscript due: August 1, 1996 Planned Publication date of issue: December 1996 Guest Editors: Peter D. Turney, National Research Council, Canada Darrell Whitley, Colorado State University, USA Russell W. Anderson, University of California, USA From owner-gann-list Mon Sep 25 15:51:41 1995 Received: (from mdomo@localhost) by cs.iastate.edu (8.6.12/8.6.9) id PAA03766 for gann-list-outgoing; Mon, 25 Sep 1995 15:12:51 -0500 Received: from ren.cs.iastate.edu (ren.cs.iastate.edu [129.186.3.41]) by cs.iastate.edu (8.6.12/8.6.9) with ESMTP id PAA03710 for ; Mon, 25 Sep 1995 15:11:24 -0500 From: GANN List Admin Received: (gannadm@localhost) by ren.cs.iastate.edu (8.6.12/8.6.9) id PAA09096 for gann-list@cs.iastate.edu; Mon, 25 Sep 1995 15:11:22 -0500 Reply-To: furuhashi@nuee.nagoya-u.ac.jp (T. Furuhashi) X-Originator: furuhashi@nuee.nagoya-u.ac.jp (T. Furuhashi) Message-Id: <9509250734.AA21399@gemini.bioele.nuee.nagoya-u.ac.jp> Date: Mon, 25 Sep 1995 16:34:14 +0900 To: gann@cs.iastate.edu, eaga@athena.mit.edu X-Sender: furu@gemini.bioele.nuee.nagoya-u.ac.jp Subject: Call for papers of online workshop Mime-Version: 1.0 Content-Type: text/plain; charset=iso-2022-jp X-Mailer: Eudora-J(1.3.7-J12) Sender: owner-gann-list@cs.iastate.edu Precedence: bulk This is the first CFP of a new style of workshop. Please submit electric papers! ********************************************************************* * * * CALL FOR PAPERS * * * * First Online Workshop on Evolutionary Computation * * * * Oct. 9 (Mon) - Oct. 13 (Fri) * * * * On Internet (WWW (World Wide Web) ) Served by Nagoya University * * * * Sponsored by * * Research Group on ECOmp of * * the Society of Fuzzy Theory and Systems (SOFT) * * * ********************************************************************* We call for your papers for online discussions using the Internet. The goal of this workshop is to give its attendees opportunities to exchange information and ideas on various aspects of Evolutionary Computation and "save travel expenses" without having to visit foreign countries. We aim to have ample discussion time between the authors and attendees and make them visible to everyone on the Internet. We all look forward to your active participation. TOPICS: Theory of evolutionary computation Applications of evolutionary computation Artificial life and biologically inspired evolutionary computation Evolutionary algorithms for computational intelligence Evolutionary computation for neural networks Fuzzy logic in evolutionary algorithms IMPORTANT DATES: Deadline for Submission of Abstracts and Main Text : September 30, 1995 Workshop Week : October 9 - 13, 1995 SUBMISSION PROCEDURE: Send an abstract and main text to the address below. The abstract should be in text file. The main text should be in text file or in ps (post script) file. mail address is: wec@bioele.nuee.nagoya-u.ac.jp Another alternative is that if you prepare a WWW page for your main text,please send us only the abstract and tell us the Internet address(URL), and yours will be linked to our WWW page. The steering committee will make your abstracts visible on the Internet. The home page address is: WWW: http://www.bioele.nuee.nagoya-u.ac.jp/wec/ DISCUSSION PROCEDURE: 1. Read the abstracts. 2. Copy the main texts (ps file) of interested papers. 3. Send questions and comments to wec@bioele.nuee.nagoya-u.ac.jp (The steering committee will edit the questions from attendees and send them to the authors. It will receive answers from the authors and make the Q&A visible on the Internet.) 4. Read the answers from the authors on http://www.bioele.nuee.nagoya-u.ac.jp/wec/ 5. Repeat the above items 3 and 4 until you are satisfied. OFFICAL LANGUAGE: English (Notice shold be made that the main texts in ps file should not include any fonts other than English.) * Note: This is the first trial and your paper is visible to anyone. Submit a paper which has already been presented at any past conferences. Please clarify the source of your paper. For further information, contact: Takeshi Furuhashi Dept. of Information Electronics Nagoya University, Furo-cho, Chikusaku Nagoya 464-01, Japan Tel. +81-52-789-2792 Fax. +81-52-789-3166 E-mail furuhashi@nuee.nagoya-u.ac.jp ORGANIZATION: Advisory Committee Chair: T.Fukuda(Nagoya University) M.Gen(Ashikaga Institute of Tech.) I.Hayashi(Han-nan University) H.Ishibuchi(University of Osaka pref.) Y.Maeda(Osaka Electro-Comm. Univ.) M.Sakawa(Hiroshima University) M.Sano(Hiroshima City University) M.Shibata(MEL, MITI) H.Shiizuka(Kogakuin University) K.Tanaka(Kanazawa University) N.Wakami(Matsushita Elec. Ind. Co., Ltd.) J.Watada(Osaka Institute of Tech.) Program Committee Chair: S.Nakanishi(Tokai University) T.Furuhashi(Nagoya University) K.Tanaka(Kanazawa University) Steering Committee Chair: T.Furuhashi(Nagoya University) T.Hashiyama(Nagoya University)　 K.Morikawa(Nagoya University) --------------------------------------------------- Takeshi Furuhashi, Assoc. Professor Dept. of Information Electronics, Nagoya University Furo-cho, Chikusa-ku, Nagoya 464-01, Japan Tel.+81-52-789-2792, Fax.+81-52-789-3166 --------------------------------------------------- From owner-gann-list Wed Sep 27 18:57:32 1995 Received: (from mdomo@localhost) by cs.iastate.edu (8.6.12/8.6.9) id SAA15744 for gann-list-outgoing; Wed, 27 Sep 1995 18:36:14 -0500 Received: from ren.cs.iastate.edu (ren.cs.iastate.edu [129.186.3.41]) by cs.iastate.edu (8.6.12/8.6.9) with ESMTP id SAA15737 for ; Wed, 27 Sep 1995 18:36:08 -0500 From: GANN List Admin Received: (gannadm@localhost) by ren.cs.iastate.edu (8.6.12/8.6.9) id SAA28609 for gann-list@cs.iastate.edu; Wed, 27 Sep 1995 18:36:06 -0500 Reply-To: luca@idsia.ch (Luca Gambardella) X-Originator: luca@idsia.ch (Luca Gambardella) Date: Wed, 27 Sep 95 17:14:09 +0100 Message-Id: <9509271614.AA20897@fava.idsia.ch> To: gann@cs.iastate.edu Subject: POSTDOC JOB OPENINGS Sender: owner-gann-list@cs.iastate.edu Precedence: bulk -------------------------------------------------------------------- IDSIA: POSTDOC JOB OPENINGS Statistics, Neural Nets, Forecasting, Planning, Optimization -------------------------------------------------------------------- IDSIA - Istituto Dalle Molle di Studi sull'Intelligenza Artificiale is a machine learning research center located in Lugano (Switzerland). IDSIA receives subsidies from both private and public sectors. NEW PROJECT. Starting 1996, IDSIA will collaborate with a private company producing software tools for supporting container terminal organization and resource allocation. Goals of the project are: (1) Forecasting the container terminal's input/output flow, using statistical models, neural nets, etc., and taking expert knowledge into account. There is a huge data base describing the terminal activity in previous years. IDSIA has considerable expertise in this area. (2) Finding optimal container positions in the stockage area. Where to place an incoming container? This depends on many parameters: final container destination, size and content, the next carrier, current occupancy of the container parking area (often, to grab one container others need to be rearranged). Emphasis is on optimization and planning. IDSIA's role is to define methodologies for solving problems (1) and (2). The private company's role is to produce a collection of software tools integrated in the existing industrial software environment. The 2 year project is supported by Swiss Government funds (CERS/KWF), and will involve 6 man years. In the first (second) year, there will be two (one) IDSIA researcher(s) and one (two) company employee(s). IDSIA has two immediate openings (one for 1 year, other for 2 years). Required expertise: Ph.D. in computer science, statistics (or similar) experience in forecasting (statistics, neural nets, etc.). experience in optimization and planning experience in industrial applications Please send postscripts of resume, description of current interests, names of three referees, and other related information to: Luca Gambardella IDSIA C.so Elvezia 36 6900 Lugano CH email: luca@idsia.ch DEADLINE: OCTOBER 31.