When I first had issues with Google sites, Slideshare turned out to be an easy place to add pdfs of slides to (btw I still have issues with Google sites, still need to find a few hours to try to debug what's wrong with my old webpage!)
I wish I had made more use of slideshare all along, as by now I have no idea where most of my powerpoint talks are. I hope they are somewhere between my dropbox, my Google Drive storage, my Apple storage, or any of the four hard drives sitting on my desk. But yes trying to find anything at all in all these possible places is quite hard. While the Slideshare stuff is easy to find.
I can see that this year, so far, I have given five talks -- actually I have given 6, as I have forgotten to add the slides for "Logicians in Quarantine", as they were very similar indeed to the ones for SRI. I can see that I need some change in my beamer style -- which is lovely and matches well my favorite PowerPoint template, so I can import between the platforms. But you can have too much of a good thing like pale purplish-blue! and I swear that it took me much more than 3 hours to get those slides uploaded. because one deck had a glitch and insisted on failing its upload over and over again.
Anyways some effort will be happening here to recover the talks and the writings associated with them. Because, yes, I am failing miserably this year on my "just ship it" approach to paper writing. We're at the end of July, so I needed to have 7 papers submitted (yes, we cannot guarantee acceptance, but we can make sure that submission is done!). Instead, I have one paper to appear with Paul Tarau and one submitted with Samuel Gomes da Silva. Definitely not good! need to change that asap.
Joao Marcos gave the first talk "On classes of structures axiomatizable by universal d-Horn sentences and universal positive distinctions". The seminar seems to be working extremely well, with all sorts of interesting talks. These are recorded, so if something happens, you can always watch it later on.
The seminar is now part of the Logic SuperGroup another splendid idea! many kudos to Shay Logan, Shawn Standefer, and many others for the brilliant implementation of the idea of connecting all the logic seminars.
This crazy bird has been fighting its own image in my bathroom window every day since the beginning of the pandemic, starting around 5:30 am. Every single day. A series of thumps, when it tries to fight itself and loses the fight against itself, several times a day. Yes, a whole series of new self-defeating metaphors is always unfolding on my mind when I wake up to this inglorious battle.
We've tried everything to dissuade it from attacking its own image, the only thing that worked was covering the whole window in Manila paper. I thought that high summer would calm it down and took the Manila paper off. oh well, it hasn't worked at all.
By now I am fairly convinced that one of the non-existent Deities on Duty has decided that I do have to live through this bird's nightmare, as a form of punishment. please send comforting thoughts!
Many people are noticing how, instead of feeling less tired, as they do not have to commute to work, the lockdown, the social-distancing, and working from home, is making people more stressed out, more tired than before. While the reasons for this may be obvious for people with little children, it is not so clear why the same would happen to others.
Clearly, some are making bad choices. And whenever choices can be made, I can count on myself to make the bad ones: it's a natural knack I have. But it's also a consequence of the lifestyle of forever acquiring new scientific interests and not letting go of the old ones.
So I thought I wouldn't accept many reviews this year. However, I ended up in the program committees of the ACL2020, AAAI2020, IJCAI2020, ICALP2020, LICS2020, COLING2020, EMNLP2020, as well as organizing Linearity and TLLA, mentoring at the ACT Summer School and helping out with Women in Logic 2020 and the ACT conference, as well as serving on the thesis committee of Pierre Pradic, phew!!! So this made for three very intense weeks that just went by!
The group around J. Baez has come up with a Zulip channel on Category Theory (https://categorytheory.zulipchat.com/). you may need an invitation to read it, but this is easy, just ask!
I felt that Categorical Logic was not getting its due share and tried to find a few old references. This is the list I came up with, but I'm painfully aware that lots are missing from this list too. Repeating it here to try to complete it as time goes by.
We're all biased, but my version of the early history of uses of Category Theory in Computer Science has many more projects/meetings/books than the ones already mentioned in the thread above.
Examples of things missing:
Clearly a mathematician's perspective, the first AMS meeting I ever went to.
All the TYPES projects and Working Groups use Category Theory for Computer Science
The internet can be very surprising on the things it keeps, the things that disappear. Below the opening page of Hypatia, a preprint server that disappeared without a trace. Above a picture of a tweet by Julia Goedecke, celebrating women mathematicians (I was chuffed, of course!).
This post is simply a translation of John Baez' Advice to a Young Scientist to be found in his website.
Maybe a Portuguese translation is not really necessary, most of my friends in Brazil can read English, but the advice resonates tremendously with me. And having John say it, reinforces the message.
Conselhos a um Jovem Cientista
John Baez
3 de abril de 2019
Cheguei ao estágio da minha carreira no qual jovens matemáticos e físicos às vezes me pedem conselhos. Aqui vai o que eu aconselho. A maior parte se aplica a estudantes de pós-graduação e pós-doutorado em qualquer ramo da ciência, que buscam uma carreira acadêmica envolvendo pesquisa. O material que diz respeito a dar "boas palestras" será útil para quase todos os cientistas, já que a maioria dos cientistas dá palestras muito ruins. Perto do fim, tenho uma seção sobre uma questão mais especializada que muitos estudantes me perguntam: devo fazer matemática ou física?
Como se manter honesto
O grande desafio no início de uma carreira academica é conseguir um posto em uma universidade decente. Pessoalmente, consegui a minha posição antes de começar a mexer com a gravidade quântica, e essa abordagem teve algumas vantagens reais. Antes de ter um emprego permanennte, você tem que agradar as pessoas. Depois de ter o seu lugar de professor, você pode fazer o que quiser - desde que seja legal e desde que seu departamento não exerça muita pressão sobre você para obter financiamento de projetos de pesquisa. (Essa é uma das razões pelas quais eu sou mais feliz em um departamento de matemática do que em um departamento de física. Os matemáticos têm mais dificuldade em obter financiamento de projetos, então há um pouco menos de pressão para obtê-los.)
O melhor de se ter uma posição permanente é que isso significa que sua pesquisa pode ser dirigida para seus interesses reais, em vez de seguir as correntes da moda, sempre em mudança. O problema é que, para obter suas posições, muitas pessoas se tornam escravas da moda e não sabem mais o que significa seguir seus próprios interesses. Passaram os melhores anos de suas vidas tentando acompanhar os `influenciadores', em vez de desenvolver seu próprio estilo pessoal! Portanto, lembre-se de que obter seu emprego permanente é apenas a metade da luta: obter a cadeira mantendo-se honesto com seus próprios interesses é a parte mais difícil.
Para se manter honesto com seus próprios interesses, você precisa garantir não perder nunca a curiosidade inocente que o interessou por ciência. Não se envolva demais com a seriedade. O universo é um lugar legal; explorar é divertido! Como disse Grothendieck:
Em nossa procura pela aquisição do conhecimento do Universo (seja ele matemático ou não), o que renova a busca não é nada mais nada menos que uma completa inocência. É neste estado de total inocência que recebemos tudo desde o momento do nosso nascimento. Embora tantas vezes objeto de nosso desprezo e de nossos medos particulares, ele está sempre em nós. Só ele pode unir humildade com ousadia, de modo a permitir-nos penetrar no coração das coisas, ou permitir que as coisas entrem em nós e tomem posse de nós.
Esse poder único não é de forma alguma um privilégio concedido a "talentos excepcionais" - pessoas com incrível poder cerebral (por exemplo), que são mais capazes de manipular, com destreza e facilidade, uma enorme massa de dados, idéias e habilidades especializadas. Tais dons são inegavelmente valiosos e certamente dignos de inveja daqueles que (como eu) não são tão "dotados de nascença, para muito além do comum".
No entanto, não são esses dons, nem a ambição mais determinada, combinada com irresistível força de vontade, que permitem superar as "fronteiras invisíveis, porém formidáveis", que circundam nosso universo. Somente a inocência pode superá-las, o que o mero conhecimento nem leva em consideração, nos momentos em que nos encontramos capazes de ouvir as coisas, total e intensamente absortos em brincadeiras de crianças.
Então, continue brincando com todo tipo de idéias, técnicas e ferramentas. Leia vorazmente. Não tenha medo dos especialistas e do seu jargão. Torne-se um especialista você mesmo, mas depois desmonte o truque, explicando as coisas na linguagem mais simples possível. Converse com muitas pessoas! Ensine o que puder; aprenda com todo mundo; não se preocupe muito em impressionar as pessoas. Não tenha medo de fazer perguntas básicas - e não se surpreenda quando ninguém souber as respostas. As perguntas mais simples são as últimas a serem respondidas.
Mas enquanto estou pontificando, me deixe acrescentar algumas dicas "práticas" - alguns dirão até cínicas - também. Para ter sucesso, você precisa ser idealista e prático ao mesmo tempo.
Algumas dicas práticas
Vá a escola de maior
prestígio que voce conseguir e trabalhe com o/a melhor orientador/a
possível. Um bom orientador providenciará um tópico importante sobre o
qual você poderá obter resultados que as pessoas acharão interessantes.
Um bom orientador/a será tão famoso que apenas ser aluno dele/a fará com
que as pessoas se interessem por você. Um bom orientador irá ajudá-lo
quando chegar a hora de conseguir um emprego. Um bom orientador/a estará
politicamente bem conectado e lubrificará seu caminho diretamente para
os bosques sagrados da academia. Um bom orientador também te faz
trabalhar que nem uma mula e te dá medo, esperando que você saiba sobre
milhões de coisas - não deixe que isso o afaste do seu bom orientador/a.
Publicar.
Publique
trabalhos que obtenham resultados definitivos sobre assuntos da moda,
para que sejam citados. Publique trabalhos que abram novas e promissoras
linhas de investigação. Publique trabalhos que as pessoas possam
realmente ler - mas não conte a ninguém esse truque, ou todos começarão a
fazê-lo, e então onde você fica? Publique trabalhos que mostrem que
você tem seu próprio programa de pesquisa. Publique trabalhos que criem
uma onda de choque no momento em que chegam no ArXiv! Mas o mais
importante: publique.
Vá a conferências. Há um número
infinito de conferências e você deve frequentá-las. Faça muitas
palestras, converse com muitas pessoas, faça conexões, descubra onde
estão os empregos, descubra no que as pessoas estão trabalhando,
descubra no que as pessoas estarão trabalhando em breve. Divirta-se e
seja divertido. E acima de tudo: dê boas palestras!
Dando Boas Palestras
As pessoas devem sair das suas palestras mais felizes e sábias do que quando entraram. Muitas vezes dá-se o contrário. Seja uma exceção. Suas palestras devem ser claras, concisas, divertidas, empolgantes e nunca devem durar mais do que o tempo anunciado. Cada minuto extra que sua palestra tem, 10% a mais da platéia decidirá que você é um idiota e começará a fantasiar sobre como voce podia cair em um alçapão e nunca mais ser visto.
Pratique suas palestras! Faça palestras na frente de uma câmera de vídeo e veja como você parece bobo olhando para o projetor, bloqueando a visão da platéia com sua própria sombra, murmurando "omega ao quadrado vezes fi vezes psi ao cubo de teta" como um cientista louco quando você realmente podia estar olhando para o público e dizendo algo legal.
Observe-se lutando para ligar o ponteiro laser, tropeçando no fio do microfone, procurando a próxima transparência, lutando para deslizar lentamente um pedaço de papel pela transparência num striptease intelectual patético, lutando desesperadamente contra a Microsoft para abrir sua apresentação Powerpoint, fazendo todo tipo de palhaçadas inúteis, que distraem a plateia do assunto importante, desperdiçando um tempo precioso, entediando as pessoas até a morte. E resolva melhorar!
Você está no palco: seja divertido! Não mostre às pessoas as equações que elas realmente não precisam ver - é para isso que servem os artigos de periódicos. Transmita sua sabedoria em frases memoráveis. Seja eloquente. Seja formidável, mas divertido. E acima de tudo, convença as pessoas de que você é alguém que elas gostariam de ter por perto. Sim, alguém que eles gostariam de trabalhar com.
[Tem mais conselhos interessantes, especialmente a sugestao de ler o Gian-Carlo Rota, em
Ten
Lessons I Wish Had Been Taught, mas eu estou tendo problemas com o Blogger e fico por aqui.]
Many thanks to Andrea Loparic for help with the translation!
This is the husband's workbench. I think it looks lovely and definitely would love to have one of my own--I think. Instead, I have one in GitHub: LLTP a linear logic theorem prover benchmark of sorts, https://github.com/meta-logic/lltp.
Together with friends Carlos Olarte, Elaine Pimentel and Giselle Reis, this gave rise to a talk by Elaine at Linearity'2018 (at Oxford) and a technical report The ILLTP Library for Intuitionistic Linear Logic by Carlos Olarte, Valeria de Paiva, Elaine Pimentel and Giselle Reis. In Proceedings Linearity-TLLA 2018, arXiv:1904.06850. Olivier Laurent is also part of the group developing the library of problems, but he wasn't part of the technical report.
I talked about this work at IMPA, in July 2019. I am now thinking about what I want to do with this work.
