| 2012 | Foundational Analyses of Computation. | Yuri Gurevich |
| 2012 | Densities and Entropies in Cellular Automata. | Pierre Guillon, Charalampos Zinoviadis |
| 2012 | On Mathematicians Who Liked Logic - The Case of Max Newman. | Ivor Grattan-Guinness |
| 2012 | On the Foundations and Philosophy of Info-metrics. | Amos Golan |
| 2012 | Substitutions and Strongly Deterministic Tilesets. | Bastien Le Gloannec, Nicolas Ollinger |
| 2012 | Sets of Signals, Information Flow, and Folktales. | Mark Alan Finlayson |
| 2012 | A Short Note on Spector's Proof of Consistency of Analysis. | Fernando Ferreira |
| 2012 | Highness and Local Noncappability. | Chengling Fang, Shenling Wang, Guohua Wu |
| 2012 | Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. | Hartmut Ehrig, Claudia Ermel, Falk Hffner, Rolf Niedermeier, Olga Runge |
| 2012 | Learning, Social Intelligence and the Turing Test - Why an "Out-of-the-Box" Turing Machine Will Not Pass the Turing Test. | Bruce Edmonds, Carlos Gershenson |
| 2012 | Turing Progressions and Their Well-Orders. | David Fernndez-Duque, Joost J. Joosten |
| 2012 | Randomness, Computation and Mathematics. | Rod Downey |
| 2012 | Connecting Partial Words and Regular Languages. | Jrgen Dassow, Florin Manea, Robert Mercas |
| 2012 | Complexity of Deep Inference via Atomic Flows. | Anupam Das |
| 2012 | Local Induction and Provably Total Computable Functions: A Case Study. | Andrs Cordn-Franco, Francisco Flix Lara Martn |
| 2012 | On Mathias Generic Sets. | Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst |
| 2012 | Hard Instances of Algorithms and Proof Systems. | Yijia Chen, Jrg Flum, Moritz Mller |
| 2012 | An Undecidable Nested Recurrence Relation. | Marcel Celaya, Frank Ruskey |
| 2012 | Automatic Functions, Linear Time and Learning. | John Case, Sanjay Jain, Samuel Seah, Frank Stephan |
| 2012 | A Note on Ramsey Theorems and Turing Jumps. | Lorenzo Carlucci, Konrad Zdanowski |
| 2012 | The Mate-in-n Problem of Infinite Chess Is Decidable. | Dan Brumleve, Joel David Hamkins, Philipp Schlicht |
| 2012 | Square Roots and Powers in Constructive Banach Algebra Theory. | Douglas S. Bridges, Robin Havea |
| 2012 | On the Computational Content of the Brouwer Fixed Point Theorem. | Vasco Brattka, Stphane Le Roux, Arno Pauly |
| 2012 | Logic of Ruler and Compass Constructions. | Michael Beeson |
| 2012 | Turing's Normal Numbers: Towards Randomness. | Vernica Becher |