Alfred Tarski and Kurt Gödel in 1935, Vienna. Not the first time, since they first met in 1930 in Vienna.
From: https://digicoll.lib.berkeley.edu/record/91744?v=uv#?xywh=-820%2C0%2C2896%2C1500 #logician

#maxima talk at #emacsconf -dev track! https://live0.emacsconf.org/dev.webm

By a wonderful Brazillian #logician

Looking forward very much to working with my fellow committee members and promoting the study and practice of #logic in Britain!

If you are a British #logician and are not yet a BLC member, why not make a resolution to become one? :)