DOCSLIB.ORG

Ikt Trends 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Ikt Trends 2020 Ausgabe 01-02 2020 | Jg. 45 | EUR 5,00 02Z031460M I P.b.b. Verlagspostamt 1010 Wien Verlagspostamt P.b.b. IKT Trends 2020 Coverbild: istock/solidcolours Coverbild: | 2020: 2020: Wohin haben IKT Programme für 2020 geführt? Wie geht es weiter? OCG Journal Ausgabe 01-02 Ausgabe Journal OCG 45 Jahre OCG Pressemeldungen zur Vereinsgründung links oben: Die Presse (20.2.1975) rechts oben: Elektronische Re- chenanlagen (1975, Heft 2) rechts: Communications of the ACM (1975, Number 7) ganz rechts: Die Computerzei- tung (19.3.1975) unten: PA - Der Privatangestellte (7/8, 1975) Editorial Sehr geehrtes OCG-Mitglied, und Experten ermöglicht es uns, diese Leis- liebe Leserin, lieber Leser! tungen zu erbringen – daher möchte ich an dieser Stelle allen engagierten Mitkämpfe- Wir schreiben das Jahr 2020. Und auch wenn rinnen und -kämpfern Danke sagen. es uns allen als das Jahr der Covid-19-Pan- demie in Erinnerung bleiben wird, so hat Ein besonderes Anliegen ist die Förderung es für uns als OCG auch noch eine andere, von Kindern. Gerade die Coronakrise hat wichtige Bedeutung: Die OCG hat ab 2013 in wieder gezeigt, wie wichtig es ist, allen Men- Kooperation mit dem BMK in der Reihe IKT schen einen Zugang zu digitalen Medien Trends 2020 zahlreiche Tagungen organi- zu ermöglichen. Zahlreiche Webinare, die siert, um zu erörtern, in welche Richtung die Organisation des ECDL Europäischer Com- IKT gehen wird. Dazu finden Sie in diesem puter Führerschein im Schulbereich, Work- OCG Journal interessante Beiträge. shops zu Coding und künstlicher Intelligenz – all das trägt dazu bei, dass informatische Wir freuen uns auch erfreuliche Nachrich- Grundkenntnisse neben Lesen, Schreiben ten im Zusammenhang mit dem Heinz und Rechnen zur vierten Kulturtechnik Zemanek Preis berichten zu können: Heu- werden. Wir freuen uns sehr als Partner für er hat Alwin Zulehner diesen OCG Wissen- unsere Initiativen die Ministerien als Unter- schaftspreis für seine Forschung zu Design stützer zu haben. Gemeinsam wollen wir Automation für Quantencomputing ge- unseren Kindern die Möglichkeit zu einer wonnen. Der Zemanek-Preisträger Prof. Se- guten Zukunft geben, alle können digital fit bastian Forster hat einen ERC Grant (Euro- werden, dann können wir gemeinsam die pean Research Council) in der Höhe von 1,5 Herausforderungen der Zukunft meistern. Millionen Euro für seine Forschungstätigkeit im Bereich Big Data Algorithmen erhalten. Herzlichst, Ihr Als Krönung wurde Gabriele Kotsis, die ehe- malige OCG Präsidentin und Heinz Zem- anek Preisträgerin, die heute noch aktives OCG Vorstandsmitglied ist, zur Präsidentin der weltweit größten Computer Gesell- Wilfried Seyruck, Präsident OCG schaft – der ACM Association for Computing Machinery – gewählt. Wir gratulieren hier PS - Ich freue mich über Feedback und Ihr noch einmal ganz herzlich! Anliegen, Ihre Ideen und Wünsche, aber auch Ihre Kritikpunkte zur OCG. Schreiben Die OCG ist in zahlreichen Projekten ak- Sie mir an: [email protected] tiv, die an den unterschiedlichsten Stellen der Gesellschaft die IKT fördern. Das große Netzwerk an hervorragenden Expertinnen Inhalt IKT TRENDS 2020 [ 10 News Schwerpunktthema: Wissenschaft & Innovation IKT Trends 2020 6 HZP an Alwin Zulehner 24 Vertrauen schaffen durch Heinz Zemanek Preis für Arbeit 10 IKT Trends 2020 Blockchain? über Quantencomputing Inhaltsübersicht und alle Termine Blockchain als Teil einer 7 Gabriele Kotsis ist ACM im Überblick komplexeren Infrastruktur Präsidentin 11 IKT der Zukunft und Trends 2020 Die Präsidentin der ACM kommt Forschungsförderung des BMK für aus Österreich Zukunftsthemen 8 Sebastian Forster im 14 Österreichische AI Strategie aus Kurzinterview Sicht der Wissenschaft ERC Grant an Heinz Zemanek Forderungen der ASAI zu einer Preisträger konkreten AI Strategie in Österreich 9 OCG ist Qualifizierte Stelle nach 18 Technologie in Zeiten der Krise dem NIS-Gesetz Mit Szenarien auf die Zukunft Zertifizierung von Betreibern vorbereiten wesetlicher Dienste 20 IoT am Ende des Hypes? Vertrauen als Voraussetzung für nachhaltige IoT Lösungen 22 Towards a better modelling of consent Big Data: Was tun gegen blinde Zustimmung? 4 OCG Journal | 01-02 2020 [ 26 [ 26 Coding & Robotics News & Internes Buchbesprechung 26 Wie begeistere ich mein Kind für 34 Stopp Corona-App - Ein nützliches 42 Auf dem Weg zur Protektion 4.0 MINT? Tool ohne Vertrauens Buchbesprechung Eltern bei der Technik-Vermittlung Neue Veranstaltungsreihe: OCG einbinden Think-Tank Webinar 28 Das Projekt ADA 36 Die erste Zemanek Lecture Algorithmen Denken Anders – ADA Computerpionier Heinz Zemanek 29 Ozobots erobern das wird mit einer Vortragsreihe geehrt Klassenzimmer 4.0 34 Streben nach Wissen: Pascal, Mini-Roboter unterstützt bei Modula und Oberon digitaler Grundbildung Interview mit Niklaus Wirth am 16. 32 abc - Activity Based Coding September 2019 in Zürich, Teil 2 Positionspapier der PH- 5 Impressum Oberösterreich IMPRESSUM Medieninhaber und Herausgeber: Österreichische Computer Gesellschaft (OCG) Präsident: DI Wilfried Seyruck | Generalsekretär: Dr. Ronald Bieber Leitung der Redaktion: Dr. Ronald Bieber – DW 27 | Layout und DTP: OCG | Karin Hiebler | Lektorat: Katharina Resch-Schobel Kontakt: [email protected] | URL: www.ocg.at | Wollzeile 1, 1010 Wien | Tel.: +43 1 512 02 35-0 | Fax: +43 1 512 02 35-9 Fotos: Archiv OCG, Autoren, Privatarchive, istock, Barbara Lachner | Photosandmore.at Druck: Print Alliance HAV Produktions GmbH, 2540 Bad Vöslau ISSN 1728-743X Das OCG Journal ist die Mitgliederzeitschrift der Österreichischen Computer Gesellschaft (OCG). Inhaltlich wird das Journal in völliger Unabhängigkeit gestaltet und berichtet über die OCG Leitthemen Ausbildung und Qualität, Innovation und Start-ups, internationale Vernetzung und digitale Zivilgesellschaft. Unterstützt durch das Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation und Technologie (BMK) 01-02 2020 | OCG Journal 5 Heinz Zemanek Preis für Arbeit über Quantencomputing von Irina Scheitz HZP an Alwin Zulehner Mit seiner Forschung zu Design Auto- Der 30-jährige Alwin Zulehner be- schritte, die jüngst bei der physikalischen mation für Quantencomputing hat der schäftigt sich mit der Frage, wie mittels Realisierung von Quantencomputern Oberösterreicher Alwin Zulehner die informationstechnischer Methoden, erzielt wurden”, begründete Szeider die 19-köpfige Jury unter Vorsitz von Prof. Quantencomputer auch von Endanwen- Entscheidung der Jury. Stefan Szeider (TU Wien) beeindruckt der*innen und nicht nur in der theoreti- HEiSS umkämPftES und damit den mit 5.000 Euro dotier- schen Physik verwendet werden können. forScHunGSGEbiEt ten, renommierten OCG Heinz Zemanek Er entwickelte Methoden für die Simula- Die Forschung zu Quantencomputern ist Preis der Österreichischen Computer tion von Quantencomputern sowie das aktuell eines der spannendsten Gebiete Gesellschaft gewonnen. Übersetzen von Quantenalgorithmen in der informatischen Wissenschaft. Im (Programmen) in einfache Befehle. „Der Zemanek Preis hat definitiv einen Gegensatz zu einem normalen Compu- großen Stellenwert für mich – allein „Die von Alwin Zulehner entwickelten Me- ter könnte ein Quantencomputer die schon durch die namhafte Liste der bis- thoden setzten neue Maßstäbe für die Si- komplexesten Problemstellungen in herigen Preisträger”, freute sich Zuleh- mulation und den Entwurf von Quanten- wenigen Stunden oder Tagen anstelle ner über die Auszeichnung. Dieser Preis schaltungen sowie deren Übersetzung von hunderten Jahren lösen – allerdings ist für viele Informatiker*innen ein erster auf reale Hardware. Die einzelnen Metho- vorerst nur theoretisch. Firmen wie Goo- großer Schritt in die Wissenschaftswelt den wurden als Open-Source-Implemen- gle, IBM oder Microsoft sowie zahlreiche geworden: Heuer hat Sebastian Forster, tierung veröffentlicht und werden nun Universitäten und Startups liefern sich der Preisträger von 2016, einen 1,5 Millio- von führenden Entwicklungslaboren von ein regelrechtes Rennen, um den ersten nen Euro ERC Forschungsgrant erhalten Quantencomputern (z. B. IBM) verwen- praxistauglichen und kommerziell ein- (siehe News, Seite 8) und Gabriele Kot- det. Die Ergebnisse der Dissertation wur- setzbaren Quantencomputer zu entwi- sis, die Preisträgerin aus dem Jahr 1996, den von der Wissenschaftsgemeinschaft ckeln. „Bisherige Ansätze zur Lösung von wurde zur ACM Präsidentin gewählt und mit großem Interesse aufgenommen. Sie extrem komplexen Problemen lieferten steht damit der größten Computergesell- sind auch von bedeutender Aktualität im eher unbefriedigende Resultate oder schaft der Welt vor. Hinblick auf die beeindruckenden Fort- benötigen viel zu viel Laufzeit. In meiner Der Vorsitzende der Heinz Zemanek-Preis Jury, Stefan Szeider, TU Wien, konnte Alwin Zuleh- ner in einem Online-Meeting die Entschei- dung der Jury mitteilen, Screenshot: OCG 6 OCG Journal | 01-02 2020 News Arbeit habe ich versucht, clevere Datens- an einem verwandten Gebiet. Da das In- „Ich hoffe auch, dazu beitragen zu kön- trukturen und Algorithmen anzuwenden stitut für Integrierte Schaltungen an der nen, weiteres Interesse an der Informatik bzw. zu entwickeln, die es erlauben, diese JKU freie Entfaltung und damit wissen- hervorzurufen und die Wichtigkeit dieses Probleme in vernünftiger Zeit zu lösen, schaftliche Neugier fördert, drangen Wil- Gebiets zu unterstreichen”, so Zulehner. beziehungsweise die bisher bekannten le und Zulehner immer weiter in die Welt Lösungen zu verbessern”, erklärt Zuleh- des Quantencomputings vor. ner. Der Informatiker erklärte, dass es eine FörDErLicHES
Load more

Recommended publications
  • Dines Bjørner Research, Bibliography, Biography and Publication List
    CV: Dines Bjørner Research, Bibliography, Biography and Publication List Professor of Computing Science (Emeritus). Fredsvej 11, DK-2840 Holte, Denmark Dr.h.c., MAE, MRANS (AB), ACM Fellow, IEEE Fellow May 16, 2010 Dines Bjørner, Sept. 2007 For more photos see Sect. 5 Contents 2.3 Book Covers ............... 5 1 My Research 2 3 Biography 7 2 Publication Notes 3 4 References 9 2.1 Year-by-Year Listing ........... 3 2.2 Statistics ................. 4 5 Photos 24 1 My Research My research, since my IBM Vienna days, has focused on computing science,1 in particular program- ming methodology: on how to construct software. I was never much for the more foundational 1By computing science I understand the study of and knowledge about how to construct the “things” that can exist “inside” computers: data and processes. 1 side of computing, or as I call it, computer science.2 3 I am in particular “smitten” by the question what is a method ?. I see a method as a set of principles to be used in the analysis of problems and in the synthesis of solutions to these problems. I see the analysis and synthesis to be based on techniques and tools. The principles are then about the selection and practical use of the analysis and synthesis techniques and tools — research must uncover these principles, techniques and tools. Software engineering textbooks must cover them.4 I see a good software development method to be one that provides for efficient development approaches resulting in efficient software that meets customers expectations (and only and exactly those) and software that is correct (that is satisfies its requirements).
    [Show full text]
  • Short Biography
    Lecture Automation Mailüfterl Homeostat Calendar Science M Logic Algebra Informatics Wien Austria Academy of Sciences Computer Art B I Cybernetics January 1 1920 InformationOCG Theorie Digitalization IFA IP Logic Vienna Definition Language Radarforschung ALGOL ComputerM usic Formale Definition l K History IBM Labor Vienna Pulse-code modulation horezmi Vocoder Robotics Telecommunications URR IBM Fellow Semiotics Transmission Abstracte Architekture Language Theory Turtle HEINZ ZEMANEK Computer Language Vienna University of Technology Human Computer Interaction An Austrian Computer Pioneer Heinz Zemanek - Biographical data Heinz Zemanek was born in Vienna on 1 January 1920. Education and military service (1925 - 1947) 1925 - 1929 primary school Vienna 1929 - 1937 secondary school Vienna (graduation with honours in 1937) 1937 - 1944 studies of radio mechanics at the Technical University of Vienna (TU) 1940 - 1945 Military service in a communication unit of the Wehrmacht Employment: Teleprinter practice in Vienna Switchboard operator in Kronstadt and Sofia Work at the manual transmission centres in Thessaloniki, Athens und Belgrade Teacher at the Wehrmacht intelligence service school Thessaloniki High frequency research at the Ernst Lechner Institut in Reichenau/Semmering Technical academy of the Luftwaffe, institute for communication engineering in Berlin-Gatow Work at the Zentralversuchsstelle der Hochfrequenzforschung in Ulm-Dornstadt (high frequency research) University thesis: 1944, Über die Erzeugung von kurzen Impulsen aus einer Sinusschwingung
    [Show full text]
  • Druckversion Der Ausgabe Nr. 32 (Oktober 2014)
    Druckversion der Ausgabe Nr. 32 (Oktober 2014) TU|frei.haus – Druckversion der Ausgabe Nr. 32 (Oktober 2014) Inhaltsverzeichnis Inhaltsverzeichnis ........................................................................... 2 Editorial ........................................................................................ 4 Campus ........................................................................................ 5 TU Univercity 2015: Allerlei Neues vom Getreidemarkt bis zur Gusshausstraße ............................... 5 Quality Audit an der TU Wien: Die Schweizer Qualitätssicherungsagentur OAQ im Kurzporträt ..... 11 MitarbeiterInnenbefragung 2014: Wir – für uns alle! ......................................................................... 12 Paul Ludwik – ein Name für den Hörsaal 11 ..................................................................................... 13 AutorInnenverträge: Sichern Sie sich Ihre Rechte! ........................................................................... 14 OPEN ACCESS – Die neue Ära des Publizierens ............................................................................ 15 Einführungen in die Benutzung der Hauptbibliothek ......................................................................... 16 Smart Energy – Hinter den Kulissen des größten Plus-Energie-Bürohochhauses Österreichs ....... 17 8th European Conference on Gender Equality in Higher Education: Erfolge & offene Kernfragen .. 18 "Der Ö1 Hörsaal": Open Innovation an österreichischen Universitäten ...........................................
    [Show full text]
  • A Lightweight Formal Method for the Prediction of Non-Functional System Properties
    A Lightweight Formal Method for the Prediction of Non-Functional System Properties Der Technischen Fakultät der Universität Erlangen-Nürnberg zur Erlangung des Grades Doktor-Ingenieur vorgelegt von Jörg Barner Erlangen — 2005 Als Dissertation genehmigt von der Technischen Fakultät der Universität Erlangen-Nürnberg Tag der Einreichung: 20.06.2005 Tag der Promotion: 14.10.2005 Dekan: Prof. Dr.-Ing. Alfred Leipertz Berichterstatter: Prof. Dr. Fridolin Hofmann, Prof. Dr. Khalid Al-Begain Acknowledgments First of all, I would like to thank Prof. Dr. Fridolin Hofmann for supervising this dissertation and for the open environment he created together with Prof. Dr.-Ing. Wolfgang Schröder- Preikschat in our department which allowed me to finish this project. Furthermore, I am particularly grateful to Prof. Dr. Khalid Al-Begain, my co-promoter, whose interest in appli- cations and the encouraging feedback he gave were always a great pleasure. I owe a lot of thanks to Dr.-Ing. Gunter Bolch, my “Ana” research group leader for many inspiring discussions which helped me a lot to sharpen my thoughts on important issues and prevented me from losing my direction. Without the commitment that Björn Beutel and Patrick Wüchner exhibited during the preparation of their master theses some of the concepts presented in this dissertation would have remained purely theoretical. My former office mate Dr.-Ing. Michael Schröder proof-read various intermediate ver- sions of this dissertation. Together with him, Stephan Kösters supported me in the nerve- wracking final phase before submitting the thesis by doing some valuable last-minute proof- reading. It has been a lot of fun to work at the department for distributed systems and operat- ing systems with all the colleagues and students.
    [Show full text]
  • Scientific Decisions Which Characterize
    Scientific Decisions which Characterize VDM Cliff B. Jones Department of Computer Science Manchester University M13 9PL, UK [email protected] Dedicated to the memory of Heinz-Peter Chladek Abstract. The formal description and development method known as VDM has been used extensively, its specification language is now an ISO standard, and it has influenced other specification languages. The origins of VDM are normally placed in language description or semantics but it is probably best known in the wider arena of formal methods for (general) program specification and design. This paper sets out a personal view of some of the key technical decisions which characterize the Vienna Development Method. VDM is generally believed to stand for Vienna Development Method.The programming language description aspects of VDM were forged in the heat of a compiler development project in the IBM Laboratory in Vienna between 1973 and 1976; the technical decisions which characterize this work are outlined in Section 2. VDM is also a general formal method in that it can be applied to pro- grams or systems other than compilers; scientific decisions relating to this more general area are discussed in Section 3. Preceding these substantive sections, the scene is set in Section 1. Some conclusions are offered in Section 4. 1 Background It must be a relatively small proportion of scientific developments whose progress is defined by large discontinuities. In my opinion, progress in research on ‘formal methods’ has built steadily since the 1960s and the identification of new ideas has nearly always benefited from earlier work and has rarely forced a complete revolution in thinking.
    [Show full text]
  • Oh127hz.Pdf (183.6Kb Application/Pdf)
    An Interview with HEINZ ZEMANEK OH 127 Conducted by William Aspray on 14 and 16 February 1987 Vienna, Austria Charles Babbage Institute The Center for the History of Information Processing University of Minnesota, Minneapolis Copyright, Charles Babbage Institute 1 Heinz Zemanek Interview 14 and 16 February 1987 Abstract Zemanek, an Austrian computer scientist, begins by describing his early life in Vienna, Austria and experiences in Nazi-occupied Austria. He discusses his engineering education and work in radar technology during World War II. Zemanek then focuses on the development of computers in Austria. Topics include: magnetic drums and magnetic memory, the MAILUFTERL computer (which Zemanek designed and built), the LOGALGOL and other compilers, the University of Vienna where Zemanek worked on his computer, the subsequent sponsorship of the project by International Business Machines Europe, and ALGOL and PL/I language standards development. The interview concludes with Zemanek offering a brief overview of the computer industry in Europe from the end of World War II to the 1980s. 2 HEINZ ZEMANEK INTERVIEW DATE: 14 February 1987 INTERVIEWER: William Aspray LOCATION: Vienna, Austria ASPRAY: This is an interview with Dr. Heinz Zemanek in his home in Vienna on the 14th of February 1987. The topic is primarily the career and life of Dr. Zemanek. Let's begin by having you tell us briefly something about your early childhood, what your parents were like, how you were trained early in your life, and so on. ZEMANEK: This should probably be answered by saying that I am a true Austrian. I was born in Vienna.1 My ancestors came from Austria in the old sense, namely 3/4 of them from the part which is today Czechoslovakia and 1/4 from a little east of Vienna.
    [Show full text]
  • 50 Years of IFIP - Developments and Visions IFIP – the International Federation for Information Processing
    50 Years of IFIP - Developments and Visions IFIP – The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress held in Paris the previous year. An umbrella organi- zation for societies working in information processing, IFIP’s aim is two-fold: to support information processing within its member countries and to encourage technology transfer to developing nations. As its mission statement clearly states, IFIP’s mission is to be the leading, truly international, apolitical organization which encourages and assists in the development, ex- ploitation and application of information technology for the benefit of all people. IFIP is a non-profitmaking organization, run almost solely by 2500 volunteers. It operates through a number of technical committees, which organize events and publications. IFIP’s events range from an international congress to local seminars, but the most important are: • The IFIP World Computer Congress, held every second year; • Open conferences; • Working conferences. The flagship event is the IFIP World Computer Congress, at which both invited and contributed papers are presented. Contributed papers are rigorously refereed and the rejection rate is high. As with the Congress, participation in the open conferences is open to all and papers may be invited or submitted. Again, submitted papers are stringently ref- ereed. The working conferences are structured differently. They are usually run by a working group and attendance is small and by invitation only. Their purpose is to create an atmosphere conducive to innovation and development. Refereeing is less rigorous and papers are subjected to extensive group discussion.
    [Show full text]
  • Gabriele Kotsis Curriculum Vitae
    Gabriele Kotsis curriculum vitae Affiliation University Johannes Kepler University Linz Institute Department of Telecooperation Position Full Professor, Head of Department Address Altenberger Strasse 69, 4040 Linz, Austria Phone +43 732 2468 4671 Fax +43 732 2468 4675 Email [email protected] WWW http://www.tk.jku.at/people/gk ACM Affiliation Position President Association for Computing Machinery Address 1601 Broadway, 10th Floor, NY 10019-7434, USA Phone +1-212-869-7440 Fax +1-212-869-1228 Email [email protected] WWW http://www.acm.org Personal Data Full Name Univ.-Prof. Mag. Dr. Gabriele Kotsis Home Michael Hainisch Strasse 2/12, 4040 Linz, Austria Mobile +43 664 310 9533 Date of Birth October 29, 1967 in Vienna, Austria Citizenship Austria Gender Female May 2020 1/38 Current and Past Positions 2002–present Full Professor, Johannes Kepler University Linz, Austria, Department of Telecooperation (Sabbatical October 2015 - February 2016) Job Profile: + Computer Science + Head of Department + Definition of the departments research strategy and direction, acquisition of third party funding, research project management and administration + Teaching of lectures and seminars in the Bachelor and Master programmes of Computer Science and Business Informatics as well as elective computer science courses for related study programmes, supervision of Bachelor, Master and PhD students, involvement in international study and exchange programmes + University administration including management of the department, recruitment of administrative, technical
    [Show full text]
  • FACS FACTS Newsletter
    fas Issue 2006-2 FACS September 2006 A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2006-2 September 2006 About FACS FACTS FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. FACS FACTS is published up to four times a year: March, June, September and December. Submissions are always welcome. Please see the advert on page 12 for further details or visit the newsletter area of the FACS website [http://www.bcs-facs.org/newsletter]. Back issues of FACS FACTS are available to download from: http://www.bcs-facs.org/newsletter/facsfactsarchive.html The FACS FACTS Team Newsletter Editor Paul Boca [[email protected]] Editorial Team Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano Columnists Dines Bjørner (Train Domain) Contributors to this Issue Joan Atkinson, Paul Boca, Jonathan Bowen, Steve Dunne, John Fitzgerald, Cliff Jones, Ian Hayes, Tiziana Margaria, Ivana Mijajlovic, Faron Moller, Ken Pierce, John Tucker, F.X. Reid, Bernard Schätz, Marcel Verhoef, Phan Cong Vinh 2 FACS FACTS Issue 2006-2 September 2006 Contents Editorial 4 Report on UTP01 6 Report on BCTCS 2006 11 Perspectives on Formal Methods in the Last 25 Years 13 Report on the ForTia Industry Day at FM05 34 Model-Oriented Specifications 39 Understanding the differences between VDM and Z 56 Conference Announcements 79 PhD Abstracts 81 FACS Committee 84 The activities of FACS (i.e. sponsoring conferences and workshops, offering student bursaries and hosting evening seminars) is funded solely from membership subscriptions.
    [Show full text]
  • Algol 60 @ 60: More on Semantics Presentation (PDF)
    Peter Landin Semantics Seminar 2020 Algol 60 @ 60 : More on Semantics Troy Kaighin Astarte Newcastle University [email protected] http://homepages.cs.ncl.ac.uk/troy.astarte/ 1 I will mention briefly some general history of 1960s formal description; discuss 4.5 other A60 descriptions giving some brief history and some technical flavour; and consider briefly why ALGOL was considered interesting in the past, and why we should think so now Mention PhD work—especially ‘Four formal descriptions’ 1960s: new thinking about programming IPL & LISP brought abstraction Strachey’s 1963 summer school: non-numerical computation “This gives rise to a rather vague feeling of unease, and though we think we know what we mean about [certain language constructs] we are not altogether happy that we have really got to the bottom of the concepts involved.” IAL (ALGOL 58) heralded excitement for descriptions Formal Language Description Languages: near Vienna, 1964 2 McCarthy, inspired by Newell, Simon, Shaw, trying to find a way to express concepts from AI, quite different from numerical applications; although note that S-expression form of Lisp was “included to impress logicians” and a more FORTRAN-like syntax was planned Non-numeric: argument between Strachey & Fox Unease from Strachey when working on CPL; McC wanted maths theory of comp IAL (algebraic->algorithmic; see Durnova & Alberts) formal syntax and promised formal semantics FLDL: meeting of implementers vs designers; theory vs. Practice McCarthy’s ‘micro-ALGOL’ (1964) McCarthy working on mathematical
    [Show full text]
  • Dines Bjørner: Biography Research, Bibliographical Notes and Publication List
    Dines Bjørner: Biography Research, Bibliographical Notes and Publication List Professor of Computing Science (Emeritus). Fredsvej 11, DK-2840 Holte, Denmark Dr.h.c., MAE, MRANS (AB), ACM Fellow, IEEE Fellow May 29, 2010 Contents 3.1 Year-by-Year Listing ........... 5 3.2 Statistics ................. 7 1 Biography 1 3.3 Book Covers ............... 7 2 My Research 4 4 References 9 3 Bibliographical Notes 5 5 Photos 24 1 Biography Family &c.: Dines Bjørner (DB) was born in Odense, Denmark, 4 October 1937. His father had an MSc de- gree in Mathematics (from Copenhagen University, 1931) and his mother a BA degree in Nordic and Modern En- glish/America Literature (also from Copenhagen Univer- sity, 1929). Since 1965 DB has been married to Kari Skallerud Bjørner (Oslo, Norway). They have two chil- dren, Charlotte and Nikolaj, and five grandchildren. Educational Background: DB graduated, in 1956, with a senior high school degree in Mathematics and Nat- ural Sciences from the Arhus˚ Cathedral School (founded in 1142). DB graduated in January 1962 with an MSc in Electronics Engineering and with a Ph.D. in Computer Science in January 1969 from the Technical University of Denmark (founded by Hans Christian Ørsted in 1828). IBM Career: DB joined IBM in March 1962 at their Nordic Laboratories (founded by Cai Kinberg) in Stock- holm, Sweden (where DB also first met Jean Paul Jacob and Gunnar Wedell). DB was transferred to the IBM Sys- tems Development Division (IBM SDD) at San Jose, Cal- ifornia, USA, in December 1963. While doing his Ph.D. Figure 1: Dines Bjørner, Sept.
    [Show full text]
  • Auf Einen Blick at a Glance Inhalt Contents
    Auf einen Blick At a Glance Inhalt Contents Leitbild Mission Statement 3 Forschung Research 4 Lehre Teaching 8 Organisation Organisation 10 Diversity Diversity 12 Die TU Wien TU Wien as 14 als Arbeitgeberin Employer Standorte Sites 16 Geschichte History 18 Auswahl berühmter A Selection of 20 Absolvent_innen famous Graduates Kooperationen Collaborations 22 Internationales International 24 Orientation Über das Studium Beyond Studying 26 Heisler | goemb.at Matthias & S.2): Bilder (S.1 hinaus 2 Leitbild Mission Statement „Technik für Menschen” - das ist das Leitbild der TU Wien. Es “Technology for people” – that is TU Wien’s mission statement. steht für wissenschaftliche Exzellenz durch Forschung und It stands for academic excellence through research and umfassende Kompetenz durch Lehre. wide-ranging competence through teaching. Die Forschung an der TU Wien entwickelt sich kontinuierlich Research at TU Wien is constantly progressing and developing, weiter - durch Bündelung der Kräfte und Ko operationen. Sie by combining different strengths and through collaboration. beruht auf zwei Säulen: der fachlich ausdifferenzierten Grund- It rests on twin pillars: basic research differentiated according lagenforschung einerseits und der anwendungsorientierten to discipline, and application-orientated university research. universitären Forschung andererseits. In its teaching, TU Wien places great value on communicating In der Lehre legt die TU Wien Wert darauf, Grundlagen, aber not only principles but also the ability to acquire knowledge. auch die Fähigkeit zum eigenständigen Wissenserwerb, zu Students are therefore involved in ongoing research projects. vermitteln. Die Studierenden werden dabei in laufende Forschungsprojekte eingebunden. A major objective for TU Wien is to give all members an equal opportunity to realise their potential.
    [Show full text]