Computing Branching Distances Using Quantitative Games

We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining these distances to other, path-building games which are amenable to methods from the theory of quantitative games. We then show for all common types of branching distances how the resulting path-building games can be solved. In the end, we achieve a method which can be used to compute all branching distances in the linear-time--branching-time spectrum

Data Practices: Making Up a European People

What is “Europe” and who are “Europeans”? Data Practices approaches this contemporary political and theoretical question by treating it as a practical problem of counting. Only through the myriad data practices that make up methods such as censuses can EU member states know their national populations, and this in turn is utilized by the EU to understand the population of Europe. But this volume approaches data practices not simply as reflecting populations but as performative in two senses: they simultaneously enact—that is, “make up"—a European population and, by so doing—intentionally or otherwise—also contribute to making up a European people. The book develops a conception of data practices to analyze and interpret findings from collaborative ethnographic multisite fieldwork conducted by an interdisciplinary team of social science researchers as part of a five-year project, Peopling Europe: How Data Make a People. The book focuses on data practices that involve establishing and assigning people to categories and how this matters in enacting Europe as a population and people. Five core chapters explore key categories of people—usual residents, refugees, homeless people, migrants, and ethnic minorities—and how they come into being through specific data practices such as defining, estimating, recalibrating and inferring. Two additional chapters address two key subject positions that data practices produce and require: the data subject and the statistician subject

Sixth International Joint Conference on Electronic Voting E-Vote-ID 2021. 5-8 October 2021

This volume contains papers presented at E-Vote-ID 2021, the Sixth International Joint Conference on Electronic Voting, held during October 5-8, 2021. Due to the extraordinary situation provoked by Covid-19 Pandemic, the conference is held online for second consecutive edition, instead of in the traditional venue in Bregenz, Austria. E-Vote-ID Conference resulted from the merging of EVOTE and Vote-ID and counting up to 17 years since the _rst E-Vote conference in Austria. Since that conference in 2004, over 1000 experts have attended the venue, including scholars, practitioners, authorities, electoral managers, vendors, and PhD Students. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and usability through to practical experiences and applications of voting systems, also including legal, social or political aspects, amongst others; turning out to be an important global referent in relation to this issue. Also, this year, the conference consisted of: · Security, Usability and Technical Issues Track · Administrative, Legal, Political and Social Issues Track · Election and Practical Experiences Track · PhD Colloquium, Poster and Demo Session on the day before the conference E-VOTE-ID 2021 received 49 submissions, being, each of them, reviewed by 3 to 5 program committee members, using a double blind review process. As a result, 27 papers were accepted for its presentation in the conference. The selected papers cover a wide range of topics connected with electronic voting, including experiences and revisions of the real uses of E-voting systems and corresponding processes in elections. We would also like to thank the German Informatics Society (Gesellschaft für Informatik) with its ECOM working group and KASTEL for their partnership over many years. Further we would like to thank the Swiss Federal Chancellery and the Regional Government of Vorarlberg for their kind support. EVote- ID 2021 conference is kindly supported through European Union's Horizon 2020 projects ECEPS (grant agreement 857622) and mGov4EU (grant agreement 959072). Special thanks go to the members of the international program committee for their hard work in reviewing, discussing, and shepherding papers. They ensured the high quality of these proceedings with their knowledge and experience