Periodic Reporting for period 1 - LogiCS_at_TUWien (Logics for Computer Science Program at TU Wien)

Logics for Computer Science (LogiCS@TUWien) offers an international and globally leading program that is characterised by a unique combination of those disciplines where logical methods have the largest impact on applied computer science. The LogiCS@TUWien doctoral school...