The Logic Group Seminar is hosting Nikos Gorogiannis (Facebook) for a talk on the 20th of February 2019. Details here.