DOCSLIB.ORG

ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE 156 Bd Pereire - 75017 PARIS COMITE DE PATRONAGE

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE 156 Bd Pereire - 75017 PARIS COMITE DE PATRONAGE irin 2nd WORLD CONFERENCE rI V T CONFERENCE INTERNATIONALE "COMPUTERS IN EDUCATION" "INFORMATIQUE ET ENSEIGNEMENT" MARSEILLE - FRANCE 1-5 SEPT. 1975 * LIST OF PARTICIPANTS LISTE DES PARTICIPANTS ORGANISEE PAR A.F.C.E.T. : ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE 156 Bd Pereire - 75017 PARIS COMITE DE PATRONAGE F.A. BERNASCONI Directeur General dv Bureau Intergouvernemental pour I ' lnformatique (I.B.I.) J. CAILLOT President dv Conseil Intergouvernemental pour le Traitement Automatise de I ' lnformation (1.C.A.) W.C KELLY President of the International Commission on Physics Education (1.C.P.E.) H. de I'ESTOILE Directeur General de I 'lndustrie J. LIGHTHILL President of the International Commission on Mathematical Instruction (1.CM. 1.) A.M. M'BOW Directeur General de I'U.N.E.S.CO F.X. ORTOLI President de la Commission dcs Communautes Europeennes (CCE.) E. VAN LENNEP Secretaire General de I 'Organisation de Cooperation et de Developpement Economiques (0.C.D.E.) +++++++++ 1 COMITE D'HONNEUR J. RAYNAUD Directeur de I,'Office Frangais dcs Techniques Modernes d 'Education (OFRATEME) President P. SOMVEILLE Prefet dcs Bouches-du-Rhone H. de I'ESTOILE Directeur General de I 'lndustrie P. BLUM President dv Port Autonome de Marseille COMITE DIRECTEUR F. BOREL President de I 'Universite de Provence President D. CHEVIDN Israel H. BRICAUD President de I 'Universite de Bordeaux II President dv Comite Consultatif d ' lnformatique Medicale pres le Ministre de la Sante Membres F.A.BERNASCONI 1.8.1. R.A. BUCKINGHAM Grande-Bretagne Ch. CHABBERT Charge de Mission a I 'lnformatique aupres dv J. CAILLOT France Ministere de I 'Education F. GENUYS France J. HEBENSTREIT France J. COMITI Professeur Chirurgien dcs Hopitaux - Ancien 8.1. PENKOV Bulgarie Ministre - M. VERHELST Belgique D.H. WOLBERS Pays-Bas A. DANZIN Directeur de I' lnstitut de Recherche d'lnformati- que et d'Automatique C1.R.1. A.) Ch. DEBBASCH President de l'Universite de Droit, d'Economie et dcs Sciences d 'Aix-Marseille COMITE PROGRAMME G. DEFFERRE Maire de Marseille - Depute dcs Bouches-du-Rhone President J. HEBENSTREIT France J. DEGUIGNES President de la Chambre de Commerce et d'lndustrie de Marseille Vice-President Wm.F. ATCHISON U.S.A. C FRANCK Recteur de l'Academie d 'Aix-Marseille. Chancelier dcs Universites Membres dv Comite executif J. ARSAC France H. GASTAUD President de l'Universite d 'Aix-Marseille J.M. BENNETT Australie A. BERGER Autriche C PALMADE Directeur de I 'lnstitut National de Recherche W. BRAUER R.F.A. et de Documentation Pedagogique (1.N.R.D.P.) S. CHARP U.S.A. D.M. ESTERSON Grande-Bretagne D.J. FAGBEMI Nigeria J.F. LOUW Afrique dv Sud D. TEICHROEW U.S.A. 2 3 Membres S.V.C AIYA Inde COMITE D' ORGAN ISAT lON REGIONAL D. BAER R.D.A. M. BAEZ CAMARGO Mexique J. BLATNY Tchecoslovaquie President M. TOGA Doyen de la Faculte de Medecine de G. BLOCH France - Marseille CC BONHAM Canada C BORNES France Vice-President H. ROUX - Doyen Honoraire de la Faculte de U. BRONDUM Danemark Medecine de Directeur dv J. BUBENKO Suede Service de Biophysique, Mathematiques, S. CHARMONMAN Thallande Statistiques et Informatique medicales P. ERCOLI Italic S. FARAGO Hongrie E. GARCIA CAMARERO Espagne P. BOURDEL J. GILLIS Israel C CONNAT S. HAN Yougoslavle E. JOUBE B. LEVRAT Suisse R. MAIGRE R. LEWIS Grande-Bretagne P. MONGES L. MARTINS Bresil J. POGGIOLI N.N. MOISEEV U.R.S.S. THOMAS Z. PAWLAK Pologne L. PENG YEE Malaisie H.O. POLLAK U.S.A. COMITE D' EXPOSITION CA. POLLITZER Argentine V. RAJARAMAN Inde R. SOHRAB Iran President R. JACOUD - Professeur a l'Universite Paris VII R. SULONEN Finlande E.D. TAGG Grande-Bretagne S. TANAKA Japon C BELLISSANT D. VAYDA Roumanie C BLOCH J. VANDENBULCKE Belgique J. CHASSAGNE A. VAN DER SLUIS Pays-Bas P. DEMARNE J. P. FARGETTE D. LAURENT COMITE D'ORGANISATION SECRETARIAT PERMANENT DE L'AFCET President F. GENUYS - President d'Honneur de 1 AFCET Mile 0. BOURRE J. HEBENSTREIT Mmc E. FAYOLA D. KRONEBERG Mile S. FORGEOT J. KUNTZMANN Mmc D. GERLINGER C LAFOND JOUANNEAU-BENOIST i Mmc M.T. J.C. le TOUZE Mile M.F. KALOGERA J. PELPEL M. J. PELPEL Ph. RENARD 4 5 Marseille, G. ALLEMAGNE (R.F.A.) AFRIQUE DU SUD (ZA) Dr LIEBENBERG CR. 39 Grus Street, Waterkoof Ridge, PRETORIA 882 AKKERHUIS C United States Dependents Schools European Area. Am Melonenberg 6, 62 WIESBADEN 722 Dr MEYER J.H.F. Educational Technology Unit, University of the Witwatersrand, Jan Smuts Avenue, Dr AUGSBURGER W. Stiftung Rehabilitation, Postfach 101 409 JOHANNESBURG 2001 150 HEIDELBERG 769 SPIES J. Natal College for Advanced Technical BERGER H.M. Forschungszentrum f . Rehabilitation und Education, P.O. Box DURBAN 816 Stiftung Rehabilitation Heidelberg FG Postfach 101409, HEIDELBERG 120 BIEDL A. Technische Universitaet Berlin, ALGERIE (DZ) DV- Grundausbildung, D-1 BERLIN 10 Otto Suhr Allee 18/20 389 GALOU M. Ministere dcs Enseignements Primaire et Dr BOSLER U. Bundesinstitut fuer Beruf sbildungsforschung Secondaire d'Algerie, D 1 BERLIN (W) Warmbrunnerstr. 40 303 C/o ACTIM, Att. M. Orain, 64,rue Pierre 75008 PARIS 636 Prof.Dr. BRANDT S. Siegen University, D 59 SIEGEN 21 306 BOURAS L. Centre d 'Etudes et de Recherches en BRAUER W Institut fur Universitat Hamburg, Informatique, Oued ALGER 252 Schluterstr. D 2 HAMBURG 13 18 VIOLET B. Ecole Normale Nationale de I' Enseignement Prof.Dr. BRUNNSTEIN X Institut for University of Technique 101 Hamburg, 0 2000 HAMBURG 13, Schlueterstrasse 70 697 22, Boulevard Bougara, ALGER European METZER J-P Universite de CALVIN S United States Dependent Schools Constantine - CONSTANTINE 294 Schumannstr. 21, 6082 MORFELDEN 113 ALLEMAGNE (R.D.A.) Dr CRAEMER D. GMD - Informatik-Kolleg, Schloss Birling- 5205 ST AUGUSTIN 380 Prof. Dr. HEINOLD H. Technische Universitat Dresden, Sektion CYRANEK G. Forschungsgruppe UNI Giessen, Informationsverarbeitung, Mommsenstr. 13 Roonstr. D 63 GIESSEN 513 8027 DRESDEN 219 Prof. Dr. DEUSSEN P. Institut fur Informatik I - Universitat Dr KOHLER R. Technische Universitat Dresden, Sektion Karlsruhe. Postfach 75 KARLSRUHE 257 Berufspadagogik, Mommsenstr. 8027 DRESDEN 217 Prof.Dr. EICKEL J. Institut fur Informatik der Technischen Dr.BAER D. Humboldt - University of Berlin Universitat Arcisstr. 21, MUNCHEN 304 Dept. of Mathematics - Post Box 1297 Unter den Linden 6 FINK K. Fachhochschule Offenburg, 76 OFFENBURG 1086 BERLIN 153 Badstr. 24 280 7 6 953, Prevention, Informatik, 33, Charron, Informatik, Smar, 70, Informatics, Area, hoven, CUU, 31, 6380, 13, Munchen, FISCHER K. Bildungstechnologisches Zentrum, Frantz- HOSCHKA P Gesellschaft fur Mathematik und Daten- Seligerstrasse 8, 6101 WEITERSTADT 173 verarbeitung, Schloss Birlinghoven BIRLINGHOVEN 377 FRANK J. FEoLL, DV im Bildungswesen, 479 PADERBORN Bahnhof strasse 32 804 HOWER H.R Siemens AG, Fg Sprachendienst , B MUNCHEN 70 Hofmannstrasse 51 214 GDTTWALD B.A. Projekt CUU der Universitat. Schanzlestr. 9-11 D 78 FREIBURG 474 JAHNICHEN S. TU Berlin, Fachbereich ZO, FG. PC Z, Heerstr. BERLIN 19 388 Prof. Dr. GRAF K.D. Padagogische Hochschule Berlin, Uhlandstrasse D 1 BERLIN 15 438 Dr KEIL K.A. Zentralstelle fuer Progr. Unterricht Reisingerstr. 6 - B9 AUGSBURG 162 GROSHOLZ E. Gymn. Furstenbergstr. 25 8000 MONCHEN 169 KOCH W. Technical University of Berlin, FB 20, PC 2. OS Ernst- Reuter-Platz GUNZENHAUSER R. Institut fur Informatik Universitat Stuttgart D-1 BERLIN 10 391 Herdweg 51, STUTTGART 912 KONIG G Ernst Klett Verlag, Postfach 809, 7 STUTTGART 1 852 GURAU B. Modßllversuch - CUU, Universitat Kunzenweg 21 - FREIBURG/Br 195 KOSTER CH.A. Technical University FB 20. pc2. Ernst Reuter-Platz 1 BERLIN 10 387 Prof.Dr. HAEFNER K. Universitat Bremen, Achterstr.2B BREMEN 864 Dr KURZ G Projektgruppe CAT an der Fachhochschule Prof.Dr. HANSEN H.R. Gesamthochschule Duisburg, - Lutherstrasse 65, Esslingen, Ottilienplatz 15, 73 ESSLINGEN 767 D 4100 DUISBURG 913 Prof. Dr. LANSKY M. FEOLL Gmbh , Paderborn. D 479 PADERBORN HARTENSTEIN R. Universitet Karlsruhe, Institut fur Doerener weg 2 192 Informatik IV, Mozartweg 24. D 752 BRUCHSAL 1 107 LEGEMANN P. Technische Universitat DV- Grundaus- HEIBEY H.W. Institut fur Informatik, Universitat Hamburg. bildung, Otto Suhr Allee 18/20, 1 BERLIN 10 390 Schluterstrasse D 2DOO HAMBURG 13 584 LOETHE H Paedagogische Hochschule, Flandernstrasse Dr HEYDERHOFF P. Gesellschaft fur Mathematik und Daten- D 73 ESSLINGEN 174 verarbeitung mbH Bonn, Schloss Birlinghoven 5205 St. AUGUSTIN 1 379 Prof.Dr. MAIER H. Fachhochschule fur Wirtschaft (Berlin) Friedrich-Wilhelm Str. 54 b. 1 BERLIN 47 499 HIRSCHMANN G. Stalbuhlweg 10, 674 LANDAU 442 Prof. Dr. MERTENS P. Universitat Erlangen-Nurnberg, 8500 NORNBERG HILLE H. Bildungstechnologisches Zentrum, Vogols- Weidenkellerstr. 341 bergstrasse 50, DARMSTADT 61 810 MEYER I. FEOLL. - 479 PADERBORN HOFFMANN E.G. Universitat Kiel, Institut fur Informatik Cheruskerstr. 25 b 345 v.P.M., Olshausenstr. 40/60. 23 KIEL 447 Prof .Dr. PIETSCH Padagogische Hochschule Munster IV Physik HOMMEL G. Technische Universitat PC II Ernst- Goebenstrasse 7, D BERLIN 41 409 Reuter-Platz 1 BERLIN 12 547 9 8 11,1 29, Professor, 217, 8, Berlin, 05217, 8, Berlin, 70, 8, Berlin, 8, Dr. PLOTZENEDER H.D. IBM- Germany, 7 STUTTGART 80, ZSCHAECK U. Gesellschaft fur Mathematik und Datenver- Pascalstrasse 100 511 arbeitung, Rheinstrasse 75, 61 DARMSTADT 376 ROESLER M. Siemens AG, Zeppelinstr. 10, 852 ERLANGEN 830 ROHLING CR Institut fur Allgem. E-Technich u.DV-Systeme ARGENTINE (R.A.) TH-Aachen, Schinkelstr. 51 AACHEN 906 SCHMITT A. Universitaet Karlsruhe, Kaiserstr. 12, POLLITZER CA. Facultad de Ingenieria - IBM World Trade KARLSRUHE 475 Corporation, Avda. Pte. Rogue S. Pena 933 BUENOS AIRES 162 Dr SCHRAMKE H. Universitat Giessen, AM Rosenberg 31, 6301 ALBACH 668 Prof.Dr. SCHREINER A. Rechenzentrum der Universitat Karlsruhe, AUSTRALIE (AUS) Zirkel 2. Postfach 75 KARLSRUHE 333 SCHCJTZ K. Bundesministerium fur Forschung und APPLETON I. South Australian Education Department Technologic. Stresemann Str. 2, 53 BONN 485 Angle Park Computing Centre Cowan Street, ADELAIDE 103 Prof.SOEFFKY M.
Load more

Recommended publications
  • Napier88 Reference Manual Release 2.2.1
    Napier88 Reference Manual Release 2.2.1 July 1996 Ron Morrison Fred Brown* Richard Connor Quintin Cutts† Alan Dearle‡ Graham Kirby Dave Munro University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland. *Department of Computer Science, University of Adelaide, South Australia 5005, Australia. †University of Glasgow, Lilybank Gardens, Glasgow G12 8QQ, Scotland. ‡University of Stirling, Stirling FK9 4LA, Scotland. This document should be referenced as: “Napier88 Reference Manual (Release 2.2.1)”. University of St Andrews (1996). Contents 1 INTRODUCTION ............................................................................. 5 2 CONTEXT FREE SYNTAX SPECIFICATION.......................................... 8 3 TYPES AND TYPE RULES ................................................................ 9 3.1 UNIVERSE OF DISCOURSE...............................................................................................9 3.2 THE TYPE ALGEBRA..................................................................................................... 10 3.2.1 Aliasing............................................................................................................... 10 3.2.2 Recursive Definitions............................................................................................. 10 3.2.3 Type Operators...................................................................................................... 11 3.2.4 Recursive Operators ..............................................................................................
    [Show full text]
  • Astrometry 1960-80: from Hamburg to Hipparcos by Erik Høg, 2014.08.06 Niels Bohr Institute, Copenhagen University
    Astrometry 1960-80: from Hamburg to Hipparcos By Erik Høg, 2014.08.06 Niels Bohr Institute, Copenhagen University ABSTRACT: Astrometry, the most ancient branch of astronomy, was facing extinction during much of the 20th century in the competition with astrophysics. The revival of astrometry came with the European astrometry satellite Hipparcos, approved by ESA in 1980 and launched 1989. Photon-counting astrometry was the basic measuring technique in Hipparcos, a technique invented by the author in 1960 in Hamburg. The technique was implemented on the Repsold meridian circle for the Hamburg expedition to Perth in Western Australia where it worked well during 1967- 72. This success paved the way for space astrometry, pioneered in France and implemented on Hipparcos. This report gives a detailed personal account of my life and work in Hamburg Bergedorf where I lived with my family half a century ago. The report has been published in the proceedings of the meeting in Hamburg on 24 Sep. 2012 of Arbeitskreis Astronomiegeschichte of the Astronomische Gesellschaft. Gudrun Wolfschmidt is editor of the book: “Kometen, Sterne, Galaxien – Astronomie in Hamburg” zum 100jährigen Jubiläum der Hamburger Sternwarte in Bergedorf. Nuncius Hamburgensis, Beiträge zur Geschichte der Naturwissenschaften, Band 24, Hamburg: tredition 2014 The introduction and the table of contents of the book as in early 2013: https://dl.dropbox.com/u/49240691/100-HS3intro.pdf - 1 - Figure 12 Hamburg 1966 - The Repsold meridian circle ready for Perth The observer set the telescope to the declination as ordered by the assistant sitting with the star lists in the hut at left. He started the recording when he saw the star at the proper place in the field of view.
    [Show full text]
  • An Extension of Isabelle/UTP with Simpl-Like Control Flow
    USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow Joshua Alexander Bockenek Thesis submitted to the Faculty of the Virginia Polytechnic Institute and State University in partial fulfillment of the requirements for the degree of Masters of Science in Computer Engineering Binoy Ravindran, Chair Peter Lammich Robert P. Broadwater December 8, 2017 Blacksburg, Virginia Keywords: Formal Verification, Formal Methods, Isabelle, Unifying Theories of Programming, Verification Condition Generation © 2018, Joshua Alexander Bockenek USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow Joshua Alexander Bockenek (ABSTRACT) Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such as that of systems software. This thesis presents USIMPL, a component of the Orca project for formal verification that builds on Foster’s Isabelle/UTP with features of Schirmer’s Simpl in order to achieve a modular, scalable framework for deductive proofs of program correctness utilizing Hoare logic and Hoare-style algebraic laws of programming. This work is supported in part by the Office of Naval Research (ONR) under grants N00014- 17-1-2297 and N00014-16-1-2818, and the Naval Sea Systems Command (NAVSEA)/the Naval Engineering Education Consortium (NEEC) under grant N00174-16-C-0018. Any opinions, findings, and conclusions or recommendations expressed in this thesis are those of the author and do not necessarily reflect the views of ONR or NAVSEA/NEEC. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow Joshua Alexander Bockenek (GENERAL AUDIENCE ABSTRACT) Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such as that of systems software (OSes, compilers, and similar programs that have a high level of complexity but work on a lower level than typical user applications such as text editors, image viewers, and the like).
    [Show full text]
  • Victoria Government Gazette GENERAL
    Victoria Government Gazette No. G 36 Thursday 6 September 2001 GENERAL GENERAL AND PERIODICAL GAZETTE Advertisers should note: Copy to: Gazette Officer ¥ Late copy received at The Craftsman Press Pty. Ltd. after The Craftsman Press Pty. Ltd. deadlines will be placed in the following issue of VGG, 125 Highbury Road, irrespective of any date/s mentioned in the copy (unless Burwood Vic 3125 otherwise advised). Telephone: (03) 9926 1233 ¥ Proofs will be supplied only when requested or at the Facsimile: (03) 9926 1292 direction of the Gazette Officer. DX: 32510 Burwood ¥ No additions or amendments to material for publications Email: [email protected] will be accepted by telephone. Advertising Rates and Payment ¥ Orders in Council may be lodged prior to receiving assent All prices include GST with the GovernorÕs or ClerkÕs signature. They will only be Private Notices published once approved and signed. Payment must be received in advance with ¥ Government and Outer Budget Sector Agencies please advertisement details. note: See style requirements on back page. 33 cents per word Ð Full page $198.00. Additional costs must be included in prepayment if a copy SPECIAL GAZETTES of the gazette is required. Copy Prices Ð Page Copy to: Gazette Officer $1.65 Ð Gazette $3.52 Ð Certified copy of Gazette $3.85 The Craftsman Press Pty. Ltd. (all prices include postage). Cheques should be 125 Highbury Road made payable to The Craftsman Press Pty. Ltd. Burwood Vic 3125 Telephone: (03) 9926 1233 Government and Outer Budget Sector Agencies Notices Facsimile: (03) 9926 1292 Not required to prepay. Email: [email protected] Advertisements may be faxed or sent via email with a Advertising Rates and Payment cover sheet, marked to the attention of the Gazette Officer.
    [Show full text]
  • Efficient Runtimes for Gradual Typing
    EFFICIENTRUNTIMESFORGRADUALTYPING A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy by fabian muehlboeck (mühlböck) December 2019 ©2019 Fabian Muehlboeck Some parts of this dissertation (in particular, Chapters 2, 4, 5, and 7) are based on published work where publishing rights have been transferred to the Association for Computing Machinery. For those parts, the following copyright notices are required: For Chapter 2: Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]. Copyright is held by the owner/author(s). Publication rights licensed to ACM. For the other chapters: Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored.
    [Show full text]
  • Logic Algorithm Synthesis from Examples and Properties
    Abstract In the context of logic programming-in-the-small, we propose logic specifications by exam- ples and properties, the latter being disambiguating generalizations of the examples. Such specifications are easy to elaborate, but are also usually incomplete, in the sense that the in- tentions need not (or cannot) be fully described. Algorithm synthesis then consists of semi- automatically extrapolating these intentions, and of designing a (recursive) algorithm imple- menting them. We develop a very disciplined approach to algorithm synthesis, namely step- wise instantiation of the place-holders of a divide-and-conquer algorithm schema. Moreover, rather than using a uniform method for these instantiations, we deploy for each place-holder the best-suited method from a generic tool-box of (deductive, inductive, …) methods. Spe- cial care is taken to handle the correctness and progression aspects of the synthesis. Keywords Automatic programming, program synthesis, logic programming, intentions, specification, algorithm, algorithm design, algorithm schema, algorithm correctness, algorithm compari- son, stepwise design, inductive logic programming, machine learning, inductive inference, generalization, deductive inference, automated theorem proving. ii Abstract Acknowledgments iii Acknowledgments I hereby express my deepest gratitude to my advisor, Prof. Yves Deville. His patience and encouraging comments were music in my ears whenever I thought I had painted myself into a corner, and his expertise and assistance were invaluable during the development of some theoretical aspects. When deadlines were close, his availability beyond the call of duty was priceless. Moreover, his relentless pursuit of excellence drove me to improvements and gen- eralizations I would never have dreamt of, and his insightful overall perception of my re- search area guided me to a better understanding of my results and contributions.
    [Show full text]
  • Of Student Research and Creativity Spring 2017
    CELEBRATION OFOF STUDENT STUDENT RESEARCH RESEARCHAND CREATIVITY AND CREATIVITY SPRING 2017 SPOTLIGHTING THE BESTSPRING OF STUDENT 2017 WORK TABLE OF CONTENTS Letter from the President ........................................................................................................................................1 Letter from the Provost ...........................................................................................................................................2 2017 Schedule of Events .........................................................................................................................................3 Artistic Presentations ...............................................................................................................................................4 Interactive Presentations .........................................................................................................................................5 Oral Presentations ...................................................................................................................................................6 Poster Presentations ................................................................................................................................................8 Index of Student Participants ...............................................................................................................................35 Index of Faculty Sponsors .....................................................................................................................................37
    [Show full text]
  • To View a Century Downtown: Sydney University Law School's First
    CENTURY DOWN TOWN Sydney University Law School’s First Hundred Years Edited by John and Judy Mackinolty Sydney University Law School ® 1991 by the Sydney University Law School This book is copyright. Apart from any fair dealing for the purposes of study, research, criticism, review, or as otherwise permitted under the Copyright Act, no part may be reproduced by any process without written permission. Inquiries should be made to the publisher. Typeset, printed & bound by Southwood Press Pty Limited 80-92 Chapel Street, Marrickville, NSW For the publisher Sydney University Law School Phillip Street, Sydney ISBN 0 909777 22 5 Preface 1990 marks the Centenary of the Law School. Technically the Centenary of the Faculty of Law occurred in 1957, 100 years after the Faculty was formally established by the new University. In that sense, Sydney joins Melbourne as the two oldest law faculties in Australia. But, even less than the law itself, a law school is not just words on paper; it is people relating to each other, students and their teachers. Effectively the Faculty began its teaching existence in 1890. In that year the first full time Professor, Pitt Cobbett was appointed. Thus, and appropriately, the Law School celebrated its centenary in 1990, 33 years after the Faculty might have done. In addition to a formal structure, a law school needs a substantial one, stone, bricks and mortar in better architectural days, but if pressed to it, pre-stressed concrete. In its first century, as these chapters recount, the School was rather peripatetic — as if on circuit around Phillip Street.
    [Show full text]
  • Fourteen Years of Software Engineering at ETH Zurich Bertrand Meyer Politecnico Di Milano and Innopolis University [email protected] Aug
    Fourteen years of software engineering at ETH Zurich Bertrand Meyer Politecnico di Milano and Innopolis University [email protected] Aug. 2017; typo cor- rections, Dec. 2017. Abstract A Chair of Software Engineering existed at ETH Zurich, the Swiss Federal Institute of Technology, from 1 October 2001 to 31 January 2016, under my leadership. Our work, summarized here, covered a wide range of theoretical and practical topics, with object technology in the Eiffel method as the unifying thread1. Overview Computer science (“Informatik”) has a brilliant past at ETH Zurich, most notori- ously illustrated by Niklaus Wirth; but there has not traditionally been, nor is there now, a group or professorship with the name “software engineering”. The Chair of Software Engineering existed from 1 October 2001, when I was appointed on Wirth’s former position with the title of Professor of Software Engineering, until 31 January 2016. Our slogan, covering both the products and processes of software, was “help the world produce better software and produce software better”. This chapter is an account of what the Chair did towards this goal. It is divided into the following sections: 1. Basic data. 2. Conferences, journals, summer school and other outreach. 3. Courses taught. 4. Principle and experience of teaching programming. 5. Pedagogical tools and MOOCs. 6. Methods and tools for distributed software development. 7. Language development and standardization. 8. Software process and methodology, requirements analysis, agile methods. 9. Object persistence. 10. Verification: proofs, tests, automatic bug correction. 11. Concurrent programming. 12. Software for robotics. 13. Assessment. While this order of sections facilitates the presentation it requires some patience from the reader, since the topics that accounted for most of the chair’s attention, resources and scientific results appear from section 10 on.
    [Show full text]
  • Commencement 1991-2000
    81 Candidates' Seating Gilman Hall Stage FACULTY FACULTY 5 6 8 10 12 11 14 13 15 16 17 18 1 Doctors of Philosophy — Arts & Sciences 9 Masters — Hygiene & Public Health 2 Doctors of Philosophy — Medicine 10 Masters — Engineering Doctors of Medicine 1 Masters — Continuing Studies 3 Doctors of Philosophy — SAIS 12 Masters & Bachelors — Nursing 4 Doctors of Science, Doctors of Public 13 Certificates & Bachelors — Continuing Health, Doctors of Philosophy — Hygiene Studies & Public Health 14 Masters & Bachelors — Peabody 5 Doctors of Musical Arts, Artist Diplomas — Peabody 15 Masters — SAIS 16 Bachelors — Engineering 6 Doctors of Education — Continuing Studies 17 Bachelors (A-M) — Arts & Sciences 7 Masters — Medicine 1 Bachelors (N-Z) — Arts & Sciences 8 Masters — Arts & Sciences JOHNS HOPKINS L" X I V E R S T ^ Office of the Registrar 75 Garland Hall / 3400 N. Charles Street Baltimore MD 21218-2688 July, 1997 (410)516-8080 For those who use the Commencement Program as an official record of the awarding of degrees, please note the following changes to the 1997 Commencement Program: 1. Bachelors of Science in Biomedical Engineering G.W.C. Whiting School of Engineering (Page 27) Add: Timothy Lim Delete: Maneesh Ashok Bhide Sergio Mauricio de del Castillo 2. Bachelors of Science in Chemical Engineering G.W.C. Whiting School of Engineering (Page 27) Add: Kira Getz 3. Bachelors of Science in Computer Science G.W.C. Whiting School of Engineering (Page 27) Delete: Caleb Seth Ciampaglia 4. Bachelors of Science in Electrical Engineering G.W.C. Whiting School of Engineering (Page 27) Delete: David Michael Chidiebele Chuke 5.
    [Show full text]
  • Theses.Gla.Ac.Uk
    https://theses.gla.ac.uk/ Theses Digitisation: https://www.gla.ac.uk/myglasgow/research/enlighten/theses/digitisation/ This is a digitised version of the original print thesis. Copyright and moral rights for this work are retained by the author A copy can be downloaded for personal non-commercial research or study, without prior permission or charge This work cannot be reproduced or quoted extensively from without first obtaining permission in writing from the author The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the author When referring to this work, full bibliographic details including the author, title, awarding institution and date of the thesis must be given Enlighten: Theses https://theses.gla.ac.uk/ [email protected] Distributed Concurrent Persistent Languages: an Experimental Design and Implementation H W Francis Wai A thesis submitted to the Faculty of Science University of Glasgow for the degree of Doctor of Philosophy March 1988 © H W Francis Wai 1988 ProQuest Number: 10998190 All rights reserved INFORMATION TO ALL USERS The quality of this reproduction is dependent upon the quality of the copy submitted. In the unlikely event that the author did not send a com plete manuscript and there are missing pages, these will be noted. Also, if material had to be removed, a note will indicate the deletion. uest ProQuest 10998190 Published by ProQuest LLC(2018). Copyright of the Dissertation is held by the Author. All rights reserved. This work is protected against unauthorized copying under Title 17, United States C ode Microform Edition © ProQuest LLC.
    [Show full text]
  • 2020 Wadham Gazette
    Gazette2020 WADHAM COLLEGE UNIVERSITY OF OXFORD Gazette 2020 3 Contents Fellows' List 4 J. A. E. Curtis – an appreciation 76 The Editor 8 Unusual Wadhamites 78 The Warden 10 Book reviews 84 The Domestic Bursar 12 Writing in the time of Covid Staff List 14 The Finance Bursar 18 Covid and post-Covid 90 The Development Director 21 Lyrical ballasts 91 The Senior Tutor 24 Consider the squirrel 92 The Tutor for Access 26 Quiet summers like these 93 The Chapel and Choir 28 Editing in a pandemic 94 The Sarah Lawrence Programme 30 Sports during the lockdown 95 The Library 32 Lifeline Service 96 The actress in lockdown 97 Clubs, Societies, Activities and Sports College Record 1610 Society 36 In Memoriam 102 Wadham Alumni Society 38 Obituaries 104 Medical Society 40 Fellows' news 130 Wadham Alumni Golf Society 41 Emeritus Fellows' news 136 Student Union 42 New Fellows 138 Law Society 43 Alumni news 142 Lennard Bequest Reading Party 44 Degrees 145 Rowing 46 Donations 146 Rugby 48 Cricket 49 The Academic Record Features Graduate completions 166 Final Honour School results 169 VE Day commemorations 52 First Public From war to post war 58 Examination results 171 OxVent: a Wadham Prizes 171 response to the pandemic 62 Scholarships and Exhibitions 173 Based on a true story 66 New Undergraduates 176 Reminiscences of T. C. Keeley 68 New Graduates 180 Some Wadhamiana in NSW? 71 Those were the days (3) 72 2021 Events 184 Modernist Song 75 Cover photo by John Cairns www.wadham.ox.ac.uk Fellows’ list 5 Frances J.
    [Show full text]