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