Session
Programm Datenspuren 2020
Unterhaltung

Datenspuren Auftakt Test

und es geht los
Wir testen alles einmal durch und haben Spaß.

We test everything and have fun.

Additional information

Type performance
Language English

More sessions

9/19/20
Gesellschaft
Polaris
Vortrag
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
Technik
Vortrag
Wir geben einen Einblick in die Technik hinter den Datenspuren 2020 und zeigen, wie man live mitmachen kann.
9/19/20
Unterhaltung
nac
Workshop 1
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
Gesellschaft
uek@ukleemann-bw.de
Vortrag
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
Technik
Marius Melzer
Vortrag
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
Technik
kl0bs
Workshop 2
Einsteiger CTF mit Boot2Root
9/19/20
Gesellschaft
kalipso
Vortrag
Polizeiarbeit kontrollieren – Polizeikontrollen dokumentieren