Karrieresprungbrett, Kontakte und wissenschaftlicher Austausch: "Modelle, Algebra und Logik zur Programmentwicklung"
Jungwissenschaftler aus aller Welt diskutieren von 30. Juli bis 11. August 2002 mit der Weltspitze der Informatik in der Sommerschule Marktoberdorf, die seit 1970 von der Technischen Universität München (TUM) organisiert wird. Die Sommerschule Marktoberdorf will nicht nur Plattform sein für Austausch und Diskussion aktueller Forschungsergebnisse, sondern auch Kontakte fördern zwischen Wissenschaftlern aus der Hochschule und der Industrie.
"Modelle, Algebra und Logik zur Programmentwicklung" lautet das diesjährige Thema. Komplexe Softwaresysteme bestehen aus hunderttausenden Zeilen Programmtext. Anwender erwarten absolute Zuverlässigkeit, gerade wenn es sich um sicherheitskritische Systeme handelt wie etwa Flugzeugnavigation. Bei der Entwicklung der Software nutzen Informatiker mathematische Verfahren aus der Algebra und Logik. Mit Hilfe von mathematischen Modellen überprüfen sie ihre Ergebnisse.
Mehr Informationen über die Sommerschule und die mathematischen Grundlagen zur Spezifikation, Methodik und Verifikation in der Softwareentwicklung erhalten Sie von Prof. Dr. Manfred Broy, Institut für Informatik der TUM und Direktor der Sommerschule Marktoberdorf 2002.
Kontakt:
Ursula Eschbach
Öffentlichkeitsarbeit
Institut für Informatik
Technische Universität
Arcisstraße 21
80290 München
Tel. 089/289 28195
Email: eschbach@in.tum.de
http://www4.in.tum.de/div/summerschool/
Criteria of this press release:
Information technology
transregional, national
Miscellaneous scientific news/publications, Scientific conferences
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).