[abc] mpc06abc

From: Oege de Moor <Oege.de.Moor@comlab.ox.ac.uk>
Date: Tue Mar 28 2006 - 21:02:15 BST

Hi all,

I'm giving an invited talk at "Maths for Program Construction"
in Estonia:

http://cs.ioc.ee/mpc-amast06/mpc/

The audience consists of the followers of Dijkstra, Gries,
and so on: the type of computer scientist who goes red in the
face if you introduce a programming language feature without
first stating the corresponding proof rules.

They have asked for a talk on aspect-oriented programming,
however, so that's what I intend to give.

In mpc06abc on musketeer, I have put an abstract for the
proceedings; feedback would be hugely welcome. Everyone on
the abc team who would like to contribute to the talk
and/or abstract is obviously welcome to do so - if your
name is not already on the draft, that's just because I
thought you might not like to be associated with this
type of conference :-) It *will* be a DBLP/ACMLIB entry,
though, so if you think you can help out, it's a boon
for the length of your pub list.

All this being said, the deadline is the night of
Friday March 31 - sorry for leaving it this long, but
obviously I felt OOPSLA was higher priority...

Cheers,

-Oege
Received on Tue Mar 28 21:02:17 2006

This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 16:13:27 GMT