Prof. Lars Mikelsons will give a talk in the elite program’s special lecture series. The talk will take place in room 1055N in Augsburg and start at 16:30 on 18 July 2019. The title of the talk is “Einblicke in die Systemsimulation in der Automotive Softwareentwicklung”.
Abstract
Die Systemsimulation ist aus der Entwicklung von Softwarefunktionen für Fahrzeuge nicht mehr wegzudenken. Aktuelle Herausforderungen definieren die Rolle der Systemsimulation neu, insbesondere die Treiber “Automatisierung” und “Vernetzung”. Der Vortrag soll Einblicke in die Simulation von Fahrzeugen, in die Anwendungen der Simulation im Entwicklungsprozess sowie in aktuelle und zukünftige Herausforderungen geben.
Prof. Gidon Ernst will give a talk in the elite program’s special lecture series. The talk will take place in room 1055N in Augsburg and start at 16:30 on 4 July 2019. The title of the talk is ‘SecCSL: Security Concurrent Separation Logic’.
Abstract
We present SecCSL, a concurrent separation logic for proving expressive, data-dependent information flow security properties of low-level programs. SecCSL is considerably more expressive, while being simpler, than recent compositional information flow logics that cannot reason about pointers, arrays etc. To capture security concerns, SecCSL adopts a relational semantics for its assertions. At the same time it inherits the structure of traditional concurrent separation logics; thus SecCSL reasoning can be automated via symbolic execution. We demonstrate this by implementing SecC, an automatic verifier for a subset of the C programming language, which we apply to a range of benchmarks.
Fabian Matthiessen from Capgemini will give a talk in the elite program’s special lecture series. The talk will take place in room 1055N in Augsburg and start at 16:30 on 27 June 2019. The title of the talk is ‘Services, fachliche Schnittstellen und Domain Driven Design’.
Abstract
Schnittstellen bestehen immer dann, wenn Geschäftsprozesse nicht von einem System alleine abgebildet werden können oder sollen. Doch wie kommt man von den Anforderungen zu konkreten Schnittstellen? Welche Klärungen sind nötig? Wie kann eine Schnittstelle fachlich flexibel und konsistent gestaltet werden? Und wie kann mit Änderungen an Schnittstellen sinnvoll umgegangen werden?
Dr. Ralf Engelschall from msg systems will give a talk in the elite program’s special lecture series. The talk will take place in room 1055N in Augsburg and start at 16:30 on 2 May 2019. The title of the talk is ‘Current IT-Trends – Be inspired or get crazy’.
Abstract
Did you know…
- …there are over 100 current IT-trends which are directly relevant for the core business of a Software Engineering company?
- …each IT-trend can be very inspiring as it usually provides new business and/or technology possibilties.
- …each IT-trend on the other hand can drive you crazy once you think about its implications and side-effects.
Intentions of this guest lecture
- Find out about a dozen major IT-trends.
- Understand the positive and inspiring aspects of each IT-trend.
- Understand the negative aspects of each IT-trend.
- Recognize that IT-trends are key, but don’t get lost and crazy by all the hypes.
Tabea Schmidt, Jens Woehrle, and Lukas Vogel, students of the Elite Program Software Engineering, received a best-paper nomination for their paper “Pen + Mid-Air Gestures: Eliciting Contextual Gestures” at the 20th ACM International Conference on Multimodal Interaction in Boulder, Colorado. More information is available in the press release.
Gerhard Prilmeier from Capgemini will give a talk in the elite program’s special lecture series. The talk will take place in room 1055N in Augsburg and start at 16:30. The title of the talk is “Agile Transformation trifft Steuerung großer Projekte”.
