CiE

CiE 2016: Pursuit of the Universal

June 27th 2016 - July 1st 2016, Paris, France

Paris

S Barry Cooper, 1943--2015

Barry Cooper, a founding member and former president of the Association Computability in Europe, has died on Monday, 26 October 2015, after a short period of illness.

Born on 9 October 1943, Barry had been a leading figure in the UK logic scene all of his academic life. He was a major figure in computability theory, and in particular degree theory. Over the last two decades, Barry had developed a vision of the breadth and interdisciplinarity of the subject, which made him the motor and spirit of a movement which started even before the 1st Computability in Europe conference 2005 in Amsterdam, and turned into the Association Computability in Europe in 2008. Barry had been PC co-chair of three CiE conferences (CiE 2005 in Amsterdam, CiE 2007 in Siena, and the very successful Turing Centenary CiE 2012 conference in Cambridge), active on most committees of the Association CiE (CiE Board, CiE Conference Series Steering Committee, CiE Publications Committee, CiE Book Series Sub-Committee (chair)), and had been the founding president of the Association CiE from 2012 until summer 2015. Most importantly, Barry had been very influential in shaping our computability thinking in much broader, interdisciplinary terms, which had been key to the success of the movement. His vision will continue to live in us; his stimulating remarks and kindness will be very much missed.

Arnold Beckmann

Chair of CiE Conference Series.

Presentation of the Conference

The conference series CiE-CS ("Computability in Europe") is an interdisciplinary annual conference series promoting the development of computability-related science, ranging over mathematics, computer science, and applications in various natural and engineering sciences such as physics and biology. The conference scope also includes the study of philosophy and history of computing as it relates to questions of computability.

CiE 2016's Motto is: "Pursuit of the Universal". The year 2016 brings the eightieth anniversary of the publication of Alan Turing's seminal paper featuring the Universal Turing Machine. Just as the semantics of the machine gave rise to Incomputability, and pointed to future directions in proof theory, AI, generalised computability, the underlying role of typed information and natural language, and the computability and definability underpinning bioinformatics: so our conference subtitle honours Turing's role in anticipating the quest for universal computational frameworks across a wide spectrum of scientific and humanist disciplines.

Venue

CiE 2016 will take place from June 27th 2016 to July 1st 2016 in Paris, France. It is organized by Université Paris 13 and Université Paris 7, and will be hosted by Université Paris 7 (Université Paris Diderot).

Support

CiE 2016 is supported by the Following institutions: CNRS, Université Paris 13, Université Paris 7 (Université Paris Diderot), LIPN, PPS, LIAFA, Équipe de Logique Mathématique de Jussieu.

Publications

Invited papers of plenary and special session speakers, together with selected contributed accepted papers will be published in our LNCS conference proceedings that will be available at the conference and at Springerlink.

Since 2012, the Association CiE has its own journal, Computability. All authors of papers presented at CiE 2016 are encouraged to submit the journal versions of their papers to this journal where they will be refereed as standard submissions (with no special treatment due to the fact that they were presented at a CiE conference).