videos
If the speaker consents, meetings will be recorded and posted on youtube
Speaker : Noson Yanofsky
Date : May 7 @ 2pm
Title : Theoretical Computer Science for the Working Category Theorist
Speaker : James Fairbanks
Date : April 30
Title : Categorical Modeling Languages: Bringing ACT to Scientific Computing
Speaker : Steve Huntsman
Date : April 23, 2020
Title: Categorical imperatives for designing data structures, algorithms, and system architectures
Speaker : Saul Hilsenrath
Date : April 16, 2020
Title : Infinity Toposes and Integrable Physical Systems
Speaker : Noah Chrein
Date : April 9, 2020
Title : Reasoning with Hierarchical Ontologies