Incompleteness and Uncertainty in Information Systems: Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 1993 1994 · ENGLISH · PDF View details →
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 1993 · ENGLISH · PDF View details →