2011 - Strange Loop

https://thestrangeloop.com/2011/sessions.html

The Future of F#: Type Providers Joe Pamer Microsoft The Kotlin Programming Language Andrey Breslav JetBrains The Mapping Dilemma David Nolen The New York Times The Once And Futur
Strange Loop is a conference for software developers covering programming langs, databases, distributed systems, security, machine learning, creativity, and more!

Electt: Running Auditable and Verifiable Elections in Untrusted Environments - Kirill's journal

https://kirill.korins.ky/articles/electt-running-auditable-and-verifiable-elections-in-untrusted-environments/

of mandatory identity providers for voters list of parameters for identity providers number of candidates in the quorum number of observers in the quorum number of representatives
We present a system for running auditable and verifiable elections in untrusted environments. Votes are anonymous since the order of candidates on a ballot sheet is random. Tellers

That's everything I could find.
Help make me smarter by submitting a page.