Centre for Logic and Information


	2012-12-08 StFX Profs’ Research featured in NSHRF Annual Report 2012-11-01 CLI Researchers Present Ideas and Vision 2012-09-19 CLI Welcomes new Post-Doc to Team 2012-09-15 CLI Researchers Continue Momentum 2012-07-15 CLI Researchers Present to International Audiences Media Archive

	Seminars Periodically members from the StFX Center for Logic and Information will conduct seminars, either for Centre personnel or for the Department of Mathematics, Statistics, and Computer Science of St. Francis Xavier University. The seminar subjects pertain to past, current and future research conducted by the presenter(s). Dr. Ji Ruan. Reasoning about Multi-Agent Systems, Annex 23, StFX University, July 8th, 2009. Dr. Cristian Cocos. Relation Ontology, Annex 23, StFX University, July 8th, 2009 Cristian Cocos. Ontology 104 Centre for Logic and Information. June 26, 2009. Cristian Cocos. Ontology 103 Centre for Logic and Information. June 22, 2009. Cristian Cocos. Ontology 102 Centre for Logic and Information. June 12, 2009. Cristian Cocos. Ontology 101 Centre for Logic and Information. June 5, 2009. Ji Ruan. Model Checking Knowledge Dynamics of Multi-Agent Systems. Centre for Logic and Information. May 29, 2009.[abstract] Ji Ruan. Solving Sum-and-Product Riddle Using Public Announcement Logic. Centre for Logic and Information. May 22, 2009.[abstract] Hao Wang. Towards Distributed Model Checking of Real-time Systems. Centre for Logic and Information. Mar 20, 2009.[abstract] Hao Wang. Toward Fairness in Electronic Exchange. Centre for Logic and Information. Mar 31, 2008.[abstract]

Seminars