Begin: Wed, 16. of Jan 2013 ( 4:00 PM)
Location: Fürstenallee 11, Room F0.530
Talks will be held from subprojects B4 and C3.
16:00-16:45 (B4)
Title: Virtualized FPGAs enable Proof-Carrying Hardware
Speaker: Tobias Wiersema
17:00-17:45 (C3)
Title: Optimierungsprobleme für Trinkwasserversorgungsnetze: Modelle, Verfahren und Software
Speaker: Florian Stapel
