[TYPES] TIME 2004 call for participation and preliminary program
Carlo Combi
carlo.combi at univr.it
Tue May 4 12:46:43 EDT 2004
**********************************************************************
TIME 2004:
Call for participation
http://www.greyc.unicaen.fr/time2004
**********************************************************************
Call for Participation
The 11th International Symposium on
TEMPORAL REPRESENTATION AND REASONING
(TIME 2004)
http://www.greyc.unicaen.fr/time2004
Tatihou, Basse Normandie, France
1-3 July, 2004
The purpose of this symposium is to bring together active researchers
from distinct research areas involving the representation of, or
reasoning with, time. As with previous meetings in this respected
series, one of the main goals of the TIME symposium will be to bridge
the gap between theoretical and applied research in temporal
representation and reasoning.
- 14 papers were selected out 40 submitted papers, for full
presentation at the Symposium.
- 7 papers have been selected for short presentation.
- Besides the selected papers, we will have 4 invited
talks by leading people in our scientific communities: Michael Bohlen
(Free University of Bozen-Bolzano, Italy), Manolis Koubarakis
(University of Crete, Greece), Ian Pratt-Hartmann (University of
Manchester, UK), and Thierry Vidal (ENI Tarbes, France).
***** Preliminary Program *******
Thursday, July 1
8.45 - 9.00 Symposium Opening
9.00 - 10.00 Invited Talk 1
Chair: TBA
Toward A Unifying View of Point and Interval Temporal Data Models
Michael Bohlen
Paper Session 1: Temporal Representation and Reasoning in AI
Chair: TBA
10.00 - 10.30 Possibility Theory-based Approach for Handling Uncertain
Relations between Temporal Points
Allel Hadjali, Didier Dubois, Henri Prade
10.30 - 11.00 The SOL Time Theory: A Formalization of Structured
Temporal Objects and Repetition
Diana R. Cukierman, James P. Delgrande
11.00 - 11.30 Coffee Break
Paper Session 2: Time Management in Databases
Chair: TBA
11.30 - 12.00 Fuzzy Calendar Algebra and Its Applications to Data Mining
Wan-Jui Lee, Shie-Jue Lee
12.00 - 12.30 Reasoning on Temporal Conceptual Schemas with Dynamic
Constraints
Alessandro Artale
12.30 - 14.00 Lunch
Paper Session 3: Temporal Representation and Reasoning in AI
Chair: TBA
14.00 - 14.30 Relations between Fuzzy Time Intervals
Hans Jürgen Ohlbach
15.00 - 15.30 Recursive Representation of Periodicity and Temporal
Reasoning
Luca Anselma
15.30 - 15.45 The Role of Labeled Partitionings for Modeling Periodic
Temporal Notion
Hans Jürgen Ohlbach
15.45 - 16.00 Probabilistic temporal interval networks
Vladimir Ryabov, André Trudel
16.00 - 16.30 Coffee Break
Paper Session 4: Time Management in Databases
Chair: TBA
16.30 - 17.00 Pre-Processing Time Constraints for Efficiently Mining
Generalized Sequential Patterns
Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire
17.00 - 17.30 Mapping Calendar Expressions into Periodical Granularities
Claudio Bettini, Sergio Mascetti, X. Sean Wang
Paper Session 5: Temporal Logic in Computer Science
Chair: TBA
17.30 - 18.00 CTL model checking for processing simple XPath queries
Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke
18.00 - 18.30 Compositional Temporal Logic Based on Partial Order
Adrianna Alexander, Wolfgang Reisig
Friday July 2
9.00 - 10.00 Invited Talk 2
Chair: TBA
Word Proximity Constraints: Information Retrieval meets Temporal Reasoning
Manolis Koubarakis
Paper Session 6: Temporal Representation and Reasoning in AI
Chair: TBA
10.00 - 10.30 A mathematical framework for the semantics of symbolic
languages representing periodic time
Lavinia Egidi, Paolo Terenziani
10.30 - 11.00 A lattice of classes of user-defined symbolic periodicities
Lavinia Egidi, Paolo Terenziani
11.00 - 11.30 Coffee Break
Paper Session 7: Temporal Logic in Computer Science
Chair: TBA
11.30 - 12.00 On-the-fly Automata Construction for Dynamic Linear Time
Temporal Logic
Laura Giordano, Alberto Martelli
12.00 - 12.30 A Clausal Resolution Method for Branching-Time Logic ECTL
Alexander Bolotov, Artie Basukoski
12.30 - 13.30 Lunch
13.30 - 14.00 PC-meeting
Paper Session 7: Time Management in Databases
Chair: TBA
14.00 - 14.15 Max-Count Aggregation Estimation for Moving Points
Yi Chen, Peter Revesz
14.15 - 14.30 Effective Data Integration in the Presence of Temporal
Semantic Conflicts
Hongwei Zhu, Stuart Madnick, Michael Siegel
Social Events
15.00 - 18.30 Excursion and visit to the museum of the
island
19.00 - 20.00 Cocktail
20.00 - 23.00 Banquet
Saturday July 3
9.00 - 10.00 Invited Talk 3
Chair: TBA
Temporal Prepositions and their Logic
Ian Pratt-Hartmann
10.00 - 11.00 Invited Talk 4
The many ways of facing temporal uncertainty in planning and scheduling
Thierry Vidal
11.00 - 11.30 Coffee Break
Paper Session 8: Temporal Logic in Computer Science
Chair: TBA
11.30 - 11.45 Using Temporal Logics of Knowledge in the Formal
Verification of Security Protocols
Clare Dixon, Mari-Carmen Fernandez Gago, Michael Fisher, Wiebe van der Hoek
11.45 - 12.00 Model Checking mu-Calculus in Well-Structured Transition
Systems
E. V. Kouzmin, Nikolay Shilov, V.A. Sokolov
12.00 - 12.15 Decidability of the Theory of Totally Unbounded
omega-Layered Structures
Angelo Montanari, Gabriele Puppis
12.15 - 12.30 Closing Session
Early registration ends on May 15, 2004. The fee for early
registration is EUR 350 (300 for students). See the web site for details
and accomodation rates (http://www.greyc.unicaen.fr/time2004).
--
========================================
Carlo Combi, Ph.D.
Dipartimento di Informatica
Universita' degli Studi di Verona
Ca' Vignal 2
strada le Grazie 15
I-37134 Verona - VR - Italy
phone: ++39 045 802 7985
mobile: ++39 328 8606227
fax: ++39 045 802 7068
email: combi at sci.univr.it
http://profs.sci.univr.it/~combi
========================================
--
========================================
Carlo Combi, Ph.D.
Dipartimento di Informatica
Universita' degli Studi di Verona
Ca' Vignal 2
strada le Grazie 15
I-37134 Verona - VR - Italy
phone: ++39 045 802 7985
mobile: ++39 328 8606227
fax: ++39 045 802 7068
email: combi at sci.univr.it
http://profs.sci.univr.it/~combi
========================================
More information about the Types-list
mailing list