idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Informatiker bilden sich zu Grundlagen und Methoden von Ersetzungssystemen weiter
Die renommierte „International School in Rewriting“ (ISR) findet in diesem Jahr an der Hochschule für Technik, Wirtschaft und Kultur Leipzig (HTWK Leipzig) statt. Es ist bereits die achte Auflage dieser Weiterbildungstagung, die sich an Master-Studierende und Doktoranden richtet.
International bekannte Wissenschaftler stellen vom 10. bis 14. August in Workshops an der Fakultät Informatik, Mathematik und Naturwissenschaften (IMN) Grundlagen, Methoden und Anwendungen des Rewriting vor. In diesem Bereich der Informatik werden Gleichungssysteme und Umformungsregeln für Datenstrukturen wie Bäume, Listen und Graphen untersucht. Damit werden sowohl die Spezifikation als auch die Implementierung von Algorithmen und informationstechnischen Systemen beschrieben. Als Teil der theoretischen Informatik liefert Rewriting beispielsweise Werkzeuge zur Entwicklung korrekter und effizienter Software. „Eine wichtige Anwendung ist die Analyse von Programmen“, erläutert Prof. Johannes Waldmann. Dem diesjährigen ISR-Gastgeber zufolge sei nämlich „das Prinzip leider weit verbreitet, Software möglichst schnell herzustellen und in Betrieb zu nehmen“. Eiligst auf den Markt geworfene Programme seien zuweilen „sogar gefährlich falsch und richten Schaden an“. Damit der Anwender nicht das Nachsehen hat, wirbt der HTWK-Wissenschaftler dafür, bereits während der Entwicklung der Software zu beweisen, dass diese alle Benutzereingaben richtig und schnell verarbeiten wird – und nicht nur wenige Testfälle.
Zur „International School in Rewriting 2015“ werden an der HTWK Leipzig 35 Gäste erwartet. Ein Kurs thematisiert beispielsweise die Sicherheit von Verschlüsselungsverfahren. Neben dem Schulungsprogramm können Teilnehmer eigene Forschungen in einer Poster-Ausstellung präsentieren.
„Wir freuen uns auf dieses akademische Ereignis mit internationaler Ausstrahlung“, sagt Prof. Klaus Hering, Dekan der Fakultät IMN, und dankt neben seinem Fakultätskollegen Waldmann auch Prof. Alfons Geser (Fakultät Elektrotechnik und Informationstechnik). Beiden sei es gelungen, die ISR 2015 nach Leipzig zu holen. Johannes Waldmann trat bei der Veranstaltung im Vorjahr als Dozent für „Termination und Komplexität“ auf. Er ist zudem Mitglied des ISR-Steering-Committees.
Die Weiterbildungstagung wird unterstützt vom Akademischen Auslandsamt der HTWK Leipzig. Die Sommerschulen zum Rewriting (ISR) werden inhaltlich von der Arbeitsgruppe 1.6 Term Rewriting der International Federation for Information Processing gefördert. Sie finden seit 2006 etwa jährlich statt, zuletzt in Utrecht (Niederlande), Valencia (Spanien) und Valparaiso (Chile).
http://www.imn.htwk-leipzig.de/ISR2015 - Informationen zum diesjährigen ISR-Programm und Details zur Anmeldung
Criteria of this press release:
Business and commerce, Journalists, Scientists and scholars
Information technology
transregional, national
Advanced scientific education, 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).
