Week (August 28th - Sept 1st)

Mon    :  12:00-12:50 LCA Model checking Dr. Sistla
          Finish SAT Solver and it's documentation
	  Read Linux Cluster Suit
          *Do not touch Perl*

Tue    :  Meeting with Lenore ?
          Linux Cluster Suit ( Should be finshed )

Wed    :  12:00-12:50 LCA Model checking Dr. Sistla

Thurs  :  Unknown at the moment.

Fri    :  12:00-12:50 LCA Model checking Dr. Sistla

-- Ishaan Joshi
   Sunday August 27th