IRIF is excited to host Dexter Kozen from Cornell University as a speaker in our Distinguished Talks series. The talk will take place on December 03, 2024, starting at 11a.m. More details to come!