Thursday, November 1, 2018

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.

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   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.



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!!

Wednesday, October 10, 2018

Ada Lovelace Day 2018

Almost forgot about Ada Lovelace Day again! The interwebs seem to be forgetting too. With all the bad stuff happening in politics and all the accumulated work, caused by (very nice, all the same!!) being Invited Speaker at the Logic AI Summit in Luxembourg, no wonder.

Anyways, my hero figure this year is Professor Christine Paulin-Mohring, Professor Université Paris-Sud and INRIA Saclay - Île-de-France.
Prof Paulin-Mohring  is one of the people responsible for Coq, the famous French theorem prover and an expert on  automated theorem proving using dependent type theory. I have not, so far, recognized any of my heroes of Functional Programming, so this is about time, really. Happy Ada Lovelace Day, Christine!

Monday, September 3, 2018

Mirantão and Linear Dependencies

Mirantão, or actually the `Pensão Renascer' in Mirantão is very pretty.  Rustic, with delicious food, very nice people and landscapes to remind you of a Minas Gerais that only exists in the old songs of Milton Nascimento and Fernando Brant.

But Jornadas Mirantão is not about Club de Esquina nor about the world of Guimarães Rosa, re-inventing o sertão. Jornadas Mirantão are about logic and proof theory in beautiful places. So I talked about an old work with Torben Bra\"u ner that I would like to go back to. This is about using linear dependencies between formulas to describe precisely (and without the support of terms) the system called Full Intuitionistic Linear Logic. The slides are in slideshare and the technical report in Cut-Elimination for Full Intuitionistic Linear Logic. (with Brauner). Technical Report 395 from Computer Laboratory, University of Cambridge and BRICS, Denmark. May 1996.

Sunday, August 26, 2018

Playing Mathematician at ICM2018

I am just back from Niteroi, Brazil, where I was Invited Speaker at Logic Satellite event for the International Congress of Mathematicians 2018 (ICM2018) co-organised by the Sociedade Brasileira de Lógica and  DLMPST/IUHPST. This

Division for Logic, Methodology, and Philosophy of Science and Technology

is an alphabet soup that no one can remember properly. The ICM is the  main meeting of  Mathematics around the world, where the Fields Medal, sometimes called the Nobel of Mathematics, is presented every four years. (a bit like the Olympics, really.) I had meant to go for the whole thing, since I have never been to one of these before and since this is the first time it has happened in the Southern Hemisphere, but ended up only being able to go for the Logic event.

The picture of me  comes from Twitter, courtesy of Benedikt Lowe, the Secretary of  the DLMPST 
and one of the main organizers of the logic satellite event. Thanks Benedikt!
I  talked about Relevant Dialectica Categories, which maybe I should talk about in the Nuance NAIL seminar too.

It was very nice of the people in Brazil (especially Bruno Lopes and Samuel Gomes da Silva) to invite me and pay for my trip! and very nice of my manager Charles Ortiz to authorize my PTO. Thank you!

Saturday, August 4, 2018

Invited Talks are Fun. Maybe.

I like talking. About work, about politics, about friendship, chit-chat or deep-issues, all are welcome and part of my repertoire.

But yeah, it's especially nice when people ask you to talk about your work. You don't have to submit something and wait for others to decide whether they like it or not, whether they think it's important or not. It's your invited talk, you can do whatever you want. Or so I say.

I feel very lucky to have been invited to talk about my work in a series of occasions. I have a very non-linear working career, with lots of  chop and changing along the way, which, I hope, makes for interesting talks. But clearly also means I don't have all the accolades of the profession. I am, in some sense, still a junior, still hungry to do more work, still not established enough. sigh..

But I digress: the reason I wanted to write this blog post was to remind myself of the other invited talks I've given, to make sure the message I really think it's important is not getting lost in the middle of my own confused mind. That place is a jungle, everything gets lost in there.

I notice that in the curriculum vitae in my webpage from 2016, I kind of list the following invited talks:
  1. Weapons of Math Construction, LICS Logic Mentoring Workshop,  Iceland, 2017.
  2. Intuitionistic Modal Logic: a personal view, Stanford Logic Seminar, Stanford, CA, USA, 2016
  3. Modal Type Theory, Logical and Semantic Frameworks with Applications (LSFA) 2015, Natal, Brazil.
  4. Lean Logic for Lean Times: Varieties of Natural Logic, Conference on Computing Natural Reasoning (CoCoNat), Bloomington, Indiana, US, 2015
  5. Lean Logic for Lean times: Entailment and Contradiction (ECD) Revisited, 4th CSLI Workshop on Logic, Rationality & Intelligent Interaction, Stanford, CA, US.
  6. Intuitionistic Modal Logic: 15 years later, Berkeley Logic ColloquiumBerkeley, CA, USA, 2015.
  7. Edwardian Proofs for Futuristic Programs and Personal Assistants,  Plenary Talk, North American Annual Meeting of the Association for Symbolic Logic, Boulder, CO, USA, 2014.
  8. Dialectica categories’ surprising application – mapping cardinal invariants, XV Latin American Symposium on Mathematical Logic (SLALM 2012), Bogotá, Colômbia, 2012
  9. Edwardian Proofs for Futuristic Programs, Invited Plenary Talk at Infinite Possibilities Conference, IPC2012, Baltimore, Maryland, 2012.
  10. A Bridge not too far, SRI AI Seminar, Menlo Park, CA, 2010. 
  11. Fibrational Versions of Dialectica Categories.Talk at Stanford Logic Seminar, 2010
  12. CLiCS: Categorical Logic in Computer Science, Talk at  M*A*T*H Colloquium, Sonoma State University, 2009.
  13. Adventures in SearchLand, PARC Forum, Palo Alto, CA, 2009
  14. Constructive Hybrid Logics and Contexts, Hybrid Logic, Seattle, WA, 2006.
  15. Dialectica Categories: a survey Logic Lunch Stanford, 1999.
  16. Explicit Linear Substitutions,  WoLLIC Sao Paulo, Brazil,  1998. 

Some are more prestigious than others.
I am very proud of having spoken at Infinity Possibilities and the two ASL meetings (Boulder and Bogota). and also especially of the Berkeley Logic Colloquium, where I wanted to ask autographs of the guys in the audience: William Craig, Dana Scott, Paolo Mancuso, John Steel,...
But the hardest was definitely talking about Dialectica categories to Sol Feferman and Grisha Mints when I first arrived in the Bay Area. I miss them!