Maynooth researchers are taking on some of the most pressing challenges facing society today. From 8-12 October 2018, the University invites the public in – to hear about and engage with the rich body of multi-disciplinary research being undertaken right here in Maynooth, and the impact those discoveries are having across the globe.
When: Monday, 08 October 2018
Welcome to the homepage of the International Conference on integrated Formal Methods (iFM) in Maynooth University in cooperation with ACM SIGLOG. Co-located events include a PhD Symposium (PhD-iFM'18) and the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS). We thank our sponsors: Maynooth University, Science Foundation Ireland, Springer, EASST, Fáilte Ireland, Meet in Ireland, the Embassy of France in Ireland and ACM SIGLOG.
When: Wednesday, 05 September 2018
Phd-iFM'18, a PhD Symposium at iFM 2018 to discuss Formal Methods: Algorithms, Tools and Applications Tuesday September 4th 2018. Iontas Building North Campus, Maynooth University.
When: Tuesday, 04 September 2018
Welcome to the homepage of the 23rd international conference on formal methods for industrial critical systems (FMICS). After 22 successful FMICS workshops held from 1996 to 2017, FMICS has become a conference: such a long-awaited change is probably not a surprise in itself.
When: Monday, 03 September 2018
This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.
When: Monday, 27 August 2018
We’re inviting young people to join us for a day of technology-based fun in Maynooth Unversity. We’re looking for 1024 kids to take part. We’ll have coding workshops, demos from companies (big and small), talks and a hackathon. And all this FREE!
When: Saturday, 02 December 2017
Senthil Yogamani, guest speaker to give seminar on applying deep learning for various autonomous driving problems and discuss some of research done in this area, mainly on computer vision.
When: Tuesday, 27 June 2017
'Challenges from automated reasoning and verification' by Rosemary Monahan, Department of Computer Science.
When: Friday, 05 May 2017
'Rubik's redux' by Charles Markham, Department of Computer Science.
When: Friday, 28 April 2017
Maynooth University Dept. of Computer Science hosting the International Bebras Challenge in Computational Thinking
Dept. of Computer Science hosting the International Bebras Callenge in Computational Thinking
When: Saturday, 22 April 2017