Friday, May 5, 2017 - 11:00 to 12:00
Hamilton Seminar Room, 3rd Floor, Eolas Building, North Campus
Foundations of Computer Science Seminar: 'Challenges from automated reasoning and verification' by Rosemary Monahan, Department of Computer Science.
All welcome.