• Antonina Kolokolova: How hard is proving hardness? A logic approach to barriers in complexity
• Liesbeth De Mol: The mathematics of Homo Sapiens and its limitations: Emil Post's views on symbolic logic and computation
• Jan van Leeuwen: Turing's impact on understanding computation
• Andrew Hodges: Alan Turing: Not only a beautiful mind
• Bennie Mols: From Turing's Test to Turing's Tango