Foundations of CS Seminar Series - 'Challenges from automated reasoning and verification'

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.