ASCII Version of the March 1994 IFIP Newsletter. This is provided for those users who do not have access to PostScript printers. For those having PostScript facilities, get mar94pNN.psb from software.watson.ibm.com in the /pub/ifip/ directory. Transfer in binary. Or from gopher.isoc.org or (BITNET USERS ONLY) from listserv@cearn. ------------------------------------------------------------------------ CONTENTS Conf. on Formal Description Techniques "Action Agendas" at IFIP Congress '94 IFIP Secretary General The Belgian IFIP Member Aims and Scopes of New WGs Conf. on Technology Transfer Security and Control of IT Thanks for IFIP Support Obituary: Prof. A. Nico Habermann Risk and Vulnerability in Info. Society U.S. Travel Grants IFIP Welcomes Three New Members Symp. on Network Info. Processing Informatics and Changes in Learning IT and Socio-Economic Development Autumn School on Systems Pgmg. National Abbreviations Calls for Papers Future IFIP Meetings Calendar of Events /********************************************************************/ IFIP NEWSLETTER Editor: Dr. Jack L. Rosenfeld IBM Journal of Research and Development T.J. Watson Research Center P.O. Box 218 Yorktown Heights, NY 10598-0218 U.S.A. telephone: (914) 241-4170 facsimile: (914) 241-4204 Internet: rosenj@watson.ibm.com Bitnet: rosenj@yktvmh Published quarterly by IFIP Secretariat 16 Place Longemalle CH-1204 Geneva, Switzerland telephone: (22) 310 26 49 facsimile: (22) 781 23 22 e-mail: ifip@uni2a.unige.ch CORRESPONDENTS TC2R.K. DeBry TC3B. Samways TC6D. Khakhar TC7P. Kall TC8B. Glasson TC9F. van Rijn TC10R.N. Ibbett Printed for IFIP by the courtesy of Elsevier/North-Holland. Please apply to the IFIP Secretariat, at the address given above, for copies of the IFIP Newsletter and to be added to (or removed from) the mailing list. The Secretariat can also answer inquiries about IFIP. The IFIP Newsletter may be reprinted, translated, and reproduced, in whole or in part, except for material spe- cifically denoted as copyright protected. Reprinting in national and local information processing periodicals is encouraged. Acknowledgement to IFIP would be appreciated. In order to reprint material protected by copyright, apply for permission to the IFIP Secretariat, giving all perti- nent details. Kindly submit material for the Newsletter three months before the publication date. Please send the following IFIP information directly to the Secretariat: announcements of conferences, workshops, and other meetings; calls for papers; appointments to com- mittees and other positions; and changes of address. The Secretariat is the clearinghouse for all such information; it will forward it to the Newsletter. /********************************************************************/ NEW E-MAIL ADDRESS FOR SECRETARIAT The e-mail address for the IFIP Secretariat is now ifip@uni2a.unige.ch. /********************************************************************/ NEW INFORMATION BULLETIN AVAILABLE The 25th edition of the IFIP Information Bulletin was printed in January and has been distributed to all IFIP par- ticipants. All new appointments and changes of address can be found there. /********************************************************************/ "Action Agendas" Will Be a Highlight of IFIP Congress '94 by Dr. Karen Duncan (USA)* IFIP Congress '94, which will take place in Hamburg, Germany, 29 August-2 September 1994, offers a novel, three-part experience for participants. They will have the opportunity to oacquire new information and insights oparticipate in discussions of important issues ofrom their discussions, develop an "Action Agenda" that will help shape a Message from the Congress to the Computer and Communications Community and beyond The International Program Committee has developed a program of five tracks and nine issues. The issues lie at the interfaces of selected pairs of tracks. The issues and their "Champions" are What Should We Build? -- G. Maguire (USA) How Much Application Knowledge Should a Technologist Have? When Virtual Reality Becomes Real -- B. Neumann (D) Utopia? or Chaos? How Should We Control Technology Develop- ment? -- J. Berleur (B) How Much Is Safety Worth? Should We Invest in Intellectual Elegance or Computer Power? -- O. Herzog (D) Who Is in Control -- User or Application System? -- R. Clarke (AUS) Is Application Development Focused on Real Problems? -- R. Traunmueller (A) Is Technology Transfer the Answer? -- S. Bhatnagar (IND) [Some Champions had not been designated when this IFIP Newsletter went to press. -- Ed.] The committee's intention is that every participant will oselect an issue when he or she registers olearn as much as possible about the issue during the first 31/2 days of the Congress ospend part of a day discussing the issue in a formal set- ting, and developing the Action Agenda Action Agendas The Action Agendas from the nine issues will be presented in plenary session on the final day of the Congress. Solutions will take the form of recommendations; they will include specification of who should take the recommended actions (e.g., vendors, academics, governments). Following the Con- gress, the Action Agendas will be combined to create the Congress Message, which will be disseminated appropriately. The Congress schedule is as follows: Monday morning - Congress keynote speeches Monday afternoon through Wednesday morning -- track- specific topics Wednesday afternoon through Thursday morning -- issue- specific topics Thursday afternoon -- issue discussions (in groups of at most 50) and creation of Action Agendas Friday morning -- presentation of Action Agendas Friday afternoon -- closing session, including Congress Message The successful completion of the issues process will need the close guidance of knowledgeable and caring profes- sionals, so Issue Champions (ICs) have been designated to coordinate the issue streams. The goal of each IC is to achieve an important and exciting Action Agenda that re- flects significant insight into the nature of the issue and its resolution. To reach that goal, each IC is responsible for both the content and execution of the issue stream. The ICs have developed Concept Guidance Documents, which de- scribe the issues, describe the background information that participants need in order to discuss the questions, and suggest where the information will come from (issue ses- sions, track sessions, special sessions, reading material, etc.). The ICs are now recruiting both refereed and invited papers and speakers, arranging pre-Congress or evening tuto- rials, working with the track chairmen to be certain that all material that participants need in order to understand and discuss the issues will be available, providing reading material, and preparing Issue Stream Descriptions that in- clude a list of the technical sessions and other materials participants should attend or be familiar with (these may be from any part of the Congress program, or even extra ses- sions). During the Congress, the ICs will manage the issue streams. They will introduce, host, and manage the issue sessions and present the Action Agendas during the Friday morning plenary session. The Process The process of developing the Action Agendas is critical: time is short (around 4 hours), but the results will be sig- nificant. The participants will "learn" about the issues and discuss them at length in earlier Congress sessions. (It is important that participants understand that they must prepare themselves adequately for the discussions.) By the time of the Thursday afternoon sessions, the participants will be ready to draw conclusions. The tentative list of steps for the sessions, based on the process used for simi- lar purposes at the ACM (U.S. Association for Computing Ma- chinery) Critical Issues Conference in 1990, is as follows: Introductions and instructions Small-group sessions to list the problems, discuss them, and prioritize them Large-group "voting" to define the key problems for each issue Small-group sessions to list solutions, discuss them, and prioritize them Large-group sessions to "vote" on the key solutions, which make up the Action Agendas Discussion is primarily for explanation and clarification, since there is not time for lengthy defenses of positions. The small groups are used as a mechanism to get the group to focus quickly on its tasks and give everyone a chance to nominate problems and solutions. More information about the Congress may be obtained from Congress Secretariat IFIP'94 Congress Centrum Hamburg Congress Organisation P.O. Box 30 24 80 D-20308 Hamburg, Germany fax: +49.40.3569.2343 Telex: +212609 &sqbul. *member of Congress International Program Committee and co- ordinator of the "issues" process /********************************************************************/ U.S. TRAVEL GRANTS by Mr. Howard Funk* The Federation on Computing in the United States (FOCUS), the U.S. Member of IFIP, has requested a grant from the U.S. National Science Foundation to provide partial travel support to U.S. participants in IFIP Congress '94. If the grant is approved, FOCUS will be able to support travel for approximately 20 attendees. Funding will be limited to a maximum of $1000 per attendee. Applicants should provide the selection committee with a current resume and relevant details of their planned Congress activities (i.e., to pres- ent a paper, to chair a session, to serve as a panel member, etc.) and/or how participation will benefit their current activities and research. Junior and minority faculty mem- bers are especially encouraged to apply. All award recipients must be residents of the U.S., and travel must be by U.S. carriers. In addition, recipients will be required to file a brief report following the Con- gress, on their activities and experience at the Congress. Individuals wishing to submit applications should contact FOCUS Secretariat 1730 Massachusetts Ave., NW Washington, DC 20036-1992, U.S.A. tel: 1 (202) 371-0101, fax: 1 (202) 728-9614 &sqbul.(internet): grant@computer.org *U.S. representative to IFIP, and IFIP vice-president /********************************************************************/ NEW IFIP PUBLISHER Negotiations to reach an agreement with a new IFIP pub- lisher (see the December 1993 IFIP Newsletter, page 6) were concluded at the end of January -- after this issue of the Newsletter "went to press." The outcome will be discussed in the June issue. /********************************************************************/ FORTE'93 -- Sixth Conference on Formal Description Tech- niques by Prof. Richard Tenney (USA)* FORTE'93, the Sixth International Conference on Formal De- scription Techniques, took place October 26-29 in Cambridge, Massachusetts, U.S.A. The FORTE series of con- ferences concentrates on formal techniques applicable to complex distributed computer systems. These are mathemat- ically based techniques that are oriented toward describing complex systems. They are frequently used to describe and analyze the methods by which computers communicate. Ninety-four participants from 16 countries attended. The Conference began with five tutorials, followed by 29 refer- eed papers, ranging from theoretical to applied. There were two invited speakers: Colin West (CH) and Alfred Aho (USA), both well known in the field. West's talk, "The Challenges Facing Formal Definition Techniques," is summarized as fol- lows: For many years, we believed that applications of formal de- finition techniques would significantly improve the quality of communications protocols and hence the systems that in- corporate them. Automated validation and many other protocol-analysis techniques require an executable represen- tation of a protocol that may be derived from a formal spec- ification. Recent experience has shown that it is difficult to develop executable models using current special-purpose formal definition languages in a timely and cost-effective manner. In some cases, specifications using formal defi- nition languages have proved to be less effective than other methods of documenting the protocols. & Aho's talk, "Conformance and Interoperability Testing," re- viewed research aimed at using formal methods to facilitate conformance and interoperability testing based on generic requirements. The tutorials also provided much interesting material. We describe them here, to indicate the nature of the field of formal description techniques. The first tutorial, "On the Semantic Foundations of RSL: a Concurrent, Functional and Imperative Specification Language" by D. Bolignano (F) and M. Debabi (F), was described as follows: RSL is a formal, high level, modular, and widely applicable specification language. The original main novelty of RSL is the unified integration of concurrent and functional ab- stractions. In addition, the language is endowed with im- perative constructions. It allows different levels of abstraction; thus, it covers all stages of a development process. The language is formal and rests on secure theore- tical foundations. The next tutorial, "Formal Methods in Managing Feature Interactions" by E. Jane Cameron (USA) and Yow-Jian Lin (USA), covered the following: The feature-interaction problem is a major roadblock to rapid introduction of new features for the public telecommu- nications network. Feature interactions are unanticipated side-effects among features that a new feature introduces, or the inability of a new feature to deliver its intended functionality because of unanticipated behaviors of other features. An important amelioration of, or management ap- proach to, this problem is to use formal methods to model and analyze feature logics and feature requirements, and to generate test scenarios. Another tutorial, "LOTOS Applications in the European Soft- ware Industry" by Jeroen Schot (NL) [presented by Juan Quemada (E)], presented recent industrial experience on the use of the LOTOS language in the development of safety- critical and communication software. It discussed practical methods for specification construction, rapid prototyping, validation and verification, and code generation emerging from this and other projects. The next tutorial, "Introduction to Erlang" by Robert Virding (S), described Erlang, a concurrent declarative pro- gramming language for efficient design of robust distributed systems. It gave several examples of how this language has been used most successfully in prototype and research projects. One application might represent the largest sys- tem in the world developed in a declarative language. The final tutorial, "An Introduction to VDM" by Lynn Marshall (CDN), introduced VDM, a widely used formal de- scription method based on set theory and first-order logic. Throughout the Conference, there were demonstrations of software tools for manipulating formal descriptions of sys- tems. As in the past, the Conference was sponsored by the IFIP Working Group on Architecture and Protocols for Computer Networks (WG6.1). Richard Tenney (USA) was Conference chair. The Conference received support from U.S. corpo- rations, universities, and federal agencies. This meeting marked the first time the U.S. National Science Foundation has supported the FORTE series. The formal Conference proceedings, edited by Tenney, Paul Amer (USA), and M. Uemit Uyar (USA), will soon be published by Elsevier/North-Holland as part of the IFIP Transactions series. Preliminary versions of the papers were printed and distributed at the Conference itself. In addition, the vis- ual material for the tutorials and, in some cases, addi- tional background information were also distributed at the Conference. These two volumes totaled over 950 pages. Questions about FORTE'93 and requests for copies of the pro- gram, with titles and authors of the talks, may be sent by e-mail to forte@cs.umb.edu or by ordinary post to FORTE'93 Mathematics and Computer Science Dept. University of Massachusetts Boston, MA 02125-3393, U.S.A. In addition, an order form for the tutorial notes may be ob- tained by sending mail to either of the above addresses. FORTE'94 will take place in Bern, Switzerland, October 4-7, 1994; FORTE'95 is scheduled for Montreal, Canada, October 17-20, 1995. &sqbul. *conference chair of FORTE'93 /********************************************************************/ Progress towards Establishing the IFIP Secretary General In December, IFIP's president, Prof. Asbj×rn Rolstada%s (N), sent a letter to all General Assembly (GA) represen- tatives. Most of it is quoted below. The letter describes a revised charter for the position of Secretary General, created by the GA in September 1993, and it discusses the engagement of Mr. Aage Melbye, GA representative of Denmark and IFIP treasurer, as a paid consultant for six months, to carry out some of the responsibilities of Secretary General and perform other specified tasks. (See page 2 of the De- cember 1993 IFIP Newsletter for further information.) December 17th, 1993 Dear GA representative: You will recall that the latest IFIP General Assembly (GA) approved appointment of a Secretary General for two years, with an option to review the situation after the first six months. Based on the discussions at the GA, the Executive Board has revised the job charter to accommodate the need for a stronger focus on the management aspects and to emphasize that the Secretary General will represent an add-on value to our current operation. The charter we have agreed on is as follows: 1. Promote IFIP and its activities in appropriate external spheres of activity where IFIP can benefit from a wider understanding of its work or can contribute resources in line with its mission. 2. Take action to implement, in a timely manner, decisions taken by the General Assembly, Council, and Executive Board, and monitor and report progress. 3. Ensure that initiatives taken by the administrative com- mittees of IFIP are properly coordinated and monitored. 4. Monitor activities managed by IFIP's technical bodies (Technical Assembly, Technical Committees, and Specialist Groups) to ensure that Standing Orders and other agreed procedures are followed. 5. Manage the commercial aspects of contracts and other formal arrangements between IFIP and its appointed publisher(s) and any other contractors. 6. Foster good communication and seek to improve relation- ships with IFIP's Member societies. Encourage potential new Members and assist them with their applications to the Admissions Committee. 7. Take responsibility for the staff and work of the Admin- istrative Secretariat. 8. Take responsibility for the operation, maintenance and development of IFIP's accounting systems and for the prepa- ration of management reports and information for financial monitoring and control. [Fund-raising is also envisioned. -- Ed.] The position of Secretary General was announced to all GA representatives in a circular letter of September 21st. The deadline for applications was October 31st. Within the deadline, several applications were received. They were evaluated by a group of Executive Board members, which de- cided not to appoint a Secretary General at the current time. Instead, one of the applicants was offered a 6-month contract as a management consultant, to carry out some of the tasks of the Secretary General and to focus on two spe- cial tasks. This gives the Council more flexibility with respect to planning the future of the Secretary General po- sition and the job charter for such a position, as well as the financial implications. The consultancy contract was signed with Aage Melbye, to start January 1st, 1994....The two special tasks of the con- sultant are explained by the following two paragraphs quoted from the contract: "A critical initial responsibility will be a review of IFIP's administrative procedures and costs, with a view to improving operational efficiency and a reduction in annual costs of not less than 15%. This review will address the operations currently carried out by the Secretariat, its staffing, and its location. The review and consequent re- commendations are to be presented to the Council in March 1994. The President will appoint a reference group for this work. "It is important that the Secretary General represents an added value for IFIP; i.e., focusing on new activities to improve the operation and increase the external understand- ing of IFIP. This means that we shall plan to maintain the elected positions of Treasurer and Secretary as today, with the exception that the Secretary General will be directly responsible for the Secretariat (currently in Geneva). You are required to prepare a plan concerning how the Secretary General shall work to reach the goal of better internal op- eration and external understanding and particularly how IFIP finances shall be secured and improved on a long-term basis. This plan will be presented to the Council in March and must include necessary motivation and cost estimates for the Council to reach a final decision." For the work concerning our future Secretariat, I have ap- pointed a reference group for the Consultant. This group consists of G.J. Morris (GB) [IFIP secretary] and M. Tienari (SF) [an IFIP trustee]. Mr. Melbye is requested to report on these issues at the next Council meeting, where we will have a discussion of the job charter and financial justification of the position of Secretary General. Sincerely yours, Asbjorn Rolstadas /********************************************************************/ The F.A.I.B.-F.B.V.I. by Paul E. Gennart (B)* The Belgian member of IFIP, F.A.I.B.-F.B.V.I., was estab- lished in 1974 to promote meetings between member socie- ties, to coordinate their activities, to represent them to national and international authorities, and to organize joint activities. F.A.I.B.-F.B.V.I. stands for "Federation des associations informatiques de Belgique" and "Federatie van de Belgische Informatica Verenigingen." This double de- nomination reflects the bilingual character of Belgium. One of the main responsibilities of the F.A.I.B.-F.B.V.I. is the representation of Belgium in IFIP. In this respect, it succeeded the SOGESCI (Societe pour l'application des mevara as president, who is also the Slovak representative to the IFIP General Assembly. We hope to overcome the general decrease in activity noticeable in all professional societies in Slovakia caused by the loss of hope for fast recovery from the misery of the past years. The present base of 52 individual members and 5 institu- tional members is modest but covers the main computer sci- ence centres in Slovakia reasonably well and includes renowned Slovak computer scientists. Increasing the member- ship base is one of the top priorities of the Society. The Society plans to continue to support and organise seminars and conferences. It is currently working on establishing information flow to its members. SSCS plans to form Special Interest Groups corresponding to the Technical Committees (TCs) of IFIP. Each of these SIGs will select a representative to the corresponding IFIP TC. A committee formed of these representatives will be respon- sible for the relationship with IFIP. All this is expected to take some time. Special attention will be paid to ensur- ing proper involvement of the membership of other profes- sional societies in Slovakia whose professional orientation overlaps that of IFIP (e.g., the Slovak Society for Cybernetics and Informatics). THAI FEDERATION FOR INFORMATION PROCESSING by Prof. Dr. Srisakdi Charmonman (T)&dbldag. The Thai Federation for Information Processing (TFIP) was founded in 1982, when the National Registrar of Organ- izations, a unit of the government of Thailand, granted per- mission to Prof. Dr. Srisakdi Charmonman to establish the Federation. The number of members at that time was 179 in- dividual members and 3 institutional members, which has in- creased to 1,319 individual members and 21 institutional members. One of the purposes of establishing TFIP was to become a member of IFIP. Before TFIP sent an application to IFIP, however, SEARCC (the South East Asia Regional Computer Con- federation) became a member. Since Thailand was a member of SEARCC, TFIP did not apply to IFIP at that time; when SEARCC withdrew from IFIP (in January 1992), TFIP decided to apply. The purposes of TFIP are o.to promote education, research, and applications of infor- mation processing technology, including, but not limited to the areas of data processing equipment, management con- cepts, and data processing personnel. o.to disseminate information processing knowledge to govern- mental agencies, governmental enterprises, and private com- panies, as well as to the general public, students, and all other parties interested in information processing. o.to exchange knowledge and experience in information proc- essing with organizations and learned societies, both in Thailand and abroad. TFIP has organized national and international conferences. For example, in 1982, jointly with the Ministry of Science, it organized the National Seminar on Computers, presided over by H.R.H. Princess Maha Chakri Sirindhorn; and in 1993, it organized the International Conference on Expert System Technology and Applications, in cooperation with the Thailand chapter of the ACM (U.S. Association for Computing Machinery) and the Thailand chapter of the Computer Society of the IEEE (U.S. Institute of Electrical and Electronics Engineers). Also, in 1987, jointly with IDRC and UNCTC (the Canadian International Development Centre, and the United Nations Centre on Transnational Corporations), TFIP organ- ized the Regional Conference on Transborder Data Flow. TFIP also provides speakers requested by various government agencies, private companies, and educational institutions. Starting in 1993, TFIP has been organizing monthly seminars conducted by international experts. Some lecture topics in 1993 were Enterprise-Wide Area Networks, Fuzzy Logic, Neural Computing, Computer-Integrated Manufacturing, and Internet- working. TFIP has a policy of holding one international conference in Thailand each year. The one near the end of 1994 will be "Worldwide Computer Internetworking through the Internet." In the past, TFIP contributed news and technical papers to local periodicals; starting in 1993, TFIP, with the local ACM and IEEE chapters, has been publishing its own Interna- tional Journal of Computer and Engineering Management, three times a year. *. Czech representative to the General Assembly *.. former Czechoslovakian representative to the IFIP Gen- eral Assembly, and member of SSCS Executive Committee ** .. president of TFIP and its representative to the IFIP General Assembly /********************************************************************/ Aims and Scopes of New Working Groups Following are the Aims and Scopes of new Working Groups ap- proved by the September 1993 IFIP General Assembly in Tokyo. WG2.9: Software Requirements Engineering (preliminary) AIM: To develop a better understanding of -- o.the elicitation, specification, analysis, and management of the requirements for large and complex software- intensive systems o.the interpretation and documentation of those requirements so as to permit the developer to construct a system that will satisfy them SCOPE: All aspects of requirements engineering. Some exam- ples or areas of special interest are -- o.formal representation schemes and requirements modeling o.descriptions of the requirements engineering process o.tools and environments to support requirements engineering o.requirements engineering methods o.requirements analysis and validation o.requirements elicitation, acquisition, and formalisation o.establishing traceability to requirements o.reuse and adaptation of requirements o.domain modeling and analysis o.requirements engineering for distributed, safety-critical, composite, real-time, and embedded systems WG11.9: Information Technology and Crime AIM: To facilitate the interchange of research and empir- ical information on IT-related crime, between the interna- tional scientific and investigative communities. SCOPE: o.study and develop new methods and techniques for the de- tection and prevention of IT-related crime o.develop and promote a management standard for criminal in- vestigative services o.perform research and identify new research topics in the field of IT-related-crime investigations o.provide a forum for the discussion and analysis of issues relating to IT-related-crime investigation and intelligence o.provide a reference point for investigative organisations on relevant issues WG12.5: Knowledge-Oriented Development of Application Pro- grams AIM: To explore the use of knowledge modeling techniques (knowledge structuring, knowledge acquisition, knowledge ex- planation) for general application-program development. SCOPE: o.conceptual frameworks for application-program specifica- tion and design based on structured knowledge models o.implications on reusability and development of application programs by non-programmers o.corporate knowledge management o.relationships with current approaches and life cycles for development and formulation of application programs in con- ventional software engineering and information-systems en- gineering o.new knowledge-based user interfaces for development, ex- planation and operation of systems supported by this con- cept of application-program structure o.standards for knowledge transfer o.integration of AI software and systems with conventional databases, programming languages, and operating systems o.related research issues to support the previous concepts, such as knowledge acquisition, learning, validation and im- plementation techniques /********************************************************************/ Thanks for IFIP Support The following is taken from a recent letter written to IFIP: CLEI [Centro Latinoamericano de Estudios Informatica], the Latin American Center for Informatics, and SADIO [the Argentine Member of IFIP], the local organizer of the 19th Latin American Conference for Informatics, which was held in Buenos Aires August 2nd to 6th 1993, jointly with the 22nd Argentine Meeting of Informatics and Operations Research, are thankful for the support received. The conference was a success, with 948 attendees....The proceedings amounted to nearly 2000 pages from 118 contributed papers....The keynote speaker was Adele Goldberg (USA), whose travel was partially paid with the IFIP grant to CLEI.... Hector Monteverde Cecilia T.&sqbul.dichevsky /********************************************************************/ A. NICO HABERMANN We regret to report that Professor A. Nico Habermann (USA), a world-renowned expert on programming, died of a heart attack in August at the age of 62. He was on leave from his professorship at Carnegie Mellon University (Pittsburgh, Pennsylvania) to serve as As- sistant Director for Computer and Information Science and Engineering of the U.S. National Science Founda- tion. He was the founding dean of the CMU Computer Science school and was head of the Computer Science department from 1980 to 1988. Prof. Habermann served on the International Program Committee of IFIP Con- gress '89 as chairman of the Software Development and Maintenance stream. /********************************************************************/ CALLS FOR PAPERS Eighth IFIP WG11.3 Work. Conf. on Database Security 23-26 Aug 94, Bad Salzdetfurth, Germany papers due: 14 Mar 94 contacts: Matthew Morgenstern Xerox Design Research Institute Cornell University 5144 Upson Hall Ithaca, NY 14853, U.S.A. tel: +1 607 255-9899, fax: +1 607 254-4742 e-mail: morgenstern@cs.cornell.edu or Joachim Biskup Institut f. Informatik Univ. of Hildesheim Samelsonplatz 1 Postfach 10 13 63 D-31113 Hildesheim, Germany tel: +49 5121 883-731, fax: +49 5121 883-732 e-mail: biskup@informatik.uni-hildesheim.de IFIP Conf. on South East Asia Communications -- SEACOMM '94 4-6 Oct 94, Kuala Lumpur, Malasia papers due: 30 Mar 94 contact: Chairman SEACOMM'94 Programme Committee Malaysian National Computer Confederation P.O. Box 1128, Jalan Pantai Bahru 59700 Kuala Lumpur, Malaysia fax: 60-3-774-7026 e-mail: Seacomm94@mya0201.wins.icl.co.uk Eighth IFIP WG5.6 Intl. Conf. on Computer Applications in Shipbuilding -- ICCAS'94 5-9 Sep 94, Bremen, Germany papers due: 30 Apr 94 contact: ICCAS 94 Intl. Programme Committee c/o Kockums Computer Systems AB P.O. Box 505 55 S-202 15 Malmoe, Sweden fax: +46 40 97 02 72 e-mail: iccas94@kcs.se IFIP Intl. Conf. NETWORKS'94 30 Dec 94-2 Jan 95, Madras, India papers due: 30 Apr 94 contact: Dr. S.V. Raghavan Dept. of Computer Science and Engineering Indian Institute of Technology Madras 600 036, India e-mail: svr@iitm.ernet.in tel:.+91 44 2351365, ext. 3508 (work) fax:.+91 44 2350509 telex: 41-21062 IITM IN IFIP WG6.1 Intl. Conf. on Formal Description Techniques for Distributed Systems and Communications Protocols -- FORTE'94 4-7 Oct 94, Bern, Switzerland papers due: 6 May 94 contact: FORTE'94 Organization Committee Univ. of Bern P.O. Box 900 CH-3000 Bern 9, Switzerland tel:.+41 31 631 4994 (Prof. Dr. Dieter Hogrefe, conf. chairperson) (Stefan Leue, conf. organization chairperson) fax:.+41 31 631 3965 e-mail: forte94@iam.unibe.ch Fifth IFIP TC5 Intl. Conf. on Computer Applications in Pro- duction and Engineering -- CAPE'95 16-18 May 95, Beijing, China extended abstracts due: 30 Jun 94 contact: Prof. Zesheng Tang Computer Dept. Tsinghua Univ. Beijing, 100084, China fax: 86.1.256768 Fourth IFIP WG6.6 Intl. Symp. on Integrated Network Manage- ment -- ISINM'95 2-6 Apr 95, Santa Barbara, CA, U.S.A. papers due: 1 Jul 94 contact: Prof. Adarshpal Sethi Computer & Information Sciences Univ. of Delaware Newark, DE 19716, U.S.A. e-mail: sethi@cis.udel.edu or Prof. Yves Raynaud Univ. Paul Sabatier - IRIT/SIERA 118 route de Narbonne Toulouse 31062, France e-mail: raynaud@irit.fr Sixth IFIP World Conf. on Computers in Education 23-28 Jul 95, Birmingham, U.K. papers due: 31 Jul 94 contact: WCCE/95 Margaret St. Birmingham B3 3BW, U.K. tel: 44+(0)21-428 1258, fax: 44+(0)21-428 2246 Seventeenth IFIP Conf. on System Modelling and Optimization 10-14 Jul 95, Prague, The Czech Republic extended abstracts due: 15 Oct 94 contact: IFIP'95 Conference Attn. Dr. J. Dolezal Institute of Information Theory and Automation P.O. Box 18 Pod voda