Philosophy and Computation

• Marianna Antonutti (Bristol) : Incompleteness, Church´s thesis, and mathematical knowledge (abstract)

• Patrick Blackburn (Roskilde) : Classical planning and causal implicatures (abstract)

• Walter Dean (Warwick) : Algorithms, feasibility and models of computation (abstract)

• Benedict Eastaugh (Bristol) : Shore´s computational reverse mathematics (abstract)

• Florent Franchette (Paris) : Oracle Turing machines faced with the verification problem (abstract)

• Michael Gabbay (London) : A proof theoretic foundation for computation with applications to Church´s thesis, algorithm identity and computationalist theories of mind (abstract)

• Leon Horsten (Bristol) : Computation and the natural number structure (abstract)

• Marcin Mostowski (Warsaw) : Mathematics without actual infinity (abstract)

• Gualtiero Piccinini (Missouri) : Neural computation and the computational theory of cognition (abstract)

• Sam Sanders (Ghent) : Computation in and about physics and mathematics (abstract)

• Oron Shagrir (Jerusalem) : Who is the human computer? (abstract)

• Mark Sprevak (Edinburgh) : Making friends with representationalism about computation (abstract)

• Raymond Turner (Essex) : Philosophy of computer science (abstract)

• Konrad Zdanowski (Warsaw) : On computational properties of notation systems for natural numbers