Programme Overview

(see the detailed programme in pdf format)


  Monday - 29 Tuesday - 30 Wednesday - 1 Thursday - 2 Friday - 3
9:00   Invited talk
Anca Muscholl
Tutorial
Steve Simpson
   
9:15
9:30 Contributed
talks
9:45
10:00 Coffee 1/2 break Coffee 1/2 break Tutorial
John Reif
10:15 Tutorial
Steve Simpson
Invited talk
Julia Knight
10:30
10:45
11:00 Coffee break
11:15 Coffee 1/2 break Coffee 1/2 break
11:30 Invited talk
Gheorghe Paun
Tutorial
John Reif
Invited talk
Ann Copestake
Coffee break
11:45
12:00 Registration
&
coffee
Special
sessions

Representing streams
Classical Computability Theory
Bio-inspired Computation

12:15
12:30 Lunch Lunch Lunch
12:45
13:00
13:15
13:30 Lunch
13:45
14:00 Opening Contributed
talks
Special
sessions

History and philosophy of computing
Representing streams
Classical Computability Theory

Contributed
talks
14:15
14:30 Invited talk
Alexander Razborov
14:45
15:00 Tutorial
John Reif
15:15
15:30 Coffee 1/2 break Excursion
15:45 Tutorial
Steve Simpson
16:00 Coffee break Coffee break Coffee 1/2 break
16:15 Invited talk
Pawel Gawrychowski
16:30 Special
sessions

Automata, logic and infinite games
History and philosophy of computing
Reverse mathematics

Special
sessions

Automata, logic and infinite games
Reverse mathematics
Bio-inspired Computation

16:45 Coffee 1/2 break
17:00 Public lecture
Mircea Dumitru
17:15 Closing
17:30
17:45
18:00 Break Women in
Computability
Workshop
CiE Annual
General
Meeting
18:15
18:30 Welcome
cocktail
18:45
19:00 City tour City tour
19:15
19:30 Conference
dinner
19:45
20:00
20:15
20:30
20:45
21:00
21:15
21:30
21:45
22:00

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.