Maynooth University Department of Computer Science
ToggleEvents
PhD-iFM'18
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
23rd International conference on Formal Methods for Industrial Critical Systems (FMICS)
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
CNL 2018 (27-28 August 2018) Renahan Hall, South Campus, Maynooth University.
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
MEGADOJO
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
Seminar: Applications of Deep Learning for Autonomous Driving
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
Foundations of CS Seminar Series - 'Challenges from automated reasoning and verification'
'Challenges from automated reasoning and verification' by Rosemary Monahan, Department of Computer Science.
When: Friday, 05 May 2017
Foundations of CS Seminar Series - 'Rubik's redux'
'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
Foundations of CS Seminar Series - 'Isomorphic Democracy'
'Isomorphic Democracy' by Tom Dowling, Department of Computer Science.
When: Thursday, 13 April 2017
What do finger movements reveal about how the brain reads braille? Barry Hughes, School of Psychology, University of Auckland
Computational models of print reading by the sighted rely on precise, high-resolution recordings of the rapid eye movements and the brief fixations that readers make when encountering text of differing degrees of complexity or ambiguity. These models, in turn, can better inform the teaching of reading and the diagnosis of reading difficulties. What about braille? Couldn’t the same development enable us to understand --computationally and cognitively—how the brain reads braille?
When: Monday, 10 April 2017