Events

 

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

 

Loading Events

Events for December 12, 2017

Events Search and Views Navigation

Find Events

Event Views Navigation

Events Search

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
+ Google Map

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