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

  1. Francisco Santos (CENTRIA - New University of Lisbon), Evolutionary Dynamics of Collective Action

  2. Leon Horsten (Bristol), The Scope and Limits of Mathematical Models in Philosophy of Science

  3. Luciano Floridi (Hertfordshire & Oxford), Principles of Information Closure

  4. Hans Briegel (Innsbruck), Simulation, Computation, and (Quantum) Physics

  5. Ulrike Pompe (Stuttgart), Can Computer Simulations Finally Explain How the Brain Works?

  6. Franz Huber (Konstanz), How to Confirm Counterfactuals

  7. Choh Man Teng (CENTRIA - New University of Lisbon), Knowledge Discovery from Data: Old and New Issues.

  8. Gabriella Pigozzi (Dauphine), Consensus on Judgment Aggregation

  9. Jesse Alama (CENTRIA - New University of Lisbon), Checking proofs

  10. Alexei Grinbaum (IRAMIS), Quantum Observer, Information Theory, and Kolmogorov Complexity.

  11. Dennis Dieks (Utrecht), Entropy and Probability in Physics and Information Theory

  12. Thomas Mueller (Utrecht), Agency and Intervention in Philosophy of Science and in AI

  13. Kristina Liefke (Tilburg), Using Types in Linguistics and Computer Science

  14. Pieter Kok (Sheffield), Precision Measurements and Computational Networks in Quantum Mechanics

  15. Stephan Hartmann (Tilburg), Upper Probabilities in Quantum Mechanics and Quantum Information Theory

  16. Earl Campbell (University College London), Non-locality, a Generalized Mermin Paradox and Measurement-based Quantum Computing

  17. Sonja Smets (Groningen), Logics for Reasoning about Quantum Information

  18. Sam Sanders (Tilburg), The Ghosts of Departed Quantites as the Soul of Computation

  19. Leszek Wroński (Jagiellonian), Parallels Between Modalities and Parallel Processing

  20. Gregory Wheeler (CENTRIA - New University of Lisbon), Coherence at last

  21. Guido Bacciagaluppi (Aberdeen), Is Logic Empirical?

  22. 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