Dines' Scientific Work

• Most of the scientific work was done at home.
• And some during my stays at University of Saarland, University of Edinburgh and Tokyo University.
• This year saw the "production" and presentation of the following papers:
  • On Mereologies of Computing Science
    Laudatio and paper presented at Sir Tony Hoare's 75 Anniversary festschrift, Cambridge, UK, 16 April, 2009
  • An Emerging Domain Science:
    A Role for Stanislaw Leshniewski's Mereology and Bertrand Russell's Philosophy of Logical Atomism
    paper for a memorial issue of Journal of Symbolic and Higher Order Computation in honour of the late Peter Landin.
  • On A Philosophy of Informatics and a Theory of a Science of Informatics: Sketches, Ruminations and Musings.
    The School Colloquium at St. Andrews, Tuesday, October 6, 2009
  • From Domains to Requirements -- On a Triptych of Software Development
• Some papers from earlier years were published this year.