The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting.
The award is named after Kurt Gödel and has been given annually since 1990.
[1][2] The list of award winners and lecture titles is maintained online by the Association for Symbolic Logic.
[3]