[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