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 opportunities Bulletin Item

CFP: Temporal Representation and Reasoning TIME 2009


TIME 2009 Call for Papers

		 Sixteenth International Symposium on
		Temporal Representation and Reasoning

		  Brixen, Italy, July 23-25, 2009


The TIME symposium series is a well-established annual event that
brings together researchers from all areas of computer science that
involve temporal representation and reasoning. This includes, but is
not limited to, artificial intelligence, temporal databases, and the
verification of software and hardware systems. In addition to fostering
interdisciplinarity, the TIME symposia emphasize bridging the gap
between theoretical and applied research.

TIME 2009 encompasses three tracks, but has a single program
committee. The conference will span three days, and will be organized
as a combination of technical paper presentations, poster sessions,
and keynote lectures.


Abstract Submission:     April 6
Paper Submission:        April 9
Paper Notification:      May 11
Camera Ready Copy Due:   May 22
TIME 2009 Symposium:     July 23-25


Track 1: Temporal Representation and Reasoning in AI

- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- planning and planning languages
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web

Track 2: Temporal Database Management

- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, including moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of workflow and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- novel applications of temporal database management
- experiences with real applications

Track 3: Temporal Logic and Verification in Computer Science

- specification and verification of systems
- verification of web applications
- synthesis and execution
- model checking algorithms
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security


Submissions of high quality papers describing research results or
on-going work are solicited. Submitted papers should contain original,
previously unpublished content, should be written in English, and must
not be simultaneously submitted for publication elsewhere.

Submitted papers will be refereed by at least three reviewers for
quality, correctness, originality, and relevance. Accepted papers will
be presented at the symposium and included in the proceedings, which
will be published by the IEEE Computer Society Press. Acceptance of a
paper is contingent on one author presenting the paper at the

Submissions should be in PDF format (with the necessary fonts
embedded). They must be formatted according to the IEEE guide-
lines described at

                    proceedings/8.5x11 - Formatting files/

and must not exceed 8 pages; over-length submissions may be
rejected without review.

Papers are submitted electronically via Easychair:



General Chair: 
 David Toman, University of Waterloo, Canada

Program Committee Chairs:
 Carsten Lutz, University of Bremen, Germany
 Jean-Francois Raskin, Free University of Brussels, Belgium

Organization Chair:
 Alessandro Artale, Free University of Bozen-Bolzano, Italy


Peter van Beek, University of Waterloo, Canada
Claudio Bettini, University of Milan, Italy
Thomas Brihaye, University of Mons-Hainaut, Belgium
Franck Cassez, National ICT Australia 
Jan Chomicki, University at Buffalo, USA
Carlo Combi, University of Verona, Italy
Alessandro Cimatti, IRST, Italy
Stephane Demri, CNRS, France
Bernd Finkbeiner, Saarland University, Germany
Michael Fisher, Liverpool, UK
Tim French, University of Western Australia, Australia
Antony Galton, University of Exeter, UK
Alfonso Gerevini, University of Brescia, Italy
Valentin Goranko, University of Witwatersrand, South Africa
Rajeev Gore, ANU, Australia
Keijo Heljanko, Helsinki University of Technology, Finland
Ian Hodkinson, Imperial College, UK
Ulrich Hustadt, University of Liverpool, UK
George Kollios, Boston University, USA
Orna Kupferman, Hebrew University, Israel
Francois Laroussinie, CNRS, France
Salvatore Latorre, University of Salerno, Italy
Nicolas Markey, CNRS, France
Rupak Majumdar, University of California, USA
Angelo Montanari, University of Udine, Italy
Madhusudan Parthasarathy, University of Illinois, USA
Ian Pratt-Hartmann, Manchester University, UK
Jochen Renz, Australian National University, Australia
Roger Villemaire, UQAM, Canada
Sean Wang, University of Vermont, USA
Jef Wijsen, University of Mons-Hainaut, Belgium
Ouri Wolfson, University of Illinois, USA
Pierre Wolper, University of Liege, Belgium
Frank Wolter, University of Liverpool, UK
James Worrell, Oxford University, UK
Michael Zakharyaschev, Birkbeck College, UK
Carlo Zaniolo, University of California, USA


Questions related to submission, reviewing, and program:

Questions related to local organization: