videos.txt

My talks on YouTube

From youtube search (Oct 2022)

1. "Categorical Explicit Substitutions" Topos colloquim https://www.youtube.com/watch?v=Z_gu1r7LNyc&t=7s

2. "Dialectica Categories" Talk at BACAT meetup, December 5, 2020 https://www.youtube.com/watch?v=GRdrN6L3UCc

3. "Natural Language Inference: for humans and machines", Berkeley Seminar,  Jan 2022 https://www.youtube.com/watch?v=zCf99I7VMR0

4. "Categorical Models of Explicit Substitutions", University of Brasilia, Feb 2021, https://www.youtube.com/watch?v=w4tTdai9mTg&t=2s

5. "Dialectica and Kolmogorov Problems", Finding the Right Abstractions Workshop, May 2021, https://www.youtube.com/watch?v=LxhOSVoyar8

6. "Relevant Dialectica Categories", MIT Seminar, Aug 2020, https://www.youtube.com/watch?v=HnxUYb4FGzY

7. "Going Without: A Linear Modality and its Role", MSFP April 2022, https://www.youtube.com/watch?v=7uTsihTketw&t=10s

8. "Dialectica Categories for the Lambek Calculus", Logic SuyperGroup, july 2020, https://www.youtube.com/watch?v=6mD2UbK2eNc

9. "Dialectica Petri Nets", InterCats Seminar, March 2022, https://www.youtube.com/watch?v=xysbkS3Jx24

10. "Constructive Modalities", Australasian Association for Logic (AAL) Conference Tutorial, June 2022, https://www.youtube.com/watch?v=xysbkS3Jx24

11. "GraphKR Semantic Parsing for Portuguese", Oct 2020, https://www.youtube.com/watch?v=lhQP-I2EBB4

12. "Benchmarking Theorems of Implicational Linear Logic", CS Colloquium Augusta University, Oct 2020, https://www.youtube.com/watch?v=rgJES5O6THY

13. Entrevista com "Emílias Armação em Bits", Feb 2021, https://www.youtube.com/watch?v=_VpbSRsxLb


From Youtube search (April 2020):

1. "Constructive Modal Logic", NatLog Natal, RN, Brazil (2015) https://www.youtube.com/watch?v=PNuWDsc3h1A  

2. "Adventures in Searchland"  PARC Forum, Palo Alto, 2009 https://www.youtube.com/watch?v=yxkHAQitTdg 

3. "Lectures on Category Theory",  NASSLLI (2012), Austin, Texas

* https://www.youtube.com/watch?v=QsaXHsbn4_o Lecture 4
* https://www.youtube.com/watch?v=pH0haHFiWLU Lecture 1
* https://www.youtube.com/watch?v=TEO-Qc4a6Qc Lecture 2
* https://www.youtube.com/watch?v=7X7kV-UoRTU Lecture 3
* https://www.youtube.com/watch?v=zfZOiDr0Mxc&t=54s Lecture 5

4. "Between a rock and a hard place", Sociedade Brasileira de Logica (SBL), Logicos em Quarentena 2020, https://www.youtube.com/watch?v=O4zSTV-swF0 

5. "Tribute to Sol Feferman", Wollic 2016, https://www.youtube.com/watch?v=h8pfsLzWjJY&t=57s 

6. Encontro Brasileiro de Mulheres Matematicas (part 2), 2019 https://www.youtube.com/watch?v=Zn4Dlt-mfGw&t=1601s  

Other talks that need watching:
1. https://www.youtube.com/watch?v=8T-Km3taNko David Jaz Myers
2. https://www.youtube.com/watch?v=iKh1Lq8FicE Landry
3. https://www.youtube.com/watch?v=wJIpI0Fj6Hg Spivak on databases
4. https://www.youtube.com/watch?v=JUqKlTQ3zsY Vicary on C*-algebras