Foundations seminars@cs.tcd
The FMG Research Group holds a weekly series of seminars, sometimes hosting external speakers, and sometimes hosting informal presentations of work in progress.
Subscribe to our Google Calendar: 
(Calendar ID: 0238s7i0sto5djdn25bhihffvs@group.calendar.google.com)
... and/or follow us on 
.
You can also see previous seminars.
Foundations seminars@cs.tcd Hilary term 2012
- January 20th, 12:00 [LCR]
Andrew Butterfield, Formal Methods: real artificial intelligence?
Abstract: Formal Methods is fast leaving the Ivory Tower and making its way into the Real World. This talk describes the essence of formal methods and charts recent developments in its industrial application, and discusses ongoing research being done here at TCD in this area. The key message is that the promise of formal methods is not just the "understanding", or the "math", but the ability to leverage a computers ability to do drudge tasks in order to free developers from having to either (i) do them, or (ii) ignore them. Moore's law, coupled with theoretical advances transform this 20th century academic dream into a 21st century industrial reality.
