BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260427T134015Z DTSTART;TZID=Europe/Stockholm:20120512T090000 DTEND;TZID=Europe/Stockholm:20120513T180000 SUMMARY:Philosophy and Computation Workshop UID:20260501T062646Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq TZID:Europe/Stockholm LOCATION:Kungshuset\, Lund\, Sweden\, 222 22 DESCRIPTION:

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&rsquo\;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.

\n

Workshop Online

\n\n\n\nThe 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.\n \;\n\n\n\n

https://connect.sunet.se/philosophyandcomputation

\n
\n(the link will be active during the Workshop)\n
\nSocial events\nNo registration is required\, but please notify us \;if you want to join for lunches and/or dinners. Send an email to \;paula.quinon@fil.lu.se \;not later than on \;Monday May 7th.\n
\n

Practical information

\n\nFeel free to ask if you need any practical advice. \;Send an email to \;paula.quinon@fil.lu.se \;\n
\n\n

Program:

\n\n\n\n
\nSaturday\, May 12th\n \;\n\n\n9:00 - 9:30 Coffee\n \;\nchair:Erik Olsson\n9:30 - 10:30 \;Raymond Turner\, Philosophy of computer science\n \;\n10.30 - 11:00 Coffee\n \;\nchair: Staffan Angere\n11:00 - 12:00 \;Oron Shagrir\, Who is the human computer? \;\n12:15 - 13:15 \;Leon Horsten\, Computation and the natural number structure\n \;\n \;\n13:15 - 14:30 \;Lunch\n \;\nchair:Frank Zenker\n14:30 -- 15:30 \;Gualtiero Piccinini\, Neural computation and the computational theory of cognition\n15:45 -- 16:45 \;Mark Sprevak\, Making friends with representationalism about computation\n \;\n \;\n16:45 -- 17:00 \;Coffee\n \;\n \;\nchair: Carlo Proietti\n17:00 -- 17:45 \;Marianna Antonutti\, Incompleteness\, Church&rsquo\;s thesis\, and mathematical knowledge\n18:00 -- 18:45 \;Sam Sanders\, Computation in and about physics and mathematics\n \;\n \;\nfrom 19:30Dinner (Kungshuset)\n \;\n \;\n\nSunday\, May 13th\n9:00 - 9:45Coffee\n \;\nchair: Bengt Hansson\n9:45 - 10:30 \;Michael Gabbay\, A proof theoretic foundation for computation with applications to Church's thesis\, algorithm identity and computationalist theories of mind\n \;\n10:30 - 11:00 \;Coffee\n \;\nchair: Fredrik Engströ\;m\n11:00 - 12:00 \;Patrick Blackburn\, Classical planning and causal implicatures\n12:15 - 13:15 \;Marcin Mostowski\, Mathematics without actual infinity\n \;\n13:15 - 14:30 \;Lunch\n \;\nchair: Sebastian Enqvist\n14:30 - 15:30 \;Walter Dean\, Algorithms\, feasibility\, and models of computation\n15:45 - 16:45 \;Konrad Zdanowski\, On computational properties of notation systems for natural numbers\n \;\n16:45 - 17:00 \;Coffee\n \;\nchair: Aron Vallinder\n17:00 - 17:45 \;Florent Franchette\, Oracle Turing machines faced with the verification problem\n18:00 - 18:45 \;Benedict Eastaugh\, Shore&rsquo\;s computational reverse mathematics\n \;\nfrom 19:30Dinner (Restaurant)\n\n\n\n\n\n ORGANIZER;CN=Paula Quinon: METHOD:PUBLISH END:VEVENT END:VCALENDAR