[Koglist] Award ceremony of the first Newton da Costa prize of logic