LogicAl Links
Contents
Zugrunde liegendes FWF-Projekt
Doktoratskolleg Logical Methods in Computer Science (LogiCS)
Nationales Forschungsnetzwerk Rigorous Systems Engineering (RiSE)
Vienna Center for Logic and Algorithms
Vienna Summer of Logic
Photo Gallery (Broschüre im Rahmen der Nachbearbeitung)
Informatik-Veranstaltungen
Austrian Computer Science Day: 2012 2013 2014
European Computer Science Summit
Wiener Ball der Wissenschaften
Internationale Organisationen
ACM Special Interest Group on Logic and Computation
Association for Computer Science Logic
P vs NP Problem
http://en.wikipedia.org/wiki/P_versus_NP_problem
http://erikdemaine.org/papers/Tetris_IJCGA/
http://www.ics.uci.edu/~eppstein/cgt/hard.html
http://www.technologyreview.com/view/427197/super-mario-bros-proved-np-hard/
