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 PAPERS: Trends in Logic XII, 3-5 June 2012, Bochum, GERMANY

http://www.ruhr-uni-bochum.de/philosophy/trendsxi

The 11th Trends in Logic international conference will be held at Ruhr University Bochum, Germany, 
from June 3-June 5, 2012 under the title ?Advances in Philosophical Logic?. It is organized by the 
chair of Logic and Epistemology at the Department of Philosophy II of Ruhr University Bochum, in 
co-operation with the journal Studia Logica,

http://www.ruhr-uni-bochum.de/philosophy/trendsxi .

We invite submissions presenting substantial recent advances in formal philosophical logic. The 
range of topics includes but is not limited to:

-    modal logics,
-    temporal logics,
-    deontic logics,
-    logics of agency,
-    dynamic logics,
-    epistemic and doxastic logics,
-    formal epistemology,
-    belief revision,
-    substructural logics,
-    relevance logics,
-    paraconsistent logics,
-    constructive logics,
-    many-valued logics,
-    non-monotonic logics,
-    the paradoxes,
-    theories of truth and falsity,
-    natural language semantics,
-    vagueness,
-    applications of logical methods in philosophy.

INVITED SPEAKERS:

-    Giovanna Corsi (University of Bologna, Italy)
-    Hans van Ditmarsch (University of Sevilla, Spain)
-    John Horty (University of Maryland, USA)
-    Norihiro Kamide (Waseda Institute,Tokyo, Japan)
-    Marcus Kracht (University of Bielefeld, Germany)
-    Sergei Odintsov (Sobolev Institute of Mathematics, Novosibirsk, Russia)
-    Rohit Parikh (City University of New York, USA)
-    Graham Priest (University of Melbourne, Australia/City University of New
York, USA)
-    Greg Restall (University of Melbourne, Australia)
-    Yaroslav Shramko (Pedagogical State University Kryvyi Rih, Ukraine)
-    Ryszard Wjcicki (Polish Academy of Sciences, Warsaw)
-    Alberto Zanardo (University of Padova, Italy)


PAPER SUBMISSION:

Abstracts of at most three pages length should be submitted electronically as pdf documents using 
the EasyChair submission page at

http://www.easychair.org/conferences/?conf=trendsxi

At least one author of each accepted paper must register for, and attend, the conference to present
her or his work.


PUBLICATION:

The organizers plan to publish selected papers presented at the conference in a special issue of a 
journal or with a major book publisher.

PROGRAMME COMMITTEE:

-    Robert Goldblatt (Wellington, New Zealand)
-    Andrzej Indrzejczak (?d?, Poland)
-    Hannes Leitgeb (Munich, Germany)
-    Jacek Malinowski (Torun and Warsaw, Poland)
-    Daniele Mundici (Florence, Italy)
-    Constantine Tsinakis (Nashville, USA)
-    Heinrich Wansing (Bochum, Germany)
-    Markus Werning (Bochum, Germany)


ORGANIZATION COMMITTEE:

-    Heinrich Wansing (Ruhr University Bochum)
-    Roberto Ciuni (Ruhr University Bochum)
-    Andrea Kruse (Ruhr University Bochum)
-    Caroline Semmling (Ruhr University Bochum)


IMPORTANT DATES

CFP: 20 September 2011
Abstract submission deadline: 12 February, 2012
Notification: 11 March, 2012
Registration opens: 12 March, 2012
Early registration closes: 20 May, 2012
Conference: 3-5 June, 2012.


VENUE, ACCOMMODATION ETC.:
http://www.ruhr-uni-bochum.de/philosophy/trendsxi

http://www.ruhr-uni-bochum.de/philosophy/trendsxi/pdf/trends_in_logic_xi_cfp.pdf