Paper(s) Status

A.A. everyone,

I have almost completed my paper (in the correct format). Due to some problem with Isabelle’s document generation, I still have to port the code to Kile and insert references there but otherwise, my work is almost finished. I only have to write the introduction to the paper. The formalization is complete, the examples are in, the introductions are done.

Amin and Shaz: I would appreciate it if you guys can post information regarding your status/progress with the papers. Let’s keep this post alive until the conference. We have very little time and as I understand it, shaz has still some work to do.

Thursday, July 19th, 2007 Conferences

5 Comments to Paper(s) Status

  1. AA

    My rough draft is complete that is th paper format i complete… i have gradually started collecting the bib text as well… the main phase of my paper that is the rephrasing and proper,ly inserting the right text in right position is still left… :) am working on it. By tonight and tomorrows my intro and abstract will be finalized. INSHALLAH

    amin.

  2. clickforamin on July 19th, 2007
  3. AA NAUMAN SB

    strange fact abt our blog…. out last 24 posts on our blog…. 23 have been form u and me only on this blog and nothing else……and 1 from MASOOM SB for scholarships….. quite interesting stats.. am still counting for last 50 comments… and will post those stats soon as well. :) :)
    amin.

  4. clickforamin on July 19th, 2007
  5. Amin: Yes. Sadly, that is true. I remember the time when you were away and there were posts from Shaz and me. There must be some constraint saying only two people can be active in the group at one time.

  6. recluze on July 19th, 2007
  7. i daily check the blog, but only comment, when it is needed!

  8. alam78 on July 19th, 2007
  9. Tapoosano i also check the blog daily but unfortunately i dont post alot… i post as i come through some new thing… and may be i come through some new things but i dont blog :(… anyway you people are very right me and masoom should blog more, it doesnt mean we blog everything that come across but still….

  10. TaMLeEk on July 20th, 2007

Leave a comment