The 4th Jesualem conference on information technology (JCIT)

THE 4th JERUSALEM CONFERENCE ON INFORMATION TECHNOLOGY (JCIT) NEXT DECADE IN INFORMATION TECHNOLOGY ny7nD07 4-n Bw! ATVI TION TW THE 4th JERUSALEM CONFERENCE ON INFORMATION TECHNOLOGY (UCIT) NEXT DECADE IN INFORMATION TECHNOLOGY 4-n oO WN ATU TION Fw nANNDv7 PROGRAM May 21-25, 1984 Jerusalem, Israel THE 4th JERUSALEM CONFERENCE ON INFORMATION TECHNOLOGY (JCIT) NEXT DECADE IN INFORMATION TECHNOLOGY 4-N DWN ATU yTNn Ww n9NDV7 May 21-25, 1984 Jerusalem, Israel CONTENTS CO MITIOIEES: cc 2a sen 55s sein rs 356 5 5p wes sare tor WS) aw ae in Sid el Dyas ate a ne eee ore 3 Acknowledgements .............. eee cece e cece cece eee eee eneee 5 Timetable 2x36 esis es ens Ose edie Ti eee WINS H NERVES MEER ee Seed 6 Scientific Program: FE WESU AY SMG: 22? caine. sii r5 hake techie alone ale oi 0 26/06 01 3nd ioybha, ori 91 OVENS NaHS aie 8 Wednesday, Maly 23. o.oo eicie: ore o/esaie. ove wi ores0:9 io 0:8 gi sneer tnd gia aelpie ais eaves 12 MHUTSA AY, May ZA once: die io: ssa so! jee she ie: dna 6698! aus 195 bes Sy cde Bret iss bes b9 aire ah 18 Friday, May! 25: 3s 5:5 i6:gin cave 6) oe 9s 6k sof See nv0 aj aV's'ay evs ei tin Se 6p wey erie 0's 23 Social Events: o-..0.6. 5 :0c:cieisew ors erie nce wie eres bee ene Gow ep ew se OOH 24 Program for Registered Accompanying Persons ...............22000. 25 General Information ............... cece cece ence cece cenccceeceee 26 List of Exhibitors .......... 0... cece ccc cece cece e eee eneneenaees 28 Exhibition Floor Plan ...............- es cccccccecccccccecserecees 30 THE 4th JERUSALEM CONFERENCE ON INFORMATION TECHNOLOGY (JCIT) Organized by: IPA, Information Processing Association of Israel Sponsored by: IEEE Computer Society In Cooperation with: ACM, Association for Computing Machinery CIPS, Canadian Information Processing Society AFIPS, American Federation for Information Processing AFCET, Association Frangaise pour la Cybernetique, Economique et Technique Promoted by: Software Center, Israel Export Institute STEERING COMMITTEE CONFERENCE CHAIRPERSONS: Harvey S. Gellman, Gellman, Hayward & Partners, Canada Josef Raviv, IBM Israel Scientific Center, Israel ORGANIZING COMMITTEE CHAIRPERSON: Israel Borovits, Tel Aviv University, Israel PROGRAM COMMITTEE CHAIRPERSONS: Noah Prywes, University of Pennsylvania, U.S.A. Amiram Shore, M.L.L. Software and Computer Industries, Ltd., Israel PRESIDENT OF IPA: Abraham Ginzburg, Everyman’s University, Israel CHAIRMAN OF THE EXECUTIVE BOARD OF IPA: Michael Hanani, Ben Gurion University of the Negev, Israel COUNTRY LIAISONS: Aaron Finerman, University of Michigan, U.S.A. C.C. Gotlieb, University of Toronto, Canada “PROGRAM FOR EXECUTIVES” CHAIRPERSON: Bernard Galler, University of Michigan, U.S.A. PUBLICITY COMMITTEE CHAIRPERSON: Harry Hayman, IEEE Computer Society, U.S.A. ORGANIZING COMMITTEE CHAIRPERSON: Israel Borovits, Tel Aviv University, Israel MEMBERS: Niv Ahituv, Tel Aviv University, Israel Mordechai Avior, Ministry of Industry and Trade, Israel Andy Ben-Artzy, Bank Leumi Le Israel B.M. Ltd. Avi Cohen, Tel Aviv University, Israel Emanuel Cohen, Mekorot, Israel Shlomo Halevi, Malam Systems Ltd., Israel Arie Hinkis, Afik Computers Ltd., Israel Ruth Kupperman, Secretary of IPA, Israel Moshe Mor, Weizmann Institute of Science, Israel Benjamin Neuhof, Ministry of Industry and Trade, Israel Shlomo Sitton, Ministry of Finance, Israel Ilene Winer, Israel Export Institute, Israel Zvi Yanai, IBM Israel Ltd., Israel PROGRAM COMMITTEE CHAIRPERSONS: Noah Prywes, University of Pennsylvania, U.S.A. Amiram Shore, M.L.L. Software and Computer Industries Ltd., Israel MEMBERS: Rony Atar, Israel Discount Bank Ltd., Israel John Bennett, University of Sidney, Australia Shimon Bukshpan, Municipality of Petah Tikva, Israel Sylvia Charp, Consultant - Education and Training, U.S.A. Sidney Fernbach, Consultant, U.S.A. Edward Feigenbaum, Stanford University, U.S.A. Aaron Finerman, University of Michigan, U.S.A. Herbert Freeman, Rensselaer Polytechnic Institute, U.S.A. Bernard Galler, University of Michigan, U.S.A. Aharon Gill, Rafael/Galram, Israel Susan Graham, University of California - Berkeley, U.S.A. Gideon Halevi, Israel Military Industries, Israel Arvind K. Joshi, University of Pennsylvania, U.S.A. Leonard Kleinrock, University of California-L.A., U.S.A. Zohar Manna, Stanford University, U.S.A. Naftali Minsky, Rutgers University, U.S.A. Roger N. Nagel, Lehigh University, U.S.A. E.J. Neuhold, Hewlett-Packard, U.S.A. Luis Osin, Centre for Educational Technology, Israel Avraham Peled, International Business Machines Corporation, U.S.A. Shmuel Penchas, Hadassah Medical Organization, Israel Kenneth Preiss, Ben-Gurion University of the Negev, Israel Judith M.S. Prewitt, Bell Laboratories, U.S.A. Brian Randell, Computing Laboratory, Newcastle-upon-Tyne, England Uri Shamir, Technion - Israel Institute of Technology, Israel Jeffrey Ullman, Stanford University, U.S.A. Shimon Ullman, MIT, U.S.A. and Weizmann Institute of Science, Israel Stanley Winkler, U.S. National Bureau of Standards, U.S.A. Moshe Zloof, International Business Machines Corporation, U.S.A. ACKNOWLEDGEMENTS (In alphabetical order) The Organizing Committee gratefully acknowledges the financial assistance and support provided by: Afik Computers Subsidiary of Afik Investments Co. Ltd. Alpha Terminals Ltd. Bank Leumi Le Israel B.M. Bitcom Agencies Ltd. Clal Systems Ltd. - Burroughs Distributor for Israel Control Data (Israel) Ltd. EI-Al Israel Airlines Elbit Computers Ltd. Eshed (1980) Consultant Engineers Industries Management & Computers Ltd. G.N. Cheshev Systems Ltd. IBM Israel Ltd. Israel Export Institute Koor Communication & Security L.L.N. - Data Processing Ltd. - The Jewish Agency Mehish Computer Services Ltd. Merav Publishing Ltd. Ministry of Finance Ministry of Industry and Trade Ministry of Tourism M.L.L. Software and Computer Industries Ltd. Municipality of Jerusalem N.C.R. - LE. Mittwoch & Sons Lid. Shaked Computer Systems Ltd. Tnuva Computers Ltd. Yalan, Mishkei Tnuat Hamoshavim PPWOIN OTIN 09:00-10:30 Reliable Systems 09:00-10:30 Databases 09:00-10:30 Robotics 09:00-10:30 DAVNNA MOVWINYW 02) MNIpna Cotes Break ee ee 11:00-12:30 11:00-12:30 11:00-12:30 11:00-12:30 Computer Databases Reliable Systems D-AVNN? OWINW Communications Networks (Jwnn) ON MAdpNa eS "DT. eS 14:00-15:30 14:00-15:30 14:30-15:30 Computer Databases Information Communications Networks Systems Coffee Break :N>y) aww 019 NPN mv-ay 16:00-17:00 16:00-17:30 16:00-17:00 Computer Office Automation Information Communications Networks Systems Farewell Banquet (optional) at the Jerusalem Hilton 20:30 08:30-10:00 Plenary Session Challenge of the Fifth Generation 10:00-10:30 Coffee Break 10:30-12:00 Plenary Session Challenge of the Fifth Generation (Cont'd) 12:00-13:00 Panel Discussion 13:00-13:15 Closing of Conference TIME TABLE Reception - (Binyanei Ha’ooma - Hall A) Israeli Folklore Performance (Jerusalem Theatre) Monday May 21 09:00-11:00 Opening Ceremony - (Ussishkin Hall) Tuesday, May 22 Coffee Break HALL A HALL B HALL C PPWOIN DIIN 11:30-13:30 11:30-13:00 11:30-13:00 11:30-13:00 AI and Image Processing | Computer Architecture Foundations of miayn Nvpva nw” Computer Science Lunch Break 15:00-16:00 14:30-16:00 14:30-15:30 _ 14:30-16:00 Al and Image Processing | Computer Architecture Foundations of D-1NaD ONIw Computer Science Coffee Break 09:00-11:00 VLSI 16:30-18:00 Special Plenary Session - (Ussishkin Hall) State of Industry and R & D in Israel Reception by the Municipality of Jerusalem at the Israel Museum 09:00-11:00 Computers in Medicine 09:00-11:00 Computers in Education 09:00-10:30 DaRwN vin Mow AVNN/OIN Coffee Break 11:15-12:15 11:15-12:15 11:15-12:15 11:00-12:30 Graphics Computers in Education Natural Language Mpa) may Interfaces & Knowledge mwpn mo1ynN1 Acquisition Lunch Break 13:30-15:00 13:30-15:00 13:30-15:00 14:00-15:30 Graphics Software Natural Language ANNA 213 OWIPN Interfaces & Knowledge Acquisition Coffee Break Wednesday, May 23 15:30-17:00 15:30-17:00 15:30-17:00 16:00-17:30 Hardware-Software Software Expert Systems MINI OWIPN Interactions (Juan) 7713) 17:15-18:15 Hardware-Software Interactions 17:15-18:15 Computers in Education 17:15-18:15 Expert Systems THE 4th JERUSALEM CONFERENCE ON INFORMATION TECHNOLOGY PROGRAM All sessions and events will be held at the Binyanei Ha’0oma Convention Center, unless stated otherwise. Monday, 21 May, 1984 . HALLA 18:30 Reception 21:00 Israeli Folklore Performance (at the Jerusalem Theatre) Tuesday, 22 May, 1984 09:00-11:00 OPENING CEREMONY USSISHKIN HALL M.C.: Yair Aloni GREETINGS: Joseph Raviv Co-Chairperson of the Conference, Israel Harvey S. Gellman Co-Chairperson of the Conference, U.S.A. David H. Brandin President, ACM, Association for Computing Machinery, U.S.A. Sylvia Charp President, AFIPS, American Federation for Information Processing, U.S.A. Chaim Herzog President of the State of Israel IPA AWARDS - to be presented by: Abraham Ginzburg President of the IPA, Information Processing Association of Israel Israel Police Band Michal Tal, Vocalist KEYNOTE ADDRESS: COMPUTERS IN INTERNATIONAL ECONOMICS AND BUSINESSES Lawrence Klein, Nobel Laureate University of Pennsylvania, U.S.A. 11:00-11:30 Coffee Break SCIENTIFIC PROGRAM Tuesday, 22 May, 1984 11.30-12.00 12.00-12.30 12.30-13.00 13.00-13.30 13.30-14.30 11.30-12.00 12.00-12.30 12.30-13.00 13.00-14.30 AI AND IMAGE PROCESSING HALL A Chairpersons: _ S. Ullman, MIT, U.S.A., and Weizmann Institute of Science, Israel A. Gill, Galram, Israel HUMAN AND MACHINE VISION S. Ullman, MIT, U.S.A., and Weizmann Institute of Science, Israel ARTIFICIAL INTELLIGENCE AND MACHINE VISION P. Winston, MIT, U.S.A. SOME ARTIFICIAL INTELLIGENCE CONTRIBUTIONS TO AIR TRAFFIC CONTROL N. Findler, Arizona State University, U.S.A. HIERARCHICAL CONTOUR CODING - A TOOL FOR REAL TIME PATTERN RECOGNITION G. Hartmann, Universitaet Gesamthochschule, Fed. Rep. Germany Lunch break COMPUTER ARCHITECTURE HALL B Chairpersons: _ S. Fernbach, Consultant, U.S.A. E. Gruengard, IBM Israel Ltd., Israel SUPERCOMPUTERS OF THE FUTURE S. Fernbach, Consultant, U.S.A. SUPERCOMPUTERS: THE NEXT TEN YEARS - A USER'S VIEW J.E. Ranelleti, Lawrence Radiation Laboratory, U.S.A. SUPERCOMPUTER PERSPECTIVES D.J. Kuck, University of Illinois, U.S.A. Lunch break Tuesday, 22 May, 1984 11.30-12.00 12.00-12.30 12.30-13.00 13.00-14.30 15.00-15.30 15.30-16.00 16.00-16.30 FOUNDATIONS OF COMPUTER SCIENCE HALL C Chairpersons: Z. Manna, Stanford University, U.S.A. A. Pnueli, Weizmann Institute of Science, Israel DEDUCTIVE PROGRAM SYNTHESIS Z. Manna, Stanford University, U.S.A. RANDOMIZED PROTOCOLS FOR CONCURRENCY CONTROL M. Rabin, Harvard University, U.S.A., and Hebrew University of Jerusalem, Israel THEORETICAL MODELS OF SECURITY IN OPERATING SYSTEMS M. Harrison, University of California, Berkeley, U.S.A. Lunch break AI AND IMAGE PROCESSING HALL A Chairpersons: _ S. Ullman, MIT, U.S.A., and Weizmann Institute of Science, Israel A. Gill, Galram, Israel MULTIPLE RESOLUTION TEXTURE ANALYSIS AND CLASSIFICATION S. Peleg, J. Naor, R. Hartley and D. Avnir, University of Maryland, U.S.A. IMAGE PROCESSING OF STOMACH CANCER CYTOLOGY M. Weinreb, G. Zajicek and I.S. Levij, The Hebrew University of Jerusalem/Hadassah Medical School, Israel Coffee break - 10- Tuesday, 22 May, 1984 14.30-15.00 15.00-15.30 15.30-16.00 16.00-16.30 14.30-15.00 15.00-15.30 16.30—18.00 COMPUTER ARCHITECTURE HALL B Chairpersons: S. Fernbach, Consultant, U.S.A. E. Gruengard, IBM Israel Ltd., Israel. A COMPARISON OF SEVERAL (UNIVERSITY) SUPERCOMPUTER ARCHITECTURES Y. Patt, University of California, Berkeley, U.S.A. WHY DATAFLOW ARCHITECTURES Arvind and D.E. Culler, Massachusetts Institute of Technology, U.S.A GENERATING PARALLEL PROGRAMS FROM NONPROCEDURAL SPECIFICATIONS M. Gokhale, University of Delaware, U.S.A. Coffee break FOUNDATIONS OF COMPUTER SCIENCE HALL C Chairpersons: Z. Manna, Stanford University, U.S.A. A. Pnueli, Weizmann Institute of Science, Israel EQUATIONS AS PROGRAMMING LANGUAGE N. Dershowitz, University of Illinois, U.S.A. IMPLEMENTING PROBLEM SOLVING STRATEGIES USING THE META-LEVEL L. Sterling, University of Edinburgh, Scotland STATE OF INDUSTRY AND R& D IN ISRAEL USSISHKIN HALL (Plenary Session) GUEST LECURERS: Gideon Patt, Minister of Industry and Trade Eli Hurvitz, President of the Manufacturers Association of Israel Uzia Galil, President, Elron Electronic Industries Ltd. Amos Horev, Managing Director, Bank Leumi Le-Israel Investments Co, Ltd. -{1- a Wednesday, 23 May, 1984 09.00-09.30 09.30-10.00 10.00-10.30 10.30-11.00 11.00-11.15 09.00-09.30 09.30-10.00 10.00-10.30 10.30-11.00 11.00-11.15 VLSI HALL A Chairpersons: — J. Ullman, Stanford University, U.S.A. I. Berger, IBM Israel Ltd., Israel VLSIECOMPLEXITY AND SUPERCOMPUTER ORGANIZATION J. Ullman, Stanford University, U.S.A THE MOSIS SYSTEM D. Cohen, University of Southern California, U.S.A. EXTENSION OF THE TWO-LEVEL. FORMAT FOR THE DESIGN OF MULTI-LEVEL LOGIC H. Fleischer, L. Maissel and R.L. Phoenix, International Business Machines Corporation, U.S.A AN INFORMATION ANALYSIS APPROACH TO THE DESIGN OF DATABASES FOR VLSI CAD- SYSTEMS , M. Marchesi, Consiglio Nationale delle Ricerche, Italy Coffee break COMPUTERS IN EDUCATION HALL B Chairpersons: S. Charp, Consultant — Education and Training, U.S.A. L. Osin, Centre for Educational Technology, Israel COMPUTERS IN ELEMENTARY AND SECONDARY EDUCATION - TWO DECADES OF CHANGE S. Charp, Consultant — Education and Training, U.S.A. TRENDS AND FACTORS INVOLVED IN THE SCHOOL USE OF COMPUTERS IN THE U.S. A. Melmed and M. Davis, U.S. Department of Education, U.S.A. PREPARING MANAGERS TO COPE WITH COMPUTERS H.C. Lucas, New York University, U.S.A. COMPUTER-AIDED EDUCATION IN ARCHITECTURE Y.E. Kalay, SUNY at Buffalo, U.S.A. Coffee break -12- Wednesday, 23 May, 1984 09.00-09.30 09.30-10.00 10.00-10.30 10.30-11.00 11.00-11.15 11.15—12.45 12.45-12.15 12.15—-13.30 11.15—11.45 11.45-12.15 12.15—13.30 COMPUTERS IN MEDICINE HALL C Chairpersons: J.M.S. Prewitt, Bell Laboratories, U.S.A. S. Penchas, Hadassah Medical Organization, Israel IMAGE PROCESSING APPLICATIONS IN HISTOLOGY J.M.S. Prewitt, Bell Laboratories, U.S.A. KNOWLEDGE BASE SYSTEMS FOR MEDICAL PRACTICE R.R. Grams, University of Florida, U.S.A. A DISTRIBUTED HOSPITAL INFORMATION SYSTEM S.G. Tolchin, S.A. Kahn, R.L. Stewart, E.S. Bergan and G.P. Gafke, Johns Hopkins University, U.S.A. EXPERT SYSTEMS FOR DIAGNOSIS SUPPORT - A CONCEPTUAL TUTORIAL M. Ben-Bassat, Tel Aviv University, Israel, and University of California, U.S.A Coffee break GRAPHICS HALL A Chairpersons: H. Freeman, Rensselaer Polytechnic Institute, U.S.A. S. Bergman, Edunetics, Israel A SYSTEM FOR AUTOMATIC MAP NAME PLACEMENT H. Freeman and J. Ahn, Rensselaer Polytechnic Institute, U.S.A. EARTH IMAGING AND DATA PROCESSING FOR MAPPING ANALYSIS, A TECHNOLOGICAL ASSESSMENT AND NEW DEVELOPMENTS R. Bernstein, J.B. Lotspiech and H.J. Myers, International Business Machines Corporation, U.S.A. Lunch break COMPUTERS IN EDUCATION HALL B Chairpersons: S&S. Charp, Consultant —- Education and Training, U.S.A. L. Osin, Centre for Educational Technology, Israel COMPUTER AIDED INSTRUCTION IN JEWISH EDUCATION I. Jaskoll, Bramson Ort Technical Institute, U.S.A TOAM: C.A.I. ON A NATIONAL SCALE L. Osin, Centre for Educational Technology, Israel Lunch break -13- Wednesday, 23 May, 1984 11.15--11.45 11.45-12.15 12.15—13.30 13.30-14.00 14.00-14.30 14.30-15.00 15.00-15.30 13.30-14.00 14.00-14.30 14.30-15.00 15.00-15.30 NATURAL LANGUAGE INTERFACES AND KNOWLEDGE ACQUISITION HALL C Chairpersons: A.K. Joshi, University of Pennsylvania, U.S.A. Y. Choueka, Bar Ilan University, Israel BEYOND SYNTACTIC SUGAR: NATURAL LANGUAGE INTERACTION WITH DATA BASES AND EXPERT SYSTEMS A.K. Joshi and B. Webber, University of Pennsylvania, U.S.A. ISSUES IN THE DESIGN OF TRANSPORTABLE NATURAL LANGUAGE INTERFACES B. Grosz, SRI International, U.S.A. Lunch break GRAPHICS HALL A Chairpersons: _H. Freeman, Rensselaer Polytechnic Institute, U.S.A. S. Bergman, Edunetics, Israel TRENDS IN COMPUTER GRAPHICS IN SUPPORT OF CAD/CAM J. Staudhammer and J.Y. Shi, University of Florida, U.S.A. HIERARCHIAL SYSTEMS FOR INTERACTIVE RASTER GRAPHICS M. Berger and S. Chen, University of Colorado, U.S.A. TEXTURE SYNTHESIS LANGUAGE FOR COMPUTER-GENERATED IMAGES A. Kaufman and S. Azaria, Ben-Gurion University of the Negev, Israel Coffee break SOFTWARE HALL B Chairpersons: S. Graham, University of California— Berkeley, U.S.A. A. Reiter, Reiter Software Systems Ltd., Israel MACHINE DESCRIPTION FOR COMPILER CODE GENERATION. EXPERIENCE SINCE JCIT-3 S. Graham and R.R. Henry, University of California, Berkeley, U.S.A. PROGRAM DEVELOPMENT BY USING A SOURCE LINKER M. Ancona, L. DeFloriani, G. Dodero and P. Thea, Consiglio Nationale delle Ricerche, Italy ANALYSIS AND TESTING BASED ON SEQUENCING SPECIFICATIONS R.N. Taylor, University of California, U.S.A. Coffee break -14- Wednesday, 23 May, 1984 13.30-14.00 14.00-14.30 14.30-15.00 15.00-15.30 15.30-16.00 16.00-16.30 16.30-17.00 17.00-17.15 NATURAL LANGUAGE INTERFACES AND KNOWLEDGE HALL C ACQUISITION Chairpersons: A.K. Joshi, University of Pennsylvania, U.S.A. Y. Choeka, Bar Ilan University, Israel ACQUISITION OF EXPERTISE VIA PROBLEM REPRESENTATION S. Amarel, Rutgers University, U.S.A. A PORTABLE WORKBENCH FOR INDEXING DOCUMENTS N. Friedman, McGill University, Canada NATURAL LANGUAGE PROCESSING WITH COMSKEE J. Messerschmidt, Universitaet des Saarlandes, Fed. Rep. Germany Coffee break HARDWARE - SOFTWARE INTERACTIONS HALL A Chairpersons: A. Peled, International Business Machines Corporation, U.S.A. J. Katzenelson, Technion — Israel Institute of Technology, Israel THE HARDWARE - SOFTWARE LONG RANGE TECHNOLOGY OUTLOOK A. Peled, International Business Machines Corporation, U.S.A. FORTH AS THE MACHINE: A COMPUTER FOR SOFTWARE ENGINEERING C. Vickery and G. Berkley, Queens College of CUNY, U.S.A. PASS: A SIMULATION SYSTEM FOR PARALLEL ARCHITECTURES C. Webb, Rensselaer Polytechnic Institute, U.S.A. Break -45- Wednesday, 23 May, 1984 15.30-16.00 16.00-16.30 16.30-17.00 17.00-17.15 15.30-16.00 16.00-16.30 16.30-17.00 17.00-17.15 SOFTWARE HALL B Chairpersons: S. Graham, University of California— Berkeley, U.S.A. A. Reiter, Reiter Software Systems Ltd., Israel PROGRAM EVOLUTION, THE PROGRAMMING PROCESS, PROGRAMMING SUPPORT M. Lehman, Imperial College, UK INTERACTIVE DEVELOPMENT OF SOFTWARE SPECIFICATIONS J.L. Darlington, GMD Fed. Rep. Germany COMPUTER ASSISTED REQUIREMENTS SPECIFICATION SYSTEM (CARS) S.G. Tolchin, E.S. Bergan, M.A. Espenshade, R.S. Grossman, S.A. Kahn, M.J. Schneider and R.F. Wachter, Johns Hopkins University, U.S.A. Break EXPERT SYSTEMS HALL C Chairpersons: _ E. Feigenbaum, Stanford University, U.S.A. Y. Makowsky, Technion — Israel Institute of Technology, Israel KNOWLEDGE SYSTEMS E. Feigenbaum, Stanford University, U.S.A. AN EXPERT SYSTEM FOR LIVER FUNCTION TESTS E. Chang, K. Gamble and M. McNeely, University of Victoria, Canada KNOWLEDGE-BASED PROJECT MANAGEMENT AND COMMUNICATION SUPPORT IN A SYSTEM DEVELOPMENT ENVIRONMENT B.I. Kedzierski, Kestrel Institute, U.S.A. Break -16- Wednesday, 23 May, 1984 17.15—-17.45 17.45-18.15 17.15-17.45 17.45-18.15 17.15-17.45 17.45-18.15 HARDWARE - SOFTWARE INTERACTIONS HALL A Chairpersons: A. Peled, International Business Machines Corporation, U.S.A. J. Katzenelson, Technion - Israel Institute of Technology, Israel ON SOFTWARE PROTECTION A. Herzberg, Technion — Israel Institute of Technology, Israel, and G. Karmi, Tel-Dan Co. Ltd., Israel ON TWO ONE-STEP ALGORITHMS FOR THE RESTORATION OF BAND-LIMITED SIGNALS WITH LIMITED SPATIAL INFORMATION N.N. Abdelmalek, National Research Council of Canada, Canada COMPUTERS IN EDUCATION HALL B Chairpersons: S. Charp, Consultant — Education and Training, U.S.A. L. Osin, Centre for Educational Technology, Israel ROBOTS USING TECHNOLOGY TO TEACH NEW TECHNOLOGY K. Cohen and C. Meyer, Continuous Learning Corporation, U.S.A. WORD PROCESSING AS AN EDUCATIONAL TOOL S. Wolfson, Wayne State University, U.S.A. EXPERT SYSTEMS HALL C Chairpersons: _E. Feigenbaum, Stanford University, U.S.A Y. Makovsky, Technion — Israel Institute of Technology, Israel GENERALIZING EXPERT SYSTEMS - A PROBLEM- DRIVEN APPROACH > M. Ben-Bassat, Tel Aviv University, Israel, and University of California, U.S.A. AN EXPERT SYSTEM FOR THE MANIPULATION OF PROGRAMS J-M. Fouet, University of Paris, France -17- Thursday, 24 May, 1984 09.00-09.30 09.30-10.00 10.00-10.30 10.30-11.00 09.00-09.30 09.30-10.00 10.00-10.30 10.30-11.00 ROBOTICS HALL A Chairpersons: _R. Nagel, Lehigh University, U.S.A. G. Halevi, Israel Military Industries, Israel ROBOTICS: STATE OF THE ART REVIEW R. Nagel, Lehigh University, U.S.A. AUTOMATIC GENERATION OF GRIPPING POSITIONS R.A. Volz, University of Michigan, U.S.A. STATUS AND APPLICATIONS OF SOLID MODELLING L.A. Gerhardt, Rensselaer Polytechnic Institute, U.S.A. Coffee break DATABASES HALL B Chairpersons: E.J. Neuhold, Hewlett-Packard, U.S.A. M. Hanani, Ben-Gurion University of the Negev, Israel DATABASES - THE NEXT TEN YEARS E.J. Neuhold and N. Derrett, Hewlett-Packard, U.S.A. THE POWER STRUCTURE OF DATABASE SYSTEMS N. Minsky and A. Lockman, Rutgers University, U.S.A. CONCEPT FOR THE DESIGN OF MULTI-DATABASE MANAGEMENT SYSTEMS W. Litwin, INRIA, France Coffee break -18- Thursday, 24 May, 1984 09.00-09.30 09.30-10.00 10.00-10.30 10.30-11.00 11.00-11.30 11.30-12.00 12.00-12.30 12.30-14.00 RELIABLE SYSTEMS HALL C Chairpersons: J-C. Laprie, LAAS, France D. Dolev, The Hebrew University of Jerusalem, Israel RELIABILITY ISSUES IN DISTRIBUTED SYSTEMS B. Randell, University of Newcastle-upon-Tyne, U.K. A RIGOROUS APPROACH TO FAULT TOLERANT PROGRAM DESIGN F. Cristian, International Business Machines Corporation, U.S.A. TOWARDS A TAXONOMY OF DEPENDABLE COMPUTING J-C. Laprie, LAAS, France Coffee break COMPUTER COMMUNICATIONS NETWORKS HALLA Chairpersons: Y. Yemini, Columbia University, U.S.A. R. Atar, Israel Discount Bank Ltd., Israel. RESEARCH DIRECTIONS IN DISTRIBUTED COMPUTING AND COMMUNICATIONS Y. Yemini, Columbia University, U.S.A. A DISTRIBUTED ALGORITHM FOR CONSTRUCTING A MINIMUM-WEIGHT SPANNING TREE IN A FULLY CONNECTED BROADCAST NETWORK Y. Gold and S. Moran, University of Connecticut, U.S.A., and Technion — Israel Institute of Technology, Israel COMMUNICATION INTERFACE DESIGN CONSIDERATIONS FOR HIGH AVAILABILITY DISTRIBUTED SYSTEMS I. Chlamtac and O. Ganz, Technion — Israel Institute of Technology, Israel Lunch break -19 - Thursday, 24 May, 1984 11.00-11.30 11.30-12.00 12.00-12.30 12.30-14.00 11.00-11.30 11.30-12.00 12.00-12.30 12.30—14.00 DATABASES HALL B Chairpersons: E.J. Neuhold, Hewlett-Packard, U.S.A. M. Hanani, Ben-Gurion University of the Negev, Israel IMPACT OF DATABASE STRUCTURES AND DATABASE STORAGE DEVICES FOR RETRIEVAL RESPONSE TIMES T. Watanabe, Kyoto University, Japan SSDB - AN ARCHITECTURE FOR STATISTICAL DATABASES G. Ozsoyoglu and Z.M. Ozsoyoglu, Case Western Reserve University, U.S.A. APPLYING GRAPH BASED LOCKING PROTOCOLS TO RELATIONAL DATABASE SYSTEMS K. Gargeya and A. Silberschatz, University of Texas, U.S.A. Lunch break RELIABLE SYSTEMS HALL C Chairpersons: J-C. Laprie, LAAS, France D. Dolev, The Hebrew University of Jerusalem, Israel FAULT TOLERANT ADA ARCHITECTURE R. Schwartz, SRI International, U.S.A PREDICTIVE QUALITY OF SOFTWARE RELIABILITY MODELS B. Littlewood, City University London, U.K. SURVNET, A PROTOTYPE FAULT TOLERANT COMPUTER LOCAL AREA NETWORK J.L. Katz, E.C. Grund, R.P. Cope and A. Glick, The MITRE Corporation, U.S.A. Lunch break - 20- Thursday, 24 May, 1984 14.00-14.30 14.30-15.00 15.00-15.30 15.30-16.00 14.00-14.30 14.30-15.00 15.00-15.30 15.30-16.00 14.30-15.00 15.00-15.30 15.3U-16.00 COMPUTER COMMUNICATIONS NETWORKS HALL A Chairpersons: Y. Yemini, Columbia University, U.S.A. R. Atar, Israel Discount Bank Ltd., Israel AN EXTENDED METHOD FOR PROTOCOL VALIDATION G. Messina, Universita di Catania, Italy CSMA WITH COLLISION DETECTION FOR RADIO CHANNELS R. Rom, Technion — Israel Institute of Technology, Israel APPROXIMATE PERFORMANCE MODEL FOR ASYNCHRONOUS CIRCUIT SWITCHED DELTA NETWORKS L. Ciminiera and A. Serra, Politecnico di Torino, Italy Coffee break DATABASES HALL B Chairpersons: E.J. Neuhold, Hewlett-Packard, U.S.A. M. Hanani, Ben-Gurion University of the Negev, Israel AUTOMATIC LOGICAL DATABASE DESIGN IN A CODASYL ENVIRONMENT A. Dileva and P. Giolito, University of Torino, Italy TOWARDS A FLEXIBLE USER INTERFACE TO RELATIONAL DATABASE SYSTEMS T. Imielinski and D. Rozenschtein, Rutgers University, U.S.A. AN APPROACH TO CONCEPTUAL SCHEMA SUPPORT IN A RELATIONAL DBMS ENVIRONMENT H. Kilov, U.S.S.R. Coffee break INFORMATION SYSTEMS HALL C Chairpersons: _S. Winkler, National Bureau of Standards, U.S.A. P. Ein-Dor, Tel Aviv University, Israel THE INFORMATION RESOURCE CENTER S. Winkler, National Bureau of Standards, U.S.A. ‘THE NEW FACE OF VIDEOTEX J. Gescei, University of Montreal, Canada Coffee break -21 - Thursday, 24 May, 1984 16.00-16.30 16.30-17.00 16.00-16.30 16.30-17.00 17.00-17.30 16.00-16.30 16.30-17.00 COMPUTER COMMUNICATIONS NETWORKS HALL A Chairpersons: Y. Yemini, Columbia University, U.S.A. R. Atar, Israel Discount Bank Ltd., Israel PETRINET ORIENTED TOOLS FOR A PROTOCOL DESIGN METHODOLOGY J.M. Ayache and J.P. Courtiat, Centre National de la Recherche Scientifique, France ETHERNET MODELS WITH DIFFERENT SYSTEM CRITERIA M. Melman, Weizmann Institute of Science, Israel OFFICE AUTOMATION HALL B Chairpersons: M. Zloof, International Business Machines Corporation, U.S.A. J. Finkel, Weizmann Institute of Science, Israel FUTURE OFFICE SYSTEMS: CONCEPTS AND FACILITIES M. Zloof, International Business Machines Corporation, U.S.A. DITROFF/FFORTID: AN ADAPTATION OF UNIX’S DITROFF FOR FORMATTING BI-DIRECTIONAL TEXT C. Buchman and D.M. Berry, University of California—L.A., U.S.A. A UNIVERSAL OFFICE AUTOMATION SCHEME R. Krishnamurthy and G. Hochgesang, International Business Machines Corporation, U.S.A. : INFORMATION SYSTEMS HALL C Chairpersons: S. Winkler, National Bureau of Standards, U.S.A P. Ein-Dor, Tel Aviv University, Israel VALUE AND EFFECTIVENESS OF INFORMATION IN DECISION-MAKING M.C. Yovits, Purdue University, U.S.A. ACTIVE INFORMATION SYSTEM C. Rolland, O. Foucaut and O. Thiery, University of Paris, France -22- Friday, 25 May, 1984 08.30-09.15 09.15-10.00 10.00-10.30 10.30-11.15 11.15-12.00 12.00-13.00 13.00-13.15 CHALLENGE OF THE FIFTH GENERATION (Plenary Session) HALL A Chairperson: __ D. Brandin, SRI International, U.S.A. CHALLENGE OF THE JAPANESE FIFTH GENERATION D. Brandin, SRI International, U.S.A. KNOWLEDGE PROCESSING - THE IMPORTANT COMPUTER REVOLUTION E. Feigenbaum, Stanford University, U.S.A. Coffee break TECHNOLOGY AND FIFTH GENERATION COMPUTING - WHO IS TRANSFERRING WHAT TO WHOM? M. Harrison, University of California— Berkeley, U.S.A. ESPRIT: A EUROPEAN APPROACH TO THE CHALLENGE OF INFORMATION TECHNOLOGY J.M. Cadiou, Commission of European Communities, France PENAL DISCUSSION: CHALLENGE OF FIFTH GENERATION AND IMPLICATIONS D. Brandin, E. Feigenbaum, M. Harrison, J.M. Cadiou and E. Shapira, (Weizmann Institute of Science, Israel) Closing Remarks -23- SOCIAL EVENTS The Organizing Committee invites all registered participants and registered accompanying persons to the following events: RECEPTION Monday, May 21, 18:30 A welcoming reception will be held at the Binyanei Ha’ooma Convention Center. ISRAELI FOLKLORE PERFORMANCE Monday, May 21, 21:00 Song and dance show presents Israeli folklore in traditional, ethnic costumes, at the Jerusalem Theatre. RECEPTION AT THE ISRAEL MUSEUM Tuesday, May 22, 20:30 (departure 20:00)* By kind invitation of the Municipality of Jerusalem, a reception will be held at the Israel Museum. Light drinks and refreshments will be served, and participants will be free to view at their leisure the archeological treasures in the Museum and the Dead Sea Scrolls in the adjacent Shrine of the Book. * Buses will depart from the Jerusalem Hilton and Sonesta Hotels at 20:00 and return from the parking lot at the entrance to the Museum at 22:15. FAREWELL BANQUET (Optional) Thursday, May 24, 20:30 Festive dinner and entertainment featuring Israeli Folklore will be held at the Jerusalem Hilton Hotel. PROGRAM FOR REGISTERED ACCOMPANYING PERSONS OLD CITY TOUR Tuesday, May 22, 13:00-17:00 Assemble for departure at the Jerusalem Hilton Hotel upper lobby. Buses will proceed directly to the Old City of Jerusalem for a guided tour of the religious and historic sites of the city, which is sacred to three of the world’s great religions. Among the sites to be visited are the Jaffa Gate, David’s Tower, the Christian Quarter, including the Via Dolorosa and the Church of the Holy Sepulchre, the Armenian Quarter, the Jewish Quarter, the Moslem Quarter, the Western (Wailing) Wall, and the Temple Mount with the Mosque of Omar and El Aksa Mosque. Ample time will be provided for browsing and shopping in the myriad booths and shops which are typical of the Middle Eastern casbah. NEW CITY TOUR Thursday, May 24, 09:00-13:00 Assemble for departure at the Jerusalem Hilton Hotel upper lobby. Buses will proceed to the New City of Jerusalem for a guided tour of the Hadassah Hospital, whose synagogue contains stained-glass windows by Marc Chagall; the Kennedy Memorial; the Yad Vashem memorial to victims of the Holocaust; the Knesset (Parliament) building, and the model of ancient Jerusalem. Additional tours may be purchased at the Conference Travel Desk. -25 - pm a a A GENERAL INFORMATION Location Binyanei Ha’ooma Convention Center, Jerusalem, tel: (02) 221174. Badges The personal envelope which you received upon registration contains, among other items, your name badge. Please wear the badge, which serves as your admission ticket to the scientific sessions and the scheduled social functions. Office and Desks Registration Information Secretariat/Organizing Committee Travel - International Ltd. Telephones Public telephones are situated in the Binyanei Ha’0oma Convention Center. These telephones are operated only by tokens, which may be purchased at the Information Desk. Projection Speakers are kindly requested to hand their slides to the projectionist prior to the relevant session. Slides must be marked with the speaker’s name as well as date, hour and title of session. Slides must be collected from the projectionist immediately after presentation. Special requirements must be notified a day prior to presentation. Postal Services A special postal service will be available at Binyanei Ha’o0oma from 11:00 hours to 17:00 hours on Tuesday, May 22, and outgoing mail will be stamped with a special cancellation commemorating the 4th Jerusalem Conference on Information Technology. For postal services during the rest of the Conference week, please apply to the Information Desk. Photographer Photographs of special events will be on display within 24 hours of the event. Instructions to Speakers and Chairpersons Chairpersons and speakers are requested to meet with each other 30 minutes prior to the commencement of their respective session, in the session hall. In order to make it possible for participants to plan attendance at different parallel sessions, it is essential that the time table be strictly adhered to. Meals and Refreshments At the Binyanei Ha’ooma Convention Center: Cafeteria serving sandwiches and hot and cold drinks. Lunches are available at a self-service restaurant, and also at a table-service restaurant. At the Jerusalem Hilton Hotel: The Judean Lounge (dairy meals) The Hamsah Restaurant. Farewell Banquet A Farewell Banquet will be held on Thursday, May 24, at 20:30 hours, at the Jerusalem Hilton Hotel. The Banquet includes dinner and entertainment featuring Israeli Folklore. Price: $20 per person. Tickets may be purchased at the Information Desk until Wednesday, at 11:00 hours. Tourist Information INTERNATIONAL LTD. 10 Rothschild Blvd., P.O.Box 29313 65121 Tel Aviv, Israel Telephone: (03) 654541. Telex: 033-554 International Ltd. is the Official Travel Agent for the Conference and will provide participants with all necessary tourist services. INTERNATIONAL LTD. will operate a Travel Desk at the Conference Headquarters, which will be open daily for the duration of the Conference and will arrange for participants tours and excursions by coach, air, private car with guide, rent-a-car, additional hotel accommodation required for the period following the Conference, and reconfirmation of return flights. Conference Organizers and Secretariat International Ltd. P.O.Box 29313 61292 Tel Aviv, Israel Tel.: (03) 654541 Telex: 033-554 ELZVAL7N= eeneel a OFFICIAL BANK OF JCIT4 @® bank leumile-israel mx pro SS -27- 212, LIST OF EXHIBITORS AAA ADVANCED AUTOMATED APPLICATIONS ACALTD. ALPHA TERMINALS LTD. AL-SP ANAT COMPUTERS ASHRAZ DATA PROCESSING LTD. BAMBERGER-ROSENHEIM LTD. G. BERES LTD. BITCOM AGENCIES LTD. BRAIN COMPUTER SYSTEMS LTD. CENTRE EDUCATIONAL TECHNOLOGY COMAN COMPUTERS COMSET LTD. CONTAHAL LTD. CMS COMPUTATION & MEASUREMENT SYSTEMS CSA CENTRAL SOFTWARE & AUTOMATION LTD. DEE-KAL LTD. DIGITAL EQUIPMENT LTD. D.P.A. LTD. DROR COMPUTER SYSTEMS LTD. EASTRONICS LTD. EXOFT SOFTWARE SYSTEMS EXPORT LTD. FIBRONICS LTD. GAMMATRONICS LTD. LBM. ICHUT MICROCOMPUTERS LTD. 1.E.E.€. COMPUTER SOCIETY 1.1.S. INTELLIGENT INFORMATION SYSTEMS INTERSOFT LTD. |.P.A. INFORMATION PROCESSING ASS'N OF ISRAEL I.S. INFORMATION SYSTEMS LTD. | & S (MOTOROLA) 1.S.P.LTD -ELTA ISRADATA LTD. ISRA-TEL TELECOMMUNICATION SYSTEMS LTD KAV NEKUDALTD. KOOR COMMUNICATION & SECURITY SYSTEMS LTD. LANIER LARGO AVILLAR LTD. LARGO COMPUTERS LTD. 106, LIGAD TECHNICAL DATA LTD. LOTOS El.ECTRONICS MALAM SYSTEMS LTD. MANOF SYSTEMS LTD. MASHOV LTD. MEDAN COMPUTERS LTD. MEYAD 2001 MINIX COMPUTERS & SYSTEMS LTD. M.L.L. SOFTWARE & COMPUTERS INDUSTRIES LTD. MOTOROLA ISRAEL LTD. MOTOROLA ISRAEL INFORMATION SYSTEMS LTD. MUELLER COMPUTERS LTD. N.C.R.—|.E. MITTWOCH & SONS LTD. NETZIGIM LTD. OFRA RIM P.D.C. SERVICES (1975) LTD. PEOPLE & COMPUTER PRODUCTIONS LTD. PICO COMPUTERS, SYSTEMS & SERVICES LTD. PROJECTA R.C.M. COMPUTERS LTD. REITER SOFTWARE SYSTEMS LTD. RESHEF OFFICE EQUIPMENT COMPUTERIZED SYSTEMS SHEMER COMPUTERS LTD. S.1.T.A.V. SOFTWARE LTD. SYSMAL-DATA SYSTEMS & PRODUCTS LTD. SYSTEMATICS LTD. SYSTRONICS SUPER MICRO LTD. TEL AVIV UNIVERSITY — THE SHILOACH CENTER TADIRAN LTD. TEAM COMPUTERS & SYSTEMS LTD. TELECODE TECHNICAL SERVICES LTD. TENSOR LTD. THE ISRAEL ASSOCIATION OF SOFTWARE HOUSES TRIPLE DLTD. YA'ANA DATA PROCESSING CO. LTD. YEDA COMPUTERS & SOFTWARE LTD. YAEL SOFTWARE SYSTEMS YALAN MISHKE! HA’MOSHAVIM LTD. 116 117 113 111 110 114 108 112 102 107 106 101 118 104 100 109 106 115 103 LEVEL ”A” ALPHA TERMINALS LTD. BITCOM AGENCIES LTD. CMS COMPUTATION & MEASUREMENT SYSTEMS DIGITAL EQUIPMENT LTD. EASTRONICS LTD. 1& S (MOTOROLA) .S.P.LTD.- ELTA KOOR COMMUNICATION & SECURITY SYSTEMS LTD. LARGO AVILLAR LTD. MINIX COMPUTERS & SYSTEMS LTD. M.L.L. SOFTWARE & COMPUTERS INDUSTRIES LTD. P.D.C. SERVICES (1975) LTD. PEOPLE & COMPUTER PRODUCTIONS LTD. PROJECTA R.C.M. COMPUTERS LTD. S.1.T.A.V. SOFTWARE LTD. SYSMAL — DATA SYSTEMS & PRODUCTS LTD. SUPER MICRO LTD. YALAN MISHKE! HA'MOSHAVIM LTD. LEVEL ”A” — NEW HALL 12 AL-SP BAMBERGER-ROSENHEIM LTD. DROR COMPUTER SYSTEMS LTD. L.B.M. ISRADATE LTD. ISRA-TEL COMMUNICATION SYSTEMS LTD. KAV NEKUDA LTD. LANIER LIGAD TECHNICAL DATE LTD. MEDAN COMPUTERS LTD. MOTOROLA ISRAEL INFORMATION SYSTEMS LTD. N.C.R.—1.E. MITTWOCH & SONS LTD. . SYSTEMATICS LIMITED SYSTRONICS TEAM COMPUTERS & SYSTEMS LTD. TELECODE TECHNICAL SERVICES LTD. YEDA COMPUTERS & SOFTWARE LTD. - 29 - LEVEL ”B” — “MADE IN ISRAEL” 211 212 AAA ADVANCED AUTOMATED APPLICATIONS ANAT COMPUTERS ASHRAZ DATA PROCESSING LTD. AVMAT COMPUTERS G. BERES LTD. BRAIN COMPUTER SYSTEMS LTD. CENTRE EDUCATIONAL TECHNOLOGY COMAN COMPUTERS COMSET LTD. CONTAHAL LTD. CSA CENTRAL SOFTWARE & AUTOMATION LTD. DEE-KAL LTD. O.P.A.LTD. EXOFT SOFTWARE SYSTEMS EXPORT LTD. FIBRONICS LTD. GAMMATRONICS LTD. ICHUT MICROCOMPUTERS LTD. |.E.E.E. COMPUTER SOCIETY 1.1.S. INTELLIGENT INFORMATION SYSTEMS INTERSOFT LTD. 1.P.A. INFORMATION PROCESSING ASS'N OF ISRAEL LS. INFORMATION SYSTEMS LTD. LARGO COMPUTERS LTD. MALAM SYSTEMS LTD. MANOF SYSTEMS LTD. MASHOV LTD. MEYAD 2001 M.L.L. SOFTWARE & COMPUTERS INDUSTRIES LTD. MOTOROLA ISRAEL LTD. MUELLER COMPUTERS LTD. NETZIGIM LTD. OFRA RIM PICO COMPUTERS, SYSTEMS & SERVICES LTD. REITER SOFTWARE SYSTEMS LTD. RESHEF OFFICE EQUIPMENT COMPUTERIZED SYSTEMS SHEMER COMPUTERS LTD. SINTEL SYSTEMS LTD. TEL AVIV UNIVERSITY — THE SHILOACH CENTER TADIRAN LTD. TENSOR LTD. THE ISRAEL ASSOCIATION PF SOFTWARE HOUSES TRIPLE D LTD. YA'ANA DATA PROCESSING CO. LTD. YAEL SOFTWARE SYSTEMS GROUND FLOOR LEVEL A