DOCSLIB.ORG

Thomas Ströhlein's Endgame Tables: a 50Th Anniversary

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Thomas Ströhlein's Endgame Tables: a 50Th Anniversary Thomas Ströhlein's Endgame Tables: a 50th Anniversary Article Supplemental Material The Festschrift on the 40th Anniversary of the Munich Faculty of Informatics Haworth, G. (2020) Thomas Ströhlein's Endgame Tables: a 50th Anniversary. ICGA Journal, 42 (2-3). pp. 165-170. ISSN 1389-6911 doi: https://doi.org/10.3233/ICG-200151 Available at http://centaur.reading.ac.uk/90000/ It is advisable to refer to the publisher’s version if you intend to cite from the work. See Guidance on citing . Published version at: https://content.iospress.com/articles/icga-journal/icg200151 To link to this article DOI: http://dx.doi.org/10.3233/ICG-200151 Publisher: The International Computer Games Association All outputs in CentAUR are protected by Intellectual Property Rights law, including copyright law. Copyright and IPR is retained by the creators or other copyright holders. Terms and conditions for use of this material are defined in the End User Agreement . www.reading.ac.uk/centaur CentAUR Central Archive at the University of Reading Reading’s research outputs online 40 Jahre Informatik in Munchen:¨ 1967 – 2007 Festschrift Herausgegeben von Friedrich L. Bauer unter Mitwirkung von Helmut Angstl, Uwe Baumgarten, Rudolf Bayer, Hedwig Berghofer, Arndt Bode, Wilfried Brauer, Stephan Braun, Manfred Broy, Roland Bulirsch, Hans-Joachim Bungartz, Herbert Ehler, Jurgen¨ Eickel, Ursula Eschbach, Anton Gerold, Rupert Gnatz, Ulrich Guntzer,¨ Hellmuth Haag, Winfried Hahn (†), Heinz-Gerd Hegering, Ursula Hill-Samelson, Peter Hubwieser, Eike Jessen, Fred Kroger,¨ Hans Kuß, Klaus Lagally, Hans Langmaack, Heinrich Mayer, Ernst Mayr, Gerhard Muller,¨ Heinrich Noth,¨ Manfred Paul, Ulrich Peters, Hartmut Petzold, Walter Proebster, Bernd Radig, Angelika Reiser, Werner Rub,¨ Gerd Sapper, Gunther Schmidt, Fred B. Schneider, Walter Schweitzer, Hans-Jurgen¨ Siegert, Josef Stoer, Thomas Strohlein,¨ Karl Weinhart, Dietmar Taube,¨ Hans-Rudiger¨ Wiehle, Martin Wirsing, Hans Wossner,¨ Christoph Zenger, Rudolf Zirngibl. i Fakultat¨ fur¨ Informatik (IN) der Technischen Universitat¨ Munchen¨ c 2007 Informatik-Club e.V. / Friedrich L. Bauer Satz: F.L. Bauer, E. Bayer / pdf Druck: EOS Druck, 86941 St. Ottilien Umschlag: Britta Eriskat ii Inhaltsverzeichnis: 40 Jahre Informatik in Munchen:¨ 1967–2007 ERSTER TEIL: CHRONOLOGIE I. Vorgeschichte 1950–1967: .............................. 2 1950: Sauer und Piloty .......................................... 2 Hans Pilotys Institut ............................................ 4 Sauers Arbeitsgruppe ............................................ 5 Forderung¨ durch die Deutsche Forschungsgemeinschaft ................. 6 1955: Das Kellerprinzip ......................................... 7 Grundung¨ des Rechenzentrums der Technischen Hochschule Munchen¨ ..... 9 1958: ALGOL ............................................... 10 Der Lehrstuhl von Robert Sauer 1958–1966 ......................... 12 Erinnerungen an den Bau eines fruhen¨ ALGOL 60-Compilers fur¨ die PERM 14 1963: Bauer und Samelson zuruck¨ in Munchen¨ ...................... 16 Johannes von Elmenau ......................................... 17 Die,,Habilitationsbeihilfen“ ..................................... 17 DieKerninformatik ............................................ 17 Erfolgreich: Das Rechenzentrum der Technischen Hochschule Munchen¨ . 18 Richard Baumann ............................................. 19 1962: Das nachmalige Leibniz-Rechenzentrum der Bayerischen Akademie der Wissenschaften .......................................... 20 DieAusbildung mathematisch-technischer Assistenten (MTA) ........... 20 DieMTA-Ausbildung an der TH Munchen¨ ......................... 20 Das gesellige Leben im Institut: Kaffeetisch und Milchtransport-Eisenbahn . 21 Angela Molitoris .............................................. 23 ‘Hummel in Schlafstellung’ ...................................... 25 Der Leuchter ................................................. 25 Stoer: Mein Weg nach Munchen¨ ................................. 25 II: Geburt der Informatik in Munchen¨ ..................... 26 1967: Studiengang Informatik: Vorlesungszyklus ‘Informationsverarbeitung’, Startschuß fur¨ die Lehre ...................................... 26 1967–1977: Das ‘Uberregionale¨ Forschungsprogramm’ (URF)¨ ........... 27 1969: Prufungsordnung¨ fur¨ Studierende der Informatik ................ 30 Elektronik-Praktikum .......................................... 31 iii FORSCHUNGSAKTIVITATEN¨ DER FRUHEN¨ JAHRE ALCOR Illinois 7090 .......................................... 31 TR 4-Betriebssystem ........................................... 32 DerALGOL 60-Compiler FUE67 fur¨ die PERM ..................... 33 November 1967 Sonderforschungsbereich 49: Startschuß fur¨ die Forschung 37 Generierung von Ubersetzern¨ ..................................... 42 September 1968: Betriebssystem Munchen¨ (BSM) .................... 44 Einsatz des ‘Informatik-Rechners’ ................................. 46 Stilllegung der PERM .......................................... 48 1968: ‘Software Engineering’ .................................... 48 Informatik-Sonne ............................................. 49 Robert Sauer ................................................. 49 DieGastprofessoren ............................................ 51 DerInformatik-Club ........................................... 51 III: 1972–2007: Aufbau und Ausbau der Informatik in Munchen¨ .......................................... 52 DieUnterbringung der Informatik ................................ 52 Raumsituation ................................................ 52 DieWalhalla ................................................. 54 Billardtisch .................................................. 54 Seminar zur Geschichte der Informatik ............................. 54 Neue Sachgebiete, neue Lehrstuhle¨ ................................ 55 Ausbau der Mathematik an der TUM .............................. 57 SFB 49 G: LEO, spater¨ MARS (1981–1991) ......................... 61 CIP — COMPUTER-AIDED, INTUITION-GUIDED PROGRAMMING. EIN PROJEKT UND SEINE FOLGEN CIP : Die fruhen¨ Anfange¨ ........................................ 62 Die CIP-Gruppe .............................................. 63 Klaus Samelson ............................................... 66 DerSamelson-Platz in Hildesheim ................................ 66 Heinz Schechers Forschung ...................................... 67 LANGMAACKS WEG IN DIE MUNCHNER¨ INFORMATIK Der Anlaß 1960 .............................................. 68 Beginn in Mainz ............................................... 68 Motivisches zum Weg in die Munchener¨ Informatik ................... 69 Kleine Erlebnisse unter den Munchener¨ Informatikern in Mainz 1960/63 . 70 Kleine Erlebnisse in der Munchener¨ Informatik 1963/70 ............... 74 FORSCHUNGSVERBUNDE FORWISS (1989 bis heute) Bayerisches Forschungszentrum fur¨ Wissensbasierte Systeme ...................................... 76 1997–2003: FORSOFTR —Forschungsverbund Software Engineering .... 77 iv VomHochleistungs- zum Hochstleistungs-Rechner:¨ ein neuer Forschungsverbund FORTWIHR .............................. 82 Bayerisches Kompetenznetzwerk fur¨ wissenschaftlich-technisches Hoch- und Hochstleistungsrechnen¨ KONWIHR .................. 85 ‘Virtuelle Diener fur¨ Jedermann’ .................................. 86 Deutsches Forschungsnetz (DFN) ................................. 87 Dienste fur¨ die digitale Universitat¨ ................................. 88 FORSCHUNG UND LEHRE Frauen in der Informatik ........................................ 91 40 Jahre Offentlichkeitsarbeit¨ .................................... 92 Informatik als Ingenieurwissenschaft ............................... 94 Die TUM-Informatik im Vergleich — Rankings ...................... 94 Ehrungen ................................................... 96 ZWEITER TEIL: INFRASTRUKTUR IV: Aufbau des Leibniz-Rechenzentrums .................. 98 Erste Schritte ................................................. 98 Die Grundung¨ des LRZ ......................................... 99 Die Akademie-Kommission ..................................... 100 Bauer 1968 Nachfolger von Piloty als Standiger¨ Sekretar¨ ............... 101 DieTR4 ................................................... 102 DieNamenstaufe ............................................ 103 1970: DAS LRZ UNTER SEEGMULLER:¨ COMPILERBAU UND NETZE DerNeubau ................................................ 103 Herbst 1970: Inbetriebnahme der TR 440 im Neubau an der Barer Straße . 105 Universalsysteme CDC CYBER ................................. 106 1976: Beginn der Vernetzung ................................... 107 DerMaschinenentwicklungsplan fur¨ die Jahre 1984–1988 ............. 108 1989: DAS LRZ UNTER HEGERING: CLUSTER UND HOCHSTLEISTUNGSRECHNER¨ Netzerweiterungen ............................................ 111 DieEntwicklung hin zum Hochleistungs-Rechnen ................... 112 Ende der mainframe-Ara,¨ Beginn des Aufbaus von Clustern ............ 116 DasSoftware-Angebot des LRZ ................................. 117 1993: Zenger Nachfolger von Bauer als Standiger¨ Sekretar¨ ............. 117 Entwicklung des Kommunikationsnetzes .......................... 117 VomHochleistungs- zum Hochstleistungsrechner:¨ Der Forschungsverbund FORTWIHR ............................................. 120 Der erste Hochstleistungsrechner:¨ SR 8000 F1 der Fa. Hitachi ......... 121 2002: Bode Nachfolger von Bauer im Direktorium .................. 122 v Dienste-Entwicklung am LRZ .................................
Load more

Recommended publications
  • The Advent of Recursion & Logic in Computer Science
    The Advent of Recursion & Logic in Computer Science MSc Thesis (Afstudeerscriptie) written by Karel Van Oudheusden –alias Edgar G. Daylight (born October 21st, 1977 in Antwerpen, Belgium) under the supervision of Dr Gerard Alberts, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: November 17, 2009 Dr Gerard Alberts Prof Dr Krzysztof Apt Prof Dr Dick de Jongh Prof Dr Benedikt Löwe Dr Elizabeth de Mol Dr Leen Torenvliet 1 “We are reaching the stage of development where each new gener- ation of participants is unaware both of their overall technological ancestry and the history of the development of their speciality, and have no past to build upon.” J.A.N. Lee in 1996 [73, p.54] “To many of our colleagues, history is only the study of an irrele- vant past, with no redeeming modern value –a subject without useful scholarship.” J.A.N. Lee [73, p.55] “[E]ven when we can't know the answers, it is important to see the questions. They too form part of our understanding. If you cannot answer them now, you can alert future historians to them.” M.S. Mahoney [76, p.832] “Only do what only you can do.” E.W. Dijkstra [103, p.9] 2 Abstract The history of computer science can be viewed from a number of disciplinary perspectives, ranging from electrical engineering to linguistics. As stressed by the historian Michael Mahoney, different `communities of computing' had their own views towards what could be accomplished with a programmable comput- ing machine.
    [Show full text]
  • Mitteilungen Der Technischen Universität München Für Studierende, Mitarbeiter, Freunde, Erscheinen Im Selbstverlag Fünfmal Pro Jahr
    MITTEILUNGEN DER TECHNISCHEN UNIVERSITÄT MÜNCHEN FÜR STUDIERENDE, MITARBEITER, FREUNDE 2007 3 Inhalt 0Titel 1Inhalt 2Impressum Report 3Neue Wege für exzellente Doktoranden 5Promotionsrecht für TUM Junior Fellows Partner: TUM und MAN 6Präsident Herrmann weiter an der Spitze der TUM Norbert Reithofer im Hochschul- und Verwaltungsrat 7Neuer Ärztlicher Direktor am Rechts der Isar 8Champion TUM 9Exzellenzinitiative: TUM-Informatik gut im Rennen 10 »Weiße Biotechnologie« für Bayern 13 Mehr Platz für neue Experimente 14 Eleganter Turm für den Campus 16 Die TUM – die »familiengerechte Hochschule« 17 Familienservice an der TUM Campus mit Babysitterservice 18 Neue Laborräume für die Kinderklinik 19 Lehre und Forschung verknüpfen 20 Auf dem Lehrplan: Bauklima 21 Do more, get more... 22 Soft Skills auf hohem Niveau 24 TUM goes Asia 25 Name gesucht 26 Kooperation mit der Royal University of Bhutan 28 TUM-Studierende auf der WorldMUN 2007 29 Moneten für die Promotion Sprachen lernen an der TUM 30 Prüfung bestanden! 31 TUM-Bibliothek: Super Service Chemie-Diamant Burghausen 32 Australian International Beer Awards 2007 Neu im Leitungsstab 33 35 Jahre, 6 Präsidenten, 1 Job 34 BMW Group + TUM = CAR@TUM isiNav weiß, wo es lang geht 35 EMBA – unternehmerische Praxis Wer, was, wo? 36 Mitteilungen 3-2007 Berufungen 37 Javier Esparza Gunther Friedl Tina Haase 38 Bernhard Hemmer Rafael Macián-Juan Annette Menzel 39 Ralf Metzler Aurel Perren Auszeichnungen 40 kurz berichtet 45 Forschung 46 Wie entwickelt sich ein Ökosystem? 47 SFB Wachstum und Parasitenabwehr
    [Show full text]
  • Edsger W. Dijkstra: a Commemoration
    Edsger W. Dijkstra: a Commemoration Krzysztof R. Apt1 and Tony Hoare2 (editors) 1 CWI, Amsterdam, The Netherlands and MIMUW, University of Warsaw, Poland 2 Department of Computer Science and Technology, University of Cambridge and Microsoft Research Ltd, Cambridge, UK Abstract This article is a multiauthored portrait of Edsger Wybe Dijkstra that consists of testimo- nials written by several friends, colleagues, and students of his. It provides unique insights into his personality, working style and habits, and his influence on other computer scientists, as a researcher, teacher, and mentor. Contents Preface 3 Tony Hoare 4 Donald Knuth 9 Christian Lengauer 11 K. Mani Chandy 13 Eric C.R. Hehner 15 Mark Scheevel 17 Krzysztof R. Apt 18 arXiv:2104.03392v1 [cs.GL] 7 Apr 2021 Niklaus Wirth 20 Lex Bijlsma 23 Manfred Broy 24 David Gries 26 Ted Herman 28 Alain J. Martin 29 J Strother Moore 31 Vladimir Lifschitz 33 Wim H. Hesselink 34 1 Hamilton Richards 36 Ken Calvert 38 David Naumann 40 David Turner 42 J.R. Rao 44 Jayadev Misra 47 Rajeev Joshi 50 Maarten van Emden 52 Two Tuesday Afternoon Clubs 54 2 Preface Edsger Dijkstra was perhaps the best known, and certainly the most discussed, computer scientist of the seventies and eighties. We both knew Dijkstra |though each of us in different ways| and we both were aware that his influence on computer science was not limited to his pioneering software projects and research articles. He interacted with his colleagues by way of numerous discussions, extensive letter correspondence, and hundreds of so-called EWD reports that he used to send to a select group of researchers.
    [Show full text]
  • R ˘Azvan Diaconescu
    RA˘ ZVAN DIACONESCU list of publications MONOGRAPHS AND TEXTBOOKS [1-B] Institution-independent Model Theory. volume of Studies in Universal Logic series. Birkhauser¨ Basel, 2008. (386 pages). [2-B] (with K. Futatsugi) CafeOBJ Report: the language, proof techniques, and methodologies for object-oriented algebraic specification, volume 6 of AMAST Series in Computing. World Scientific Singapore, 1998. (174 pages) [3-B] Category-based Semantics for Equational and Constraint Logic Programming. D.Phil thesis, University of Oxford, 1994. (published as OUCL Monograph PRG-116, 120 pages) JOURNAL ARTICLES [4-J] Borrowing interpolation. Journal of Logic and Computation, Oxford Univ. Press. DOI:10.1093/logcom/exr007 [5-J] An axiomatic approach to structuring specifications. Theoretical Computer Science, 433:20–42, Elsevier, 2012. [6-J] Interpolation for predefined types. Mathematical Structures in Computer Science, 22(1):1–24, Cambridge Univ. Press, 2012. [7-J] Grothendieck inclusion systems. Applied Categorical Structures, 19(5):783–802, Springer, 2011. [8-J] Structural Induction in Institutions. Information and Computation, 209(9):1197–1222, Elsevier, 2011. [9-J] (with I. T¸ut¸u) On the Algebra of Structured Specifications. Theoretical Computer Science, 412(28):3145–3174, Elsevier, 2011. [10-J] On quasi-varieties of multiple valued logic models. Mathematical Logic Quarterly, 57(2):194–203, Wiley, 2011. [11-J] Coinduction for preordered algebras. Information and Computation, 209(2):108–117, Elsevier, 2011. [12-J] (with M. Petria) Saturated models in institutions. Archive for Mathematical Logic, 49(6):693–723, Springer, 2010. [13-J] Quasi-Boolean encodings and conditionals in algebraic specification. Journal of Logic and Algebraic Programming, 79(2):174–188, Elsevier, 2010.
    [Show full text]
  • Early Life: 1924–1945
    An interview with FRITZ BAUER Conducted by Ulf Hashagen on 21 and 26 July, 2004, at the Technische Universität München. Interview conducted by the Society for Industrial and Applied Mathematics, as part of grant # DE-FG02-01ER25547 awarded by the US Department of Energy. Transcript and original tapes donated to the Computer History Museum by the Society for Industrial and Applied Mathematics © Computer History Museum Mountain View, California ABSTRACT: Professor Friedrich L. Bauer describes his career in physics, computing, and numerical analysis. Professor Bauer was born in Thaldorf, Germany near Kelheim. After his schooling in Thaldorf and Pfarrkirchen, he received his baccalaureate at the Albertinium, a boarding school in Munich. He then faced the draft into the German Army, serving first in the German labor service. After training in France and a deployment to the Eastern Front in Kursk, he was sent to officer's school. His reserve unit was captured in the Ruhr Valley in 1945 during the American advance. He returned to Pfarrkirchen in September 1945 and in spring of 1946 enrolled in mathematics and physics at the Ludwig-Maximilians-Universitäat, München. He studied mathematics with Oscar Perron and Heinrich Tietze and physics with Arnold Sommerfeld and Paul August Mann. He was offered a full assistantship with Fritz Bopp and finished his Ph.D. in 1951 writing on group representations in particle physics. He then joined a group in Munich led by a professor of mathematics Robert Sauer and the electrical engineer Hans Piloty, working with a colleague Klaus Samelson on the design of the PERM, a computer based in part on the Whirlwind concept.
    [Show full text]
  • 100 Jahre Mathematik in Berlin Von Eberhard Knobloch Allegorie Der Arithmetik Prof
    Eberhard Knobloch 100 Jahre Mathematik in Berlin von Eberhard Knobloch Allegorie der Arithmetik Prof. Eberhard Knobloch hielt am 16. November 2001 den historischen Vortrag zur neunten „Euler-Vorlesung in Sanssouci“. Auch aus Anlass der 100-Jahrfeier der Berliner Mathematischen Gesellschaft, die am Tag zuvor an der TU Berlin begangen worden war, hieß sein Thema „100 Jahre Mathematik in Berlin“. Wir freuen uns, seine Ausführungen, die weit über Berlin hinausgehen, hier präsentieren zu können. (GMZ) Wer vor dem 1706 fertiggestellten Zeughaus Jean de Wie oft mag der Blick der drei Mathematikordinarien Bodts Unter den Linden das Hauptportal betrachtet, Hermann Amandus Schwarz (1843–1921), Georg Fro- stellt mit freudigem Erstaunen fest, daß die lateini- benius (1849–1917), Lazarus Fuchs (1833–1902) auf sche Inschrift wieder golden prangt, daß die vier Frau- diese Gestalten gefallen sein, wenn sie um 1900 durch engestalten davor mit ihren vier Putten die unruhi- den nahegelegenen Eingang zur Berliner Universität gen Zeitläufe des 20. Jahrhunderts überdauert haben. in ihre Lehrveranstaltungen eilten? Anhand ihrer Beigaben – Kurbel, Winkelmesser, Re- Noch müssen wir einen Blick auf die Inschrift werfen, chenbrett, Rakete – sind sie unschwer als Allegorien die nicht ohne aktuellen Bezug ist: der Mechanik, Geometrie, Arithmetik und Ballistik identifizierbar: Mathematik zum Anfassen. Tritt man Iustitiae Armorum Terrori Host(ium), Tutelae näher heran, entdeckt man weitere Einzelheiten, etwa Suorum Pop(ulorum) et Foederat(orum) Frideri- eine Tafel mit dem Satz des Pythagoras usf. cus I Rex Boruss(iae) P(ater) P(atriae) P(iissimus) Aug(ustus) Inv(ictus) Hoc armamentarium omni in- Die vier Gestalten, vom Franzosen Hulot gefertigt, strum(entorum) bell(icorum) nec non spolior(um) repräsentieren vier mathematische Kernwissenschaf- milit(arium) Ac Trophaeor(um) genere refertum a ten, reine und angewandte.
    [Show full text]
  • Developing and Benchmarking Native Linux Applications on Android
    Developing and Benchmarking Native Linux Applications on Android Leonid Batyuk, Aubrey-Derrick Schmidt, Hans-Gunther Schmidt, Ahmet Camtepe, and Sahin Albayrak Technische Universit¨at Berlin, 10587 Berlin, Germany {aubrey.schmidt,leonid.batyuk,hans-gunther.schmidt,ahmet.camtepe, sahin.albayrak}@dai-labor.de http://www.dai-labor.de Abstract. Smartphones get increasingly popular where more and more smartphone platforms emerge. Special attention was gained by the open source platform Android which was presented by the Open Handset Al- liance (OHA) hosting members like Google, Motorola, and HTC. An- droid uses a Linux kernel and a stripped-down userland with a custom Java VM set on top. The resulting system joins the advantages of both environments, while third-parties are intended to develop only Java ap- plications at the moment. In this work, we present the benefit of using native applications in Android. Android includes a fully functional Linux, and using it for heavy computational tasks when developing applications can bring in substantional performance increase. We present how to develop native applications and software components, as well as how to let Linux appli- cations and components communicate with Java programs. Additionally, we present performance measurements of native and Java applications executing identical tasks. The results show that native C applications can be up to 30 times as fast as an identical algorithm running in Dalvik VM. Java applications can become a speed-up of up to 10 times if utilizing JNI. Keywords: software, performance, smartphones, android, C, Java. 1 Introduction With the growing customer interest in smartphones the number of available platforms increases steadily.
    [Show full text]
  • Kontaktum 2/2019
    KontakTUM Magazin Für Alumni der Technischen Universität München Herbst /Winter 2019/2020 Willkommen, Magnifizenz! Ein Heft zum Präsidentenwechsel Schutzgebühr 5,- Euro Campus1 . Engagement . Netzwerk ISSN 1868-4084 ICH UNTERSTÜTZE GERNE BEWUNDERNSWERTE ANSTRENGUNGEN, DIE FÜR DIE MENSCHEN NACHHALTIG NÜTZLICH SIND. Ehrensenator Friedrich N. Schwarz (TUM Alumnus 1964) Im Juli wurde die TUM Forschungsstation Friedrich N. Schwarz in Berchtesgaden eröffnet. In dem nachhaltigen Holzgebäude wird die TUM das Ökosystem des Alpenraums erforschen und neue Formen des naturwissenschaftlichen Schulunterrichts erproben. Namensgeber ist TUM Alumnus Friedrich N. Schwarz, der mit seiner Zuwendung an die TUM Universitätsstiftung den Bau in den Bergen mit möglich machte. Friedrich N. Schwarz war Student der Elektro technik an der TUM und hat anschließend Unternehmens- karriere gemacht (Rohde & Schwarz). www.tum-universitätsstiftung.de 2 EDITORIAL Dr. Verena Schmöller und Dr. Sabrina Eisele von der KontakTUM-Redaktion Zwei Alumni FÜR DIE TUM Die TUM informiert Professor Wolfgang A. Herrmann hat 24 Jahre lang die Geschicke der TUM Wollen Sie auch zwischen gelenkt und gilt damit als der am längsten amtierende Präsident der deutschen den Ausgaben des Alumni- Hochschullandschaft. Zum 1. Oktober 2019 hat Professor Thomas F. Hofmann Magazins über aktuelle als Nachfolger seine Aufgaben übernommen. Er war in den vergangenen zehn Ver anstaltungen für Alumni Jahren Vizepräsident für Forschung und Innovation an der TUM. Beiden und Neuigkeiten aus der gemeinsam ist: Sie haben an der TUM studiert beziehungsweise promoviert, TUM informiert werden? sind also Alumni der TUM. Und sie engagieren sich bereits viele Jahre mit Herz Einmal im Monat versenden und Seele für ihre gemeinsame Alma Mater. wir elektronisch den News- letter „Die TUM informiert“.
    [Show full text]
  • A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems
    A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems Benyamin Y. Y. Aziz, M.Sc. School of Computing, Dublin City University A thesis presented in fulfillment of the requirements for the degree of Doctor of Philosophy Supervisor: Dr Geoff Hamilton September 2003 “Start by doing what’s necessary; then do what’s possible; and suddenly you are doing the impossible” St. Francis of Assisi To Yowell, Olivia and Clotilde Declaration I hereby certify that this material, which I now submit for assessment on the programme of study leading to the award of the degree of Doctor of Philosophy (Ph.D.) is entirely my own work and has not been taken from the work of others save and to the extent that such work has been cited and acknowledged within the text of my work. Signed: I.D. No.: Date: Acknowledgements I would like to thank all those people who were true sources of inspiration, knowledge, guidance and help to myself throughout the period of my doctoral research. In particular, I would like to thank my supervisor, Dr. Geoff Hamilton, without whom this work would not have seen the light. I would also like to thank Dr. David Gray, with whom I had many informative conversations, and my colleagues, Thomas Hack and Fr´ed´ericOehl, for their advice and guidance. Finally, I would like to mention that the work of this thesis was partially funded by project IMPROVE (Enterprise Ireland Strategic Grant ST/2000/94). Benyamin Aziz Abstract We introduce a static analysis framework for detecting instances of security breaches in infinite mobile and cryptographic systems specified using the languages of the π-calculus and its cryptographic extension, the spi calculus.
    [Show full text]
  • Lecture Notes in Computer Science 1378 Edited by G
    Lecture Notes in Computer Science 1378 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Maurice Nivat (Ed.) Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98 Lisbon, Portugal, March 28 - April 4, 1998 Proceedings ~ Springer Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editor Maurice Nivat LITP, Universit6 Paris 7 2, Place Jussieu, F-75251 Paris Cedex 05, France E-mail: Maurice.Nivat @litp.liafa.jussieu.fr Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Foundations of software science and computation structures : first international conference ; proceedings / FoSSaCS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Maurice Nivat (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1998 (Lecture notes in computer science ; Vol. 1378) ISBN 3-540-64300-1 CR Subject Classification (1991):F.3. F.4.2, El.I, D.3.3-4, D.2.1 ISSN 0302-9743 ISBN 3-540-64300-1 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer -Verlag.
    [Show full text]
  • Die Gruncllehren Cler Mathematischen Wissenschaften
    Die Gruncllehren cler mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Beriicksichtigung der Anwendungsgebiete Band 135 Herausgegeben von J. L. Doob . E. Heinz· F. Hirzebruch . E. Hopf . H. Hopf W. Maak . S. Mac Lane • W. Magnus. D. Mumford M. M. Postnikov . F. K. Schmidt· D. S. Scott· K. Stein Geschiiftsfiihrende Herausgeber B. Eckmann und B. L. van der Waerden Handbook for Automatic Computation Edited by F. L. Bauer· A. S. Householder· F. W. J. Olver H. Rutishauser . K. Samelson· E. Stiefel Volume I . Part a Heinz Rutishauser Description of ALGOL 60 Springer-Verlag New York Inc. 1967 Prof. Dr. H. Rutishauser Eidgenossische Technische Hochschule Zurich Geschaftsfuhrende Herausgeber: Prof. Dr. B. Eckmann Eidgenossische Tecbnische Hocbscbule Zurich Prof. Dr. B. L. van der Waerden Matbematisches Institut der Universitat ZUrich Aile Rechte, insbesondere das der Obersetzung in fremde Spracben, vorbebalten Ohne ausdriickliche Genehmigung des Verlages ist es auch nicht gestattet, dieses Buch oder Teile daraus auf photomechaniscbem Wege (Photokopie, Mikrokopie) oder auf andere Art zu vervielfaltigen ISBN-13: 978-3-642-86936-5 e-ISBN-13: 978-3-642-86934-1 DOl: 10.1007/978-3-642-86934-1 © by Springer-Verlag Berlin· Heidelberg 1967 Softcover reprint of the hardcover 1st edition 1%7 Library of Congress Catalog Card Number 67-13537 Titel-Nr. 5l1B Preface Automatic computing has undergone drastic changes since the pioneering days of the early Fifties, one of the most obvious being that today the majority of computer programs are no longer written in machine code but in some programming language like FORTRAN or ALGOL. However, as desirable as the time-saving achieved in this way may be, still a high proportion of the preparatory work must be attributed to activities such as error estimates, stability investigations and the like, and for these no programming aid whatsoever can be of help.
    [Show full text]
  • Publications by Gunther Schmidt
    Publications by Gunther Schmidt 2020 | R¨uckblick auf die Anf¨angeder M¨unchner Informatik | Dokumente, Belege, Ver¨offent- lichungen und Erinnerungen von fr¨uhund lange Beteiligten. Die blaue Stunde der Infor- matik. Springer-Vieweg, 2020. viii+200 Seiten, ISBN 978-3-658-28754-2, ISBN 978-3-658- 28755-9 (eBook). https://doi.org/10.1007/978-3-658-28755-9 2019 | with Rudolf Berghammer and Michael Winter. Cryptomorphic topological structures: A computational, relation-algebraic approach. Journal of Logical and Algebraic Methods in Programming 102 (2019), 17{45. https://doi.org/10.1016/j.jlamp.2018. 09.004. 2018 | with Michael Winter. Relational Topology, volume 2208 of Lecture Notes in Mathe- matics. Springer-Verlag, 2018. https://doi.org/10.1007/978-3-319-74451-3 2017 | Partiality III: Observability and dispersion, 2017. In preparation. 2015 | Arranging binary relations nicely | A Guide. Technical Report 2015-01, Fakult¨atf¨ur Informatik, Universit¨atder Bundeswehr M¨unchen, December 2015. https://titurel. org/HandBookPrinted.pdf | A relational view on stochastics. The Festschrift on the occasion of the 60th birthday of Jos´eN. Oliveira, 2015. 2014 | with Michael Winter. Relational Topology. Technical Report 2014-03, Fakult¨atf¨ur Informatik, Universit¨atder Bundeswehr M¨unchen, 76 pages, Nov. 2014. | with Lothar Schmitz. Prof. Friedrich L. Bauer und seine Verbindungen zur Fakult¨at f¨urInformatik | Der Vater der deutschen Informatik. Hochschulkurier der Universit¨atder Bundeswehr, 50, 2014. 10{11. | with Michael Winter. Relational Mathematics Continued. Tech. Rep. 2014- 01, Fakult¨atf¨urInformatik, Universit¨atder Bundeswehr M¨unchen, 45 pages, Apr. 2014. http://arxiv.org/abs/1403.6957.
    [Show full text]