University of Birmingham AISB/IACAP World Congress 2012 - Alan Turing 2012

2-6 July 2012



Invited Speakers



Registration Accommodation




Important Dates


Campus Pictures


(Call for Proposals for Symposia)

Computational Philosophy Program

Location: CPD5

Symposium Moderator:
Anthony Beavers (University of Evansville)

Session A, Monday, July 2nd

10:30-11:30 Keynote Address
Towards Leibniz's Goal of a Computational Metaphysics
Edward N. Zalta (Stanford University)
11:30-12:30 Keynote Address
Representation Issues in Using First-Order Reasoning Tools
Paul Oppenheimer (Stanford University)
12:30-1:00 Evidence-Based Interpretations of PA
Bhupinder Singh Anand (Independent)

Session B, Monday, July 2nd

2:30-3:00 Machine Intention
Don Berkich (University of Texas, Corpus Christi)
3:00-3:30 A Lesson from Subjective Computing: Autonomous Self-referentiality and Social Interaction as Conditions for Subjectivity
Patrick Grüneberg (Technische Universität Berlin) and Kenji Suzuki (University of Tsukuba)
3:30-4:00 Synthetic Semiotics: On Modeling and Simulating the Emergence of Sign Processes
Angelo Loula (State University of Feira de Santana) and João Queiroz (Federal University of Juiz de Fora)
4:00-4:30 Emergentism, Computer Simulations and the Noumenal
Emanuele Ratti (European Institute of Oncology, Faculty of Medicine, University of Milan, and the European School of Molecular Medicine)
4:30-5:00 Bill Gates Is Not a Parking Meter: Philosophical Quality Control in Automated Ontology-building
Catherine Legg and Samuel Sarjant (University of Waikato, New Zealand)