Call for Participation

CALL FOR PARTICIPATION:

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

IMPORTANT DATES:

Early registration deadline: 20 May 2015

REGISTRATION PROCESS:

Details on the registration Details on accommodation possibilities
  (please note the individual deadlines for each variant)

CiE 2015 is the eleventh 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) and Budapest (2014).

Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, meeting this year for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

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 invite everyone who is interested in the topi'cs and program of CiE 2015 to register for the conference. Details on the program of the conference are given below. The details regarding the registration procedure are given here.

PROGRAMME:

The papers accepted for CiE 2015 can be seen here.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag, and there will be a best student paper award presented to the best paper written solely by students, sponsored by Springer.

TUTORIAL SPEAKERS

John Reif (Duke Unversity)
Steve Simpson (Pennsylvania State University)

CONFIRMED PLENARY SPEAKERS

Ann Copestake (University of Cambridge)
Mircea Dumitru (University of Bucharest, Public Lecture)
Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
Julia Knight (University of Notre Dame)
Anca Muscholl (Université Bordeaux)
Gheorghe Paun (Romanian Academy)
Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
Vlatko Vedral (University of Oxford)

SPECIAL SESSIONS on

Representing streams (Organizers: Joerg Endrullis and Dimitri Hendriks)
Automata, logic and infinite games (Organizers: Dietmar Berwanger and Ioana Leustean)
Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone)
Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp)
Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)
History and philosophy of computing (Organizers: Christine Proust and Marco Benini)

The speakers of the special sessions are listed here.

INFORMAL PRESENTATIONS

While computer science conferences usually host formal presentations based on papers published in a proceedings volume, mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. So, continuing the tradition of past CiE conferences, CiE 2015 hosts a series of informal presentations, in addition to the presentations based on the papers in the LNCS proceedings volume. These will be soon published on the CiE 2015 website.

STILL AVAILABLE FUNDING OPPORTUNITIES:

CiE 2015 has received funding from the European Association for Theoretical Computer Science (EATCS) 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. Applications for EATCS travel grants have to be sent to cie2015@fmi.unibuc.ro prior to the early registration deadline, May 20, 2015.

The CONFERENCE POSTER can be downloaded from here.

_____________________________________________________________

CiE 2015 http://fmi.unibuc.ro/CiE2015/ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE

About

CiE 2015: Evolving Computability
Bucharest, Romania: 29 June to 3 July 2015

Organizers: Radu Gramatovici (Bucharest), Liviu Marin (Bucharest)
Programme Committee Chairs: Victor Mitrana (Bucharest), Mariya Soskova (Sofia)
Tutorial Speakers: John Reif (Duke Unversity), Steve Simpson (Pennsylvania State University)
Invited Speakers: Ann Copestake (University of Cambridge), Mircea Dumitru (University of Bucharest), Pawel Gawrychowski (University of Warsaw), Julia Knight (University of Notre Dame), Anca Muscholl (Université Bordeaux), Gheorghe Paun (Romanian Academy), Alexander Razborov (University of Chicago and Steklov Mathematical Institute), Vlatko Vedral (University of Oxford)

Conference Series

Computability in Europe

The conference series Computability in Europe started with CiE 2005. Since 2008 it is the conference series of the Association Computability in Europe.
The series is coordinated by the CiE Conference Series Steering Committee:

Arnold Beckmann (Swansea, chair, 2005-2017)
Laurent Bienvenu (Paris, 2012-2016)
Alessandra Carbone (Paris, 2014-2018)
Barry Cooper (Leeds, president of the Association CiE)
Natasha Jonoska (Tampa FL, 2011-2015)
Benedikt Löwe (Amsterdam, 2005-2017)
Florin Manea (Kiel, 2013-2017)
Dag Normann (Oslo, treasurer of the Association CiE)
Mariya Soskova (Sofia, 2012-2016)
Susan Stepney (York, 2013-2017)

Contact

CiE 2015 is organised by the Faculty of Mathemics and Computer Science of the University of Bucharest.

University of Bucharest Faculty of Mathematics and Computer Science

Phone: +40213142863
Fax: +40213156990
Address: 14 Academiei St., RO-010014, Bucuresti, Romania
E-mail: cie2015@fmi.unibuc.ro

Sponsors

For the list of sponsors, visit this page.