IFIP World Congress

• (1959) 1959 IFIP Congress Paris, France
  Bauer, Friedrich L. and Samelson, Klaus (1959)Bauer, Friedrich L. and Samelson, Klaus "The problem of a common language, especially for scientific numeral work" pp120-124
  Duncan, F. G. and Hawkins, E. N., (1959)Duncan, F. G. and Hawkins, E. N., "Pseudo-code Translation on Multi-level Storage Machines"
  Poyen, J.; Vauquois, Bernard (1959)Poyen, J.; Vauquois, Bernard "A propos d'un langage universel" 132-137
  Yngve, Victor (1959)Yngve, Victor "The COMIT system for mechanical translation" pp183-187
• Popplewell, Cicely M. (1962) Popplewell, Cicely M. (Ed.) Information Processing 62, Proceedings of the 2nd IFIP Congress, Munich, Aug. 1962. North Holland Publ. Co., 1963.
  Debroux, A.; Del Bigio, G. P.; Gazzano, A.; Green, (1962)Debroux, A.; Del Bigio, G. P.; Gazzano, A.; Green, C.; d'Hoop, H.; Rio, E, A.; and Van Wauwe, A. "Utilization of an analogue-to-digital linkage system in a big scientific computing centre"
  Douglas, A. S. (1962)Douglas, A. S. "Opal - A data-processing system for the 7090"
  Engeli, M., and P. (1962)Engeli, M., and P. Lauechli: Automatic Calculation and Programming of Difference Equations for Elliptic Boundary Value Problems,
  Gardin, J. C. and Levy, F. (1962)Gardin, J. C. and Levy, F. "Le SYNTOL (SYNtagmatic Organization Language)"
  Holt, Anatol W. (1962)Holt, Anatol W. "Program Organization and Record Keeping for Dynamic Storage Allocation" pp539-544
  Lombardi, Lionello (1962)Lombardi, Lionello "On table operating algorithms"
  Lucas, Peter (1962)Lucas, Peter "Requirements On A Language For Logical Data Processing" p556-560
  Nygaard, K. (1962)Nygaard, K. "SIMULA - an extension of ALGOL to the description of discrete-event networks" pp520-522
  Starynkevitch, D. (1962)Starynkevitch, D. "Programmation Automatique Sur Des Calculatrices De Moyenne Importance"
• Kalenich W.A. (1965) Kalenich W.A. (ed), Proceedings IFIP Congress (New York, May 24-29, 1965), Spartan Books, New York, 1965.
  Hauer, H. J. (1965)Hauer, H. J. "SYNAGOL-An Algorithm Language Capable Of Growing" pp316-7
  Marchuk, G. I , and Ersrhov, A.P. (1965)Marchuk, G. I , and Ersrhov, A.P. "Man-machine interaction in solving a certain class of differential equations" pp550-551
  Schwartz, JI (1965)Schwartz, JI "Programming languages for on-line computing"
  Stahl, W.R. (1965)Stahl, W.R. "Genetic Adaptation as a Solvability Problem for a Turing Machine" pp 570-571
• Morrell, A. (1968) Morrell, A. J. H. (Ed.): Information Processing 68, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968
  Bernstein, M. I.; and Williams, T. G. (1968)Bernstein, M. I.; and Williams, T. G. "A two-dimensional programming system"
  Breitbard, Gary Y. and Wiederhold, Gio (1968)Breitbard, Gary Y. and Wiederhold, Gio "The ACME compiler" pp358-365
  Donovan, John J.; Jones, Malcolm M.; and Alsop, Jo (1968)Donovan, John J.; Jones, Malcolm M.; and Alsop, Joseph W. "A graphical facility for an interactive simulation system" pp90-95
  Engeli, M E (1968)Engeli, M E "Achievements and Problems in formula manipulation". pp79-84
  Engelman, C. (1968)Engelman, C. "MATHLAB 68" pp462-467
  Evans (1968)Evans, T. G. "A grammar-controlled pattern analyzer" ppH152-H157
  Garwick, Jan V. (1968)Garwick, Jan V. "The GPL compiler"
  Gearing et al (1968)Gearing HW; Reynolds, G; and Sears DE Sales Management Information Retrieval 1968
  Green, C and Raphael, B (1968)Green, C and Raphael, B "Research in intelligent question answering systems"
  Green, C and Raphael, B (1968)Green, C and Raphael, B "The use of theorem-proving techniques in question-answering systems"
  Hucl, C. (1968)Hucl, C. "LOGOL and its application to computer development"
  Kozdrowicki, Edward (1968)Kozdrowicki, Edward "An Adaptive Tree Pruning System: A Language for Programming Heuristic Tree Searches"
  Lang, C. A., & Gray, J. (1968)Lang, C. A., & Gray, J. "ASP: A ring implemented associative structures package"
  Mezei, Leslie (1968)Mezei, Leslie "SPARTA, a procedure oriented programming language for the manipulation of arbitrary line drawings"
  Morton, M. S. S, and Stephens, J.A. (1968)Morton, M. S. S, and Stephens, J.A. "The impact of interactive visual display systems on the management planning process" pp. I98-I103
  Napper, R. B. E. (1968)Napper, R. B. E. "The need to Revise the Compiler Compiler" ppB23-B27.
  Ninke, W. H., (1968)Ninke, W. H., "A Satellite Display Console System for a Multi-Access Central Computer" ppE65-E71
  Olle, William (1968)Olle, William "UL/1: a non-procedural language for retrieving information from data bases"
  Rovner, Paul; Feldman, Jerome A. (1968)Rovner, Paul; Feldman, Jerome A. "The LEAP language and data structure"
  Rulifson, J.F. et al, (1968)Rulifson, J.F. et al, "QA4, A Language for Writing Problem-Solving Programs"
  Tonge, F.M. (1968)Tonge, F.M. "Design of a Programming Language for Computer Assisted Learning"
  Van Dam, A., and Evans, D. (1968)Van Dam, A., and Evans, D. "Data Structure Programming System," pp557-564
  Zinn, Karl L. (1968)Zinn, Karl L. "Programming conversational use of computers for instruction"
• Freiman, C. (1971) Freiman, C. V. et al (Ed) Information Processing 71, Proceedings of IFIP Congress 71, Ljubljana, Yugoslavia, August 23-28, 1971
  Bogo, Guyot, Lux, Mermet, Payan, (1971)Bogo, Guyot, Lux, Mermet, Payan, "CASSANDRE and the Computer Aided Logical Systems Design"
  Currie, Ian F.; Bond, Susan G.; Morison, J. D. (1971)Currie, Ian F.; Bond, Susan G.; Morison, J. D. "ALGOL 68-R, Its Implementation and Use" pp.360-363.
  Jenks, Richard D. (1971)Jenks, Richard D. "META/PLUS" - The Syntax Extension Facility for "SCRATCHPAD" pp382-384
  Lecarme, Olivier (1971)Lecarme, Olivier "A System for Interactive Graphic Programming" pp440-444
  Mezei, Leslie; Zivian, A. (1971)Mezei, Leslie; Zivian, A. "ARTA, an Interactive Animation System" pp429-434
  Mizzi, F. and P. Toussaint: (1971)Mizzi, F. and P. Toussaint: "PHYSICTRAN: A Programming Language for Physicists, Economists, and Engineers Extending the Possibilities of Fortran V in Automatic Solving" p364-369
  Reinfelds, Juris (1971)Reinfelds, Juris "AMTRAN 70" pp370-375
  Strnad, A.L., (1971)Strnad, A.L., "The Relational Approach to the Management of Data Bases"
• Rosenfeld, Jack L. (1974) Rosenfeld, Jack L. (Ed.): Information Processing 74, Proceedings of IFIP Congress 74, Stockholm, Sweden, August 5-10, 1974
  Atkinson, Malcolm P. (1974)Atkinson, Malcolm P. "PIXIN: A Data Language for Network Modelling" pp296-300
  Blain G., La Barthe A., Rault J.C., Sciardis M., Z (1974)Blain G., La Barthe A., Rault J.C., Sciardis M., Zamansky P. "BAL: an aid for scientific programming based upon a bank of algorithms"
  Dalle Rive, Leonardo; Merli, Clizio (1974)Dalle Rive, Leonardo; Merli, Clizio "FALCON - A Conversational Polyalgorithm for Ordinary Differential Equation Problems" pp537-541
  du Masle, J et al, (1974)du Masle, J et al, "NJCL A Network Job Control Language"
  du Masle, J. et al. (1974)du Masle, J. et al. "Proposed organisation of an interpreter for the implementation of high level procedures on a computer network"
  Foisseau, Jack; R. Jacquart, François-Régis Valett (1974)Foisseau, Jack; R. Jacquart, François-Régis Valette: "Means and Levels of Knowledge Representation in the CAD System Germinal" 689-694
  Franta, William R. and Kurt Maly (1974)Franta, William R. and Kurt Maly "Simulation Structures and SETL" pp208-212
  Glushkov, V. M., et. al. (1974)Glushkov, V. M., et. al. "Recursive Machines and Computing Technology"
  Hainaut, Jean-Luc; Lecharlier, Baudouin (1974)Hainaut, Jean-Luc; Lecharlier, Baudouin "An Extensible Semantic Model of Data Base and Its Data language" pp1026-1030
  Masle, J.du; Raymond, J. (1974)Masle, J.du; Raymond, J."NJCL A Network job control language"
  Olle, T.W., (1974)Olle, T.W., "Current and future trends in database management systems" pp998-1006
  Presser, Leon; White, John R. (1974)Presser, Leon; White, John R. "Making Global Variables Beneficial" pp413-418
  Schwartz, Jules I.; Iona Blackwell (1974)Schwartz, Jules I.; Iona Blackwell "DML - An Interactive Data Management Language" pp1007-1011
  van de Riet, Reind P. (1974)van de Riet, Reind P. "About ABC ALGOL: A Language for Formula Manipulation Systems"
  Vaucher, Jean G. and Rochon, Normand (1976)Vaucher, Jean G. and Rochon, Normand "PL4 - A Low Level Language with Class" pp975-979
  Wang, Paul S. (1974)Wang, Paul S. "Symbolic Evaluation of Definite Integrals by Residue Theory in Macsyma" pp823-827
  Watanabe, Tan; Yamamoto, Fujio (1974)Watanabe, Tan; Yamamoto, Fujio "EXTRAN - A Top-Down Programming System" pp213-217
  Will, H. J.; Brussel, H. (1974)Will, H. J.; Brussel, H. "ACL - A Conversational Language for Audit Intelligence" pp911-915
  Wirth, N., (1974)Wirth, N., "On the Design of Programming Languages", pp386-393
• Information Processing 77 (Proc. (1977) Information Processing 77 (Proc. IFIP Congress 77, Toronto, August 8-12, 1977), Vol. 7, Elsevier North-Holland, Inc., New York, 1977
  Dorkenoo, Ephrem S.; Lemaître, Michel; Lemoine, Mi (1977)Dorkenoo, Ephrem S.; Lemaître, Michel; Lemoine, Michel; "A Procedural Language for the Relational Data Base Management System Syntex" pp453-457
  Hamlet, Richard G. (1977)Hamlet, Richard G. "Single-language small-processor systems" pp969-974
  Hewitt, C. et al (1977)Hewitt, C. et al "Laws for Communicating Parallel Processes" pp987-992
  Reinfelds, Juris; Vandoni, Carlo E.; (1977)Reinfelds, Juris; Vandoni, Carlo E.; "Sigma 76" pp963-968
  Senko, Michael E. (1977)Senko, Michael E. "FORAL LP - Making Pointed Queries with a Light Pen" pp635-640
• Lavington, Simon H. (1980) Lavington, Simon H. (Ed.) Information Processing 80, Proceedings of IFIP Congress 80, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980. North-Holland/IFIP, 1980
  Jiafu, Xu; Cuihao, Chong; Shulman, N. V.; Yang, Fu (1980)Jiafu, Xu; Cuihao, Chong; Shulman, N. V.; Yang, Fuqing "On the Design, Implementation and Use of the Systems Programming Language XCY" pp 305-308
  Piloty, R., (1980)Piloty, R., "An overview of CONLAN: a formal construction method for hardware description languages" pp199-204.
• Kugler, H. (1986) Kugler, H. J. (Ed.) Proceedings of IFIP, Dublin, Sept 1986
  Atkinson, M. P., Morrison, R., and Pratten, G. D. (1986)Atkinson, M. P., Morrison, R., and Pratten, G. D. "Designing a persistent information space architecture" pp115-119
• Proc. (1994) Proc. IFIP Congress 94, North Holland Amsterdam, 1994.
  Zemanek, Heinz (1994)Zemanek, H.: "Early Foundations of Formal Modelling and Language Specification - VDL and VDM" pp251-270