W.MacCaull, F.Rabbi, R.Faruqui Next Generation Workflow and Data Management Tools with Applications to Health Services Delivery National Research Council, Fredericton, 2012.
W. MacCaull Science into Software, Next Generation Tools for Information Communication and Process Management Grand Rounds: St. Martha’s Hospital, Antigonish, 2011.
F. Rabbi, W. MacCaull, Workflow Management for Health Care Processes Meets Formal Verification, Workshop Slide Presentation, Software Certification Consortium: Certification Methods for Safety-Critical Software, CASCON 2010, Toronto, ON (Nov 2010)
H. Jewers, C. Kuziemsky, W. MacCaull, B. Appleby, Neal Foshay, K. Miller, Technology and Palliative Care: Social, Cultural and Ethical Implications in a Rural setting, Poster Presentation, International Congress on Palliative Care, Montreal, (October 2010).
M. Z. Islam and W. MacCaull, A framework for automated verification of workflow using timed temporal logic in a distributed memory enviornment, APICS Math/CS Conference, Graduate Session, Halifax (2010).
A. S. Mashiyat and W. MacCaull, Verifying Time Constrained Workflow, Poster Presentation, MITACS / CORS 2010 Annual Conference, Shaw Conference Centre, Edmonton, Alberta (2010).
H. Jewers, C. Kuziemsky, W. MacCaull, J. Norgrove, K. Miller, Towards a Hospice Palliative Care Minimum Data Set: Clinical, Research, and Policy Implications. Proffered presentation, Canadian Hospice Palliative Care Association Conference, (October 2009).
J. MacIsaac and W. MacCaull, Creating a Seamless, Integrated Continuum of Care For Our Senior Population through Careflow , Poster Presentation, 15th Qualitative Health Research Conference, Vancouver, (2009).
N. Leyla, A. Mashiyat, H. Wang and W. MacCaull. Workflow Verification with DiVinE, Work-in-progress Report, 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC), Eindhoven, The Netherlands, November (2009).
A. Mashiyat and W. MacCaull, An Automated Translator from Petri Nets to Model Checkers, APICS Math/CS Conference, Graduate Session, Halifax (2009). Best Graduate Poster (Second Place)
N. Leyla and W. MacCaull, Pattern Based Workflow Verification in a Distributed Environment, APICS Math/CS Conference, Graduate Session, Halifax (2009).
R. Embree and W. MacCaull, A Primer on the Role of Logic in Enhancing Health Care Processes, APICS Math/CS Conference, Undergraduate Session, Halifax (2009).
K. Miller and W. MacCaull. Next Generation Careflow Management Systems, MITACS 2009 Annual Conference (Poster Presentation), New Brunswick (June 2009).
K. Miller and W. MacCaull. Toward Careflow Management Systems, Workshop on E-Health: Towards System Interoperability through Process Integration and Performance Management, held in conjunction with 4th International Montreal Conference on e-Technologies (MCeTech 2009), Ottawa (May 2009).
H. Jewers, N. Foshay, W. MacCaull, J. Norgrove, and K. Miller. Involving Palliative Care Team Members in Designing Information Technology for Assessment, Communication, and Information Management for Patient-Centered Palliative Care, International Symposium on the Terminally Ill (2008).
C.Stewart, W.MacCaull L.MacDonald, K.Saulnier, S.Atkinson, M.Gorman, Secondary Stroke Prevention through evidenced based TIA protocol, Annual Nova Scotia Conference on Heart and Stroke, 2008.
H. Jewers, W. MacCaull, B. Appleby, L. Hallstrom, M. MacDonald, A. Tien, Patient Centred Workflow for Hospice Palliative Care in GASHA, Poster Presentation, Nova Scotia Association for Hospice Palliative Care Association Annual Meeting, May 2007.
W. MacCaull, Formal Methods Meets Clinical Guidelines, Dalhousie U. (January 2009).
W. MacCaull, New Directions in Mathematical Research II 2 Years Later, CMS/Fields Conference on Connecting Women in Mathematics Across Canada, Ottawa (2008).
W. MacCaull, Formal Method Meets Health Care, McMaster U. (November 2008).
CLI, An Analysis of the Current Workflow Characteristics of Palliative Care in GASHA, StFX Business Information Systems, Supervised by N. Foshay, Report presented to GASHA (April 2008).
W. MacCaull, Recent Research Initiatives in Health Informatics at the StFX Centre for Logic and Information, Dalhousie U. (November 2007).
W. MacCaull, New Directions in Mathematical Research, CMS/Fields Conference on Connecting Women in Mathematics Across Canada, Toronto (2006).
W. MacCaull, Models for Paraconsistency, International Conference in Preservationism and Paraconsistency, Halifax (2006).
J. Dallien, W. MacCaull and A. Tien, Verification of Dynamic Workflow for Health Care, FM06 - International Conference on Formal Methods, (Poster Presentation) (2006).
H. Jewers & W. MacCaull, Modeling the CHPCA Model for Hospice Palliative Care - A Careflow Approach, Intern’l Sym. on the Terminally Ill, (Poster Presentation) Montreal (2006).
K. Miller and W. MacCaull, Verification of Agent-based Systems, APICS Math/CS Conference, Graduate Session, Sydney (2006).
F. Imam and W. MacCaull, Merging Ontologies using Paraconsistent Logics, APICS Math/CS Graduate Session, Sydney (2006).
H. MacCallum and W. MacCaull, Bilattices and Paraconsistency, APICS Math/CS Conference, Undergraduate Session Acadia (2005).
W. MacCaull, Reaching Out to Industry, StFX Research and Development Forum: Connecting Industry and University Research (2005).
J. Dallien and W. MacCaull, The Model Checker Spin, APICS Math/CS Conference Undergraduate Session, Halifax (2003).
R. Little, W. MacCaull, and B. Spencer, Automated Reasoning for Algebras of Binary Relations, APICS Math/Comp Sci Conference Proceedings (October 2001) 1-8.
K. Miller, W. MacCaull and T. Swift, Modeling and Verifying the TMZ protocol with Timed Automata, Centre for Logic and Information Technical Report, CLI-TR 1-2008 (2008)
J.Dallien and W.MacCaull, Automated Theorem Proving with RelDT,Workshop: Third Relation Day at Brock U. (September 2005).
W.MacCaull and D.Vakarelov, Lattice-based Paraconsistent Logic, Eighth International Seminar for Relational Methods in Computer Science (RelMiCS 8), eds I.Duentsch and M.Winter, St.Catharines, Canada, (February 2005) 155-162.
J. Dallien and W. MacCaull, A Linear Temporal Logic Recognizer for Stutter-Invariance, In Electronic Proceedings: APICS Computer Science Conference, St.John, NB (October 2004) 1-12.
W.MacCaull and E.Orlowska, A Calculus of Typed Relations, in: 7th Seminar RelMiCS , 2nd Workshop Kleene Algebra, eds R. Berghammer and B. Moller, Malente, Germany (May 2003) 152--159.
W. MacCaull, A logic of typed relations and its applications to relational databases, Invited Speaker for (The First) Relation Day at Brock U. (September 2002).
W.MacCaull,
Model-Checking
over Logics with Non-classical Negations,
Invited Speaker, Special Session on Category Theory, Summer Meeting
of the Canadian Mathematical Society, Quebec City (June 2002)
(a
family emergency prevented me from delivering this paper)
W.MacCaull, Introduction to Relational Semantics and Relational Proof Systems, Department of Computer Science, Brock U. (September 2002).
W.MacCaull, Plenary Speaker, Title TBA, RelMiCS 6, Tilberg, The Netherlands (October 2001).
W.MacCaull, Introduction to Relational Semantics and Relational Proof Systems, I and II, Formal Methods Reading Group, University of Toronto (September and October 2001).
W.MacCaull, Relational Proof Systems, The Alfred Tarski Centenary, Warsaw (May 2001).
W.MacCaull and E. Orlowska, Relational resolution, in Theory and Applications of Multiple Valued Logic, Proceedings of the Workshop accompanying the 31st IEEE International Symposium on Multiple-Valued Logic, Warsaw (May 2001) 53-56.
W.MacCaull, Foundations for Relational Deduction, University of New Brunswick (June 2000).
W.MacCaull, Logics for Information Flow, Mt Allison University (November 1998).
W.MacCaull, A relational look at functional dependencies and association rules, Proceedings of RelMiCS4, Fourth International Seminar for Relational Methods in Logic, Algebra and Computer Science, Warsaw, Poland (1998) 159-164.
G.Allwein and W.MacCaull, Duality for complete lattices, Technical Report, Indiana University (1998).
W. MacCaull, Generalized dependencies for Information Systems, contributed paper, Spring Meeting of the Association of Symbolic Logic, Toronto, Canada, May 1998; Abstract: Bulletin of Symbolic Logic, V. 4 (1998) 452.
W.MacCaull, Information Logics, contributed paper, Celebration of Canadian Women in Mathematics, Statistics and Computer Science, U.Waterloo, Waterloo, Ontario (May 1998).
W.MacCaull, Grammar logics and deduction, Annual Meeting of the Society of Exact Philosophy, Athens, Georgia (May 1998).
W. MacCaull, Information Logics, Applied Logic Seminar, Indiana University, Blooomington, IN (February 1998).
W.MacCaull, Relational tableaux for tree models, language models and information networks, contributed paper, Winter Meeting of the Association of Symbolic Logic, Baltimore, Maryland, January 1998. Abstract: Bulletin of Symbolic Logic, V. 4 (1998) 223.
W.MacCaull, Relational calculi for information logics, Institute of Logic and Philosophy of Science, University of Leipzig, Leipzig, Germany (November 1997).
W.MacCaull, Tableaux for categorial grammars, Department of Philosophy, Jagiellonian University, Krakow, Poland (November 1997).
W.MacCaull, Relational tableaux for tree models, language models and information networks, Department of Mathematics and Informatics, Adam Mickiewicz University, Poznan, Poland (November 1997).
W.MacCaull, Deduction for tree models and language models, via ternary relations, Invited Speaker: Annual Meeting of the Polish Association for Logic and Philosophy of Science, Warsaw, Poland (November 1997), a version of this paper apeared in the electronic newsletter Mathesis Universalis: http://www.pip.com.pl/LogBank
W.MacCaull, Relational semantics and deduction II - substructural logics, Indiana University Logic Group Seminar, Bloomington, IN (October 1997).
W.MacCaull, Relational semantics and deduction I - an overview, Indiana University Logic Group Seminar, Bloomington, IN (September 1997)
W.MacCaull, A proof system for linear and other substructural logics via ternary relations, Atlantic Algebra and Category Theory Seminar, Dalhousie U., Halifax, NS (February 1997).
W.MacCaull, Relational deduction for substructural logics via ternary frames, Proceedings of RelMiCS3, Third International Seminar for Relational Methods in Computer Science, Hammamet, Tunisia (January 1997) 157-165.
W.MacCaull, Kripke semantics for substructural logics with weakening and exchange and no contraction, contributed paper: CT95, 1995 International Conference on Category Theory, Halifax, Canada (1995).
W.MacCaull, Relational semantics for HBCK, contributed paper, 1994 Winter Meeting of the CMS, McGill University, Montreal, Canada, Abstract: CMS Notes, V. 26 No. 9 (1994) 5.
W.MacCaull, Substructural logics, Plenary Lecture, APICS Joint Mathematics and Computer Science Conference, 1994. Extended abstract: Proceedings of the APICS Computer Science Conference, Acadia University (October 1994).
W.MacCaull, Model theoretic aspects of substructural logics, Dalhousie U. Mathematics Colloquium, Halifax, NS, Canada (March 1994).
W.MacCaull and L.Keliher, The search for finite residuated algebras, St. Francis Xavier Department of Mathematics and Computing Sciences Technical Report, 94-1 (1994) 1-38.
W.MacCaull, Letter to the Editor: Response to the Underground Guide To NSERC, CMS Notes, V. 26 No. 6 (1994) 16-18.
W.MacCaull, Tableaux method for residuated logic, contributed paper, Spring Meeting of the Association of Symbolic Logic, Toronto, Canada, May, 1993. Abstract: Journal of Symbolic Logic, V. 59 (1994) 348.
W.MacCaull, Tableaux method for residuated logic, contributed paper, 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August, 1991. Abstract appeared in the Volumes of Abstracts of the International Congress of Logic, Methodology and Philosophy of Science. (Due to illness this paper was presented by title and abstract only.)
W.MacCaull, Residuated logic and semantic tableaux I, II, III, IV; Four Lectures Presented to the Dept. of Mathematics, U. of Pennsylvania, Philadelphia, PA, USA (March-April 1991).
W.MacCaull, Introduction to fuzzy relational database theory, contributed paper, APICS Math Days Special Session on Algebra, Mt. Allison University, Sackville, NB, Canada (October 1989).
W.MacCaull, Logic today, contributed paper, APICS Math Days, Sir Wilfred Grenfell College, Cornerbrooke, NF, Canada (October 1988).
W.MacCaull, On the transfer of L-structures in sheaves over complete Heyting algebras, Atlantic Category Theory Colloquium, Dalhousie U., Halifax, NS, Canada (March 1987).
W.MacCaull, Hilbert's Nullstellensatz revisited, contributed paper, Conference on Category Theory, Number Theory and Set Theory, Union College, Schenectedy, NY, USA (June, 1986).
W.MacCaull, Sheaf representations and positive definite functions over regular f-rings, Atlantic Category Theory Colloquium, Dalhousie U., Halifax, NS, Canada (November 1985).
W.MacCaull, Applications of intuitionistic logic to von Neumann regular Rings, Atlantic Category Theory Colloquium, Dalhousie U., Halifax, NS, Canada (October 1985).
W.MacCaull, Applications of logical and sheaf theoretical methods to von Neumann regulas rings, Montreal Category Theory Colloquium, McGill U, Montreal, QU, Canada (March 1983).
W.MacCaull, Applications of coherent and infinitary intuitionistic logic to von Neumann regular rings, McGill Technical Report, Department of Mathematics and Statistics, No. 83-16, (1983) 1-50.
W.MacCaull, Relational tableaux via ternary frames for logics without contraction, St. Francis Xavier U. (1996).
W.MacCaull, The transfer of polynomial rings between toposes, St. Francis Xavier U. (1989).
W.MacCaull, Preservation theorems for l-formulas by functors of sheaves over boolean spaces to other toposes, St. Francis Xavier U. (1988).
W.MacCaull and E.Schuegraf, Fuzzy Logic and Artificial Intelligence, Joint presentation for the St.F.X. Math/CS Seminar (December 1996).
W.MacCaull, Approximate Reasoning. Invited lecture for the St.F.X. Science Forum Lecture Series (1993).
W.MacCaull, Tableaux Method of Reasoning. A Presentation for the St.F.X. Summer Science Seminar Series (1992).
W.MacCaull, Algebraic Aspects of Approximate Reasoning. A lecture for the St.F.X. Math/CS Seminar (1991).
W.MacCaull, Deviant Logics and Tense Logicians. A Presentation for the St.F.X. Summer Math/Science Seminar (1988).
W.MacCaull, Applications of Non-Classical Logics. Invited lecture for the St.F.X. Philosophy Society (1988).
W.MacCaull, Some Solutions of Ancient Problems in Geometry using Modern Algebra. St.F.X. Summer Math Seminar (1986).
W.MacCaull, What is Pure Mathematics? (A discussion of the logicist, formalist and intuitionist points of view). A Lecture for the St.F.X. Math/CS Seminar (1986).