idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
idw - Informationsdienst
Wissenschaft
26. Sommerschule Marktoberdorf
93 Junginformatiker aus aller Welt kommen vom 2.-13. August 2006 zur 27. Sommerschule Marktoberdorf und diskutieren mit renommierten Informatik-Professoren über Sicherheit bei der Entwicklung von Softwaresystemen. Die Fakultät für Informatik der Technischen Universität München veranstaltet seit 1970 diesen Kongress mit finanzieller Unterstützung der NATO (Security Through Science Programme) und des DAADs.
Manfred Broy von der TU München und gleich drei Träger des Turing Awards - der "Nobelpreis für Informatiker" - werden bei der diesjährigen Sommerschule Marktoberdorf anwesend sein: C. A. R. Hoare, Amir Pnueli und Butler W. Lampson. Die Professoren und Jungwissenschaftler tauschen sich über Verfahren aus, sichere Software mit formalen Methoden zu entwickeln und die Funktionstüchtigkeit zu beweisen.
Die Sommerschule Marktoberdorf wird am 2. August 2006 von Bürgermeister Werner Himmer und dem stellvertretendem Landrat Reinhold Sontheimer um 9.00 Uhr in der Aula des Gymnasiums in Marktoberdorf (87616 Marktoberdorf, Am Mühlsteig 23) eröffnet.
Kontakt
Ursula Eschbach
Technische Universität München
Institut für Informatik
Boltzmannstraße 3
85748 Garching
eschbach@in.tum.de
Während der Sommerschule vom 2.8.06 bis 13.8.06 in Marktoberdorf: Tel. 08342/966412
Vor bzw. nach der Sommerschule: Tel. 089/289-17828
Merkmale dieser Pressemitteilung:
Informationstechnik
überregional
Buntes aus der Wissenschaft, Wissenschaftliche Tagungen
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
