LogicAl Links

Zugrunde liegendes FWF-Projekt

Doktoratskolleg Logical Methods in Computer Science (LogiCS)

Nationales Forschungsnetzwerk Rigorous Systems Engineering (RiSE)

Hauptseite

Presseberichte

Vienna Center for Logic and Algorithms

Hauptseite

Presseberichte

Jahresberichte

Turing Machine Award

Vienna Summer of Logic

Hauptseite

Presseberichte

Public Events

LogicLounge

Photo Gallery (Broschüre im Rahmen der Nachbearbeitung)

VSL General Brochure

Informatik-Veranstaltungen

Austrian Computer Science Day: 2012 2013 2014

European Computer Science Summit

Wiener Ball der Wissenschaften

Vienna Gödel Lectures

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/