Paper(s) Status
July 19th, 2007 By recluze

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.

5 Responses to " Paper(s) Status "
 
clickforamin
July 19th, 2007

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.

 
clickforamin
July 19th, 2007

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.

 
recluze
July 19th, 2007

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.

 
alam78
July 19th, 2007

i daily check the blog, but only comment, when it is needed!

 
TaMLeEk
July 20th, 2007

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….

Leave a Reply


(Required)

(Required)