Type | performance |
---|---|
Language | English |
9/19/20 |
Was ist eine Utopie überhaupt und was sollte sie gerade in einer Krise sein? Sind wir irgendwo falsch abgebogen und suchen Zuflucht in unmöglichen Ideen oder sind Utopien notwendig für unser Vorwärtskommen? Mehr Fragen und noch weniger Antworten in dieser Keynote.
|
9/19/20 |
Wir geben einen Einblick in die Technik hinter den Datenspuren 2020 und zeigen, wie man live mitmachen kann.
|
9/19/20 |
Taucht ein in die Welt der Blöcke und lernt Minetest auf zwei verschiedenen Welten kennen. Baut, erkundet und probiert aus was möglich ist. Gemeinsam in einem sozialen digitalen Raum können wir unseren Utopien Ausdruck verleihen und zeigen was geht.
|
9/19/20 |
Der Kapitalismus, in dem wir leben, hält immer noch daran fest, unser Verlangen zu kontrollieren. Deshalb wird er untergehen, wenn er sich nicht ändert, sagt die amerikanische Ökonomin Shoshana Zuboff.
|
9/19/20 |
Die Verifikation von Software, also das Beweisen von Eigenschaften auf Basis des Programmcodes hat in den vergangenen Jahren signifikante Fortschritte gemacht. Insbesondere die Automatisierung von Beweisen erlaubt mittlerweile eine Softwareverifikation ohne tiefgreifende Wissen in formalen Methoden.
|
9/19/20 |
Einsteiger CTF mit Boot2Root
|
9/19/20 |
Polizeiarbeit kontrollieren – Polizeikontrollen dokumentieren
|