But mine is not working quite yet.
Somehow simply copying videos doesn't seem to work.
Everything that I have tried ends up missing audio or only recording a few seconds or some other disaster.
So here is a YouTube list:
Benchmarking Linear Logic Theorems (Oct2020), talk at the Augusta Colloquium
Natal and Modal Type Theory (2015)
At the MIT Seminar talking about
relevance logic (July 2020)
Talking at FGV about
semantic parsing in Portuguese.
Talking in the SuperGroup about Lambek Dialectica categories
Talk at Logicos em Quarentena (February 2020) on Structural and Distributional Representations
Talking at IMPA on the First Meeting of Brazilian Mathematics Women (2019)
Sharing the
TUTORIA with Jaqueline
PARC Forum invited by Craig Eldershaw, 2009
No comments:
Post a Comment