Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <03769-0@swan.cl.cam.ac.uk>; Thu, 9 Apr 1992 19:32:40 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA26145; Thu, 9 Apr 92 11:10:06 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA26141; Thu, 9 Apr 92 11:09:39 -0700 Received: from localhost by panther.cs.uidaho.edu with SMTP id AA27479 (5.65c/IDA-1.4.4 for info-hol@cs.uidaho.edu); Thu, 9 Apr 1992 11:13:35 -0700 Message-Id: <199204091813.AA27479@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: [cdk@dit.upm.es (Carlos Delgado Kloos): IFIP 92] Date: Thu, 09 Apr 92 11:13:34 -0700 From: Phil Windley X-Mts: smtp [ This was sent to info-hol-request, so I'm passiong it on. PJW ] Dear colleague, please find below an announcement of the World Computer Congress IFIP 92 to be held in Madrid 7-11 September 1992. Please note that the deadline for submitting posters has been extended until 30 April 1992. The technical program with the selected papers (171 from almost 500 submissions) will be published soon. Yours sincerely, Carlos Delgado Kloos IFIP 92 PC vicechair - -------------------------------------------------------------------- Some highlights that might be of interest to you: Tutorial * Randy Bryant (Carnegie Mellon Univ. Pittsburgh, USA): Automated Approaches to Formal Hardware Analysis and Verification Keynote Speaker * Jozef Cornu (Alcatel NV, Executive Vice-president of Technical Operations) Invited Speaker: * Alain Martin (Caltech, Pasadena, Ca., USA): Tomorrow's Digital Hardware will be Asynchronous and Verified Panels: * The CAD Tool for the Future Gerald Musgrave (Brunel Univ./AHL, London, UK), Raymond Boute (Univ. of Nijmegen, The Netherlands), Randy Bryant (Carnegie Mellon Univ. Pittsburgh, USA), Mike Fourman (Univ. of Edinburgh/AHL, UK), Franz Rammig (Univ. Paderborn/CADLAB, Paderborn, Germany) * Concurrent Engineering Egon Hoerbst (Siemens, Munich, Germany), Siegfried Jahn (Siemens, Munich, Germany), Michael Wozny (Politechn. Institute, Rensselaer Design & Research Center, Troy, N.Y., USA), B. Chown (Mentor Graphics, UK), D. Siewiorek (Carnegie-Mellon Univ., Pittsburgh, PA, USA), M. Broy (Techn. Univ. Munich, Munich, Germany) and many, many other very interesting events (see below). - -------------------------------------------------------------------- Final Call for Papers and Preliminary Programme __________________________________________________________ ! ! ! ! ! 12th World Computer Congress ! ! ! ! ! ! IFIP Congress 92 ! ! ! ! ! ! FROM RESEARCH TO PRACTICE ! ! ! !________________________________________________________ ! Madrid, Spain September 7-11, 1992 IFIP International Federation for Information Processing FESI Federacion Espa~nola de Sociedades de Informatica Overview of the Congress This IFIP Congress is composed of topical and interrelated conferences each organized by a separate subcommittee of the International Program Committee. * Five parallel streams - Software Development and Maintenance - Algorithms and Efficient Computation - From Architectures to Chips - Informatics and Education - The Vulnerability of the Information Society * Two subconferences - Expanding the Power of the Personal Computer - Enhancing the Intelligence in Information Systems The Congress will also include: * One day symposia * Tutorials * A specialized exhibition The IFIP Congress 92 offers researchers and practitioners an opportunity to present their ideas and experiences to an international audience by means papers or posters. Papers will be published by Elsevier in the Congress proceedings. Poster abstracts will be mimeographed for all Congress participants. _______________________________________________________________________________ International Program and Organizing Committees International Program Committee: Chair: Wilfried Brauer (Technical University, Munich, Germany) Vice Chair: Carlos Delgado Kloos (Technical University, Madrid, Spain) Past Chair: Herve Gallaire (GSI, Paris, France) Organizing Committee: Chair: Rosa Alonso (Alcatel Standard Electrica, Madrid, Spain) Vice Chair: Jaume Argila (Asociacion de Tecnicos de Informatica, Spain) Vice Chair: Jose Ignacio Boixo (Asociacion de Licenciados en Informatica, Spain) Vice Chair: Miguel Angel Eced (Asociacion Espa~nola de Informatica y Automatica, Spain) _______________________________________________________________________________ How to Submit a Paper Six (6) copies of the full paper should be sent to the appropriate subcommittee chair so as to arrive by January 10, 1992. The paper has to be written in English. Papers should be no longer than 4500 words or less if tables, diagrams, or pictures are included. Include full title, name and affiliation of author(s) as well as postal and electronic mail addresses, and telephone and fax numbers. A 150 word abstract must also be part of the paper. All papers will be reviewed by at least three referees. Relevance, originality, and clarity will be considered. All authors must state that their paper has not been submitted elsewhere. Acceptance of the paper implies a commitment on the part of the author(s) to present it at the Congress. _______________________________________________________________________________ How to Submit a Poster Three (3) copies of a one page abstract for a 10 minute presentation should be sent to the appropriate subcommittee chairman so as to arrive by April 30, 1992. The poster proposal will be judged for relevance and clarity. Acceptance/rejection will be notified by May 15, 1992. The final version of the abstract has to be sent to the organizing committee for inclusion into the poster brochure so as to arrive by June 20, 1992. _______________________________________________________________________________ Key Dates January 10, 1992: Deadline for submission of full papers March 9, 1992: Notification of acceptance/rejection of papers April 30, 1992: Deadline for submission of poster abstracts April 24, 1992: Camera ready copy of revised papers received by Program Committee May 15, 1992: Notification of acceptance/rejection of posters June 20, 1992: Camera readycopy of poster abstracts received by Organizing Committee September 7-11, 1992: World Computer Congress, Madrid _______________________________________________________________________________ Keynote Speakers * Pamela McCorduck: Art, Complexity, and Artificial Intelligence (Famous writer: "Machines who Think", "The Fifth Generation", "The Universal Machine", "The Rise of the Expert Company", "Aaron's Code: Art,Artificial Intelligence, and the Work of Harold Cohen", etc., Princeton, N.J., USA): * Philip Kahn (Chairman, C.E.O., and President of Borland International, Scotts Valley, CA, USA): Software Craftsmanship in the 90's * Jozef Cornu (Alcatel NV, Executive Vice-president of Technical Operations) * Michel Carpentier (Director General of DG XIII of the Commission of the European Communities) * Josep Maria Vil'a (Director of Resources of the Olympic Games 1992) _______________________________________________________________________________ Tutorials * Randy Bryant (Carnegie Mellon Univ. Pittsburgh, USA): Automated Approaches to Formal Hardware Analysis and Verification * B. Levrat (UNiv. of Geneva, Switzerland), S. Franklin (Univ. of California, Irvine, CA, USA): Supporting an Integrated Heterogeneous Environment * L. Hoffman (The George Washington Univ, Washington, DC, USA): Computers, Privacy, and Freedom * H.L. Highland (New York, USA): Detection and elimination of MAlicious Software (Viri, Trojans, etc.) * T.W. Olle (T.W. Olle Associates, UK), A.A. Verrijn Stuart (Leiden Univ., The Netherlands): Information System Methodologies. A Framework for Understanding * J.P Laurent (Univ. of Savoie, France): Validation, Verification and Testing of Knowledge-Based Systems _______________________________________________________________________________ _______________________________________________________________________________ Stream: Software Development and Maintenance The technology supporting the development and maintenance of software is steadily improving along a broad front. Since it is evident that no single method or technique will increase our ability to create and extend software systems by an order of magnitude, there is considerable merit in trying to integrate various ideas and apply them jointly to both the software development process and the software product. _______________________________________________________________________________ * programming environments and tools (design, implementation, and application) * formal methods * program and system reusability * software development methodologies, practice, and experience * programming language design and usage * technology transfer _______________________________________________________________________________ Invited Speakers: * D. Turner: On Declarative Languages * J.R. Abrial: on Formal Methods * A. Snyder: On Developing Large Software Systems * S. Reiss: On Programming Environments Panels: * Is object-oriented programming useful? * Are formal methods really useful? * The future of programming environments and tools _______________________________________________________________________________ Programme Committee: Chair: A. N. Habermann Carnegie Mellon University, Pittsburgh, USA P. Botella Technical University of Catalunya, Barcelona, Spain L. M. Koroleff Moscow State University, Moscow, USSR R. Kurki-Suonio Technological University of Tampere, Tampere, Finland A. Yonezawa University of Tokyo, Tokyo, Japan _______________________________________________________________________________ The posters for this stream should be submitted to: Professor A. Nico Habermann School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 USA Fax: (+1-412)681-5793 E-mail: anh@cs.cmu.edu _______________________________________________________________________________ _______________________________________________________________________________ Stream: Algorithms and Efficient Computation Algorithms capture all computational techniques and mechanisms used in computer science. The search for efficient algorithms is motivated by the need for competitive computer applications in all branches of information processing and computing. This stream aims at presenting a broad view of the current achievements and developments in algorithms research,with attention to both the theoretical and the applied aspects of this field. Papers are solicited on all topics of interest in the area of the Design, Analysis and Application of Efficient Algorithms. Both original research contributions and papers of a more expository nature (e.g. describing the state-of-the-art in a particular area of algorithm-oriented research) are welcomed. Topics of interest include e.g. _______________________________________________________________________________ * data structures and graph algorithms * on-line algorithms * computational geometry, computer graphics and robotics * combinatorial optimization * parallel algorithms and computation * distributed computing * novel computational models (including e.g. neural networks) * computational learning * complexity theory and cryptography * symbolic computation * continuous algorithms and their complexity and all related fields dealing with algorithm design and computational complexity. _______________________________________________________________________________ Invited Speakers: * F.T. Leighton (MIT, Cambridge, MA, USA): Novel Approaches to Message Routing in Large-Scale Parallel Machines * S. Micali (MIT, Cambridge, MA, USA): Advances in Cryptography * J.D. Boissonnat (INRIA Sophia-Antipolis, Valbonne, France): New Directions in Robot Motion Planning * R.M. Karp (Univ. of California, Berkeley, CA, USA): On-line Algorithms versus Off-line Algorithms: How Much is It Worth to Know the Future? * K. Mehlhorn (Max-Planck Institut fuer Informatik, Saarbruecken, Germany): Algorithm Design and Software Libraries ______________________________________________________________________________ Programme Committee: Chair: J. van Leeuwen University of Utrecht, Utrecht, The Netherlands J. Diaz Technical University of Catalunya, Barcelona, Spain S. Even The Technion, Haifa, Israel R. M. Karp University of California at Berkeley, Berkeley, USA _______________________________________________________________________________ The posters for this stream should be submitted to: Professor Jan van Leeuwen Department of Computer Science University of Utrecht P.O. Box 80.089 Padualaan 14 NL-3584 CH Utrecht The Netherlands Fax: (+31-30) 513791 E-mail: jan@cs.ruu.nl _______________________________________________________________________________ _______________________________________________________________________________ Stream: From Architectures to Chips The technology development has provided a tremendous growth in chip-complexity and circuit speed. However, the solution of very large computational problems, requires parallel processing in addition to high circuit speeds. This stream will cover all aspects of computer technology ranging from architectures for parallel and concurrent computing to the design and implementation of Application Specific Integrated Circuits (ASIC's). Particular attention will be put on the correct operation of hardware,including issues of fault tolerance as well as formal methods for assuring functional correctness. The stream will deal with theoretical as well as practical aspects, applications, and trends. Specific areas of interest are: _______________________________________________________________________________ * Parallel and distributed computing * Supercomputers * Hardware/software dependability (fault tolerance, availability, reliability, safety, and security) * Formal aspects of hardware design (formally based foundations, languages, tools, and methods for hardware design with practical application) * VLSI design, design tools, CHDLs, frameworks * Workstation concepts and graphics * Neural networks * Performability (performance + reliability) modeling and evaluation _______________________________________________________________________________ Invited Speakers: * Hajime Ishikawa (Fujitsu, Atsugi, Japan): Progress Trends and Perspective of VLSI Technology * Jean-Claude Laprie (LAAS-CNRS, Toulouse, France): Fundamental Concepts and Taxonomy of System Dependability * Alain Martin (Caltech, Pasadena, Ca., USA): Tomorrow's Digital Hardware will be Asynchronous and Verified * David May (Inmos, Bristol, UK): General Purpose Parallel Computers * John Meyer (Univ. of Michigan, Ann Arbor, Michigan, USA): The Role of Modeling and Evaluation in the Design Process * Michele Morganti (Italtel, Settimo Milanese, Italy): Dependability Issues in Telecommunications Panels: * Parallel and Distributed Computing Arndt Bode or Thomas Bemmerl (Technical University, Munich, Germany), Michel Cosnard (Ecole Normale Sup.de Lyon, Lyon, France), David May (Inmos, Bristol, UK), Gerry Reijns (University of Technology, Delft, Netherlands), etc. * The CAD Tool for the Future Gerald Musgrave (Brunel Univ./AHL, London, UK), Raymond Boute (Univ. of Nijmegen, The Netherlands), Randy Bryant (Carnegie Mellon Univ. Pittsburgh, USA), Mike Fourman (Univ. of Edinburgh/AHL, UK), Franz Rammig (Univ. Paderborn/CADLAB, Paderborn, Germany) * Dependability Issues in Distributed and Realtime Systems Kane H. Kim (Univ. of California, Irvine, Ca., USA), Hermann Kopetz (Techn. Univ. of Vienna, Austria), Gerald LeLann (INRIA, Le Chesnay, France), Luca Simoncini (IEI del CNR, Pisa, Italy), T. Basil Smith (IBM, Yorktown Heights, NY, USA) * Concurrent Engineering Egon Hoerbst (Siemens, Munich, Germany), Siegfried Jahn (Siemens, Munich, Germany), Michael Wozny (Politechn. Institute, Rensselaer Design & Research Center, Troy, N.Y., USA), B. Chown (Mentor Graphics, UK), D. Siewiorek (Carnegie-Mellon Univ., Pittsburgh, PA, USA), M. Broy (Techn. Univ. Munich, Munich, Germany) _______________________________________________________________________________ Programme Committee: Chair: G.Reijns Delft University of Technology, Delft, The Netherlands C. Delgado Kloos Technical University, Madrid, Spain E. Hoerbst Siemens A.G., Munich, Germany Y. Tohma Tokyo Institute of Technology, Tokyo, Japan _______________________________________________________________________________ The posters for this stream should be submitted to: Professor Gerard L. Reijns Delft University of Technology Mekelweg 4 NL-2628 CD Delft The Netherlands Fax: (+31-15) 784898 E-mail: gjduve@et.tudelft.nl _______________________________________________________________________________ _______________________________________________________________________________ Stream: Informatics and Education Over the past three decades computers have made enormous inroads into all levels of education. From a start with teaching about computers we are now facing a reality where teaching with computers is becoming the common situation ineducation. The Informaticsand Education Stream of the 12th IFIPCongress offers researchers and practitioners an opportunity to present their ideas and experiences to an international audience. The stream will cover all aspects of the theme "Informatics and Education": Computing in universities will be dealt with as well as computing in elementary education.Research issues on information technology will be discussed as well as how research outcomes can be applied in practice. Equity issues in computing will be treated, the gender aspect as well as the cultural and socioeconomic aspects will be brought to discussion. The technology to be used in education will also be a topic, e.g. the pedagogical use of networks in distance education. Papers and panel discussions on these aspects and more will be allocated to four ministreams payingsp ecial attention to: _______________________________________________________________________________ * The changing role of university computing centers * Computer equity * Applying research to support learners * Teleteaching _______________________________________________________________________________ Invited Speakers: * Magda Bruin (Foundation of Women and Informatics, The Netherlands): Information Technology and Equity in Education, * Geoff Cumming (La Trobe University, Australia): Using Information Technology to Enhance the Effectiveness of Liberal Education * Stephen Franklin (Univ. of California, Irvine, Ca., USA): The Academic Computing Center as a Strategic University Resource * Robert Lewis (Lancaster Univ., UK): Research into Practice Panels: * Informatics Education in Developing Countries Evgueni Khvilon (UNESCO, Paris, France), Victorio Bajar (Inst. Tecnol. Aut'onomo, Mexico, Mexico), A. Balasubrahmanian (Indira Gandhi National Open Univ., Delhi, India), Geoff Fairall (Computer Society of Zimbabwe, Harare, Zimbabwe), Carlos Pereira de Lucena (Brazil) * Computers in Education: Research and Development in Latin-America Gustavo Rossi (Univ. de La Plata, Bueno Aires, Argentina), Hilmer Castillo (Univ. Sim'on Bolivar, Caracas, Venezuela), Marco Murray-Lasso (Academia de Investigaci'on Cient'ifica, Mexico, Mexico), Manuel Prieto (Univ. de la Habana, La Habana, Cuba), Lucilla Santarosa (Univ. Federale do Rio Grande do Sul, Porto Alegre, Brazil) * Teleteaching G. Davies (Open Univ., Milton Keynes, UK), L. Rosell'o (CEC, Brussels, Belgium), G. Paquette (Tele Univ. de Montreal, Montreal, Canada) * Informatics and Development J. Pino (Univ. of Chile, Santiago, Chile), S. Bathanagar (Univ. Ahmedabad, India), M. Korpela (Univ. Kuopio, Finland), M. Odedra (PC World, London, UK), S. Lanfranco (Univ. York, Canada), A.J. Rodr'iguez (Univ. Nairobi, Kenya) _______________________________________________________________________________ Programme Committee: Chair: P.Bollerslev Ministry of Education, Copenhagen, Denmark R. Aiken Temple University, Philadelphia, USA A. Balasubrahmanian Indira Gandhi National Open University, Delhi, India I. Stanchev Research Center for Education in Informatics, Sofia, Bulgaria A. Vaquero Complutense University, Madrid, Spain _______________________________________________________________________________ The posters for this stream should be submitted to: Director Peter Bollerslev Center for Applied Informatics in Teacher Education Ministry of Education Frederiksholms Kanal 26 DK-1220 Copenhagen K Denmark Fax: (+45-33) 925302 _______________________________________________________________________________ _______________________________________________________________________________ Stream: The Vulnerability of the Information Society: Social, Legal, and Security Aspects With worldwide use of Information Technology (IT) new opportunities arise but, likewise, new risks emerge through growing dependence on the same technology. New concerns have arisen and older ones have been enhanced. Such concerns include both human and civil rights, privacy, and freedom of the individual, quality and reliability of the technology,etc. This stream will attempt to assess the degree of vulnerability to IT that has developed particularly since the first OECD discussions in 1982 (OECD Conference, Siguenza/Spain, 1982). Specific areas of interest which may be addressed in submitted papers include: _______________________________________________________________________________ * Opportunities and risks in the adoption of Information Technology. * Legal aspects * Reliability and security in personal computers and local area networks * Impact of the vulnerability of information technology in the workplace and on the general public * Identification and authentication of users and systems * The Electronic Cottage: Delivering information and communication technologies to the home. * Computer ethics and professional responsibility * Development of Information Technology at the International Level, esp. in Latin America _______________________________________________________________________________ Invited Speakers: * G.B.F. Niblett (Abingdon, UK): Legal Aspects of the Information Society * Herbert Kubicek (Univ. of Bremen, Germany): Network(er)s at Risk. The Fairy Tale of Invulnerability of Computer-Supported Work * Lance Hoffman (The George Washington Univ., Washington, USA): Reducing Society's Vulnerability as Computers and Networks Proliferate * Harold W. Highland (USA): Perspectives in IT Security and Safety Panels: * Informatics and Development Subash Bathanagar (Ahmedabad, India), M. Korpela (Finland), Jose A. Pino (Univ. of Chile, Santiago, Chile), Mayuri Odedra (Kenya), S. Lanfranco (Canada), A.J. Rodriguez (Univ. Nairobi, Kenya) * Towards an IFIP Frame Code of Ethics Bl. Sendov (Bulgarian Academy of Sciences, Sofia, Bulgaria), J. Cameron (Sidney, Australia), K. Duncan (Health Information Systems, Los Altos, USA), J. Holvast (Stichting Waakzaamheit Persooonregistratie, Amsterdam, The Netherlands), D.C. Martin (The George Washington Univ., Washington DC, USA), A. Morris (Cape Town, South Africa), H. Sackman (California State Univ., Los Angeles, USA), R. Sizer (Farnborough, UK), G. Verroust (Paris, France), J.A.N. Lee (Virginia Tech., Blacksburg, USA) * Less Vulnerability in Electronic Cottages? F. van Rijn (Vrije Univ. Amsterdam, The Netherlands), T. Cronberg (Denmark), L. Haddon (UK), T. Natarajan (India), G. Noltes (The Netherlands), L. van Noorden (CEC, Brussels, Belgium), R. Silverstone (UK), R. Sloane (UK) * Vulnerability of IT and Gender Issues E. McCarthy (Univ. of Dublin, Ireland), A. Clement (Univ. of Toronto, Canada), B. Elkjaer (Univ. of Copenhagen, Denmark), S. Friis (Univ. of Lund, Sweden), K. Tijdens(Univ. of Amsterdam, The Netherlands), I. Josefson (Univ. of Stockholm, Sweden), I. Wagner (Technical Univ. Vienna, Austria) * Enhanced Security - Diminished Vulnerability? W. Caelli (Queensland Univ. of Technology, Brisbane, Australia), H.J. Highland (New York, USA), R. Moeller (Sears & Roebuck, Chicago, USA), K. Brunnstein (Univ. Hamburg, Hamburg, Germany) _______________________________________________________________________________ Programme Committee: Chair: K.Brunnstein University of Hamburg, Hamburg, Germany W. Caelli Queenland University of Technology, Brisbane, Australia R. Moeller Sears & Roebuck, Chicago, USA J. Pino University of Chile, Santiago de Chile, Chile F. Saez-Vacas Technical University, Madrid, Spain _______________________________________________________________________________ The posters for this stream should be submitted to: Professor Klaus Brunnstein Faculty for Informatics Universitat Hamburg Vogt-Koelln-Str.30 W-2000 Hamburg 54 Germany Fax: (+49-40)4123-6122 E-mail: brunnstein@rz.informatik.uni-hamburg.dbp.de _______________________________________________________________________________ _______________________________________________________________________________ Subconference: Expanding the Power of the Personal Computer Personal computers are now most widely used. Also, these small computing machines, when combined in local and wide area networks, will create systems whose size and complexity will rival those of today's most advanced systems. Many new algorithmic and man-machine interaction models are first conceptualized in programs for the personal computer. The thin boundary between theory and practice in this realm serves as a stimulus for advancingthe limits of what can be accomplished using computers. This technology has already begun to have a profound impact on non-computer professionals as well as the computer science/artificial intelligence community. Specific areas of interest include: _______________________________________________________________________________ * man-machine interfaces (pen-based input devices, ...) * end-user programming (visual programming, declarative programming, ...) * cooperative work groupinteraction (work-flow automation, ...) * LAN and WAN networking concepts for PCs * productivity environments for paperless office * multilingual multi-character set support * integration of multimedia * innovative database technologies for PCs * computer aided engineering _______________________________________________________________________________ Invited Speakers: * Esther Dyson (Edventure Holdings, New York, USA): New Technologies and Technology Transfer for the PC Industry * P. Singh (Microsoft, Redmond, USA): Pen-based Computing * Dave Liddle (Patriot Partners, Mountain View, Ca., USA): Object Oriented Operating Systems Concepts * Stan Rosenschein (Teleos Research, Palo Alto, Ca., USA): Distributed Intelligent Agents * Rob Shostak (Borland International, Scotts Valley, Ca., USA): New Trends in Database Technology * P. Maier (Sony Europa, Cologne, Germany): Global System Integration with Multimedia * Rolf Wildhack (Stollmann GmbH, Hamburg, Germany): ISDN for Multimedia Workstations Panel: * "The future of the Personal Computer" with the invited speakers _______________________________________________________________________________ Programme Committee: Chair: F. H. Vogt University of Hamburg, Hamburg, Germany I. Agamirzian Leningrad Institute for Informatics, Leningrad, USSR C. P. Lucena Catholic University, Rio de Janeiro, Brazil R. Puigjaner University of the Balearic Islands, Palma de Mallorca, Spain B. Robinet IBM France, Paris, France R. Schwartz Borland European TechnologyCenter, Paris, France _______________________________________________________________________________ The posters for this subconference should be submitted to: Professor Friedrich Vogt Universitaet Hamburg Bodenstedtstr. 16 W-2000 Hamburg 50 Germany Fax: (+49-40)4123-6530 E-mail: vogt@rz.informatik.uni-hamburg.dbp.de _______________________________________________________________________________ _______________________________________________________________________________ Subconference: Enhancing the Intelligence in Information Systems In a complex world,human knowledge and skill in making decisions and performing difficult tasks are scarce resources. Key organization objectives are to preserve existing knowledge and to encourage human learning andskill development. The problem is made more difficult because decisions in some systems must be made more quickly than is possible for humans. The solution is to incorporate human learning and human knowledge and skill into operational and decision making applications of information technology. Such knowledge-based and learning systems can be called intelligent information systems because they develop human intelligence and provide system responses similar toan intelligent, knowledgeable human. There are many examples of successful intelligent systems, but significant questions persist.The subconference will cover both knowledge-based systems and systems that promote development of intelligence or learning in organizations. _______________________________________________________________________________ * Design criteria for incorporating intelligence and learning in systems * Acquisition of knowledge and its validation, verification, and testing * The application of knowledge-based systems to the analysis, design, and maintenance of information systems * Experiences in implementation - problems and their solutions * Experiences demonstrating the effects of culture and stage of development in intelligent systems * Frontiers in research on enhancing intelligence in information systems _______________________________________________________________________________ The subconference will focus on four major issues: * The role of intelligent systems and learning systems in transforming societies and organizations in the next decade. The emphasis is on real plans rather than futuristic speculation. * Alternative ways for acquiring or developing knowledge to incorporate in knowledge-based systems and the validation, verification, and testing of the systems. * Current and planned applications of the powerful technology of knowledge-based systems and learning systems to the analysis, design, development, and maintenance of information systems. * Learning from experiences with intelligence in information systems. _______________________________________________________________________________ The subconference will feature both invited sp eakers and contributed papers. The subconference is positioned to provide thoughtful insight for managers and other non-technical persons as well as innovative ideas for system analysts and designers. _______________________________________________________________________________ Invited Speakers: * M.S. Scott Morton (MIT, Cambridge, MA, USA): What Must the Learning Organization Learn: Some Perspectives from MIT's Management in the 90's Program * J. Mylopoulos (Univ. of Toronto, Toronto, Canada): Knowledge-Based Systems for Information Systems Professionals * E. Hollnagel (Computer Resources International, Birkerod, Denmark): The Formalization of Knowledge-Based Systems Validation and Verification: Promises and Pitfalls * R.E. Markland (Univ. of South Carolina, USA): Knowledge-Based Systems in Manipulating Operations Panel: * Terminology for Validation J.P Laurent (Univ. de Savoie, France), A.D. Preece (Concordia Univ., Montreal, Canada), E. Hollnagel (Resources International, Denmark), P. Meseguer (CEAB, Blanes, Spain) _______________________________________________________________________________ Programme Committee: Chair: G.Davis University of Minnesota, Minneapolis, USA R. Benjamin Rochester, New York, USA J.P. Laurent Universite de Savoie, Chamb ery, France M. Lundeberg Stockholm School of Economics, Stockholm, Sweden J. Motiwalla National University, Singapore, Singapore A. Olive Technical University of Catalunya, Barcelona, Spain _______________________________________________________________________________ The posters for this subconference should be submitted to: Professor Gordon Davis University of Minnesota Dept. of Information and Decision Sciences 271 19th Ave South Minneapolis, Minnesota 55455 USA Fax: (+1-612)626-1316 E-mail: gdavis@umnsom.bitnet _______________________________________________________________________________ _______________________________________________________________________________ Symposium: Informatics for Environmental Protection Environmental protection is notonly a high ranking social and political goal but also a great scientific and technological challenge. Effective environmental protection and research are largely dependent on accurate information on environmental state and dynamics. Computers have been an integral part of contemporary environmental protection information management and environmental research for some time. However, computer work in the environmental field has been mostly pragmatic without a sound scientific basis. Applied informatics can play a major role in developing a conceptual basefor environmental information processing on solid scientific grounds. The purpose of this symposium is to present and discuss state-of-the-art applications of informatics in the environmental field. It mainly deals with environmental data bases and information systems, with visualization techniquesfor environmental data, with monitoring and image processing techniques, with geographical information systems, with environmental modelling software and with knowledgebased systems for environmental protection. _______________________________________________________________________________ Invited Speakers: * R. Becker, M. Strobel (IBM Scientific Center, Heidelberg, Germany), D. Kupper (Research Institute for Applied Knowledge Processing at the University of Ulm, Ulm, Germany): A Cooperative, Natural Language Environmental Information System * C.M. Beise (School of Business, West Georgia College, Carrollton, Georgia, USA): Application of Fourth Generation Prototyping Tools for a Municipal Industrial Water Quality Monitoring System * I. Crain (Dep. of Surveying Engineering, Univ. of Calgary, Calgary, Canada): Technology for global and regional environmental Decision-Making * K. Fedra (Advanced Computer Applications, International Institute for Applied Systems Analysis, Laxenburg,Austria): Interactive Environmental Software: Integration of GIS and Expert Systems * M. Haggith, L. Stewart-Zerba, P. Douglas (Griffith University, Nathan, Australia): Brisbane's Intelligent Relational Database on Zosterops: Making Ecological Data Digestible * J. Furst (Univ. for Soil Culture, Vienna, Austria): Integration of GIS into Decision Support Systems forSubsoil Water Management * A. Jaeschke (Dep. of Environmental Informatics, Nuclear Research Center, Karlsruhe, Germany): Expert System Technology for Environmental Protection with Special Emphasis on the XUMA System for Contaminated Site Evaluation * B. Page (Dep. of Informatics, University of Hamburg, Hamburg, Germany): Environmental Protection as a Challenge to Applied Informatics * W. Pillmann (Federal Health Institute, Vienna, Austria): Image Processing for Environmental Protection _______________________________________________________________________________ Symposium chairman: B. Page (Dep. of Informatics,University of Hamburg, Hamburg, Germany) _______________________________________________________________________________ _______________________________________________________________________________ Symposium: Cooperative Research Programmes This symposium will compare and contrast the various ways of conducting cooperative research programmes, it will look at the outstanding achievements of each programme, and will discuss the opportunities for international and especially intercontinental cooperation in cooperative research in Information Technologies. _______________________________________________________________________________ Invited Speakers: * Dan Andree (IT Delegationen, IT4 Programme, Sweden) * Jean-Marie Cadiou (Commission of the European Communities, DGXIII, ESPRIT, Brussels,Belgium) * J O'Callaghan (CSIRO, Division of Information Technology, Australia) * Vincent Thomson (NRC-CNRC, Systems Technology,Canada) * etc. Panel: * "Strengths and Weaknesses of teh Cooperative Approach to R&D" with the Invited Speakers _______________________________________________________________________________ Symposium chairman: B. Oakley (Logica Cambridge Ltd., London, UK) _______________________________________________________________________________ _______________________________________________________________________________ Symposium: Encouraging Academic/Practitioner Collaboration It is often argued that IFIP should take a more pro-active role in fostering academic-industry research collaboration. Increased collaboration potentially accelerates technology transfer from research to practice. Panelists will discuss how to bring about this collaboration. The panelists will share their considerable and diverse experience of successful academic-industry research collaboration schemes in various parts of the world. _______________________________________________________________________________ Introductory Speaker: B. Glasson (Curtin Univ., Perth, Australia): Academic-Industry Research Collaboration: Towards a Pro-active Role for IFIP Panel: * Academic-Industry Research Collaboration: Some Success Stories B. Glasson (Curtin Univ., Perth, Australia), M. Alexander (Expertise Australia Pty Ltd, Sydney, Australia), R. MacKinnon (IBM Scientific Centre, Cambridge, USA), B. Oakley (Logica Cambridge Ltd, London, UK), A.-W. Scheer (Univ. des Saarlandes, Saarbr\"ucken, Germany) _______________________________________________________________________________ Symposium organizer: B. Glasson (Australia) _______________________________________________________________________________ _______________________________________________________________________________ Symposium: Continuous Algorithms and Complexity _______________________________________________________________________________ Many problems in natural science, engineering, social science and business have continuous models. IFIP working group WG 14.1 is devoted to the algorithms and computational complexity for solving continuous models. In this meeting of WG 14.1 a series of 15 lectures is presented that address many different aspects of the intrinsic difficulty of solving such problems. Powerful new algorithms are of particular importance. Examples of the problems that are being studied include: ordinary and partial differential equations, continuous optimization, multivariate integration and approximation, and systems of polynomial equations. _______________________________________________________________________________ Invited Speakers: * H. Wozniakowski (Columbia Univ, New York, USA and Univ. of Warsaw, Warsaw, Poland): Tractability of Multivariate Problems M. Shub: (IBM T.J. Watson Research Center, Yorktown Heights, NY, USA): Complexity of Homotopy Methods for Systems of Equations * R. Tempo: (Politecnico di Torino, Torino, Italy): Singular Values and Interpolatory Algorithms for Robust Parametric Estimation * P. Mathe (Institut f\"ur Angewandte Analyse und Stochastik, Berlin, Germany): Random Approximation of Finite Sums. * Bl. Sendov (Bulgarian Academy of Sciences, Sofia, Bulgaria): Mathematics in Informatics through Complexity * J.F. Traub (Columbia Univ., New York, NY, USA): New Research Directions of Information-based Complexity * R.A. DeVore (Univ. of South Carolina, Columbia, SC, USA): Algorithms for Wavelet Compression * E. Novak (Univ. Erlangen-Nuernberg, Erlangen, Germany): The Complexity of Zero Finding for Univariate Functions * A. Iserles (Univ. of Cambridge, Cambridge, UK): On Global Bounds of Numerical Error for ODEs * S. Heinrich (Univ. of Kaiserslautern, Kaiserslautern, Germany): Complexity of Integral Equations and Relations to n-Widths * B.Z. Kacewicz (Univ. of Warsaw, Warsaw, Poland): Approximation of Linear Problems from Inaccurate Information * G.W. Wasilkowski (Univ. of Kentucky, Lexington, Kentucky, USA): On Probabilistic Complexity with Piece-wise Smooth Inputs} * A.G. Werschulz (Fordham Univ. College and Columbia Univ., New York, NY, USA): Complexity of Elliptic Problems: New Results * F. Cucker (Techn. Univ. of Catalonia, Barcelona, Spain): Complexity Classes in the Theory of the Reals * V. Temlyakov (Steklov Mathematical Institute, Moscow, Russia): On Optimal Approximate Recovery of Functions} _______________________________________________________________________________ Symposium organizers: Chair: J.F. Traub (Columbia Univ., New York, NY, USA) S. Heinrich (Univ. of Kaiserslautern, Kaiserslautern, Germany) C. Nett (Georgia Institute of Technology, Atlanta, Georgia, USA) M. Shub (IBM T.J. Watson Research Center, Yorktown Heights, NY, USA) V. Temlyakov (Steklov Mathematical Institute, Moscow, Russia) G.W. Wasilkowski (Univ. of Kentucky, Lexington, Kentucky, USA) H. Wozniakowski (Columbia Univ., New York, NY, USA and Univ. of Warsaw, Warsaw, Poland) _______________________________________________________________________________ _______________________________________________________________________________ Conference Venue With four million inhabitants, Madrid is the political, economic, and geographical center of Spain. Its privileged communication links make it a bridge between Europe, America, and Africa, as well asthe appropriate base to explore the country itself in all its variety. At 655 m. above sea level,its climate is dry and mild (average 7-20 C)with only 17 rainy days in autumn. Centuries of history have filled Madrid with innumerable places of cultural interest,ranging from one of the best painting museums in the world (El Prado) to dozens of monuments and hundreds of charming corners in the old town. In few other cities will you find such a lively and friendly atmosphere. Recreational choices include opera and flamenco dancing, theater and bull fights, nouvelle cuisine restaurants, and literally thousands of small taverns (tascas), or just strolling around the streets where midnight is still an early hour. 1992 marks a very special year in Spain. Along with the 5th centennial celebrations of the encounter of civilizations in America, Seville will be the site of the World Fair EXPO'92, Barcelona will be the city of the Olympic Games, and Madrid itself will host a myriad of events as the Cultural Capital of Europe. Spain is living proof of the chance that we still have to combine high technology with a leisure-oriented way of living: a perfect environment for a World Computer Congress. IFIP Congress 92 will be held at the School of Medicine at the Complutense University of Madrid. This location combines fully equipped conference facilities for the various parallel sessions, with informal campus atmosphere and easy means of transportation, either by bus, underground, or simply walking to one of Madrid's most lively downtown districts. The 12th World Computer Congress is hosted in Madrid by FESI (Federacion Espa~nola de Sociedades de Informatica), the Spanish member organization of IFIP. FESI is a federation of professional associations, foundations concerned with information technology, computer science schools, and national research institutions. For additional information correspond with: Grupo GEYSECO IFIP Congress 92 Capitan Haya, 60 - 2 E--28020 Madrid/Spain Fax: (+34-1) 5713804 Telex: 44676 E-mail: ifip92@dit.upm.es ------- End of Forwarded Message