Philosophy of Computer Science and Artificial Intelligence
Philosophy of Computer Science and Artificial Intelligence
September 7-10, 2011
Ponta Delgada, São Miguel Island, Portugal
An ESF Workshop
Organizers
Dennis Dieks (Utrecht)
Stephan Hartmann (Tilburg)
Gregory Wheeler (New University of Lisbon); local organizer
Speakers
•Francisco Santos (CENTRIA - New University of Lisbon), Evolutionary Dynamics of Collective Action
•Leon Horsten (Bristol), The Scope and Limits of Mathematical Models in Philosophy of Science
•Luciano Floridi (Hertfordshire & Oxford), Principles of Information Closure
•Hans Briegel (Innsbruck), Simulation, Computation, and (Quantum) Physics
•Ulrike Pompe (Stuttgart), Can Computer Simulations Finally Explain How the Brain Works?
•Franz Huber (Konstanz), How to Confirm Counterfactuals
•Choh Man Teng (CENTRIA - New University of Lisbon), Knowledge Discovery from Data: Old and New Issues.
•Gabriella Pigozzi (Dauphine), Consensus on Judgment Aggregation
•Jesse Alama (CENTRIA - New University of Lisbon), Checking proofs
•Alexei Grinbaum (IRAMIS), Quantum Observer, Information Theory, and Kolmogorov Complexity.
•Dennis Dieks (Utrecht), Entropy and Probability in Physics and Information Theory
•Thomas Mueller (Utrecht), Agency and Intervention in Philosophy of Science and in AI
•Kristina Liefke (Tilburg), Using Types in Linguistics and Computer Science
•Pieter Kok (Sheffield), Precision Measurements and Computational Networks in Quantum Mechanics
•Stephan Hartmann (Tilburg), Upper Probabilities in Quantum Mechanics and Quantum Information Theory
•Earl Campbell (University College London), Non-locality, a Generalized Mermin Paradox and Measurement-based Quantum Computing
•Sonja Smets (Groningen), Logics for Reasoning about Quantum Information
•Sam Sanders (Tilburg), The Ghosts of Departed Quantites as the Soul of Computation
•Leszek Wroński (Jagiellonian), Parallels Between Modalities and Parallel Processing
•Gregory Wheeler (CENTRIA - New University of Lisbon), Coherence at last
•Guido Bacciagaluppi (Aberdeen), Is Logic Empirical?
•Roberto Giuntini (Cagliari), The Algebraic Structure of an Approximately Universal System of Quantum Computational Gates
Program
Venue
VIP Executive Azores Hotel [map]
Rotunda de São Goncalo, no. 131
9500-343 Ponta Delgada [wiki]
(+351) 296 000 100
Sponsors
This workshop is made possible by an award from the European Science Foundation for the networking program The Philosophy of Science in a European Perspective. Support is also provided by the Center for Artificial Intelligence Research, CENTRIA, hosted by the Department of Computer Science at New University of Lisbon.
Travel Arrangements
Airline and hotel booking agent: Mrs. Florinda Antunes Martriz, FAntunes.matriz@abreu.pt
Abreu travel agency - Ponta Delgada
Administrative coördinator: Mrs. Filipa Reis.
Department of Computer Science, New University of Lisbon