purplecat: Hand Drawn picture of a Toy Cat (Default)
Achieved:


  • Volunteered to give a Dream Talk on Friday

  • Printed out and read my papers on Program Slicing which I said I'd talk about in the Dream Talk

  • Long talk with LD about proof specification languages and control rules. Sent him draft paper on control rules by myself MJa and MP.



To Do:



Plan for Tomorrow:


  • AM: Work with MJo on writing proof critics in IsaPlanner.

  • PM: Prepare Dream Talk

  • Evening: Write more gibberish in my blog

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

September 2017

S M T W T F S
     1 2
3 4 5678 9
10 11 12 131415 16
171819 202122 23
24252627282930

Syndicate

RSS Atom

Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags