| 2016 | A Candidate for the Generalised Real Line. Lorenzo Galeotti |
| 2016 | A Computational Approach to the Borwein-Ditor Theorem. Aleksander Galicki, André Nies |
| 2016 | A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces. Iosif Petrakis |
| 2016 | AFCAL and the Emergence of Computer Science in France: 1957-1967. Pierre-Éric Mounier-Kuhn, Maël Pégny |
| 2016 | Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov |
| 2016 | Axiomatizing Analog Algorithms. Olivier Bournez, Nachum Dershowitz, Pierre Néron |
| 2016 | Baire Category Theory and Hilbert's Tenth Problem Inside \mathbb Q Q. Russell Miller |
| 2016 | Busy Beavers and Kolmogorov Complexity. Mikhail Andreev |
| 2016 | Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic. Christian Glaßer, Peter Jonsson, Barnaby Martin |
| 2016 | Comparative Genomics on Artificial Life. Priscila Biller, Carole Knibbe, Guillaume Beslon, Eric Tannier |
| 2016 | Computability and Analysis, a Historical Approach. Vasco Brattka |
| 2016 | Computability in Symbolic Dynamics. Emmanuel Jeandel |
| 2016 | Computable Reductions and Reverse Mathematics. Reed Solomon |
| 2016 | Effective S-adic Symbolic Dynamical Systems. Valérie Berthé, Thomas Fernique, Mathieu Sablik |
| 2016 | Ergodicity of Noisy Cellular Automata: The Coupling Method and Beyond. Irène Marcovici |
| 2016 | Finitely Generated Semiautomatic Groups. Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan |
| 2016 | Generalized Effective Reducibility. Merlin Carl |
| 2016 | Lightface Π Gemma Carotenuto, André Nies |
| 2016 | On the Executability of Interactive Computation. Bas Luttik, Fei Yang |
| 2016 | On the Lattices of Effectively Open Sets. Oleg V. Kudinov, Victor L. Selivanov |
| 2016 | Parameterized Complexity and Approximation Issues for the Colorful Components Problems. Riccardo Dondi, Florian Sikora |
| 2016 | Partial Orders and Immunity in Reverse Mathematics. Ludovic Patey |
| 2016 | Program Size Complexity of Correction Grammars in the Ershov Hierarchy. John Case, James S. Royer |
| 2016 | Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska |
| 2016 | Reaction-Based Models of Biochemical Networks. Daniela Besozzi |
| 2016 | Recent Advances in Non-perfect Secret Sharing Schemes. Oriol Farràs |
| 2016 | Secret Sharing Schemes with Algebraic Properties and Applications. Ignacio Cascudo |
| 2016 | Semantic Security and Key-Privacy with Random Split of St-Gen Codes. Danilo Gligoroski, Simona Samardjiska |
| 2016 | Squeezing Feasibility. Walter Dean |
| 2016 | The Boolean Algebra of Piecewise Testable Languages. Anton Konovalov, Victor L. Selivanov |
| 2016 | The Brouwer Fixed Point Theorem Revisited. Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly |
| 2016 | The Complexity of Counting Quantifiers on Equality Languages. Barnaby Martin, András Pongrácz, Michal Wrona |
| 2016 | The Domino Problem for Self-similar Structures. Sebastián Barbieri, Mathieu Sablik |
| 2016 | The Typical Constructible Object. Mathieu Hoyrup |
| 2016 | Towards Computational Complexity Theory on Advanced Function Spaces in Analysis. Akitoshi Kawamura, Florian Steinberg, Martin Ziegler |
| 2016 | Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract. Simone Martini |
| 2016 | Using Semidirect Product of (Semi)groups in Public Key Cryptography. Delaram Kahrobaei, Vladimir Shpilrain |
| 2016 | Verifying Systems of Resource-Bounded Agents. Natasha Alechina, Brian Logan |