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  http://nasslli2012.com/courses/introduction-to-category-theory.

Lecture 1 https://www.youtube.com/watch?v=pH0haHFiWLU

Lecture 2 https://www.youtube.com/watch?v=TEO-Qc4a6Qc

Lecture 3 https://www.youtube.com/watch?v=7X7kV-UoRTU

Lecture 4 https://www.youtube.com/watch?v=QsaXHsbn4_o

Lecture 5 https://www.youtube.com/watch?v=zfZOiDr0Mxc

Then a lecture on Modal Type Theory in Natal, at NAT@log

https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/

https://www.youtube.com/watch?v=PNuWDsc3h1A

.

A tribute to Sol Feferman  https://www.youtube.com/channel/UCm-DW2_9XjBe2BwXrkIjxFg

A PARC Forum Talk: Adventures in Searchland

https://www.parc.com/parc-forum/adventures-in-searchland/

Outreach effort:

https://dpi.wi.gov/news/dpi-connected/math-careers-awareness 

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. http://www.sonoma.edu/math/nsf/colloquium.shtml.