ETheCoM 2009 Session I: Semantics of Conceptual Models
Session Chair: Sven Hartmann

XML Machines.
Qing Wang and Flavio A. Ferrarotti
responder: Hui Ma

Towards a Theory of Conceptual Modelling. (Invited Talk, 60 minutes)
Bernhard Thalheim (Christian-Albrechts-University Kiel, Germany)

ETheCoM 2009 Session II: Reasoning about Conceptual Models
Session Chair: Flavio A. Ferrarotti

Assessing Modal Aspects of OntoUML Conceptual Models in Alloy.
Alessander Botti Benevides, Giancarlo Guizzardi, Bernardo F. B. Braga, and Joao Paulo A. Almeida
responder: Bernhard Thalheim

Is It Important to Explain a Theorem? A Case Study on UML and ALCQI. (Invited Talk, 60 minutes)
Edward Hermann Haeusler and Alexandre Rademaker (Pontifícia Universidade Catolica do Rio de Janeiro (PUC-Rio), Brazil)

ETheCoM 2009 Session III: Database Theory
Session Chair: Hui Ma

Toward Formal Semantics for Data and Schema Evolution in Data Stream Management Systems.
Rafael J. Fernández-Moctezuma, James F. Terwilliger, Lois M. L. Delcambre, and David Maier
responder: Alessander Botti Benevides / Giancarlo Guizzardi / Bernardo F. B. Braga / Joao Paulo A. Almeida

On Matrix Representations of Participation Constraints.
Sven Hartmann, Uwe Leck and Sebastian Link
responder: Flavio A. Ferrarotti

First-Order Types and Redundant Relations in Relational Databases.
Flavio A. Ferrarotti, Alejandra L. Paoletti, and José M. Turull Torres
responder: Sven Hartmann