Sunday, November 25, 2018

YouTube, oh youtube!

A short post just to collect some videos.

First the NASLLI Lecture Notes Introduction to Category Theory, The website of North American Summer school on Logic, Language and Information in Austin, Texas, 2012 is

Lecture 2
Lecture 3
Lecture 4
Lecture 5
Then a lecture on Modal Type Theory in Natal, at NAT@log

A PARC Forum Talk: Adventures in Searchland
Outreach effort:
CLiCS: CATEGORIAL LOGIC IN COMPUTER SCIENCE: WHERE DO WE STAND NOW? - Valeria de Paiva, Palo Alto Research Center, discusses Categorical Logica, a branch of Category Theory, a newer subfield of Algebra, established in the late forties/ early fifties by Eilengerg and MacLane. De Paiva will discuss the exciting possibilities for applcation in theretical computer science from a very personal perspective. M*A*T*H* Colloquium Lecture Series. 4 p.m. Weds., March 4. Darwin 103.

No comments:

Post a Comment