[abc] Oxford meeting at 12

I'd like to meet today at 12 in 005 to discuss:

1. plans for these conferences:
      OOPSLA (Mar 18): tmimpl
      GPCE (May 5): datalog pcs?
      POPL (Jul 15): pure aspects?
                     formal treatment of Neil's open modules?
      MPC (late march): invited talk, option of
                        paper in proceedings
                        aspects & data refinement?
    [longer term: ICSE (Sep 9), ETAPS (Oct), PLDI (Nov)]

2. AOSD tutorial

3. AOSD workshop submissions?! [deadline Jan 25!!]

4. Current state of JastAdd experiments

5. Regular meeting times for the rest of term
Received on Tue Jan 17 10:47:29 2006