Maynooth University Department of Computer Science |

Foundations of Computer Science Seminar Series 2017 |

## ScheduleSeminars (unless noted otherwise) take place on Fridays from11.00-12.00.-
**Friday 24 March:**Venue: Room SE131 (School of Education Building) Philippe Moser:*An introduction to Turing machines, ZFC and set theory* -
**Friday 31 March:**Venue: Hamilton Seminar Room James Power:*From Euclid to Knuth-Bendix: Gröbner bases for the working computer scientist* -
**Friday 07 April:**Venue: Hamilton Seminar Room Phil Maguire:*Why I don't believe in Maths* -
**Thursday 13 April at 10am:**(N.B.*Thursday at 10*) Venue: Hamilton Seminar Room Tom Dowling:*Isomorphic Democracy* -
**Friday 28 April:**Venue: Room SE131 (School of Education Building) Charles Markham:*Rubik's redux* -
**Friday 5 May:**Venue: Hamilton Seminar Room Hao Wu:*Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels* -
**Friday 12 May:**Venue: Hamilton Seminar Room Rosemary Monahan:*Challenges from automated reasoning and verification*
## See also: |

- Foundations of Computer Science Seminar Series, 2016
- Foundations of Computer Science Seminar Series, 2015
- Foundations of Computer Science Seminar Series, 2014
- Foundations of Computer Science Seminar Series, 2013
- Turing Year Seminars, 2012
- CS@75 Seminar Series, 2011
- Postgraduate Seminar Series 2007-8
- Postgraduate Seminar Series 2006-7
- Software and Systems Engineering Seminars, 2005-06
- Postgraduate Seminar Series 2005-6
- Postgraduate Seminar Series 2004-5