COST Action 274
Arrival Info
Call for
Submissions and
List of Participants
Quorum Info
Registration Info
Conference Location/
Travel Info
Co-located Events
Full Addresses
Manchester &

COST logo

Man logo


Abstracts in pdf format


Sa11.09.04arrival day (& last day of AiML)
Su12.09.04WA2 (Mechanisation)
Invited speaker: Rudolf Berghammer
Evening: Workshop dinner
Mo13.09.04WA4 (Spatial Reasoning and Qualitative Physics)
Invited speaker: Eliseo Clementini
Evening: COST274 Management Commitee Meeting


The venue for all talks is the Marquis Room.

Sunday, September 12

 08.45-09.15 Registration
 09.15-09.30 Opening
 09.30-10.00 Jan Rauch (Prag)
   Data Mining Procedures Based on Bit String Representation of Data
 10.00-10.30 Andreas Herzig (Toulouse)
   Modal Probability, Belief, and Actions
 10.30-11.00 Coffee Break
 11.00-12.00 Invited Speaker: Rudolf Berghammer (Kiel)
   Relation-algebraic Computation of Fixed Points With Applications
 12.00-12.30 Mario Drobics (Hagenberg)
   Extracting Comprehensible Computational Models from Data
 12.30-14.00 Lunch
 14.00-15.00 Michael Franssen (Eindhoven), Harrie de Swart (Tilburg)
   Cocktail: A Tool for Interactive Program Derivation
 15.00-15.30 Georg Struth (München)
   Techniques for Mechanizing Set-Based Software Development
 15.30-16.00 Coffee Break
 16.00-17.00 Valentin Goranko (Johannesburg), D. Vakarelov (Sofia), W. Conradie (Johannesburg)
   SQEMA: a new algorithm for computing correspondences of modal formulae
 17.00- Rudolf Berghammer (Kiel)
   RelView-Tutorial-open ended
 19.00 Workshop Dinner in the Chancellors Restaurant

Monday, September 13

08.30-09.00 Registration
09.00-09.30 Ullrich Hustadt (Liverpool)
  First-Order Temporal Logic (FOTL)
09.30-10.00 Michael Ebert (München)
  Sensitivity in Qualitative Data Analysis
10.00-10.30 Anthony Cohn (Leeds), Achille C. Varzi (Columbia Univ.)
  Connections Relations in Mereotopology
10.30-11.00 Coffee Break
11.00-11.30 Roman Kontchakov (King's College London)
  S4u as a unifying spatial formalism
11.30-12.00 Oliver Kutz (Liverpool)
  Relational Representation of Metric Spaces
12.00-12.30 Ullrich Hustadt, Dmitry Tishkovsky, and Frank Wolter (Liverpool)
  Logics of metric spaces with tessellation operator
12.30-14.00 Lunch
14.00-15.10 Invited Speaker: Eliseo Clementini (L'Aquila)
  Ternary projective relations
15.10-15.40 Philippe Balbiani (Toulouse), Tinko Tinchev, Dimiter Vakarelov (Sofia)
  Propositional modal logics related to RCC
15.40-16.10 Coffee
16.10-16.40 Brandon Bennett, Derek R. Magee, Anthony G. Cohn, David C. Hogg (Leeds)
  Enhanced visual tracking of moving objects by reasoning about spatio-temporal relationships
17.00-19.00 COST 274 Management Commitee Meeting
19.30 Dinner at an Indian Restaurant

Last modified: 07 Sep 04
Copyright © 2004 Renate Schmidt, Department of Computer Science, University of Manchester