idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Die "Software Technologies: Applications and Foundations" (STAF) Konferenz ist der Zusammenschluss führender internationaler wissenschaftlicher Konferenzen zum Thema Softwaretechnologien. Die STAF-Konferenz findet jährlich an einem europäischen Standort statt. In diesem Jahr organisiert die Philipps-Universität Marburg die Konferenz, die vom 17. bis 21. Juli im Technologie- und Tagungszentrum Marburg stattfindet. Die rund 150 Teilnehmer/innen kommen aus universitären und außeruniversitären Forschungsbereichen sowie aus Unternehmen. Sie befassen sich mit den neuesten Forschungsergebnissen im Bereich Softwaretechnologien.
Software dringt in mehr und mehr Bereiche des täglichen Lebens vor und wird zunehmend komplexer. Der Fokus der Konferenz liegt auf Softwaretechnologien, die es ermöglichen, komplexe Software von hoher Qualität zu entwickeln. Eine Grundlage hierfür ist oftmals das Modellieren von Software, um eine Übersicht über die Softwarearchitektur und die wichtigsten Eigenschaften der Software zu bekommen. Solche Modelle können zur automatischen Generierung von Programmen oder von Programmtests genutzt werden. Mit den Tests lassen sich handgeschriebene Programme auf Korrektheit überprüfen.
Das Konferenzprogramm umfasst Präsentationen von aktuellen Forschungsergebnissen sowie Vorträge von international ausgewiesenen Expert/innen aus Wissenschaft und Industrie. Darüber hinaus gibt es Workshops zu speziellen Themen der Softwareentwicklung, ein Doctoral Symposium für Promotionsstudent/innen der Informatik, ein Project Showcase Event zur Präsentation nationaler und internationaler Projekte sowie zur Anbahnung von Kollaborationen und einen Wettbewerb für Transformationswerkzeuge.
Konferenzleiter sind Prof. Dr. Gabriele Taentzer und Prof. Dr. Christoph Bockisch vom Fachbereich Mathematik und Informatik, Philipps-Universität Marburg.
Die Hauptredner der Konferenz referieren zu den folgenden Themen:
• Prof. Dr. Prof. Dr. Lionel C. Briand (Universität Luxemburg) beschäftigt sich mit der
Entwicklung qualitativ hochwertiger eingebetteter Software (Cyber-Physical
Systems) und ihrem Einsatz in der Automobilindustrie.
• Prof. Dr. Ramon Schiffelers (Universität Eindhoven) erforscht neue Techniken für die
Entwicklung von sehr großen Softwaresystemen und wendet sie in der
Halbleiterindustrie an.
• Prof. Dr. Rainer Hähnle (TU Darmstadt) beschäftigt sich mit der Validierung von
Softwaresystemen, speziell Softwareproduktlinien, Cloud-Software und hochgradig
adaptiver Software.
• Prof. Dr. Georg Gottlob (Universität Oxford) betrachtet Hypergraph-
Dekompositionen, um auf intelligente und automatische Art und Weise Datenobjekte
aus dem Web zu extrahieren.
• Dennis Klassen der itemis AG hält einen speziellen Industrievortrag über die
Zertifizierung von Software in Bezug auf Sicherheitsaspekte.
Abendveranstaltungen:
• Montag, 17. Juli: Empfang im Marburger Rathaus, Begrüßung durch die Dekanin
des Fachbereichs Mathematik und Informatik, Prof. Dr. Ilka Agricola, und den
Oberbürgermeister der Universitätsstadt Marburg, Dr. Thomas Spies
• Dienstag, 18. Juli: Konferenz-Dinner im Landgrafenschloss
Die Firmen Springer, itemis und inosoft sind Platin-Sponsoren der Konferenz.
Kontakt:
Prof. Dr. Gabriele Taentzer, Fachbereich Mathematik und Informatik der Philipps-Universität Marburg, Arbeitsgruppe Softwaretechnik
Tel. 06421/28-21532, E-Mail: taentzer@mathematik.uni-marburg.de
Information on participating / attending:
Date:
07/21/2017 - 07/21/2017
Event venue:
Technologie- und Tagungszentrum Marburg
35037 Marburg
Hessen
Germany
Target group:
Scientists and scholars, Students
Email address:
Relevance:
transregional, national
Subject areas:
Information technology, Mathematics, Physics / astronomy
Types of events:
Conference / symposium / (annual) conference, Press conferences
Entry:
06/30/2017
Sender/author:
Andrea Ruppel
Department:
Pressestelle
Event is free:
yes
Language of the text:
German
URL of this event: http://idw-online.de/en/event57887
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).
