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

CFP: TIME 2008 Temporal Representation and Reasoning

 Call For Papers

			      TIME 2008

		 Fifteenth International Symposium on
		Temporal Representation and Reasoning

		  Montreal, Canada, June 16-18, 2008

TIME 2008 aims to bring together researchers from distinct research
areas involving the management of temporal data as well as the
reasoning about temporal aspects of information.

This unique and well-established event further has as its objectives
to bridge theoretical and applied research, as well as to serve as an
interdisciplinary forum for exchange among researchers from the areas
of artificial intelligence, database management, logic and
verification, and beyond.

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


o Carsten Lutz Institute of Theoretical Computer Science, TU Dresden,

o Ravi Kothuri, Oracle Corporation, Nashua, NH, USA

o James Worrell, Computing Laboratory, Oxford University, GB


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
- temporal languages for planning
- 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) and should use the format for camera-ready papers.
Submissions must not exceed 8 pages in using that format; over-length
submissions may be rejected without review.

Papers should be submitted electronically using the online system
available via the TIME 2008 web site, at


General Chair:
	Alessandro Artale, Free University of Bozen/Bolzano, Italy

Program Committee Chairs:
	Stephane Demri, CNRS, Cachan, Paris, France
	Christian S. Jensen, Aalborg University, Denmark

Organization co-chairs:
	Sylvain Hall, University of Quebec, Montreal, Canada
	Roger Villemaire, University of Quebec, Montreal, Canada


Claudio Bettini, University of Milan, Italy
Alexander Bolotov, University of Westminster, UK
Estela Saquete Boro, University of Alicante, Spain
Carlo Combi, University of Verona, Italy
Clare Dixon, University of Liverpool, UK
Curtis Dyreson, Utah State University, USA
Michael Fisher, University of Liverpool, UK
Antony Galton, University of Exeter, UK
Johann Gamper, Free University of Bozen-Bolzano, Italy
Alfonso Gerevini, University of Brescia, Italy
Valentin Goranko, University of Witwatersrand, South Africa
Rajeev Gore, ANU, Australia
Fabio Grandi, Universita of Bologna, Italy
Ian Hodkinson, Imperial College, UK
Vijay Khatri, Indiana University, USA
Ranko Lazic, University of Warwick, UK
Nikos A. Lorentzos, Agricultural University of Athens, Greece
Claudio Masolo, LOA-CNR, Italy
Angelo Montanari, University of Udine, Italy
Ian Pratt-Hartmann, Manchester University, UK
James Pustejovsky, Brandeis University, MA, USA
Jean-Francois Raskin, ULB, Belgium
Peter Revesz, University of Nebraska-Lincoln, USA
Mirek Riedewald, Cornell University, USA
John F. Roddick, Flinders University, Australia
Richard T. Snodgrass, University of Arizona
Paolo Terenziani, University of Torino, Italy
David Toman, Free University of Bozen-Bolzano, Italy
Roger Villemaire, UQAM, Canada
Sean Wang, University of Vermont, USA
Pierre Wolper, University of Liege, Belgium
Frank Wolter, University of Liverpool, UK
Alberto Zanardo, University of Padova, Italy


                 Paper Submission:        January 11
                 Paper Notification:      February 26
                 Camera Ready Copy Due:   March 11
                 TIME 2008 Symposium:     June 16-18


	e-mail: and