Events

 

If you have an event you would like posted, please contact whitney@cse.yorku.ca

 

Loading Events
Find Events

Event Views Navigation

Events for December 12, 2017

Day Navigation

2:00 pm

EECS Seminar: An Algebra of Modular Systems and a Logic of Information Flows

December 12, 2017 @ 2:00 pm - 3:00 pm
3033 Lassonde Building, York University
North York, Ontario M3J Canada

An Algebra of Modular Systems and a Logic of Information Flows Prof. Evgenia Ternovska Dept of Computing Science Simon Fraser University Reusing components and services and linking data is important in Computer Science. The essence of our proposal is that we can use classical first-order logic as a versatile language for applying and combining modules […]

Find out more »
+ Export Events

Subscribe to our mailing list


Subscribed As