Mark Bishop on CITY ...

"During the last decade robots have begun to permeate everyday life (robotic lawn mowers; floor cleaners, autonomous cars etc); equally, closely related technologies are beginning to permeate the military– already US naval sh...


Read More...

ICO Alan Turing Lect...

  To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...


Read More...

AISB Workshop: Senso...

Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness  and Robotics, its development and contemporary state. The first in a seri...


Read More...

Ms Pac-Man vs Ghosts...

This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...


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

New AISB Website

Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...


Read More...

AISB Website Beta

The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...


Read More...

AISB 2011 Convention

The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.


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

Alan Turing Year

2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.


Read More...
0123456789

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 Wójcicki (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