Dear logicians, the following announcement of the "Kurt Gödel Freundeskreis" for the "Kurt Gödel award" may be of interest to you: https://kurtgoedel.de/kurt-goedel-prize-2019/ Best wishes Merlin Carl