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

April 2019

S M T W T F S
 1 234 5 6
7 8 91011 12 13
14 15 16 17 18 19 20
21222324252627
282930    

Syndicate

RSS Atom

Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags