TIME 2007 Call for Participation 
  
The 14th International Symposium on Temporal Representation and Reasoning 
  
June 28-30, 2007, Alicante, Spain. 
  
Note that registration on or before *May 25, 2007* qualifies a reduced registration fee. Please use the symposium website for registration and the detailed program: 
  
http://gplsi.dlsi.ua.es/congresos/time07/ 
  
The symposium is planned as a three-day event, and will be organised as a combination of 17 technical paper presentations, a poster session, and three keynote talks (see below). 
  
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 cast a bridge between theoretical and applied research in temporal representation and reasoning. Thus, we especially encouraged 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 ideas. 
  
The symposium is to be held on the University of Alicante, Sede Universitaria Ciudad de Alicante, located at Avenida Ramón y Cajal 4, an old building that was the Business School of Alicante in the past.
The building has been recently rehabilitated and it is in front of the attractive Port of the city of Alicante with a beautiful and centennial garden as the only obstacle interposing between the blue Mediterranean and the building. Beautiful views of the Port are descried from the building. 
  
Keynote talks: 
  
1. Alfonso Gerevini: Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics 
  
2. Philippe Schnoebelen: Model Checking Brancing Time Logics 
  
3. Richard Snodgrass: Towards a Science of Temporal Databases