The paper "Designing and analyzing open application-oriented Labs in Software-Verification Education" by Antje Rogalla, Timo Kamph, Ulrike Bulmann, Katrin Billerbeck, Mathias Blumreiter and Sibylle Schupp has been accepted at the Sefi2020.
This year, the Sefi Conference will be held online.
Dear students and visitors,
the office is currently irregularly staffed. Please contact us
by phone (040 42878 3460)
or email (sts-office(at)tuhh.de).
The pool rooms of STS are closed.
The start of the summer semester is postponed. Courses will begin on April 20, 2020.
The end of the lecture period will be postponed accordingly to 28 July 2020.
Accordingly, the examination period will also be postponed. The examinations will not begin until 29 July 2020 and will be held until 9 October 2020.
In practice, this means that the first two examination weeks of July will be added to the end of the examination period.
Sefi 2020
Institute for Software Systems
STS is an Institute of Hamburg University of Technology and the
School of Electrical Engineering and Information Technology.
Under the slogan "Software, Technology and Systems (STS)",
the institute combines fundamental research on descriptions and
dependences of software systems with practical issues and applications
from both engineering and social sciences.
