AISB Convention 2015

Call for Symposium Proposals: The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Con...


Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  



AISB event Bulletin Item

CALL FOR PAPERS: "Quantum Physics meets TARK", 15 July 2011, THE NETHERLANDS

WORKSHOP : *Quantum Physics meets TARK* Groningen, the Netherlands

*Workshop Goal:*

The aim of this workshop is to explore the connections between traditional TARK topics and Quantum Physics.
While TARK traditionally focuses on the theoretical aspects of rationality and knowledge, quantum mechanics
and quantum computation focus on the fundamental link between physical reality and informational (knowledge-acquiring)
actions, such as observations and measurements. We think one can gain new insights from combining methods and concepts
coming from these two lines of research. On the one hand, we are interested in how techniques from quantum physics can
help us reason about knowledge or rational decision making. On the other hand, we are interested in how the logical
and game-theoretical techniques traditionally associated with TARK  (coming from epistemic logic, belief revision,
dynamic logic, temporal logic, probabilistic learning, resource-sensitive logics, epistemic game theory, decision-theoretic
methods etc.) can be used to formalize physical theories, reason about their concepts or their applications, and provide
some principled understanding of their foundations.

Topics of interest include but are not limited to:

classical correlations versus quantum correlations; classical games versus quantum games; classical information flow 
versus quantum information flow; logical methods for quantum computation; quantum logic and its relation to logics of
knowledge and action; the use of quantum methods and concepts in decision theory, game theory and logic; game-theoretical 
logical semantics and foundations of quantum mechanics.

Invited Speakers :*

Samson Abramsky (Oxford University)
Adam Brandenburger (Stern School of Business, New York)

*Deadline CfP*:  Please send your submission in PDF format, not exceeding 10 double-spaced pages (4,000 words)
by Wednesday May 4, 2011. The PDF - files have to be uploaded online via the workshop's submission website:

Authors will be notified of acceptance by Friday, May 27.
Authors of accepted papers will be expected to upload their paper in an online workshop proceedings collection
that we are currently setting up. Further details about the proceedings will be made available on the conference website soon.


*Program Committee:*
- Sonja Smets (University of Groningen, Chair)
- Samson Abramsky (Oxford University)
- Alexandru Baltag (Oxford University)
- Adam Brandenburger (Stern School of Business, New York)
- Jerome Busemeyer (Indiana University)
- Pierfrancesco La Mura (Leipzig Graduate School of Management )
- Daniel Lehmann (The Hebrew University of Jerusalem)
- Alessandra Palmigiano (University of Amsterdam)
- Prakash Panangaden (McGill University)
- Alex Wilce (Susquehanna University)

*TARK Local Organizers at the University of Groningen:* Rineke Verbrugge and Sonja Smets (chairs), Virginie Fiutek, Sujata Ghosh,
Barteld Kooi, Ben Meijering,  Bryan Renne, Ben Rodenhuser, Olivier Roy, Allard Tamminga, Bart Verheij.

*Sponsors:* The Netherlands Organization for Scientific Research, The VIDI Project: ?Reasoning about quantum interaction: 
Logical modelling and verification of multi-agent quantum protocols?

The workshop follows one day after TARK XIII, The Thirteenth conference on Theoretical Aspects of Rationality and Knowledge