Logic List Mailing Archive

CiE 2017: Computability in Europe (Unveiling Dynamics and Complexity)

12-16 Jun 2017
Turku, Finland

CALL FOR PAPERS:
================

CiE 2017: Unveiling Dynamics and Complexity
Turku, Finland
June 12-16, 2017
http://math.utu.fi/cie2017


IMPORTANT DATES:
================

Deadline for article submission: January 5, 2017
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 world.

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).


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)


ORGANIZED BY:
=============

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

email: cie2017@utu.fi


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


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

Andrew Arana (Urbana-Champaign, US)
Arnold Beckmann (Swansea, UK)
Olivier Bournez (Palaiseau, FR)
Vasco Brattka (Munich, DE)
Cristian S. Calude (Auckland, NZ)
Ann Copestake (Cambridge, UK)
Liesbeth De Mol (Lille, FR)
Helena Durnová (Brno, CZ)
Ekaterina Fokina (Vienna, AT)
Tero Harju (Turku, FI})
Emmanuel Jeandel (Nancy, FR)
Emil Je?ábek (Prague, CZ)
Nata?ha Jonoska (Tampa, US)
Jarkko Kari (Turku, FI, co-chair)
Viv Kendon (Durham, UK)
Takayuki Kihara (Berkley, US)
Florin Manea (Kiel, DE)
Klaus Meer (Cottbus, DE)
Russell Miller (New York City, US)
Bernard Moret (Lausanne, CH)
Rolf Niedermeier (Berlin, DE)
Dag Normann (Oslo, NO)
Dirk Nowotka (Kiel, DE)
Isabel Oitavem (Lisbon, PT)
Ion Petre (Turku, FI, co-chair)
Kai Salomaa (Kingston, CA)
Reed Solomon (Storrs, US)
Mariya Soskova (Sofia, BG)
Susan Stepney (York, UK)
Peter Van Emde Boas (Amsterdam, NL)
Philip Welch (Bristol, UK)
Damien Woods (Pasadena, US)


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 
https://www.easychair.org/conferences/?conf=cie2017.

Papers must be submitted in PDF format, using the LNCS style (available at 
ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) 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 welcome.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

Association CiE:
http://computability.org.uk
CiE Conference Series:
http://illc.uva.nl/CiE
CiE 2017 on Facebook:
https://www.facebook.com/CIE.Conference2017
CiE 2017 on Twitter:
https://twitter.com/2017Cie
CiE 2017 on Instagram:
https://instagram.com/cie.2017
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam