No title
Time Saturday, May 12th Sunday, May 13th 9:00 -- 9:30 Coffee Coffee chair: Erik Olsson chair: Bengt Hansson 9:30 -- 10:30 Raymond Turner, Philosophy of computer science (start 9:45) 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 Coffee chair: Staffan Angere chair: Fred
https://www.fil.lu.se/fileadmin/_migrated/content_uploads/Philosophy_and_Computation_Program.pdf - 2025-06-30