CiE 2015 in Bucharest - Call for Papers

COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29 - July 3
Web-site: http://fmi.unibuc.ro/CiE2015/

IMPORTANT DATES:
Extended Submission Deadline: 21 January 2015
Notification of authors: 9 March 2015
Deadline for final revisions: 6 April 2015

CiE 2015 is the 11-th 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 in the CiE conference series have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014).

For CiE 2015, we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory.

We particularly invite papers that build bridges between different parts of the research community.

For topics covered by the conference, please visit http://fmi.unibuc.ro/CiE2015/topics.html

FUNDING OPPORTUNITIES:
CiE 2015 has received funding from ASL (Association for Symbolic Logic) and EATCS (European Association for Theoretical Computer Science) that allows students who are members of ASL or EATCS and want to attend CiE 2015 to apply for travel funds or a reduction of the early registration fee. Preference will be given to presenters of accepted papers. Applications for ASL travel grants have to be addressed directly to ASL, with a strict deadline of March 28, 2015. Applications for EATCS travel grants have to be sent to cie2015[at]fmi[dot]unibuc[dot]ro prior to the early registration deadline.

CiE 2015 will host invited talks from the following:
TUTORIAL SPEAKERS: John Reif (Duke Unversity), Steve Simpson (Pennsylvania State University).
PLENARY SPEAKERS: Ann Copestake (University of Cambridge), Mircea Dumitru (University of Bucharest, Public Lecture), Pawel Gawrychowski (Warsaw University), Julia Knight (University of Notre Dame), Anca Muscholl (Universite Bordeaux), Gheorghe Paun (Romanian Academy), Alexander Razborov (University of Chicago and Steklov Mathematical Institute), Vlatko Vedral (University of Oxford).

CiE 2015 will also host SPECIAL SESSIONS on Representing streams, Automata, logic and infinite games, Reverse mathematics, Classical computability theory, Bio-inspired computation, History and philosophy of computing.
The speakers of the special sessions are listed at http://fmi.unibuc.ro/CiE2015/sessions.html

The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2015.

The submission site https://www.easychair.org/conferences/?conf=cie2015 is open. For more submission instructions consult http://fmi.unibuc.ro/CiE2015/submission.html

The conference proceedings will be published by LNCS, Springer Verlag.