Type | workshop |
---|---|
Language | German |
9/18/20 |
Wir testen alles einmal durch und haben Spaß.
|
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 |
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
|