Friday, August 23, 2019

Brazil-France Mathematics Meeting

Samuel Gomes da Silva and Elaine Pimentel (together with Boban Velickovic) organized the Mathematical Logic Special Session of the First Brazil-France Mathematics meeting at IMPA in July. I went and talked about our library of propositional intuitionistic theorems, described in
The ILLTP Library for Intuitionistic Linear Logic
C Olarte, V de Paiva, E Pimentel, G Reis
arXiv preprint arXiv:1904.06850

Lots of interesting conversations in the meeting. All the slides of the meeting were collected  and can be found in this Google drive folder. Other mathematical logic meetings associated with the UFBA are described here.

Thursday, August 15, 2019

Adventures in SearchLand, rediscovered

So I found the video of my PARC Forum in 2009! yay!
It's now in YouTube in my channel (doesn't this sound funny?), at, YouTube informs me.

But this took quite a while, including finding an old computer with DVD reader, finding a charger that's by now two models behind,  downloading rippers and waiting forever for YouTube to decide to accept my video. oh well, it's done now.

The slides have been in SlideShare since 2012, and the real paper is still to be written. of course.

The pictures have nothing to do with the talk. They're just to remind me that we can still be silly and have some fun. Ana is still the best!

Saturday, August 10, 2019

Summer 2019 is over. or almost over.

 I took this picture before the beginning of the Encontro de Mulheres Matematicas, in IMPA, Rio de Janeiro, 27 July 2019. The excitement is palpable, we're all ready to go, all eager to show that Mathematics -- in all its diversity-- is our passion.

I had a wonderful time and made several new friends. I was also in awe of the ability of my new friends, they are so competent, so  able to communicate their mathematics, I felt a tad jealous. I wish I was that competent at their age. This was a great way to close this Summer.

I think it was even worth missing Eric's graduation for it. He promised me that there will be another graduation soon enough. For the time being I only have the photos and the short video that Richard took. The pictures of Cornwall are lovely!

Meanwhile this is a picture of the end of the meeting on Women Mathematicians. It was a huge success, people came from everywhere in Brazil for the meeting.
One girl had to go 24 hours by boat, to get to Manaus and then fly in!! This is dedication beyond the call of duty.

Now I just read the column of Marcelo Viana, director of IMPA after the meeting, "What women want after all" is a rough translation. Amazing the level of lack of understanding of some mathematicians. To be absolutely clear, I don't mean lack of understanding on Viana's part, but of the people he quoted. Goodness me.