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

February 2019

S M T W T F S
      1 2
3 4 56 7 8 9
10 11 12 13 14 15 16
17 18 1920212223
2425262728  

Syndicate

RSS Atom

Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags