The Year 2019

Total Page:16

File Type:pdf, Size:1020Kb

The Year 2019 The year 2019 1 Photo: Britta Hüning Photo: People Research profile 25,170 Students (of which 7,955 female) 6 Profile Areas: 4,221 first-semester undergraduate students Cybersecurity 2,827 first-semester Master’s students Internet and Digitisation From Material to Product 248 male professors (of which 18 assistant professors) Innovation Thermo-Fluids & 64 female professors (of which 11 assistant professors) Interfaces 2,617 academic employees (of which 687 female) Future Energy Systems A summary 1,914 non-academic employees (of which 1,156 female) Matter and Radiation Science 148 trainees (of which 48 female) 21 ERC-Grants since 2012 Transition and affirmation 105 graduate assistants (of which 38 female) 12 DFG Collaborative Research Change and continuity – these two words provide a 2,858 student assistants (of which 902 female) Centres/Transfer Units good description of how the Technical University of Darmstadt has developed in 2019. 6 DFG Research Training Groups Binner Katrin Photo: 11 LOEWE Clusters of Excellence TU Darmstadt remained on course for success, thus demonstrating its continuity. Especially prestigious were several awards from the European Research Campus Council for computer science and new funding pro- 5 locations: City Centre, Lichtwiese, Botanical jects from the German Research Foundation (DFG), Gardens, University Stadium, August-Euler Airfield including a collaborative research centre and a (with wind tunnel) graduate school – both of which are anchored in the material sciences. Existing research groups funded 250 hectares of property by the DFG were given extensions, new projects as part of the Hessian LOEWE programme for the fund- buildings (incl. 13 rented) 165 ing of excellent research were given the green light 309,000 square metres of usable space (incl. and 14 research projects were launched with the aid of EU funding. 16,900 rented) At the same time, the year also brought about Change at the top: President Hans Jürgen Prömel and his successor Tanja Brühl changes with respect to personnel. TU Darmstadt Budget welcomed the new Minister of State for Higher Affairs), alongside the new Vice Presidents Professor Education, Research and the Arts Angela Dorn and Barbara Albert (Research and Early Careers), Professor EUR 254.9 million basic funds from the State of Hesse (excl. LOEWE) her State Secretary Ayse Asar for their inaugural Heribert Warzecha (Academic Affairs and Diversity), EUR 24.3 million from Bund-Länder-Hochschulpakt (Phase II) visit in March 2019. In September 2019, the former Professor Jens Schneider (Transfer and International President of TU Darmstadt Professor Hans Jürgen Affairs) and Professor Herbert De Gersem (Scientific EUR million other funds 8.8 Prömel was given a ceremonial farewell after twelve Infrastructure and Digitization). EUR 165.2 million third-party funds (incl. LOEWE) years in office. Under his leadership, TU Darmstadt has actively shaped and defined its autonomy and “European University” self-responsibility and has strengthened its reputa- One success that was officially announced in the Upgrowth of third-party funds Sources of third-party funds tion both at home and abroad. summer of 2019 holds great significance for the (in mio EUR) in % future of TU Darmstadt and will have a far-reaching Professor Tanja Brühl took office as the new Presi- impact: The university was successful with its entry 2019 Federal Government2019 dent of TU Darmstadt on 1 October, following her in the EU funding competition “European University”, election by the University Assembly in March 2019. together with six other European technical universi- 165.2 The German Federation of Industrial Research At the end of the year, the former Vice Presidents Associations – AiF 2.9 32.1 ties. This prestigious honour comes with total funding other funds 7.2 Professor Mira Mezini, Professor Andrea Rapp, Pro- of five million euros. The competition is the result of fessor Ralph Bruder and Professor Matthias Rehahn an initiative by French President Macron. The aim 4.1 LOEWE stepped down from the Executive Board at the end of the UNITE! (University Network for Innovation, of their terms of office – all of them can take credit Technology and Engineering) alliance coordinated by 27.4 German for pushing forward strategically important projects TU Darmstadt is to create a trans-European virtual 19.2 Research Industry Foundation with the highest degree of professionalism. campus. DFG 7.1 The university’s new management team took up The alliance will establish cross-university study EU their duties at the turn of the year: The President courses and transnational knowledge transfer as TU Darmstadt TU Darmstadt The Year 2019 Overview Overview will continue to rely on the support of Vice President its natural standards. The partner universities will Figures rounded Dr. Manfred Efinger (Administration and Financial establish links with start-up networks and companies 2 3 Rhine-Main Universities Outstanding education and research thrive off networking and cooperation. On a regional level, Photo: Patrick Bal Patrick Photo: TU Darmstadt, the Goethe University Frankfurt and Johannes Gutenberg University Mainz joined together Binner Katrin Photo: to create the Rhine-Main Universities (RMU) strategic alliance in 2015 to exploit their combined strengths – the independent profiles of each university comple- ment each other very well. TU Darmstadt has been able to enhance the attractiveness of its teaching and research through targeted synergies – such as in the areas of biomedical engineering and peace and conflict research. The alliance now combines 103,000 students, has links to 22 non-university research institutes and acts as the coordinator for 21 collabora- tive research centres funded by the German Research Foundation (DFG). In 2019, three new joint projects at the RMU were ap- proved both by the German Research Foundation and as part of the Hessian LOEWE programme for scientific excellence: a DFG collaborative research centre for the regulation of DNA repair and genome stability, as well in their local regions and strengthen and coordi- as LOEWE projects on biochemical drug development nate their joint research on pressing social themes and on the significance of architecture for social, cul- such as the energy transition, artificial intelligence tural and scientific concepts of order. and Industry 4.0. This will benefit the graduates from the UNITE! universities above all: They will Alongside TU Darmstadt, UNITE! includes The dynamic development of the RMU was demon- acquire interdisciplinary and intercultural exper- the Aalto University (Finland), KTH strated in September 2019 at the 1st RMU Day: More tise, which graduates need now more than ever Royal Institute of Technology (Sweden), than 250 members of the three universities reported Grenoble Institute of Technology so that they are optimally prepared to meet the (France), Politecnico Di Torino (Italy), on their achievements to date and discussed the next future requirements of the job market and global Universitat Politècnica de Catalunya steps for networking and cooperating in the areas of challenges. (Spain) and Universidade de Lisboa research, studies, teaching and administration. The (Portugal). Together, the seven partners world of politics also expressed its support for this have 167,000 students and 36,700 special alliance because it spans two different Ger- Basic research for the future graduates annually. They already cooperate closely in more than 80 EU man states: The Hessian Minister of State for Higher projects and have exchanged more than Education, Research and the Arts Angela Dorn and 2,000 students in the last five years. They her counterpart from Rhineland-Palatinate Professor „We are taking the European idea have all been members of the CLUSTER Konrad Wolf held discussions on the podium with the ing awarded to the Department of Computer Science, Network (Consortium Linking Universities heads of the universities. which focuses, in particular, on important issues relat- a step further. Students and teach- of Science and Technology for Education and Research) which encompasses twelve ed to protection and security: Professor Stefan Roth ing staff are sharing knowledge leading European technical universities Research strength received an ERC Consolidator Grant of two million and information across borders since 1990. TU Darmstadt is one of the leading research universi- euros, Professor Thomas Schneider received an ERC ties, both compared to other German universities and Starting Grant of 1.5 million euros and Professor Mira and developing a European Edu- also from an international perspective. The university Mezini, who had previously received an ERC Advanced received a total of three new grants from the European Grant, was honoured in 2019 with a Proof-of-Concept Overview cation Area together.“ Research Council (ERC) in 2019 – with all of them be- Grant. Professor Dr. Tanja Brühl, TU President and UNITE! President 4 5 TU Darmstadt is contributing its internationally A programme at TU Darmstadt that specifically focuses Executive Board recognised expertise in IT security to the National on female guest professors has also been well received: Research Center for Applied Cybersecurity, which Three women with career and research experience in started work in 2019 under the name Athene. This industry have taken the opportunity to research and research centre has been significantly shaped by TU teach for a fixed term at TU Darmstadt without having Darmstadt and is also supported by two Fraunhofer to give up their positions at their companies. institutes and the Darmstadt University of Applied Sciences. The Federal Minister of Education and Remain curious Research Anja Karliczek and the Hessian Minister of One thing is clear when we look back on 2019: TU State for Higher Education, Research and the Arts Darmstadt possesses an enormous amount of potential. Angela Dorn participated in the official opening It is well worth systematically examining its profile ceremony. The federal and state governments plan in more depth – and continuing to closely follow the to increase the funding for Athene from 12.5 mil- development of the university.
Recommended publications
  • Deduction Systems Based on Resolution, We Limit the Following Considerations to Transition Systems Based on Analytic Calculi
    Author’s Address Norbert Eisinger European Computer–Industry Research Centre, ECRC Arabellastr. 17 D-8000 M¨unchen 81 F. R. Germany [email protected] and Hans J¨urgen Ohlbach Max–Planck–Institut f¨ur Informatik Im Stadtwald D-6600 Saarbr¨ucken 11 F. R. Germany [email protected] Publication Notes This report appears as chapter 4 in Dov Gabbay (ed.): ‘Handbook of Logic in Artificial Intelligence and Logic Programming, Volume I: Logical Foundations’. It will be published by Oxford University Press, 1992. Fragments of the material already appeared in chapter two of Bl¨asis & B¨urckert: Deduction Systems in Artificial Intelligence, Ellis Horwood Series in Artificial Intelligence, 1989. A draft version has been published as SEKI Report SR-90-12. The report is also published as an internal technical report of ECRC, Munich. Acknowledgements The writing of the chapters for the handbook has been a highly coordinated effort of all the people involved. We want to express our gratitude for their many helpful contributions, which unfortunately are impossible to list exhaustively. Special thanks for reading earlier drafts and giving us detailed feedback, go to our second reader, Bob Kowalski, and to Wolfgang Bibel, Elmar Eder, Melvin Fitting, Donald W. Loveland, David Plaisted, and J¨org Siekmann. Work on this chapter started when both of us were members of the Markgraf Karl group at the Universit¨at Kaiserslautern, Germany. With our former colleagues there we had countless fruitful discus- sions, which, again, cannot be credited in detail. During that time this research was supported by the “Sonderforschungsbereich 314, K¨unstliche Intelligenz” of the Deutsche Forschungsgemeinschaft (DFG).
    [Show full text]
  • Trams Der Welt / Trams of the World 2021 Daten / Data © 2021 Peter Sohns Seite / Page 1
    www.blickpunktstrab.net – Trams der Welt / Trams of the World 2021 Daten / Data © 2021 Peter Sohns Seite / Page 1 Algeria ... Alger (Algier) ... Metro ... 1435 mm Algeria ... Alger (Algier) ... Tram (Electric) ... 1435 mm Algeria ... Constantine ... Tram (Electric) ... 1435 mm Algeria ... Oran ... Tram (Electric) ... 1435 mm Algeria ... Ouragla ... Tram (Electric) ... 1435 mm Algeria ... Sétif ... Tram (Electric) ... 1435 mm Algeria ... Sidi Bel Abbès ... Tram (Electric) ... 1435 mm Argentina ... Buenos Aires, DF ... Metro ... 1435 mm Argentina ... Buenos Aires, DF - Caballito ... Heritage-Tram (Electric) ... 1435 mm Argentina ... Buenos Aires, DF - Lacroze (General Urquiza) ... Interurban (Electric) ... 1435 mm Argentina ... Buenos Aires, DF - Premetro E ... Tram (Electric) ... 1435 mm Argentina ... Buenos Aires, DF - Tren de la Costa ... Tram (Electric) ... 1435 mm Argentina ... Córdoba, Córdoba ... Trolleybus Argentina ... Mar del Plata, BA ... Heritage-Tram (Electric) ... 900 mm Argentina ... Mendoza, Mendoza ... Tram (Electric) ... 1435 mm Argentina ... Mendoza, Mendoza ... Trolleybus Argentina ... Rosario, Santa Fé ... Heritage-Tram (Electric) ... 1435 mm Argentina ... Rosario, Santa Fé ... Trolleybus Argentina ... Valle Hermoso, Córdoba ... Tram-Museum (Electric) ... 600 mm Armenia ... Yerevan ... Metro ... 1524 mm Armenia ... Yerevan ... Trolleybus Australia ... Adelaide, SA - Glenelg ... Tram (Electric) ... 1435 mm Australia ... Ballarat, VIC ... Heritage-Tram (Electric) ... 1435 mm Australia ... Bendigo, VIC ... Heritage-Tram
    [Show full text]
  • Aircraft Noise-Induced Annoyance in the Vicinity of Cologne/Bonn Airport
    Genehmigte Dissertation zur Erlangung des akademischen Grades Doctor rerum naturalium (Dr. rer. nat.) Fachbereich 3: Humanwissenschaften Institut für Psychologie Aircraft noise-induced annoyance in the vicinity of Cologne/Bonn Airport The examination of short-term and long-term annoyance as well as their major determinants vorgelegt von Dipl.-Psych. Susanne Bartels (geb. Stein) geboren in Burgstädt Darmstadt, 2014 Hochschulkennziffer: D 17 Eingereicht am 08. Juli 2014 Disputation am 15. September 2014 Referent: Prof. Dr. Joachim Vogt, Technische Universität Darmstadt Korreferent: Prof. Dr. Rainer Höger, Leuphana Universität Lüneburg Für Emil, meine liebste „Lärmquelle” Acknowledgment I would like to express my gratitude to all the people who were on hand with help and advice for me during my doctoral project in the past years. My thanks go to my doctorate supervisor Professor Joachim Vogt for his excellent mentoring, for the freedom in the choice of my research topics, and for his helpful advice during both the conduction of the studies and the writing of my dissertation. I thank Professor Rainer Höger of Leuphana University, Lüneburg for agreeing to serve as the second examiner of my thesis. Furthermore, I would like to express my appreciation to my (former) colleagues of the department of Flight Physiology of the German Aerospace Center (DLR) in Cologne. A thank you to Dr. Mathias Basner who appointed me as doctoral student and who, thereby, laid the foundation of this thesis. I also thank Dr. Uwe Müller for the good collaboration, his expertise and his merits as leader of the Work Package 2 in the COSMA-project. In addition, I would like to thank Eva Hennecke, Helene Majewski, Dr.
    [Show full text]
  • Grundlagenstudie
    Mobilitätskonzept für einen nachhaltigen Öffentlichen Nah- und Regionalverkehr in Kiel Grundlagenstudie Gertz Gutsche Rümenapp Ansprechpartner: Stadtentwicklung und Mobilität GbR Dipl.-Ing. Max Bohnet Ruhrstraße 11, 22761 Hamburg Tel. 030 / 4036695-33 Johann-Georg-Straße 17, 10709 Berlin Fax 040 / 853737-42 [email protected] Büro StadtVerkehr Ansprechpartner: Planungsgesellschaft mbH & Co. KG Dipl.-Ing. Jean-Marc Stuhm Mittelstraße 55, 40721 Hilden Tel. 02103 / 91159-0 Außenstelle Karby: Fax 02103 / 91159-22 Südhang 28, 24398 Karby [email protected] Mobilitätskonzept für einen nachhaltigen Öffentlichen Nah- und Regionalverkehr in Kiel Grundlagenstudie Inhaltsverzeichnis Einleitung .......................................................................................................... 7 1.1 Veranlassung und Aufgabenstellung ........................................................... 8 1.2 Leitbild ................................................................................................... 11 1.3 Grundlagen, Rahmenbedingungen, Eingangsdaten .................................... 12 Modul A: Bestandsanalyse und Nachfragepotentiale .................................... 13 2.1 Bestandsanalyse ...................................................................................... 14 2.1.1 Siedlungsstruktur ................................................................................. 14 2.1.2 Mobilitätskennwerte in Kiel ................................................................ 26 2.1.3 Verkehrsangebote ..............................................................................
    [Show full text]
  • Trams Der Welt / Trams of the World 2020 Daten / Data © 2020 Peter Sohns Seite/Page 1 Algeria
    www.blickpunktstrab.net – Trams der Welt / Trams of the World 2020 Daten / Data © 2020 Peter Sohns Seite/Page 1 Algeria … Alger (Algier) … Metro … 1435 mm Algeria … Alger (Algier) … Tram (Electric) … 1435 mm Algeria … Constantine … Tram (Electric) … 1435 mm Algeria … Oran … Tram (Electric) … 1435 mm Algeria … Ouragla … Tram (Electric) … 1435 mm Algeria … Sétif … Tram (Electric) … 1435 mm Algeria … Sidi Bel Abbès … Tram (Electric) … 1435 mm Argentina … Buenos Aires, DF … Metro … 1435 mm Argentina … Buenos Aires, DF - Caballito … Heritage-Tram (Electric) … 1435 mm Argentina … Buenos Aires, DF - Lacroze (General Urquiza) … Interurban (Electric) … 1435 mm Argentina … Buenos Aires, DF - Premetro E … Tram (Electric) … 1435 mm Argentina … Buenos Aires, DF - Tren de la Costa … Tram (Electric) … 1435 mm Argentina … Córdoba, Córdoba … Trolleybus … Argentina … Mar del Plata, BA … Heritage-Tram (Electric) … 900 mm Argentina … Mendoza, Mendoza … Tram (Electric) … 1435 mm Argentina … Mendoza, Mendoza … Trolleybus … Argentina … Rosario, Santa Fé … Heritage-Tram (Electric) … 1435 mm Argentina … Rosario, Santa Fé … Trolleybus … Argentina … Valle Hermoso, Córdoba … Tram-Museum (Electric) … 600 mm Armenia … Yerevan … Metro … 1524 mm Armenia … Yerevan … Trolleybus … Australia … Adelaide, SA - Glenelg … Tram (Electric) … 1435 mm Australia … Ballarat, VIC … Heritage-Tram (Electric) … 1435 mm Australia … Bendigo, VIC … Heritage-Tram (Electric) … 1435 mm www.blickpunktstrab.net – Trams der Welt / Trams of the World 2020 Daten / Data © 2020 Peter Sohns Seite/Page
    [Show full text]
  • Stadtbahnqualitäten
    Johannes Bouchain Stadtbahnqualitäten Räumlich-funktionale und gestalterische Eigenschaften eines modernen öffentlichen Verkehrsmittels Stadtbahnqualitäten Räumlich-funktionale und gestalterische Eigenschaften eines modernen öffentlichen Verkehrsmittels Diplomarbeit an der HafenCity Universität Hamburg Studiengang Stadtplanung Vorgelegt von Johannes Bouchain Gutachter: Prof. Dr.-Ing. Michael Koch Prof. Dr.-Ing. Carsten Gertz Hamburg, im Januar 2008 II Johannes Bouchain: Stadtbahnqualitäten Vorwort Diese Arbeit präsentiert die Stadtbahn als ein facettenrei- dieses Missverhältnis. Es geht hier jedoch nicht darum, ches öffentliches Verkehrsmittel mit starkem Bezug zum die Bedeutung der übrigen städtischen Verkehrsmittel öffentlichen Stadtraum. Auf räumlich-funktionaler sowie grundsätzlich in Frage zu stellen, sondern die vielfältigen insbesondere auch auf gestalterischer Ebene werden Potenziale der Stadtbahn innerhalb der weit gefassten Eigenschaften der Stadtbahn dargestellt, die dieses mo- Grenzen ihres Einsatzes aufzuzeigen. derne, schienengebundene Oberflächenverkehrsmittel für das Funktionieren einer Stadt sowie ihr räumliches Bild Der Abfassung der vorliegenden Arbeit ging eine intensi- und ihre Wahrnehmung so wertvoll machen. ve Beschäftigung mit den Schnittbereichen zwischen Verkehr und Stadtplanung voraus. Der Autor hat viele Die Stadtbahn ist das einzige öffentliche Verkehrsmittel, Stadtbahnnetze in Frankreich, der Schweiz und Deutsch- das auf Schienen direkt durch den öffentlichen Lebens- land detailliert „erfahren“, von denen viele als gute Bei- raum der Stadt fährt und in seiner modernsten und hier spiele für einen modernen und zeitgemäßen Umgang mit thematisierten Form dabei auch komplett oberirdisch dem Verkehrsmittel gelten können. So wurde – neben verkehrt. Dieser gestalterische Aspekt der starken Präsenz der Arbeit mit vielfältigen Quellen – auch ein unabhängi- im Stadtraum macht das Thema – neben seinen funktio- ger, auf eigenen Erfahrungen beruhender Umgang mit nalen Elementen – zu einem sehr emotionalen, viel und dem Thema ermöglicht.
    [Show full text]
  • 21 New Tramways to Open This Year
    THE INTERNATIONAL LIGHT RAIL MAGAZINE www.lrta.org www.tautonline.com MARCH 2017 NO. 951 21 NEW TRAMWAYS TO OPEN THIS YEAR Pesa: From trams to metro cars – a study in growth Puebla: Mexico’s first tram-train KeolisAmey wins in Manchester Nantes plans line 4 and fleet renewal CRRC in the US Ostrava 03> £4.40 China’s giant breaks Tramway’s role in a into North America post-industrial city 9 771460 832050 Phil Long Phil MANCHESTER VVoices from the industry… “Once again your team have proved your outstanding capabilities. The content was excellent and the 18-19 July 2017 feedback from participants was great.” Simcha Ohrenstein – CTO, Jerusalem LRT The UK Light Rail Conference and exhibition returns to Manchester for 2017, bringing together over 250 decision-makers from around the world for two days of “A great event, really well organised and open debate on all aspects of tramway and urban rail the dinner, reception and exhibition space operations and development. made for great networking time.” Andy Byford – CEO, Toronto Transit Commission With over eight hours of dedicated networking time, delegates can explore the latest industry innovation within the event’s exhibition and technical areas as well as “I really enjoyed the conference and made examining LRT’s role in alleviating congestion in our towns some helpful contacts. Thanks for bringing and cities and its potential for driving economic growth. such a professional event together.” Will Marshall – Siemens Mobility USA Topics and themes for 2017 include: > Rewriting the business case
    [Show full text]
  • Verkehrsentwicklungspl
    VERKEHRSENTWICKLUNGSPLAN SAARBRÜCKEN 2030 BESTANDSANALYSE www.vep.saarbruecken.de Verkehrsentwicklungsplan 2030 Bestandsanalyse Gutachterteam Planersocietät - Stadtplanung, Verkehrsplanung, Kommunikation Dr. Ing. Frehn, Steinberg Partnerschaft, Stadt- und Verkehrsplaner Gutenbergstraße 34 44139 Dortmund Telefon +49 231 589696-0 www.planersocietaet.de Gertz Gutsche Rümenapp Stadtentwicklung und Mobilität - Planung, Beratung, Forschung GbR Ruhrstraße 11 22761 Hamburg Telefon +49 40 8593737-41 www.ggr-planung.de Moderationsteam memo-consulting... Dipl.-Ing. Joachim Fahrwald Am Landbach 7 64342 Seeheim-Jugenheim Telefon +49 625764371 www.memo-consulting.de TOLLERORT entwickeln & beteiligen mone böcker & anette quast gbr Palmaille 96 22767 Hamburg Telefon +49 40 386155-95 www.tollerort-hamburg.de Landeshauptstadt Saarbrücken Stadtplanungsamt Bahnhofstraße 31 66111 Saarbrücken [email protected] www.vep.saarbruecken.de Impressum Herausgeberin Landeshauptstadt Saarbrücken Redaktion Stadtplanungsamt Layout und Satz Stadtplanungsamt und Amt für Stadtmarketing und Öffentlichkeitsarbeit Bildnachweis Landeshauptstadt Saarbrücken, © Fotograf Dirk Michler und Planersocietät Druck Zentrale Dienste - Druckerei Erscheinungsdatum Mai 2015 Planersocietät Stadtplanung Verkehrsplanung Kommunikation Verkehrsentwicklungsplan Saarbrücken 2030 – Bestandsanalyse I Inhaltsverzeichnis Abbildungsverzeichnis.............................................................................................................. V Tabellenverzeichnis ...............................................................................................................
    [Show full text]
  • Costs and Benefits of Underground Railway Constructiont by Gunter Girnau*
    UNDERGROUND SPACE Marienplatz Station in Munich. The city of Munich opened its first subway (U-Bahn) line in 1977 and since that time has expanded the underground - system, investing an average annual rate of DM200 million. Costs and Benefits of Underground Railway Constructiont by Gunter Girnau* ccording_to the results of a rep• massive financial support that has been The immediate benefits of this huge resentative survey, m recent given to promote local public transport investment program in terms of in• A years the image of local public in the past 15 years. Since 1967, when creased ridership and convenience to passenger transport in the Federal Re• federal funds first became available, a the individual passenger can easily be public of Germany has improved con• 30-year program of planning and in• seen. What is not so obvious is that the siderably. This is largely a result of the vestment in public transport has been public interest has been served in a under way nationwide. It is now "half• number of other ways. Reduced noise, tRevised and reprinted with permission from time" in the 30-year program. A de• improved air quality, fewer traffic ac• Advances in Tunnelling Technology and Sub• cidents, and a positive economic effect surface Use (Developpement des Travaux en tailed breakdown of the funds as ac• Souterrain), Volume 2, No.2, 1982. Oxford: tually invested and of the construction on the community can also be counted Pergamon Press. work already done is now available, and among the benefits of this program. "'Professor Dr.-Ing. Gunter Girnau is pres• equally important, the program has Indeed, a cost-benefit analysis of public ident of the International Tunnelling As• advanced to the stage where prelimi• transport that did not include these sociation (ITNAITES) and president of STUVA, nary conclusions can be drawn from benefits would be remiss.
    [Show full text]
  • The Combined KEAPPA - IWIL Workshops Proceedings
    The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at The 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning November 23-27, 2008, Doha, Qatar Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) Existing automated provers and proof assistants are complementary, to the point that their cooperative integration would benefit all efforts in automating reasoning. Indeed, a number of specialized tools incorporating such integration have been built. The issue is, however, wider, as we can envisage cooper- ation among various automated provers as well as among various proof assistants. This workshop brings together practitioners and researchers who have experimented with knowledge exchange among tools supporting automated reasoning. Organizers: Piotr Rudnicki, Geoff Sutcliffe The 7th International Workshop on the Implementation of Logics (IWIL) IWIL has been unusually sucessful in bringing together many talented developers, and thus in sharing information about successful implementation techniques for automated reasoning systems and similar programs. The workshop includes contributions describing implementation techniques for and imple- mentations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Organizers: Boris Konev, Renate Schmidt, Stephan Schulz Copyright c 2008 for the individual papers by the papers’ authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange Josef Urban∗ Charles University in Prague Abstract This paper gives an overview of the existing link between the Mizar project for formalization of mathematics and Automated Reasoning tools (mainly the Automated Theorem Provers (ATPs)).
    [Show full text]
  • The International Light Rail Magazine
    THE INTERNATIONAL LIGHT RAIL MAGAZINE www.lrta.org www.tautonline.com FEBRUARY 2020 NO. 986 2020 VISION Our predictions for the new systems due to open this year Hamilton LRT cancellation ‘a betrayal’ Tram & metro: Doha’s double opening China launches 363km of new routes Berlin tramways Added value £4.60 Bringing Germany’s What is your tram capital back together project really worth? European Light Rail Congress TWO days of interactive debates... EIGHT hours of dedicated networking... ONE place to be Ibercaja Patio de la Infanta Zaragoza, Spain 10-11 June The European Light Rail Congress brings together leading opinion-formers and decision-makers from across Europe for two days of debate around the role of technology in the development of sustainable urban travel. With presentations and exhibitions from some of the industry’s most innovative suppliers and service providers, this congress also includes technical visits and over eight hours of networking sessions. 2020 For 2020, we are delighted to be holding the event in the beautiful city of Zaragoza in partnership with Tranvía Zaragoza, Mobility City and the Fundación Ibercaja. Our local partners at Tranvía Zaragoza have arranged a depot tour as part of day one’s activities at the European Light Rail Congress. At the event, attendees will discover the role and future of light rail within a truly intermodal framework. To submit an abstract or to participate, please contact Geoff Butler on +44 (0)1733 367610 or [email protected] +44 (0)1733 367600 @ [email protected] www.mainspring.co.uk MEDIA PARTNERS EU Light Rail Driving innovation CONTENTS The official journal of the Light Rail 64 Transit Association FEBRUARY 2020 Vol.
    [Show full text]
  • Gemeinsamer Nahverkehrsplan Für Die Stadt Darmstadt Und Den Landkreis Darmstadt-Dieburg 2019 - 2024
    Gemeinsamer Nahverkehrsplan Stadt Darmstadt und Landkreis Darmstadt-Dieburg 2019 - 2024 Gemeinsamer Nahverkehrsplan für die Stadt Darmstadt und den Landkreis Darmstadt-Dieburg 2019 - 2024 Darmstadt, Mai 2019 Gemeinsamer Nahverkehrsplan Stadt Darmstadt und Landkreis Darmstadt-Dieburg 2019 - 2024 DADINA Darmstadt-Dieburger Nahverkehrsorganisation Europaplatz 1, 64293 Darmstadt Bearbeitung durch: plan:mobil Verkehrskonzepte & Mobilitätsplanung Dipl.-Geograph Frank Büsch Ludwig-Erhard-Straße 8, D-34131 Kassel Tel. 0561 / 7 08 41 02, Fax 0561 / 7 08 41 04 [email protected], www.plan-mobil.de Dr.-Ing. Timo Barwisch, Dipl.-Geogr. Frank Büsch, Dipl.-Ing. Anja Witzel M. Sc. In Kooperation mit: Mobilitätslösung Dipl.-Ing. Katalin Saary Robert-Bosch-Straße 7, D- 64293 Darmstadt Tel. 06151 / 950 94 86 [email protected], www.mobilitaetsloesung.de Dipl.-Ing. Katalin Saary, Dipl.-Geogr. Hélène Pretsch 2 Gemeinsamer Nahverkehrsplan Stadt Darmstadt und Landkreis Darmstadt-Dieburg 2019 - 2024 Inhaltsverzeichnis 1 Herausforderungen für den Nahverkehr (Vorgehen) ...................................................................................................... 12 2 Rahmenbedingungen zur Fortschreibung............................................................................................................................ 13 2.1 Gesetzliche Vorgaben .................................................................................................................................................................. 13 2.2 Nationale und internationale
    [Show full text]