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


Read More...

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


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

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


Read More...
0123

Notice

AISB event Bulletin Item

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

http://www.ai.rug.nl/conf/quantumTARK/

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:
https://www.easychair.org/account/signin.cgi?conf=quantumtark2011

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.

MAIN WEBSITE : http://www.ai.rug.nl/conf/quantumTARK/

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? and the Royal Netherlands Academy of Arts and Sciences (KNAW).

The workshop follows one day after TARK XIII, The Thirteenth conference on Theoretical Aspects 
of Rationality and Knowledge http://www.philos.rug.nl/TARK2011/