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!

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 Colloquium, Berkeley, 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!

Old Technical Reports

Nice to find this page from the Computer Lab in Cambridge with my old technical reports, neatly listed, with dates and sizes. This is very helpful, since I was trying to find the original version of the work on Logical Dependencies in Linear Logic, with Torben Brauner.

My Amazon Author page also looks nice, I think.
The only bad thing is the price of the book for Prawitz.
And the stuff not done, yet.

But my page of publications while at PARC disappeared completely. Even from the Wayback Machine, sniff, sniff.

Just as well that Susie Mulhern, a friend that still works for PARC Communications, I think, was able to produce the picture below. I need to do something about it.

Moon over Mongolia and Lexical Resources?

Yep, one has nothing to do with the other. It's just a very pretty picture. I love the fact that the person who took it decided to tell us it's Mongolia. I want to visit China and maybe Mongolia too. Soon. But this post is about Lexical Resources for Portuguese.

It is an awful lot of work to deal with linguistic data. (ok, it can a bit easier than doing mathematics, as everything you do, gets you more data, so it's worth doing it...unlike maths when sometimes it really does not work. ) But we do it! And at least you can look back and see, not only the huge number of things you still want to do but the fairly large number of works you have already done.

This was the spirit of the note "OWN-PT: Taking Stock", which we submitted to NLCS 2018. Alexandre Rademaker gave the talk and had his own slides, which are already the FLoC site. But I produced mine first, so while we think about what to do next and how here they are.