
Chaos Computer Club - archive feed
21,276 episodes — Page 183 of 426
18 Jahre Freifunk als Genossenschaft im Thüringer Land (rc3-2021)
Eine Region auf dem Land digitalisiert sich. In Sundhausen und Umgebung wird schon seit 2003 die Internetversorgung selbst organisiert. Dieser Talk stellt die Genossenschaft vor und zeigt, wie die digitale Vernetzung das Gemeinschaftsleben fördert. Und natürlich werden auch aktuelle technische Entwicklungen zu sehen sein. about this event: https://pretalx.c3voc.de/rc3-2021-gehacktes-from-hell/talk/BMG7WR/
Closer Encounters – Werkstatt – 3 (rc3-2021)
Update aus der Tonwerkstatt: siehe [Closer Encounters – Finale](https://pretalx.c3voc.de/rc3-2021-chaosstudiohamburg/talk/ZHYBUP/) Auch wenn eins als Chorsänger*in im Moment Staatsfeind*in Nr. 1 ist, trauen wir uns wieder an die Noten. Diesmal haben wir eine geheimnisvolle musikalische Botschaft auf dem Boden der Fairy Dust entdeckt. Die Entschlüsselung läuft noch – an Tag 3 16:00 machen wir eine Chorprobe und nehmen das Ergebnis auf; daraus produziert Thies Mynther einen Community Track, den wir hier vorstellen werden. Die Live Sessions werden über Jamulus stattfinden, wir werden auch auch einen Uploadlink zur Verfügung stellen für alle, die zu den Sessions nicht können, zu scheu sind oder die Plattform irgendwie zu heikel finden. Stay tuned, #CCChoir! Der CCCHOIR und das ORCCCHESTRA sind frei flottierende kollektive Entitäten, die sich vor und während der Congresse treffen und sammeln, um gemeinsam neue Musik und Tracks zu entwickeln und zu singen. about this event: https://pretalx.c3voc.de/rc3-2021-chaosstudiohamburg/talk/Y3L3BY/
Transparenz durch offene Verwaltungsdaten gestalten (rc3-2021)
Wenn es um das Thema offene Verwaltungsdaten geht, wird von Vertreter:innen stattlicher Institutionen häufig Transparenz versprochen. **Wie kann dieses Versprechen eingelöst werden und Transparenz durch offene Verwaltungsdaten nachhaltig gestaltet und umgesetzt werden?** Wenn es um das Thema offene Verwaltungsdaten geht, wird im gleichen Zug häufig der Begriff Transparenz genannt. Transparenz wird von Bürger:innen gefordert und von Vertreter:innen stattlicher Institutionen versprochen. Doch kann dieses Versprechen eingelöst werden? Wie können wir Transparenz durch offene Verwaltungsdaten nachhaltig schaffen und umsetzen? Die Antwort liegt nicht in oberflächlichen und konventionelle Lösungen – stattdessen brauchen wir eine tiefe Auseinandersetzung mit den Systemen der Verwaltung und Politik. Der Vortrag zeigt erläutert die aktuelle Problematik anhand von Beispielen auf theoretischer Ebene und zeigt Lösungsansätze für die Umsetzung von Transparenz durch offene Verwaltungsdaten auf. 00:00 Intro 00:15 Herald 01:02 Hallo & Willkommen 01:34 Transparenz 05:52 Beispiel Wuppertal 07:42 Beispiel Kleine Anfragen 10:12 Open Data Gesamtprozeß 13:10 Was ist Dunkle Materie? 18:12 Lösungsansatz 24:13 Q&A Sesion 39:47 Outro about this event: https://pretalx.c3voc.de/rc3-2021-r3s/talk/YQHRQ9/
Hacking WorkAdventure for fun and profit (rc3-2021)
This year again, the rc3 world is running on WorkAdventure. In this session, I'll show you advanced features you can use to turn your WorkAdventure into something... unexpected :) WorkAdventure maps can be hosted anywhere, and -not many people know this- they can be scripted. By taking advantage of those 2 features, we will see how far we can go to turn proximity based chat (WorkAdventure) into various games. about this event: https://pretalx.c3voc.de/rc3-2021-haecksen/talk/9LGLCH/
Hacking WorkAdventure for fun and profit (rc3-2021)
Überwachung und Seuche 2.0 (rc3-2021)
Überwachung und Seuche 2.0 (rc3-2021)
Um die Pandemie zu bekämpfen, wurden alle möglichen Tools entwickelt, um festzustellen, wer geimpft ist, wer getestet und wann, wer sich wann wie lange wo aufgehalten hat, wen getroffen hat usw. Alles Dinge, die wir aus Gründen immer Kritisch gesehen haben. Die Kritiker unter uns müssen aufpassen, dass sie nicht binnen drei Klicks im Schwurbel landen. Und wie immer haben die Sachkundigen ein Vermittlungsproblem. Der Talk soll die Fortsetzung der Version von den letzten Datenspuren sein, wo es um den Umgang mit verschiedenen Meinungen zu diesem Komplex in unseren Hackspaces ging. Nun geht es an die systematische Inventur der Dilemmata und die Identifikation der Kernfragen und Entscheidungen, vor denen wir stehen. Um die Pandemie zu bekämpfen, wurden alle möglichen Tools entwickelt, um festzustellen, wer geimpft ist, wer getestet und wann, wer sich wann wie lange wo aufgehalten hat, wen getroffen hat usw. Alles Dinge, die wir aus Gründen immer Kritisch gesehen haben. Die Kritiker unter uns müssen aufpassen, dass sie nicht binnen drei Klicks im Schwurbel landen. Und wie immer haben die Sachkundigen ein Vermittlungsproblem. Der Talk soll die Fortsetzung der Version von den letzten Datenspuren sein, wo es um den Umgang mit verschiedenen Meinungen zu diesem Komplex in unseren Hackspaces ging. Nun geht es an die systematische Inventur der Dilemmata und die Identifikation der Kernfragen und Entscheidungen, vor denen wir stehen. about this event: https://pretalx.c3voc.de/rc3-2021-cbase/talk/WLTY7V/
State of the accessibility (rc3-2021)
State of the accessibility (rc3-2021)
Wie steht es eigentlich gerade um die Barrierefreiheit im Cyberspace und was könnt ihr tun, um das Web excellenter für alle zu machen? Dieser Talk wird eine grobe Übersicht darüber geben, wie es gerade um die Barrierefreiheit im Web steht. Der Talk wird sich verschiedene Webseiten ansehen und auf Barrieren aufmerksam machen. Dabei wird es sowohl Alltagstipps für normale Endnutzer_innen als auch tiefgreifendere Hintergründe und Tools für Designer und Developer geben. 00:00 Intro 00:16 Herald 00:41 Herzlich Willkommen 01:05 Themen 04:39 Löffeltheorie 16:45 Was tun als Endnutzer_in? 24:42 Was tun als Developer_in? 31:20 Q&A Session 41:00 Outro about this event: https://pretalx.c3voc.de/rc3-2021-r3s/talk/YP7NMD/
Burning Man - Events machen (rc3-2021)
State of EventFahrplan 2021 (rc3-2021)
Workshop zum Thema „Every Day for Future“ (rc3-2021)
Burning Man - Events machen (rc3-2021)
Warum und wie man Veranstaltungen mit anderen Menschen macht, bei denen es um Kunst, Erlebnisse und Kontakt mit Menschen geht, und wie Burning Man dafür ein Vorbild ist. Burning Man als mehrtägiger Kunstevent in einer Staubwüste in Nevada, USA hat eine Kultur der gemeinsamen Erfahrung und des Machens geprägt. Die dahinter stehende Non-Profit-Organisation Burning Man Project hat ein Regional Network aufgebaut und die 10 (Kern-) Prinzipien der Burner-Kultur beschrieben. Damit lassen sich (und werden) auf der ganzen Welt kleinere und größere DIY-Events kreieren, die eine ähnliche Vielfalt an Zusammenkunft, Teilen der eigenen Ideen und gemeinsamen Erleben ermöglichen, nicht unähnlich dem Chaos Communication Camp (aber weniger technikfokussiert). Der Vortrag beleuchtet die Möglichkeiten und Herausforderungen solcher Veranstaltungen, bei denen es keine Zuschauer, sondern nur Mitwirkende gibt (und davon ein großer Teil das Ganze mit aufbaut). about this event: https://pretalx.c3voc.de/rc3-2021-chaoszone/talk/RR7Z7J/
State of EventFahrplan 2021 (rc3-2021)
Let's have retrospective of what happened in the EventFahrplan project in the last months and what is planned. [EventFahrplan](https://github.com/EventFahrplan/EventFahrplan) is the project behind a couple of apps for Android which you might already have used at Remote Chaos Experience (rC3), Chaos Communication Congress (3xC3), Chaos Communication Camp, DiVOC, MRMCD, FrOSCon, GPN, Datenspuren, FIfFKon, FOSDEM, FOSSGIS, FOSS4G, DebConf, LibreOffice Conference, PyConZA and other events. In this talk you will get to know both the details of the programming work as well as all the other topics which require time and engagement to run this project such as translation, design, documentation, advertisement, outreach, communication with users. Currently, the project is run by one person with occasional - but very welcome - contributions in the form of code reviews, translations, pull requests or just time to discuss ideas. There is essential no financial backing for the project - all work is done in personal spare time. A few people are giving money via [GitHub Sponsors](https://github.com/sponsors/johnjohndoe) - thank you! After this talk and Q&A you will have solid understanding how you can contribute to the project, shape its future or finance its development. about this event: https://pretalx.c3voc.de/rc3-2021-cbase/talk/QCPAGW/
Workshop zum Thema „Every Day for Future“ (rc3-2021)
Dieser Workshop dient als Vertiefung zum vorherigen Vortrag. Es wird eine kurze Übersicht am Anfang geben um dann direkt in den Austausch zu gehen. Fragen, Anmerkungen, Ideen sollen in diesem Rahmen Raum haben. Dabei richtet sich dieser workshop nicht nur an die Menschen, die sich schon auf dem Weg befinden und den Austausch mit anderen suchen. Selbstverständlich sind auch Menschen ohne jegliche Vorkenntnisse herzlich willkommen. Es sollen Erfahrungen, Kritik, Ideen o.ä. in und aus der Praxis mit der teilnehmenden Gruppe besprochen werden. Bringt Euch also gerne mit ein. Es geht um den Prozeß einer Verhaltensänderung und der Austausch ist dafür gedacht, neue Impulse zu erhalten. Praxisbeispiele und Anwendungen stehen dabei im Vordergrund. Als Topics sind die Schlagworte "Vermeiden, Reduzieren, Wiederverwerten, Reparieren, Recyclen, Kompostieren" absteigend in dieser Reihenfolge als Leitfaden gedacht. about this event: https://pretalx.c3voc.de/rc3-2021-cbase/talk/UKZDXD/
Math for hackers (rc3-2021)
Math and hacking - two separate worlds at odds or secret lovers? Lovers, of course! How so, you might ask - math is boring and useless! (And hacking is great fun, of course.) We'll try to change your mind! Be honest: When you're hacking, aren't you really building a world inside a system that operates according to fixed, pedantic, boring rules? (And when the system does not operate according to those rules, do you not get annoyed?) That's secretly a form of applied mathematics! Now, math has been around for hundreds of years and has helped humanity build worlds of the mind, some of them to help understand reality around us. This is just like software, and thus math can help use build better worlds inside the computer. Forget the boring math you learned in school: Enter the world of monoids and abstract nonsense! Understand how you can use it to build better worlds and more useful software, and to enjoy hacking even more! about this event: https://pretalx.c3voc.de/rc3-2021-cwtv/talk/7VTNK8/
Astronomie mit Gravitationswellen (rc3-2021)
Vor sechs Jahren begann ein neues Zeitalter der Astronomie. Seitdem beobachtet die Menschheit das Universum auf eine vollkommen neue Art und Weise. Gravitationswellen lassen uns die dunkle, unsichtbare Seite des Universums gewissermaßen hören. Mit einem weltweiten Netzwerk kilometergroßer Detektoren belauscht eine internationale Forschungsgemeinschaft Verschmelzungen Schwarzer Löcher und Neutronensterne – bereits 90 solcher kosmischen Kollisionen in den Tiefen des Alls wurden beobachtet. Was wir daraus über die exotischen Himmelsobjekte lernen können, wie die Beobachtungen funktionieren und was uns demnächst noch erwarten könnte, verrät dieser Vortrag. about this event: https://pretalx.c3voc.de/rc3-2021-chaosstudiohamburg/talk/CX7M3G/
Kaffeefahrt ins Darknet (rc3-2021)
Wolltest Du schon immer mal wissen, wie es auf der „anderen Seite“ des Internets aussieht. Mal einen Blick in das als „digitale Unterwelt“ verschriene Darknet erhaschen, um das sich so viele Mythen ranken? Dann begleite uns, Isa und Catrin, auf einen Ausflug in den Teil des Netzes, vor dem Dich Deine Eltern immer gewarnt haben – theoretisches Grundlagenwissen gibt's gratis dazu. Wir gehen den Reiseführer "Darknet" mit euch durch, erklären wo es liegt, wie man genau dahin kommt, was für Gestalten wir dort treffen, wie das Routing funktioniert und wie alles so anonym sein kann. Aber auch einige Mythen werden wir entmystifizieren. Sobald den Pflichtteil alle absolviert und sich angeschnallt haben, starten wir die wilde Fahrt durch das Darknet. Catrin klickt sich durch und Isa koordiniert die Zuschauerwünsche und Wegpunkte. Bisher konnten wir immer alle Mitreisenden wieder gut zu Hause abliefern und es wurden keine Heizdecken verkauft. about this event: https://pretalx.c3voc.de/rc3-2021-haecksen/talk/Q7TE9Z/
Math for hackers (rc3-2021)
Astronomie mit Gravitationswellen (rc3-2021)
Kaffeefahrt ins Darknet (rc3-2021)
Wie werde ich weiter meine Welt verbessern? Weitere niederschwellige Handlungsanweisungen und Praxisbeispiele (rc3-2021)
KOALitionsvertragsAnalyse (rc3-2021)
KOALitionsvertragsAnalyse (rc3-2021)
Der aktuelle Ampel-Koalitionsvertrag (KV) im Bund umfasst ~52k Wörter in 3392 Sätzen und 947 Absätzen. Strukturiert in 9 Kapitel, 22 Abschnitte und 200 Themen. Ausgeliefert aktuell auf 177 DIN A4-Seiten. Mit unterschiedlichen Textanalysen wird der Vertrag selber nach unterschiedlichen Sichtweisen untersucht. 00:00 Intro 00:16 Heraldin Magic Unicorn 00:50 Einleitung 03:54 KV als Sourcecode 11:44 KV als Spezifikation 16:04 KV als Objektmodell 24:45 KV als Literatur 29:28 One Last Thing ... 33:53 Q&A Session 38:02 Outro about this event: https://pretalx.c3voc.de/rc3-2021-r3s/talk/PSEWJU/
Wie werde ich weiter meine Welt verbessern? Weitere niederschwellige Handlungsanweisungen und Praxisbeispiele (rc3-2021)
Was kann ich tun, um (noch) umweltbewusster und klimaneutraler zu leben? Anknüpfend an die Vorträge der letzten Jahre, hat sich im Verhalten und im Nachdenken der Menschen zum Thema Umweltbewusstsein und Nachhaltigkeit schon einiges verändert. Um so wichtiger ist es weitere Ideen und Möglichkeiten aufzuzeigen, die gut und möglichst einfach umzusetzen sind. Dabei gilt es aus fast alle Lebensbereichen Praxisbeispiele zu zeigen. Unser Konsumverhalten ist dabei ein entscheidender Punkt: Ernährung, Reisen, Körperpflege etc. können ressourcenschonender gelebt werden. Das lässt sich allerdings (immer noch) nicht ohne einen teilweisen Verzicht auf unsere bisherige Bequemlichkeit umsetzen. Deshalb ist die Reflexion unserer bisherigen Gewohnheiten und der Wille zur Veränderung der entscheidende Faktor. Hier möchte ich mit weiteren niederschwelligen Beispielen aus der Praxis Möglichkeiten des nachhaltigen und umweltbewussten Lebens aufzeigen. Im Anschluss an den Vortrag findet eine Workshop zum Thema statt, um einen regen Austausch zu ermöglichen about this event: https://pretalx.c3voc.de/rc3-2021-cbase/talk/AVRCYR/
Transits von Exoplaneten vermessen - eine Anregung zum Selbermachen mit Webcam oder DSLR an kleinen Objektiven (rc3-2021)
Dank immer ausgeklügelter Methoden haben Astronomen inzwischen mehrere tausend Planeten um ferne Sonnen entdeckt. Doch der Nachweis von solcher Exoplaneten ist nicht nur etwas für die Profis. Selbst als Hobbyastronom kann man mit recht einfachen Mitteln das Vorbeiziehen eines Exoplaneten vor seinem Heimatstern - eine Minisonnenfinsternis - nachweisen. Wie das geht, obwohl sich das Licht des Sterns dabei nur um wenige Prozent abschwächt, ist Thema dieses Vortrags. about this event: https://pretalx.c3voc.de/rc3-2021-chaosstudiohamburg/talk/FBPG8H/
Transits von Exoplaneten vermessen - eine Anregung zum Selbermachen mit Webcam oder DSLR an kleinen Objektiven (rc3-2021)
Mit, gegen oder jenseits von Politik? (rc3-2021)
Mit, gegen oder jenseits von Politik? (rc3-2021)
Im Anarchismus besteht eine grundlegende Skepsis gegenüber Politik, wenn diese nicht direkt abgelehnt wird. Gleichzeitig beziehen sich Anarchist*innen auf sie und partizipieren gelegentlich an radikaler Politik. Überhaupt wird die eigene Praxis oftmals als "politisch" verstanden, aber jene von Staat, Parlamenten, und Parteien abgelehnt. Was widersprüchlich erscheint, entpuppt sich bei näherer Betrachtung als viel interessanter: nämlich als paradox. Es zeigt sich, dass Individuen, das Soziale, die Gesellschaft, die Ökonomie und die Gemeinschaft als anti-politische Gegenpole zur Politik aufbebaut werden. Ähnliches kann von Kunst, Ethik und Utopie gesagt werden, die das verdrängte Andere der Politik darstellen. Doch wie lassen sich politische Herrschaft überwinden und zugleich gesellschaftliche Selbstorganisation aufbauen? Der Referent promoviert zur politischen Theorie des Anarchismus und beschäftigt sich ausgiebig mit dem Thema "Figuren der (Anti-)Politik im Anarchismus". about this event: https://pretalx.c3voc.de/rc3-2021-chaoszone/talk/PAVMVL/
Morning Show – Day 3 (rc3-2021)
Morning Show – Day 3 (rc3-2021)
about this event: https://c3news.show
Day to Night Timelapse Photography: "The Holy Grail" (rc3-2021)
Filme, die im Zeitraffer den Übergang vom Tag bis in die Nacht nahtlos und ohne Sprünge abbilden, nannte man vor Jahren den "Heiligen Gral" der Zeitrafferfotografie, weil man dachte, sie seien unmöglich zu realisieren. Gunther Wegner, ein Entwickler aus Hamburg, forscht seit über 10 Jahren an diesem Thema und hat mit seiner Software LRTimelapse diese Aufgabe gelöst und damit internationale Anerkennung bei Amateuren und Profis im Video- und Astroumfeld erlangt. In seinem Vortrag erklärt Gunther euch, wie ihr heute mit relativ einfachen Mitteln selbst solche faszinierenden Aufnahmen hinbekommt und gibt euch spannende Einblicke in die Hintergründe seiner Entwicklungen. English: Films that depict the transition from day to night in time-lapse seamlessly and without jumps were called the "Holy Grail" of time-lapse photography years ago, because they were thought to be impossible to realize. Gunther Wegner, a developer from Hamburg, has been researching this topic for more than 10 years and has solved this task with his software LRTimelapse, gaining international recognition among amateurs and professionals in the Video and Astronomy environment. In his lecture, Gunther will explain how you can create such fascinating images yourself with relatively simple means and will give you exciting insights into the background of his developments. about this event: https://pretalx.c3voc.de/rc3-2021-chaosstudiohamburg/talk/DJ7NKX/
Day to Night Timelapse Photography: "The Holy Grail" (rc3-2021)
Digitale Souveränität nur mit Freier Software! (rc3-2021)
Digitale Souveränität nur mit Freier Software! (rc3-2021)
Dargelegt wird, dass und warum "digitale Souveränität" nur mit Freier Software erreicht werden kann. "Digitale Souveränität" ist in Politik und Verwaltung "in aller Munde". Zunächst erfolgt eine Bestimmung, was "digitale Souveränität" sein kann, Dabei wird herausgestellt, dass dieser Begriff durchaus Kollaboration und Altruismus nicht ausschließt. Er wird von Autarkie und Egoismus abgegrenzt. Kurz wird dann beschrieben, was "Freie Software" ist, um Im Hauptteil zu erläutern, dass und warum der Einsatz "Freier Software" eine notwendige Bedingung zur Erlangung "digitaler Souveränität" ist. 00:00 Intro 00:16 Heraldin 00:36 Vorstellung 02:16 Übersicht 02:60 Was ist Digitale Souveränität? 13:59 Was ist Freie Software? 32:43 Ausblick 40:30 Q&A Session 47:04 Outro about this event: https://pretalx.c3voc.de/rc3-2021-r3s/talk/AMTZNL/
c3News Show 3 – Day 2 (rc3-2021)
c3News Show 3 – Day 2 (rc3-2021)
about this event: https://c3news.show
Per Anhalter durch die Galaxis - und Du kannst live dabei sein! (rc3-2021)
Per Anhalter durch die Galaxis - und Du kannst live dabei sein! (rc3-2021)
Dank moderner Technologie können wir Euch in Echtzeit auf eine Reise durch unser Universum mitnehmen. Dabei zeigen wir verschiedene Objekte durch unser Sternwarten Equipment und erläutern ihre Besonderheiten. Freut Euch auf fremde Galaxien, Kugelsternhaufen, interstellare Nebel, Supernovareste und mehr. Alles Live durchs Teleskop betrachtet (klares Wetter vorausgesetzt) about this event: https://pretalx.c3voc.de/rc3-2021-chaosstudiohamburg/talk/XKNEKL/
Gala Be Need Inn - Die Podcast Quiz Show (rc3-2021)
Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes (rc3-2021)
C3 Teleshop (rc3-2021)
Gala Be Need Inn - Die Podcast Quiz Show (rc3-2021)
In der Podcast Quiz Show deren Name ein Anagramm des Originals geht es um die Lösung hinter Fragen wie was ist ein Alarmstuhl, was ist Spritzgeld oder warum haben Züge aus Deutschland nach Frankreich Knallerbsen an Board? about this event: https://pretalx.c3voc.de/rc3-2021-sendezentrum/talk/A38LGM/
C3 Teleshop (rc3-2021)
Call-In Soli-Versteigerung von Kuriositäten Am 28.12 ist es wieder soweit: Schalten Sie ein, tun Sie Gutes! Exklusiv für Sie stellen die fachkundigen Moderator:innen DJ Arnold und Karin erneut eine einzigartige Produktpalette vor und können schon jetzt versprechen: Jedes einzelne Produkt wird Ihr Leben bereichern! Zögern Sie nicht, rufen Sie an unter 0221 596197467 um sich von der herausragenden Qualität der Produkte zu überzeugen. Unabhängige Expert:innen werden diese zudem in der Sendung überprüfen und bestätigen. 50% des Erlöses gehen an Grupa Granica, weitere 25% jeweils an die Betreibenden des Studios, die gemeinnützigen Vereine Gängeviertel e.V. und Motorschiff Stubnitz e.V. Lassen Sie sich diese einzigartige Möglichkeit altruistischen Konsums nicht entgehen! about this event: https://pretalx.c3voc.de/rc3-2021-gehacktes-from-hell/talk/XE87ZS/
Plätzchenbacken mit hexchen (rc3-2021)
Plätzchenbacken mit hexchen (rc3-2021)
hexchen backt Plätzchen. Vermutlich sogar vegan. Nebenher wird über nix geredet. about this event: https://pretalx.c3voc.de/rc3-2021-hacc-a-f/talk/ZEKEQ9/
Tech Dominatrix. Device control as a fetish. (rc3-2021)
A discussion introducing the new world of Tech Dommes who control the devices of their submissives across the internet, spying on them, limiting their access and controlling them via their phones and computers. As society becomes more digital our devices have become so much a part of our lives that they are like a part of our bodies. So much of our daily life revolves around being online and connected. Our workplaces have rules around our devices, and especially their security. This has caused a new range of transgressive fantasies, fetishes and sexual practices to emerge. In this conversation Goddess Anisa, a Berlin-based Tech Domme, will introduce her work and talk about her experiences. about this event: https://pretalx.c3voc.de/rc3-2021-cbase/talk/NNXZZW/
Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes (rc3-2021)
This is a talk about how we can generate single transferable votes counting code from a logical specification automatically using advanced computer aided verification methods. It is based upon a PhD dissertation but I think I made it non-technical. I will first explain single transferable vote counting and the parlous state of computer-counting code implemented by various Election Commissions from around Australia. I will then explain how we used Coq to specify a "vanilla" version of single transferable voting as a proof-calculus and used it to extract a computer program which not only counts votes according to this specification but also produces a certificate during the count. The specification of the certificate is derived from the counting rules. We have proved, in Coq, that if the certificate is correct with respect to its specification, then the result it encapsulates must be correct with respect to the relevant specification of single transferable voting. The certificate is designed so that an average third-year computer science student could write a computer program to check the correctness of the certificate. about this event: https://pretalx.c3voc.de/rc3-2021-fem/talk/VX3YAS/
Reclaim Your Face! The European Citizens Initiative for a ban on biometric mass surveillance (rc3-2021)
An international alliance of organisations is collecting 1 million signatures to make the European Parliament debate a ban of biometric mass surveillance. We show what we acomplished so far and where the campaign is headed in the next year. We call on the European Commission to strictly regulate the use of biometric technologies in order to avoid undue interference with fundamental rights. In particular, we ask the Commission to prohibit, in law and in practice, indiscriminate or arbitrarily-targeted uses of biometrics which can lead to unlawful mass surveillance. These intrusive systems must not be developed, deployed (even on a trial basis) or used by public or private entities insofar as they can lead to unnecessary or disproportionate interference with people’s fundamental rights. Evidence shows that uses of biometric mass surveillance in Member States and by EU agencies have resulted in violations of EU data protection law, and unduly restricted people‘s rights including their privacy, right to free speech, right to protest and not to be discriminated against. The widespread use of biometric surveillance, profiling and prediction is a threat to the rule of law and our most basic freedoms. In this ECI, we therefore urge the Commission to propose a legal act which will build upon, and fully respect, the general prohibitions in the GDPR and the LED to ensure that EU law explicitly and specifically prohibits biometric mass surveillance. about this event: https://pretalx.c3voc.de/rc3-2021-cbase/talk/YAWCVS/