Begin: Wed, 04. of Jul 2012 ( 4:00 PM)
Location: Fürstenallee 11, Room F0.530
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
