Universität Paderborn » SFB 901 » Events


Fifth SFB 901 Seminar in SS '12

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