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

CFP: LENLS7: Logic and Engineering of Natural Language Semantics


               Logic and Engineering of
          Natural Language Semantics 7 (LENLS7)

Workshop Site : Campus Innovation Center Tokyo, Minato-ku, Tokyo
Dates         : November 18-19, 2010
Workshop URL  :

Chair: Eric McCready (Aoyama Gakuin University)

Invited Speakers:
Alexandru Baltag (Oxford)
Shunsuke Yatabe (National Institute of Advanced Industrial Science
and Technology (AIST))

LENLS is an annual international workshop focusing on formal
semantics and pragmatics. It will be held as one of workshops of
JSAI isAI 2010, sponsored by JSAI.

We invite submissions to this year's workshop on topics in formal
semantics and pragmatics, and related fields, including but in no
way limited to the following:

- Dynamic syntax/semantics/pragmatics of natural language
- Categorical/topological/coalgebraic approaches for natural
language syntax/semantics/pragmatics
- Logic and its relation to natural language and linguistic
reasoning (especially dynamic logics)
- Type-theoretic approaches to natural language
- Philosophy of language
- Formal pragmatics (especially game- and utility-theoretic
- Substructural expansion of Lambek Lambda Calculi
- Many-valued/Fuzzy and other non-classical logics and natural

This year we especially welcome submissions related to the "Formal
Structures of Salience". Salience is a concept with broad
application in linguistics and philosophy; in recent years, it has
played a role in the analysis of phenomena including focus,
particles, and anaphora resolution within linguistics, and in
philosophy it has been used in analyses of various kinds of
context dependency (e.g. domain restriction and vagueness), as
well as in the analysis of convention. However, in many cases, the
concept of salience is left as a primitive. Submissions discussing
foundational issues in the understanding of salience would be
welcomed. We especially hope for contributions with a formal


Abstracts should be between 2 and 4 pages in length and in pdf
format. Submissions should be sent to:

The proceedings of the workshop will be available at the
conference site for registered persons. We also plan to publish a
selection of the accepted papers as a portion of a volume in the
`Lecture Notes in Artificial Intelligence' series (Springer Verlag).

Important dates:

Abstract submission deadline   : August 15, 2010
Notification of acceptance     : September 15, 2010
Deadline for camera-ready copy : October 15, 2010
LENLS7                         : November 18-19, 2010

Organizing Committee:
Eric McCready (Chair)
Daisuke Bekki
Yoshiki Mori
Yasuo Nakayama
Katsuhiko Yabushita
Tomoyuki Yamada
Kei Yoshimoto