Philosophy and Computation Workshop

The workshop "Philosophy and Computation" aims to be a platform for various discussions concerning the use of computability in philosophy (for example, how computational complexity constraints can contribute to explain human understanding) and also questions concerning the philosophical investigation of computation (like questions related to Church-Turing thesis).
The workshop is inspired by the celebration of Turing’s Centenary. More information about the celebrations can be found at the following website: http://www.turingcentenary.eu/

The main objective of the workshop is to gather international specialists, philosophers, cognitive scientists and computer scientists, who will be given an opportunity to present their research and time to discuss important topics related to philosophy and computation.

Workshop Online

The workshop will be visible in the real time online (although without any possibility of oral question asking). If you want to join, please click on the link below (you can freely connect and disconnect whenever you want) and install the Adobe Connect plugin to your computer. Provide your name and sign on as a guest. There will be no continuous monitoring of the questions asked through the chat, but feel free to ask questions in the chat plugin during the workshop.  

https://connect.sunet.se/philosophyandcomputation

(the link will be active during the Workshop)
Social events No registration is required, but please notify us if you want to join for lunches and/or dinners. Send an email to [email protected] not later than on Monday May 7th.

Practical information

Feel free to ask if you need any practical advice. Send an email to [email protected] 

Program:

Saturday, May 12th   9:00 - 9:30 Coffee   chair:Erik Olsson 9:30 - 10:30 Raymond Turner, Philosophy of computer science   10.30 - 11:00 Coffee   chair: Staffan Angere 11:00 - 12:00 Oron Shagrir, Who is the human computer?  12:15 - 13:15 Leon Horsten, Computation and the natural number structure     13:15 - 14:30 Lunch   chair:Frank Zenker 14:30 -- 15:30 Gualtiero Piccinini, Neural computation and the computational theory of cognition 15:45 -- 16:45 Mark Sprevak, Making friends with representationalism about computation     16:45 -- 17:00 Coffee     chair: Carlo Proietti 17:00 -- 17:45 Marianna Antonutti, Incompleteness, Church’s thesis, and mathematical knowledge 18:00 -- 18:45 Sam Sanders, Computation in and about physics and mathematics     from 19:30Dinner (Kungshuset)     Sunday, May 13th 9:00 - 9:45Coffee   chair: Bengt Hansson 9:45 - 10:30 Michael Gabbay, A proof theoretic foundation for computation with applications to Church's thesis, algorithm identity and computationalist theories of mind   10:30 - 11:00 Coffee   chair: Fredrik Engström 11:00 - 12:00 Patrick Blackburn, Classical planning and causal implicatures 12:15 - 13:15 Marcin Mostowski, Mathematics without actual infinity   13:15 - 14:30 Lunch   chair: Sebastian Enqvist 14:30 - 15:30 Walter Dean, Algorithms, feasibility, and models of computation 15:45 - 16:45 Konrad Zdanowski, On computational properties of notation systems for natural numbers   16:45 - 17:00 Coffee   chair: Aron Vallinder 17:00 - 17:45 Florent Franchette, Oracle Turing machines faced with the verification problem 18:00 - 18:45 Benedict Eastaugh, Shore’s computational reverse mathematics   from 19:30Dinner (Restaurant)

http://www.fil.lu.se/conferences/conference.asp?id=51&lang=se