The Coq mailing list

[<Rajeev.Gore AT anu.edu.au>]

Hi all,

Coq-based formal methods are actively being used in the electronic
voting and electronic vote-counting community. I thought this call for
papers might be interesting. Apologies if not :)

best wishes,
raj

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

CALL FOR PAPERS
E-Vote-ID 2018
Third International Joint Conference on Electronic Voting
Bregenz, Austria, 2-5 October 2018
www.e-vote-id.org
(Paper Submission Date: 15 May 2018)

WWW: https://www.e-vote-id.org/
Facebook: https://www.facebook.com/EVoteID/
Twitter: @evotingcc
Hashtag: #EVoteID2018

This conference is one of the leading international events for
e-voting experts from all over the world. In 2016 the two previously
bi-annually held conferences, EVOTE and VoteID, were merged into the
annual E-VOTE-ID conference. The third joint conference will take
place in October 2018.

One of its major objectives is to provide a forum for
interdisciplinary and open discussion of all issues relating to
electronic voting. Cumulatively, since 2004 some 1,000 experts from
all over the world have attended this conference to discuss electronic
voting and related topics.

The aim of the conference is to bring together e-voting specialists
working in academia, politics, government and industry in order to
discuss various aspects of all forms of electronic voting (including,
but not limited to, polling stations, kiosks, ballot scanners and
remote voting by electronic means) in the three following tracks below
and a PhD colloquium:

Track on Security, Usability, and Technical Issues Design, analysis, formal 
modeling or research implementation of:
- Electronic voting protocols and systems;
- Voter identification and authentication;
- Ballot secrecy, receipt-freeness and coercion resistance;
- Election verification including end-to-end verifiability and risk limiting 
audits;
- Requirements;
- Evaluation and certification, including international security standards, 
e.g. Common Criteria or ITSEC;
- Human aspects of security mechanisms in electronic voting and in particular 
of verifiability mechanisms;
- Or any other security and HCI issues relevant to electronic voting.

Track on Administrative, Legal, Political, and Social Issues
- Discuss legal, political and social issues of electronic voting 
implementations, ideally employing case study methodology;
- Analyze the interrelationship with, and the effects of electronic voting on 
democratic institutions and processes;
- Assess the cultural impact of electronic voting on institutions, behaviours 
and attitudes of the Digital Era;
- Discuss the administrative, legal, political and social risks of electronic 
voting;
- Address issues of e-voting policy development and legislative processes;
- Explore aspects of public administration in the implementation of 
electronic voting;
- Examine understandability, transparency, and trust issues in electronic 
voting;
- Address issues related to data protection;
- Explore issues of public interest vs PPP (public-private partnerships).

Track on Election and Practical Experiences

- Review developments in the area of applied electronic voting;
- Report on experiences with electronic voting or the preparation thereof 
(including repots on development and implementation, case law, court 
decisions, legislative steps, public and political debates, election 
outcomes, etc.);

Contributions in this track will be published in TUT press proceedings only. 
These experience and practical reports need not contain original research, 
but must be an accurate, complete and, where applicable, evidence-based 
account of the technology or system used.

Submissions will be judged on quality of review and level of analysis, and 
the applicability of the results to other democracies.

-------------------------------------------------------------------------

PhD Colloquium

The colloquium continues the tradition of PhD workshops on e-voting. Since 
2006 the PhD seminars have focused on various aspects of e-voting including 
technical aspects, legal challenges, identity management, verifiability of 
the vote, etc. The workshops took place in various locations in Austria, 
Catalonia, Denmark, Estonia, Germany, Luxembourg, and Switzerland.

The goal of the colloquium is to foster understanding and collaboration 
between PhD students from various disciplines working on e-voting. To this 
end, the program allows plenty of space for discussion and initiating 
collaboration based on presentations by attendees.

What makes this colloquium special is that it is truly interdisciplinary, 
where PhD students from legal backgrounds are joined by PhD students with 
computer science and cryptography backgrounds and by social scientists. 
Master students in e-voting and related areas are also welcome to participate.

Each interested participant should submit his/her research proposal (or 
alternatively ideas for papers, open problems, or other issues where feedback 
from colleagues would be helpful etc.) of some two pages length using the 
conference platform. In addition to this proposal, participants are asked to 
fill out a questionnaire about their PhD project. This questionnaire will be 
send by email to participants who have submitted their proposal.

-------------------------------------------------------------------------

E-Voting System Demonstration Session

We also invite demonstrations of electronic voting systems, to be presented 
in an open session on Tuesday 2 October during the welcome reception. 
Participation is open to all conference participants, but we request a 
one-page summary by 30 September to 
office AT e-vote-id.org
 describing the system's requirements and properties, such as:
- whether the system is intended for use in controlled (i.e. in polling 
stations) or uncontrolled environments (i.e. remotely via the Internet or in 
kiosks);
- which types of elections it accommodates;
- whether it addresses the needs of voters with disabilities;
- what sort of verifiability it provides;
- the extent to which it guarantees vote privacy;
- whether it has been deployed in a real election;
- where to go for more information.

-------------------------------------------------------------------------

Format of the Conference

The format of the conference is a three-day meeting beginning on Wednesday. 
On Tuesday, one day before the formal conference, we will hold the PhD 
colloquium and a demo session for e-voting system demonstrations. No parallel 
sessions will be held, and sufficient space will be given for informal 
communication.

-------------------------------------------------------------------------

Paper Submission

Paper submissions can be in two formats-either as a full paper or a short 
paper.
- Full paper submissions (max 16 pages in LNCS format all-in);
- Short paper submissions (max 2 pages in LNCS format all-in).

All submissions will be subject to double-blind reviews.
Submissions must be anonymous (with no reference to the authors). Submissions 
are to be made using the EasyChair conference system at 
https://www.easychair.org/conferences/?conf=evoteid2018, which serves as the 
online system for the review process. During submission, please select the 
appropriate track or the PhD colloquium. The track chairs reserve the right 
to re-assign papers to other tracks in case of better fit based on reviewer 
feedback and in coordination with other track chairs. LNCS style has to be 
used (see the Springer guidelines at
http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines,
 including templates for LaTeX and Microsoft Word).

If you think that one or more of the programme committee members could have a 
conflict of interest with your submission, please let the general chairs know 
at 
conference-chairs AT e-vote-id.org.
 In turn, according settings in the EasyChair system will be set, so that the 
respective member/s is/are not involved in the review process.

-------------------------------------------------------------------------

Key Dates for Submissions

Deadline for submission of papers:
(Hawaiian time, hard deadline, no extension) 15 May 2018 23:59
Paper Bidding Deadline: 20 May 2018
Review Deadline: 15 June 2018
Programme Committee Discussion: 22 June 2018
Notification of Acceptance: 25 June 2018
Deadline for PhD Colloquium submissions: 29 June 2018
Deadline for Resubmission of Conditionally Accepted Papers
(shepherding): 13 July 2018
Deadline for Camera-ready Paper Submissions: 27 July 2018
Deadline for One-page Summary for E-Voting System Demonstration
Session: 15 September 2018

------------------------------------------------------------------------

Publication

The conference proceedings will be available at the time of the conference. 
Full papers accepted for the tracks on security, usability, and technical 
issues, respective administrative, legal, political, and social issues will 
be published in Springer LNCS.
All other accepted publications, including full papers in the election 
experience track, accepted short papers in any of the tracks, and from the 
submissions in the PhD colloquium will be published in proceedings with TUT 
press.

In case your academic host institution requires you to publish your research 
as open-access only, please contact the conference chairs for further 
information in which way it is intended to make accepted publications 
accessible.

-------------------------------------------------------------------------

Venue

The conference will be held in the beautiful Renaissance castle of
Hofen at Lochau/Bregenz on the shores of Lake Constance in Austria.
On the evening of 2 October a welcome reception for all conference
participants will be organized in castle Hofen, where also the
conference dinner on 4 October will take place and feature the
traditional "cheese road".

-------------------------------------------------------------------------

Programme Committee

General Chairs

Krimmer, Robert (Tallinn University of Technology, Ragnar Nurkse Department, 
Estonia)
Volkamer, Melanie (Karlsruher Institut für Technologie, Germany)

Track Chairs

Track on Security, Usability, and Technical Issues
Cortier, Véronique (CNRS, France)
Goré, Rajeev (Australian National University, Australia)

Track on Administrative, Legal, Political, and Social Issues
Serdült, Uwe (University of Zurich, Switzerland, and Ritsumeikan University, 
Japan)
Hapsara, Manik (University of New South Wales, Australia)

Track on Election and Practical Experiences
Martin, Steven (OSCE/ODIHR, Poland)
McDermott, Ronan (Independent Election Expert, Switzerland)

PhD Colloquium
Truderung, Tomasz (Polyas, Germany)
Koenig, Reto (University of Applied Sciences Berne, Switzerland)

Outreach Chairs
Rønne, Peter (University of Luxembourg, Luxembourg)
Dueñas-Cid, David (Tallinn University of Technology, Estonia)


Track on Security, Usability, and Technical Issues Programme Committee

Arapinis, Myrto (University of Edinburgh, United Kingdom)
Araújo, Roberto (Universidade Federal do Pará, Brazil)
Benaloh, Josh (Microsoft Research, USA)
Delaune, Stéphanie (CNRS - Institut de Recherche en Informatique et Systèmes 
Aléatoires, France)
Essex, Aleksander (Western University, Canada)
Galindo, David (University of Birmingham, UK)
Gibson, Paul (Telecom SudParis, France)
Gjøsteen, Kristian (NTNU Trondheim, Norway)
Grimm, Rüdiger (University of Koblenz, Germany)
Haenni, Rolf (Bern University of Applied Science, Switzerland)
Haines, Thomas (Polyas, Denmark)
Kiayias, Aggelos (University of Athens, Greece)
Küsters, Ralf (University of Stuttgart, Germany)
Kulyk, Oksana (TU Darmstadt, Germany)
Pereira, Olivier (UC Louvain, Belgium)
Prandini, Marco (DISI, Universitá di Bologna, Italy)
Rønne, Peter (University of Luxembourg, Luxemburg)
Ryan, Mark (University of Birmingham, United Kingdom)
Ryan, Peter Y A (University of Luxembourg, Luxembourg)
Schneider, Steve (University of Surrey, UK)
Schoenmakers, Berry (University Amsterdam, Netherlands)
Schürmann, Carsten (IT University Copenhagen, Denmark)
Teague, Vanessa (University of Melbourne, Australia)
Warinschi, Bogdan (University of Bristol, United Kingdom)
Wen, Roland (UNSW Sydney, Australia)
Zagorski, Filip (University of Wroclaw, Poland)

Track on Administrative, Legal, Political and Social Science Programme 
Committee

Barrat, Jordi (EVOL2 - eVoting Research Lab, Spain)
Braun Binder, Nadja (University of Zurich, Switzerland)
Dueñas-Cid, David (Tallinn University of Technology, Estonia)
Germann, Micha (KU Leuven, Belgium)
Goodman, Nicole (University of Toronto, Canada)
Hall, Thad (University of Utah, USA)
James, Toby (University of East Anglia, United Kingdom)
Kalvet, Tarmo (Tallinn University of Technology, Estonia)
Kersting, Norbert (University of Münster, Germany)
Kim, Shin Dong (Hallym University, South Korea)
Masso, Anu (ETH Zurich, Switzerland)
Mecinas, Juan Manuel (CIDE, Mexico)
Nurmi, Hannu (University of Turku, Finland)
Pammett, Jon (University of Carleton, Canada)
Reniu, Josep Maria (University of Barcelona, Spain)

Track on Election and Practical Experience Programme Committee

Bismark, David (Votato, Sweden)
Bull, Christian (Telenor, Norway)
Caarls, Susanne (Independent Expert, Netherlands)
Catozzi, Gianpiero (EC-UNDP, Belgium)
Driza Maurer, Ardita (Independent Expert, Switzerland)
Franklin, Joshua (NIST, USA)
Malinovich, Dan (EC-UNDP, Belgium)
Petrov, Goran (Independent Expert, Macedonia)
Vinkel, Priit (National Election Commission, Estonia)
Vollan, Kåre (Quality AS, Norway)
Wolf, Peter (International IDEA, Stockholm)
Wenda, Gregor (Federal Ministry of the Interior, Austria)
Yard, Mike (IFES, Libya)

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

-- 
Rajeev Gore'             
Professor, Logic and Computation Group, 
Research School of Computer Science
ANU College of Engineering and Computer Science
The Australian National University
Canberra ACT 2601
Tel:   +61-2-61 25 86 03 
Fax:   +61-2-61 25 86 51  
Email: 
Rajeev.Gore AT anu.edu.au
Web:   http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C