<html>
<head>
<meta http-equiv="content-type" content="text/html;
charset=windows-1252">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Dear all,<br>
<br>
as some of you know, the Association for Computability in Europe
organizes since more than 10 years now the annual interdisciplinary
CiE conference. The public consists mostly of computer scientists,
logicians and mathematicians but from the very first conference
onward, the organizers have tried to build bridges with historians
and philosophers of computing. Amongst others they organize special
sessions on the history and/or philosophy of computing every year.<br>
<br>
With the discussion that was started after "Knuth's tears" (see e.g.
Tom's <a
href="http://cacm.acm.org/magazines/2015/1/181633-the-tears-of-donald-knuth/fulltext">recent
piece</a> in the CACM) in the background of my mind, I think that
this conference offers a great opportunity for those of you who also
want to present their work to and discuss it with non-historians.
The extended deadline is January 21 and you can find the (final) cfp
below,<br>
<br>
my very best wishes,<br>
Liesbeth. <br>
<br>
<br>
<br>
----------------------------------------------------------------------------<br>
CiE 2015: 3rd CfP - EXTENDED DEADLINE and BEST STUDENT PAPER AWARD<br>
----------------------------------------------------------------------------<br>
<br>
FINAL CALL FOR PAPERS (incl. deadline extension due to popular
demand)<br>
<br>
3rd CALL FOR PAPERS:<br>
COMPUTABILITY IN EUROPE 2015: Evolving Computability<br>
Bucharest, Romania<br>
June 29 - July 3<br>
<a href="http://fmi.unibuc.ro/CiE2015/" target="_blank">http://fmi.unibuc.ro/CiE2015/</a><br>
<br>
IMPORTANT DATES:<br>
<br>
EXTENDED Submission Deadline for LNCS: 21 January 2015<br>
Notification of authors: 9 March 2015<br>
Deadline for final revisions: 6 April 2015<br>
<br>
<br>
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 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)<br>
<br>
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, this coming year meeting for the first time in
Bucharest, carries forward the search for coherence, depth and new
thinking across this rich and vital field of research.<br>
<br>
In all cases 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.<br>
<br>
We particularly invite papers that build bridges between different
parts of the research community.<br>
<br>
For topics covered by the conference, please visit<br>
<a href="http://fmi.unibuc.ro/CiE2015/topics.html" target="_blank">http://fmi.unibuc.ro/CiE2015/topics.html</a><br>
<br>
AWARDS:<br>
<br>
The best student paper award is presented to the author(s) of the
best paper, as selected by the PC, written solely by student
author(s). This award is sponsored by Springer.<br>
<br>
FUNDING OPPORTUNITIES:<br>
<br>
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.<br>
<br>
Preference will be given to presenters of accepted papers.<br>
<br>
Applications for ASL travel grants have to be addressed directly to
ASL, with a strict deadline of March 28, 2015.<br>
<br>
Applications for EATCS travel grants have to be sent to <a
href="mailto:cie2015@fmi.unibuc.ro" target="_blank">cie2015@fmi.unibuc.ro</a>
prior to the early registration deadline.<br>
<br>
<br>
TUTORIAL SPEAKERS<br>
<br>
* John Reif (Duke Unversity)<br>
<br>
* Steve Simpson (Pennsylvania State University)<br>
<br>
<br>
PLENARY SPEAKERS<br>
<br>
* Ann Copestake (University of Cambridge)<br>
<br>
* Mircea Dumitru (University of Bucharest, Public Lecture)<br>
<br>
* Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)<br>
<br>
* Julia Knight (University of Notre Dame)<br>
<br>
* Anca Muscholl (Universite Bordeaux)<br>
<br>
* Gheorghe Paun (Romanian Academy)<br>
<br>
* Alexander Razborov (University of Chicago and Steklov Mathematical
Institute)<br>
<br>
* Vlatko Vedral (University of Oxford)<br>
<br>
<br>
SPECIAL SESSIONS on<br>
<br>
* Representing streams (Organizers: Joerg Endrullis and Dimtri
Hendriks)<br>
<br>
* Automata, logic and infinite games (Organizers: Dietmar Berwanger
and Ioana Leustean)<br>
<br>
* Reverse mathematics (Organizers: Damir Dzhafarov and Alberto
Marcone)<br>
<br>
* Classical computability theory (Organizers: Marat Arslanov and
Steffen Lempp)<br>
<br>
* Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)<br>
<br>
* History and philosophy of computing (Organizers: Christine Proust
and Marco Benini)<br>
<br>
The speakers of the special sessions may be find at <a
href="http://fmi.unibuc.ro/CiE2015/sessions.html" target="_blank">http://fmi.unibuc.ro/CiE2015/sessions.html</a><br>
<br>
<br>
The PROGRAMME COMMITTEE consists of:<br>
<br>
* Marat Arslanov (Kazan) * Jeremy Avigad (Pittsburgh)<br>
* Veronica Becher (Buenos Aires) * Arnold Beckmann (Swansea)<br>
* Laurent Bienvenu (Paris) * Alessandra Carbone (Paris)<br>
* Gabriel Ciobanu (Iasi) * S Barry Cooper (Leeds)<br>
* Laura Crosilla (Leeds) * Liesbeth De Mol (Ghent)<br>
* Walter Dean (Warwick) * Volker Diekert (Stuttgart)<br>
* Damir Dzhafarov (Storrs, Connecticut) * Peter van Emde Boas
(Amsterdam) * Rachel Epstein (Harvard) * Johanna Franklin
(Hempstead, NY) * Neil Ghani (Glasgow) * Joel David Hamkins (New
York) * Rosalie Iemhoff (Utrecht) * Emmanuel Jeandel (LORIA) *
Natasha Jonoska (Tampa, FL) * Antonina Kolokolova (St.John's, NL)<br>
* Antonin Kucera (Prague) * Oliver Kutz (Magdeburg)<br>
* Benedikt Loewe (Hamburg & Amsterdam) * Jack Lutz (Ames, IA) *
Florin Manea (Kiel) * Alberto Marcone (Udine) * Radu Mardare
(Aalborg) * Joe Miller (Madison, WI)<br>
* Russell Miller (Flushing, NY) * Mia Minnes (La Jolla, CA)<br>
* Victor Mitrana (Bucharest, co-chair) * Ian Pratt-Hartmann
(Manchester) * Dag Normann (Oslo)<br>
* Mehrnoosh Sadrzadeh (London) * Anne Smith (St Andrews)<br>
* Mariya Soskova (Sofia, co-chair) * Susan Stepney (York) * Paul
Spirakis (Patras & Liverpool)<br>
* Jacobo Toran (Ulm) * Marius Zimand (Towson, MD)<br>
<br>
<br>
The PROGRAMME COMMITTEE cordially invites all researchers (European
and non-European) in computability related areas to submit their
papers (in PDF format, maximum 10 pages using the LNCS style) for
presentation at CiE 2015.<br>
<br>
The submission site<br>
<a href="https://www.easychair.org/conferences/?conf=cie2015"
target="_blank">https://www.easychair.org/conferences/?conf=cie2015</a><br>
is open.<br>
<br>
For submission instructions consult<br>
<a href="http://fmi.unibuc.ro/CiE2015/submission.html"
target="_blank">http://fmi.unibuc.ro/CiE2015/submission.html</a><br>
<br>
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
Verlag.<br>
<br>
The CONFERENCE POSTER can be downloaded from <a
href="http://fmi.unibuc.ro/CiE2015/images/CiE_Poster.jpg"
target="_blank">http://fmi.unibuc.ro/CiE2015/images/CiE_Poster.jpg</a><br>
<br>
</body>
</html>