DSE SEMAL Seminar series
The seminars normally take place on Wednesdays, 15:30-16:30 in Room 344, Huxley Building, unless stated otherwise. If you would like to volunteer to give a seminar, please contact Dalal Alrajeh (dalal.alrajeh04@imperial.ac.uk) with a suggested title and abstract.
January 25th 2012 |
Mark Harman, UCL |
Search-Based Software Engineering |
February 8th 2012 |
Simon Colton, IC |
TBC |
Maria Teresa Llano Rodriguez, Heriot-Watt University |
Discovery of Invariants through Automated Theory Formation |
|
March 14th 2012 |
Artur Garcez, City University |
TBC |