Turing100: Volume InformationTuring100. The Alan Turing Centenary32 articles•429 pages•Published: June 22, 2012 PapersClaudio Angione, Giovanni Carapezza, Jole Costanza, Pietro Lio and Giuseppe Nicosia 115  Joscha Bach and Mario Verdicchio 1619  Israel Belfer 2033  Fouad Chedid 3441  Edgar G. Daylight 4252  Martin Escardo and Paulo Oliva 5365  Michael Stephen Fiske 6691  Jeroen Fokker 9297  Rusins Freivalds 98112  Anthony J. Genot, Teruo Fujii and Yannick Rondelez 113117  Laszlo Gyongyosi and Sandor Imre 118131  Laszlo Gyongyosi and Sandor Imre 132139  Jose HernandezOrallo, Javier Insa, David Dowe and Bill Hibbard 140156  TsanSheng Hsu, ChurnJung Liau and DaWei Wang 157167  Cornelis Huizing, Ruurd Kuiper and Tom Verhoeff 168180  Hadi Katebi, Karem A. Sakallah and Igor L. Markov 181195  Jozef Kelemen 196203  Daniel Leivant 204213  Jerome Leroux 214228  Shaoying Liu 229238  Rao Mikkilineni, Albert Comparini and Giovanni Morana 239251  Cristian Prisacariu 252267  Frederic Prost 268277  Yun Shang, Xian Lu and Ruqian Lu 278288  Qiang Shen, Ren Diao and Pan Su 289306  Mikhail Soutchanski and Wael Yehia 307325  Sorin Stratulat 326352  Omri Tal 353369  Tony Veale 370385  Irina Virbitskaite, Natalya Gribovskaya and Eike Best 386404  Peter Wegner, Eugene Eberbach and Mark Burgin 405414  Graham White 415429 
Keyphrases"during" modality, active element, alternating Turing machines, ambiguity, Artificial Intelligence, Autonomic Computing, backward induction, bar recursion, behavioral equivalences, Biological CAD, blackhole thermodynamics, Boolean function, category theory, chess problem, ChurchTuirng Hypothesis, classical logic, Classification, cliché, Coalgebraic Bisimulation, completeness, computability^{2}, computation, Computationalism, computer chess, computer science history, concurrency models, Cryptography, data privacy, Data Reliability, Davis, Description Logic, digital ontology, Digital physics, DIME Network Architecture, distributed computing, DNA nanotechnology, Ensemble, Ensemble Construction, enzymes, Executionbased computation formalisms, Expedite the Canonical Labeling Search, explicit induction, expressiveness^{2}, FCAPS, feature selection, firing pattern, frame problem, functionalism, game theory, generalized Rice theorem, Graph Canonical Labeling, Graph Symmetry Detection, Halting Theorem, Harmony Search, hereditary history preserving bisimulation, higher dimensional automata, higher dimensional modal logic, history, history of science, Hoare logic, human unpredictability, hybrid logic, hyperarithmetical sets, hypercomputation, imitation games, implicit induction, incomputable, induction theorem proving, Information Systems, information theory, informativeness for assignment, intelligence, Interaction machine, Kolmogorov complexity, language, learning, level set, linguistic creativity, Linguistic norms, linguistics, logic, logics for reasoning about actions, matching pennies, meaningful information, metabolic machine, Mind as machine, modal logic, models of computation, morphogenesis, Nash equilibrium, natural computing, Natural representation, neural networks, nonlinear kinetics, Open Maps Bisimulation, oracle machine, padic numbers, Pancomputationalism, Pareto optimality, past modalities, Path Bisimulation, Petri net, Philosophy of AI, philosophy of science, polaractivation, population divergence, positive and negative randomness, Presburger arithmetic, private quantum communication, probabilistic algorithms, probabilistic logic, program analysis, programming, progression, proof theory, quantum communications, quantum cryptography, quantum entanglement, quantum information, quantum logic, quantum random, reachability problem, Regression, Reiter's Basic action theories, scientific revolution, selection functions, Sensitive and Fragile Biological Circuits, Sensitivity and Robustness Analysis, Situation Calculus, social impact of information technology, software testing, SolomonoffKolmogorov complexity, Specificationbased computation formalisms, specificationbased testing, STconfiguration structures, stereotypes, styles of reasoning, subgame optimal equilibrium, superTuring computational power, the analytical hierarchy, the projection problem, time, timed transition system, Turing, Turing machine^{6}, Turing Test^{3}, VAS, Web. 
