AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
01234

Notice

AISB event Bulletin Item

CALL for CONTRIBUTED TALKS: "Proof and Dialogues", 25-27 Feb 2011, Germany

http://www-ls.informatik.uni-tuebingen.de/prodi/
Contact: Thomas Piecha, ProDi-CfP@informatik.uni-tuebingen.de

Workshop "Proof and Dialogues" (ProDi), University of Tbingen, Germany

Call for contributed talks

The ProDi workshop focuses on the relationship between proof-theoretic and dialogical approaches to logic. Formally, it is an internal meeting organized by two collaborative research projects within the ESF programme "Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences (LogICCC)" (http://www.esf.org/index.php?id=3241)
together with some external experts (including Andreas Blass, George Metcalfe, Helge Rckert and Morten Srensen).

However, there will be two or three slots for contributed talks (30 min). 
If you are interested to contribute such a talk, please send an abstract to Thomas Piecha (ProDi-CfP@informatik.uni-tuebingen.de). The deadline is
7 February 2011. We would notify you until 10 February of whether we can accept it or not.

Participants who would like to participate without giving a talk are also welcome. In that case please send an e-mail to Thomas Piecha until 10 February.

Christian Fermller
Peter Schroeder-Heister
Thomas Piecha
Luca Tranchini