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


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


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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


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



AISB event Bulletin Item



TIME 2007 -- Call for Papers

The 14th International Symposium on

University of Alicante, Spain, 28-30 June, 2007


The purpose of this symposium is to bring together active researchers
from distinct research areas involving representation of and reasoning
about temporal phenomena. As with previous meetings in this
well-established series (see http://time.dico.unimi.it), one of the
goals of the TIME symposium will be to build a bridge between
theoretical and applied research in temporal representation and
reasoning. Thus, we especially encourage submissions concerning
temporal issues within areas such as Artificial Intelligence,
Linguistics, Temporal/Spatial Databases and Applications of Temporal
Logic in Computer Science, in order to achieve a multi-disciplinary
perspective on the topic and to benefit from cross-fertilization of

The conference is planned as a three-day event, and will be organised
as a combination of technical paper presentations, an extended poster
session, and keynote talks.

Submissions of high quality papers describing accomplished results or on-going work on original,
previously unpublished research, are welcome. Submitted papers should be written in English,
and should not be simultaneously submitted for publication elsewhere. Submissions must not exceed
the length of 11 pages with font size 11pt or larger. The submission should be in PDF format
(with necessary fonts embedded for the best result).
The use of the LaTeX article style at 11pt is strongly suggested when the article is prepared.
Overlength submissions may be rejected without review. Accepted papers will be invited for a full
presentation or a poster presentation. Papers should be electronically submitted via the TIME 2007
submission web system (http://www.easychair.org/TIME2007/).
All paper submissions must be accompanied by a separately uploaded single page containing the title,
 abstract, the author details, indication of the track and topic(s). That page should be posted on the system
 together with, or prior to, the full submission which must contain the abstract and the author details, too.
Poster submissions are also accepted at the TIME 2007 submission web system;. For details see the Symposium website.

Important Dates:
Submission Deadline for Papers: 12 Feb. 2007
Submission Deadline for Posters: 14 March 2007
Acceptance Notification: 28 March, 2007
Camera-Ready Copy: 11 April, 2007
TIME 2007 Symposium: 28-30 Jun., 2007

Conference venue:
The conference will be held at the University of Alicante, Sede
Universitaria Ciudad de Alicante, beautifully situated on Costa
Blanca, between the mountains and the Spanish Mediterranean Sea.

Topics of Interests:
Track 1 -- Temporal Representation/Reasoning in AI and Linguistics:
temporal aspects of agent-based systems, temporal constraint
reasoning, reasoning about actions and change, temporal languages for
planning, temporal languages and architectures, ontologies of time and
space-time, spatio-temporal reasoning, expressive power versus
tractability, belief and uncertainty in temporal knowledge, time and
nonmonotonic reasoning, interval temporal logics, time and temporality
in natural language processing.

Track 2 -- Time Management in Databases: temporal data models,
temporal database design, temporal query languages, indexing of
temporal data, temporal database systems, spatio-temporal databases,
constraint databases, temporal data mining, temporal data privacy &
security, time in multimedia databases, time in web applications, time
in federated and heterogeneous systems, time in workflow systems,
querying time series databases, querying data streams.

Track 3 -- Temporal Logic in Computer Science: temporal specification,
synthesis and verification of systems, model checking of temporal
logics, verification of infinite-state systems, temporal logics for
distributed systems, expressiveness of temporal languages,
decidability and complexity of temporal logics, logics of knowledge
and time, metric and real-time logics and timed automata, temporal
logics and concurrency, temporal issues in security, tools and
practical systems.

As usual for the TIME series, proceedings will be published by IEEE
Computer Society Press and will be subject to IEEE
Copyright. Camera-ready papers are expected to be produced with the
author kits sent by IEEE Computer Society Press. It is also our
intention to organise a special issue of a respected journal,
containing extended versions of selected papers from the symposium.

Conference Organization:
General Chair:
Clare Dixon, Liverpool, UK.

Program Chairs:
Valentin Goranko, Johannesburg, S. Africa
X. Sean Wang, Burlington, VT, USA

Local Organisation Chairs:
Rafael Munoz, Alicante, Spain
Patricio M. Barco, Alicante, Spain
Estela Saquete, Alicante, Spain

Program Committee:
Alessandro Artale, Bozen-Bolzano, Italy
Claudio Bettini, Milan, Italy
Michael Bhlen, Bolzano-Bozen, Italy
Alexander Bolotov, Westminster, UK
Cindy Chen, Lowell, MA, USA
Carlo Combi, Verona, Italy
Stphane Demri, Cachan, France
Michael Fisher, Liverpool, UK
Keijo Heljanko, Helsinki, Finland
Ian Hodkinson, London, UK
Boris Konev, Liverpool, UK
Orna Kupferman, Jerusalem, Israel
Franois Laroussinie, Cachan, France
Lixin Li, Statesboro, GA, USA
Carsten Lutz, Dresden, Germany
Roque Marn, Murcia, Spain
Angelo Montanari, Udine, Italy
Malek Mouhoub, Regina, SK, Canada
Bernhard Nebel, Freiburg, Germany
Paritosh Pandya, Mumbai, India
Ian Pratt-Hartmann, Manchester, UK
James Pustejovsky, Waltham, MA, USA
Peter Z. Revesz, Lincoln, NE, USA
Estela Saquete, Alicante, Spain
David Toman, Waterloo, ON, Canada
Andr Trudel, Wolfville, NS, Canada
Llus Vila, Barcelona, Spain
Pierre Wolper, Liege, Belgium
Jef Wijsen, Mons, Belgium
James Worrell, Oxford, UK

Invited Speakers:

Alfonso Gerevini (http://www.ing.unibs.it/~gerevini/)
Richard Snodgrass (http://www.cs.arizona.edu/~rts/)
Philippe Schnoebelen (http://www.lsv.ens-cachan.fr/~phs/?lang=en)