Abstracts
Abstracts in pdf formatProgram
| Sa | 11.09.04 | arrival day (& last day of AiML) | |
| Su | 12.09.04 | WA2 (Mechanisation) | |
| Invited speaker: Rudolf Berghammer | |||
| Evening: Workshop dinner | |||
| Mo | 13.09.04 | WA4 (Spatial Reasoning and Qualitative Physics) | |
| Invited speaker: Eliseo Clementini | |||
| Evening: COST274 Management Commitee Meeting | |||
| Tu | 14.09.04 | departure |
Timetable
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 |