The REasoned MOdelling (REMO) project has EPSRC funding (EP/F037058) for three years
to investigate effective ways of handling the volatile nature
of software specifications. In particular, it will focus on how
animation and automated reasoning techniques can be used to guide
the evolution of systems within Event-B.
The project is part of a larger multidisciplinary
collaboration with the
University of Edinburgh (EP/F035594) and
Imperial College (EP/F036647). The collaboration is investigating
complementary aspects of the problem of modelling theory evolution.
It is inspired by the writings of Lakatos ("Proofs and Refutations")
and draws together researchers from Artificial Intelligence,
Cognitive Science as well as Computer Science.
Further details can be obtained from Andrew Ireland,
Dependable Systems Group,
School of Mathematical and Computer Sciences,
Heriot-Watt University, Edinburgh, EH14 4AS, UK
[ firstname.lastname@example.org, +44 (0)131 451 3409 ]