Session
Programm Datenspuren 2020
Unterhaltung

minetest4kids

ganztaegig
Workshop 1
nac
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.
Wir, das minetest4kids Team bieten euch auch dieses Jahr wieder zwei Welten zum freien spielen, ausprobieren und kennenlernen an. Eine Survival sowie eine Creative Welt kann frei benutzt werden. „nac“ und „tacker“ werden Vorort wie auch digital erreichbar sein und euch stets mit Rat und Tat zur Seite stehen. Die jeweiligen Welten sind unter folgenden Adressen erreichbar. Minetest Survival Welt | conni.dynu.net | Port: 31000 Minetest Creative Welt | conni.dynu.net | Port: 32000 Zur Kommunikation wollen wir gern den Mumble Service des Datenkollektivs nutzen. Mumble Web Client: https://talk.datenkollektiv.net/mumble/?address=talk.datenkollektiv.net/talk/&port=443/ Regeln: 1) mach nichts kaputt! 2) frag lieber einmal mehr nach 3) nimm keine Dinge aus fremden Häusern / Truhen 4) sei hilfsbereit und nett Wir werden euch bei Fehlern über unseren Mastodon Account auf dem laufenden halten. https://bildung.social/@minetest4kids/

Additional information

Type workshop
Language German

More sessions

9/18/20
Unterhaltung
Vortrag
Wir testen alles einmal durch und haben Spaß.
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
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