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.

 

Thanksgiving Break

The madness of the holidays is about to hit us. Where did the year  go?

Sure, there was a lot of travelling this year. In May we went to Oslo, in June we went to New Orleans for NAACL, in  July we were in Oxford for WiL/NLCS/Linearity as part of FLoC, in August I was in Brazil for the associated ICM meeting and in September I was in Luxembourg for the Logic AI Summit. phew! Nuance only gives me one paid conference a year, but I managed to ask them to pay for  the most expensive plane ticket (Oxford), and the most expensive registration fees (NAACL), and all was good.

So lots of talking, not so much writing. Thus when Lyn and Steve were visiting last Sunday and Steve was asking about my theory that writing papers should be just like shipping code (you just do it, no matter how bad the code is, the next week you correct it), I had to confess that the theory wasn't working very well, recently. You see, the theory requires collaborators also happy to take a dive in their reputations, in a bid to get readers... oh well, we do what we can.

But life intervenes and many of  the so-called small stuff can take a lot of time and disposition. Like totalling the car on the way to the airport. It was the best accident that someone could have had: the car was completely destroyed and I will confess that I thought this was it, the end of the film for me. Maybe this is what everyone who has an airbag explode on them thinks. Anyways two days later I was again in the same spot, in an uber to the airport, going to Luxembourg. And Dick even managed to make his original flight to Nebraska, yay! but it did leave a bitter taste in my mouth. Am I living my life right?  Have I got all my papers in order? What should I be doing instead? Hence this post with the picture of the car, so that I don't forget...

Vardi's "How We Lost the Women in Computing"

A bit old by now, but  relevant still.

Moshe Vardi is a  Professor of Computer Science at Rice University, United States, who specializes in Databases. He's also a long time friend. He just penned this for the Communications of the ACM Magazine, of which he was Editor-in-Chief for quite a few years.
https://cacm.acm.org/magazines/2018/5/227192-how-we-lost-the-women-in-computing/fulltext

A busy summer

This post was written a while back, but never published..

My first NAACL-HLT

 

So I was impressed by the amount of interesting work I saw at NAACL this year. This was my first NAACL-HLT, but I have done quite a bit of reviewing this year (for ACL and  Coling), so it was clear that  there was a lot to hear in New Orleans.

I went because I wanted to talk to my young collaborators, Katerina Kalouli and Livy Real, who were presenting work, related to our  joint work.

Livy presented  work on creating a version of the SICK corpus in Portuguese as a poster in the workshop Widening NLP. The program in http://www.winlp.org/winlp-2018-workshop/accepted-papers/   says

• Building a NLI Corpus for PortugueseLivy Real, Valeria dePaiva, Bruno Guide, Bruna Thalenberg, Cindy Silva, Guilherme Oliveira Lima, Ana Rodrigues, Beatriz Albiero, Rodrigo Souza and Igor de Camargo e Souza Câmara

 Katerina and Dick Crouch presented work on GKR: the Graphical Knowledge Representation for semantic parsing and Named Graphs for Semantic Representation. This very interesting work is related to some of my work on KIML (Knowledge and Information Management Logic).

I have met and talked to several people that I hadn't seen in years, which was nice, and New Orleans was amazing! I also met Ben van Durme, from John Hopkins University NLP group, for the  first time. Finally my friend Marilyn Walker was the overall chair person of the conference, which was also very nice.

 

Anniversary!!!

Time flies. Looking at the program of the logic conference SBL - Brazilian Logic Society :: Events / WorkshopSBL2018 I asked my friend Samuel Gomes da Silva for his slides on

The Axiom of Choice and the Partition Principle from Dialectica Categories

and what was my surprise to see  this slide...

As we say in Portuguese, 'quem tem amigos tem tudo'. Many thanks Samuel Gomes da Silva!!