{'fraction_non_alphanumeric': 0.024248813916710597, 'fraction_numerical': 0.006852925672113864, 'mean_word_length': 5.45578231292517, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
6th Conference on Computability in Europe “Programs, Proofs, Processes”

CiE 2010 is the sixth conference of the series Computability in Europe. The theme of CiE 2010, Programs, Proofs, Processes, points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and applications. Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference addressed not only the more established lines of research of computational complexity and the interplay between proofs and computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. The conference was based on invited tutorials and lectures, and six special sessions. There also were many contributed papers and informal presentations. The conference proceedings volume has been published in the Springer LNCS series, Volume 6158, and contains twenty of the invited papers and twenty-eight of the submitted contributed papers. An abstract and handout booklet, locally published by the Center for Applied Mathematics and Information Technology of the University of Azores, contains the abstracts of two tutorials, of six invited plenary speakers, of a tribute to Marian Pour-El, two abstracts and a paper of the special sessions, thirty-six contributed papers as well as twenty-nine abstracts of informal presentations. The Best Student Paper Award was given to Rebecca Steiner (CUNY) for her paper Computable fields and weak truth-table reducibility. There will be a number of post-conference publications, including special issues of Annals of Pure and Applied Logic and Theory of Computing Systems. There were eight invited plenary talks: