Institut für Informatik Technische Universität MünchenHochschule und Universität, TUM, Logdatei..., Isabelle/HOL, Schwärtzel-Dissertationspreis, SPPEXA, Exascale, Algorithmen, Festrednerin, Plenarvortrag, ERC Adresse / Anfahrt c/o Technische Universität München Boltzmannstraße 3 85748 Garching b. MünchenDE Kontakt 15x Telefonnummer 5x Fax 12x E-Mail 23x Webadresse/Domain 25 Ansprechpartner/Personen Prof. Dr. Susanne AlbersProf. Dr.SusanneAlbers (Vorsitzende)Prof. Dr.-Ing. Georg CarleProf. Dr.-Ing.GeorgCarle (Inhaltlich verantwortlich)23 weitere Ansprechpartner Statistik mind. 25 Mitarbeiter Formell UstID+Steuernummer Marketing Adwords-Schaltung (08.07.2016) 1x Sonstige Domains Neu: Daten zu 3,6 Mio. deutschen Firmen exportieren + professionell nutzen