Deciding the decidable

online on 24 Feb 2021

A talk by our Amazing Lecturer Colm Ó Dúnlaing. Turing Machines will be mentioned.