Formal Foundations for Networking (Dagstuhl Seminar 15071) Holistic Scene Understanding (Dagstuhl Seminar 15081) Limitations of Convex Programming: Lower Bounds on Extended Formulations and Factorization Ranks (Dagstuhl Seminar 15082) Smart Buildings and Smart Grids (Dagstuhl Seminar 15091)

Sebastian Erdweg, Martin Erwig, Richard Paige, Eelco Visser, Nikolaj Bjørner, Nate Foster, Philip Godfrey, Pamela Zave, Yvonne Coady, James Kempf, Rick Mcgeer, Stefan Schmid (+12 others)
unpublished
fatcat:sytmo76kmrb2jdk7za7ce7pwvm