Friday, July 14, 2017

Logic at LiCS2017



































Since there are no pictures of me talking at the Logic Mentoring Workshop (LMW) the mural at Keflavik Airport in Iceland will have to do.

I talked about "Weapons of Math Construction" (slides) and was pleased that after a certain amount of to-and-froing with the organizers, we were all happy with the event.

Also very happy with the quality of the talks in the "Women in Logic Workshop (WiL2017).

Not so happy with the discussion in the LiCS Business Meeting. As the SIGLOG chair Prakash Panangaden says in the SIGLOG news:

"At LICS in Reykjavik, Valeria de Paiva made a passionate plea for greater diversity in the LICS community. I think it is fair to say that not everyone was sympathetic. I don’t have the answers but certainly this issue cannot be ignored; it should be discussed widely.
I think it would be a great idea if people were to write to me or to the Editor so we can publish some of the opinions in the following two or three issues". 

I'm agreeing heartily with Prakash, everyone should write to him!

Thursday, July 13, 2017

Seven Different Valerias?





In some countries the legend is that cats have nine lives, in others  only seven.
Apparently Microsoft Academic (new version 2.0 just out!) thinks I am a cat.
At least there are seven Valerias de Paiva, when I search and they are all ME.

Check it out!
https://academic.microsoft.com/#/search?iq=%40Valeria%20de%20Paiva%40&q=Valeria%20de%20Paiva&filters=&from=0&sort=0
One of them has a paper with 144 other authors on Universal Dependencies, really cool.
https://academic.microsoft.com/#/detail/2229177960.

Thursday, June 15, 2017

Missing My Mentors

Oscar Wilde famously said: "To lose one parent may be regarded as a misfortune; to lose both looks like carelessness."

I wonder if the same applies to career mentors.


On the 5th June, I went to two memorial events, one at Stanford for Solomon Feferman, who died last year and another  one for Danny Bobrow who was my mentor and collaborator at Xerox PARC for almost nine years. Danny died on 20th March 2017. It hurts. It does get you down.

Also missing Grisha Mints!

Tuesday, June 6, 2017

Sisterhood in Logic....




The First Workshop for Women in Logic is about to happen in Reykjavik, Iceland.

The website is  Women in Logic (WiL) Workshop19th June 2017.

The program is looking great!


(this is the new banner that my special advisor Zach Sanchez  just produced, thanks Zach!)

the previous not optimal picture was


Friday, May 12, 2017

Universal Dependencies for Textual Inference

In February 2017 I gave a talk at Nuance's AI Lab about a small experiment that I did with Alexandre Rademaker and Fabricio Chalub, from IBM Research, in Rio de Janeiro.

We used the SICK corpus created by the COMPOSES project in Italy, (devised to downplay the difficulties of language understanding), together with Parsey McParseFace,  Google's self-declared most accurate model in the world, to create logical representations of the sentences in SICK.

I reasoned that with all the fanfare about the advances of neural nets in NLP, considering that the corpus is simplified on purpose, these representations should be accurate enough to allow us to do the inferences required. Unfortunately between small errors here and there and big errors in the disambiguation, this experiment did not work the  way I expected it to.

You can see the slides in slideshare. Since the disambiguation, using Freeling's version of personalized PageRank, didn't work at all, we have all the possible word senses from WordNet at the moment in the GitHub repository. Now I am thinking about disambiguation, but also thinking about the kinds of inferences that we want and don't want to make. This project was suggested by Danny Bobrow several years ago.


Tuesday, May 2, 2017

Hurwitz-Radon Transformations

Looking for something else I discovered that my masters' thesis had been put online by the Maths department of PUC. Yay!!!

Had to ask Noemi to download it for me, as it required a PUC login. (a few months back I had asked fedex to scan it for me, but they wanted 600 dollars, phew!)

My Master's supervisor Duane Randall is on the left, in the back of this very old picture.

Now I am planning to latex and translate it, as quartenions and octonions are still something I enjoy thinking about.

Friday, April 21, 2017

Among the Philosophers

 Last week I was in Seattle for the APA/ASL meeting. The APA (American Philosophy Association) is kind of new to me, I had never been to one of their meetings before.

The program for the sessions I was is in this blog post Association for Symbolic Logic at the Pacific APA | Richard Zach.   The picture was taken by Richard Zach, the organizer of the session.

Mine was a very short talk about the Lambek Calculus  and categorical models for it, using Dialectica categories. This is joint work with Harley Eades III, updating the old paper I talked about in Lambek Calculus and Dialectica Categories.

I had one very good question, on why do I not believe in the Lambek calculus as a way of modelling language. The answer is complicated and long, so it will be left for a later blog post. I have many good friends who love the Lambek calculus exactly for this application, so I have to be careful how I describe my issues. Anyways, I do love the Lambek calculus as a logical system and the slides for the short talk are in slideshare.