CiE 2 016 is the twelfth conference organized by CiE\n (Computability in Europe), a European associat ion of\n mathematicians, logicians, computer scientists, philosophers,\n physicists and ot hers interested in new developments in\n comp utability and their underlying significance for th e real\n world.\n
\n\n CiE 2016's Motto is: "Pursuit of the Unive rsal". The\n year 2016 brings the eigh tieth anniversary of the publication\n of A lan Turing's seminal paper featuring the Universal Turing\n Machine. Just as the semantics of the machine gave rise to\n Incomputability , and pointed to future directions in proof\n theory, AI, generalised computability, the unde rlying role of\n typed information and natu ral language, and the computability\n and d efinability underpinning bioinformatics: so our\n conference subtitle honours Turing's role i n anticipating the\n quest for universal co mputational frameworks across a wide\n spec trum of scientific and humanist disciplines.\n
\n \n \nFor more informatio n, see\n http://lipn.univ-pari s13.fr/CIE2016/\n
\n\n The Programme Committee cordial ly invites all researchers\n (European and non-European) to submit their papers in all\n areas related to computability for presentation at the\n conference and inclusion in the p roceedings. Papers that build\n bridges bet ween different parts of the research community are \n particularly welcome. Submission deadli ne: 15 December 2015.\n
\n\n In addition to the\n formal presentatio ns based on our LNCS proceedings volume, we invite \n researchers to present informal presenta tions. For this, please send us a\n brief d escription of your talk (between one paragraph and two pages) by\n the deadline April 23, 201 6, via EasyChair, selecting the\n category "Informal Presentation".\n
\n