CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


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


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



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, 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 (
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 (
Richard Snodgrass (
Philippe Schnoebelen (