[CB] ================================================ AMAST Links 02 04

 Workshop on Temporal Reasoning in Deductive & OO Databases, TRDOOD'95
                      Singapore, December 8, 1995
                  (DOOD'95 post-conference workshop)

  *Topics.*  The workshop is intended to bring together researchers to
discuss the integration of logic-based approaches with temporal or 
dynamic object bases. Suggested topics are (but are not limited to):
temporal specification and verification of object-based systems,
deduction in temporal databases, logical frameworks for transactions
in deductive and object-oriented databases, temporal constraints in
deductive and object-oriented databases, non-standard logics for
modeling temporal aspects of deductive and object-oriented databases.
  *Program co-chairs*
   _Jose Luiz Fiadeiro,_ Department of Informatics, Faculty of Sciences
   University of Lisbon, Campo Grande, 1700 Lisboa, Portugal
   E-mail: Jose.Luiz.Fiadeiro@di.fc.ul.pt
   _Gunter Saake,_ Univ. Magdeburg, Inst. Technical Information Systems
   P.O. Box 4120, D-39016 Magdeburg, Germany
   E-mail: saake@iti.cs.uni-magdeburg.de
  *Program Committee.*  Jose Carmo, Weidong Chen, Jose Fiadeiro,
Dov Gabbay, Udo Lipeck, Gunter Saake, Interpal Singh Mumick,
Zoltan Somogyi, V.S. Subrahmanian, Kian-Lee Tan, Alexander Tuzhilin,
Roel Wieringa, Beat Wuthrich.
  *Submissions.*  Electronic submission (PostScript only) of extended
abstracts (no longer than 10 pages) to conrad@iti.cs.uni-magdeburg.de .
In case electronic submission is not possible, send four hardcopies to
   Stefan Conrad (TRDOOD'95)
   University of Magdeburg, Institute for Technical Information Systems
   P.O.Box 4120, D-39016 Magdeburg, Germany
The deadline for submissions is June 1, 1995.
  *Further Information:* conrad@iti.cs.uni-magdeburg.de, or see the
WWW page at URL:
   http://max.cs.uni-magdeburg.de/institut/db/DOOD-WS.html