Institut für Informatik Technische Universität MünchenTUM, 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 23 Ansprechpartner/Personen Prof. Dr. Susanne AlbersProf. Dr.SusanneAlbers (Vorsitzende)Prof. Dr.-Ing. Georg CarleProf. Dr.-Ing.GeorgCarle (Inhaltlich verantwortlich)21 weitere Ansprechpartner Statistik mind. 23 Mitarbeiter Formell UstID+Steuernummer Marketing Adwords-Schaltung (08.07.2016) 1x Sonstige Domains Neu: Daten zu 3,6 Mio. deutschen Firmen exportieren + professionell nutzen