These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.

Activities

Conferences

Managing the publishing process of LNCS volumes

  • Software-Intensive Systems and New Computing Paradigms: Challenges and Visions (Editor)
  • Proc. Fundamental Approaches to Software Engineering (FASE) 2009
  • Proc. Symposium on Trustworthy Global Computing (TGC) 2010

Participation in projects

  • InOpSys: Interoperability of Calculi for System Modelling (DFG-Forschergruppe)
  • GLOWA: Global Change and the Hydrological Cycle (Bundesministerium für Bildung und Forschung)
  • European Coordination Action InterLink "International Cooperation Activities in Future And Emerging ICTs"
  • SENSORIA: Software Engineering for Service-Oriented Overlay Computers (European Integrated Project)

Other

  • Supervised 9 diploma theses and many FoPras (≈bachelor’s thesis)