Supervisory Meetings – September 2013   Leave a comment

04/09/2013

>> Before Meeting

Tasks accomplished

  • Continued working on more examples.
  • Tried understanding lemmas from JVLC paper.
  • Submitted Chapters 3, 4 and 5 for Supervisors comments.

>> After Meeting

Summary:

John and Gem helped me understand 1) Lemma which links concrete syntax and abstract syntax (lemma 4.1 in JVLC paper), theoretically needs to be proved for our project. 2) Lemmas for adding and removing of curves. In our case, we need to extend it to vertices and edges.

Action Plans – Mithileysh

  • Continue writing thesis.
  • Work on more examples to understand lemmas.
  • Extend the lemmas to our project.

Action Plans – Supervisors

  • Gem: Extend lemma 4.1 of JVLC paper and let me know how to prove it mathematically.
  • Feedback and comments on Chapter 3, 4 and 5.

—————————————————————————————————————————————————————–

11/09/2013

>> Before Meeting

Tasks accomplished

  • Continued working on more examples.
  • Tried understanding lemmas from JVLC paper.

>> After Meeting

Summary:

Lemmas for proving isomorphism were discussed (lemma 4.1 of jvlc paper).

Action Plans – Mithileysh

  • Continue writing thesis.
  • Work on more examples to understand lemmas.
  • Extend the lemmas to our project.

Action Plans – Supervisors

  • Feedback and comments on Chapter 3, 4 and 5.

—————————————————————————————————————————————————————–

18/09/2013

>> Before Meeting

Tasks accomplished

  • Tried to prove lemmas and extend them for our project

>> After Meeting

Action Plans – Mithileysh

  • Continue writing thesis.
  • Work on more examples to understand lemmas.
  • Continue working extending the lemmas to our project.

Action Plans – Supervisors

  • Assistance in lemmas.

—————————————————————————————————————————————————————–

Advertisements

Posted September 5, 2013 by mithileysh in Supervisory Meetings

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: