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)The deadline for submissions is June 1, 1995.
University of Magdeburg, Institute for Technical Information Systems
P.O.Box 4120, D-39016 Magdeburg, Germany
Further Information: conrad@iti.cs.uni-magdeburg.de, or see the WWW page .