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

July 2017

S M T W T F S
       1
23456 7 8
910 11 121314 15
16171819 20 2122
23242526272829
3031     

Syndicate

RSS Atom

Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags