- Home
- About the School
- Courses
- Prospective Students
- International Students
- Research & Industry Engagement
- Schools Outreach
- News
- Gallery
- Our Vacancies
- People
- Incoming & Current Students
- Interested in Studying Computer Science: Discover the Possibilities
- Discover Our Postgraduate Opportunities
- Research in Computer Science
News
Stephen Brookes and Peter O’Hearn will present at a Mini Symposium “LOGIC, SEMANTICS AND COMPLEXITY IN COMPUTER SCIENCE” hosted by the BCRI
13 Oct 2023
All interested are most welcome to attend this event. Please register with m.dwane@ucc.ie for catering purposes Sponsored by the Boole Centre for Research in Informatics.
For abstracts, please click BCRI Mini-Symposium Abstracts.