[Proof Complexity] CiE 2017: final CfP EXTENDED DEADLINE

Arnold Beckmann a.beckmann at swansea.ac.uk
Sun Jan 8 21:36:20 CET 2017

FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand)

CiE 2017: Unveiling Dynamics and Complexity

            Turku, Finland

           June 12-16, 2017



*** Important dates ***

Deadline for article submission: January 11, 2017 (abstracts),
      15.01 (full papers)
Notification of acceptance: March 1, 2017
Final versions due: March 13, 2017
Early registration before: May 8, 2017

CiE 2017 is the thirteenth conference organized by CiE 
(Computability in Europe), a European association of 
mathematicians, logicians, computer scientists, philosophers, 
physicists and others interested in new developments in 
computability and their underlying significance for the real 

Previous meetings have taken place in Amsterdam (2005), Swansea 
(2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte 
Dalgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), 
Budapest (2014), Bucharest (2015) and Paris (2016).

Organized by Department of Mathematics and Statistics, University 
of Turku Computer Science, Åbo Akademi University

email: cie2017 at utu.fi

*** Submissions ***

Contributed papers will be selected from submissions received by 
the PROGRAM COMMITTEE consisting of:

Andrew Arana, University of Illinois at Urbana-Champaign
Arnold Beckmann, Swansea University
Olivier Bournez, LIX & Ecole Polytechnique
Vasco Brattka, Universität der Bundeswehr München
Cristian S. Calude, University of Auckland
Ann Copestake, University of Cambridge
Liesbeth De Mol, CNRS – UMR8163 Savoirs, Textes, Langage, Université de Lille 3
Helena Durnova, Masaryk University
Ekaterina Fokina, Vienna University of Technology
Tero Harju, University of Turku
Emmanuel Jeandel, Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Emil Jeřábek, Institute of Mathematics of the Czech Academy of Sciences
Natasha Jonoska, University of South Florida
Jarkko Kari, University of Turku (co-chair)
Viv Kendon, Department of Physics, Durham University
Takayuki Kihara, University of California, Berkeley
Florin Manea, Institut für Informatik, Christian-Albrechts-Universität
Klaus Meer, Brandenburgische Technische Universität Cottbus – Senftenberg
Russell Miller, Queens College and The Graduate Center – CUNY
Bernard Moret, EPFL
Rolf Niedermeier, TU Berlin
Dag Normann, The University of Oslo
Dirk Nowotka, Christian-Albrechts-Universität zu Kiel
Isabel Oitavem, CMAF
Ion Petre, Abo Akademi (co-chair)
Kai Salomaa, Queen’s University
Reed Solomon, University of Connecticut
Mariya Soskova, Sofia University
Susan Stepney, Dept of Computer Science, University of York
Peter Van Emde Boas, ILLC-FNWI-Universiteit van Amsterdam (emeritus)
Philip Welch, University of Bristol
Damien Woods, California Institute of Technology

THE PROGRAMME COMMITTEE cordially invites all researchers 
(European and non-European) to submit their papers in all areas 
related to computability for presentation at the conference and 
inclusion in the proceedings at


Papers must be submitted in PDF format, using the LNCS style 
(available at 
and should have a maximum of 10 pages, including references but 
excluding a possible appendix in which one can include proofs and 
other additional material. Papers that build bridges between 
different parts of the research community are particularly 

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer 

*** Women in Computability program and grants ***

We are happy to announce that the CiE Women in Computability 
program, coordinated by the Special Interest Group Women in 
Computability, offers four grants of up to 250 EUR for junior 
female researchers who want to participate in CiE 2017. 
Applications for this grant should be send to Liesbeth De Mol 
before 1 May 2017 and include a short cv (at most 2 pages) and 
contact information for an academic reference. Preference will be 
given to junior female researchers who are presenting a paper 
(including informal presentations) at CiE 2017.

*** Tutorial speakers ***

Denis R. Hirschfeldt (University of Chicago)
Daniel M. Gusfield (University of California, Davis)

*** Invited speakers ***

Scott Aaronson (University of Texas at Austin)
Karen Lange (Wellesley College)
Ludovic Patey (Université Paris Diderot)
Nicole Schweikardt (Humboldt-Universität zu Berlin)
Alexander Shen (Université Montpellier)
Moshe Vardi (Rice University)

*** Special Sessions ***

Algorithmics for biology
Combinatorics and algorithmics on words
Computability in Analysis, Algebra, and Geometry
Cryptography and information theory
Formal languages and automata theory
History and philosophy of computing
Association CiE:
CiE Conference Series:
CiE 2017 on Facebook:
CiE 2017 on Twitter:
CiE 2017 on Instagram:

More information about the Proof-Complexity mailing list