On July 4, 2012, the 5th SFB 901 seminar in the summer semester will take place.
Talks will be held from subprojects C3 and B4.
16:00-16:45 (C3)
Title: Network Reduction as a Part of an Optimization Process:
A Framework for Optimization in the Area of Water Distribution Systems
Speaker: Florian Stapel
17:00-17:45 (B4)
Title: Transforming programs to simplify proofs
Speaker: Alexander Schremmer