Conformant Thesis

Moving mode

It’s less than one month to flight back to Venezuela. We are getting into moving mode, trying to distinguish documents from trash. I’m kind of scared because so many things are changing in one shoot, and I still need to finish the thesis. For example, I’ll have to buy a car as I arrive. For different reasons it has be a new one. I expect that 50% of my salary will end up on paying it, including insurance. Weird.

Meanwhile, I have solved a few bugs that had appear on our planner, involved in a competition nowadays. I have organized more what I’m going to said in the whole thesis.

The journal papers isn’t ready yet. The aeternal journal paper. We found an small inconsistency between the article and the code. I lost some performance on enforcing right a property we need. There still code for checking other property that is buggy, but is necessary to add a sentence to the paper: “All the instances we have tried are consistent”.

I’ll be with my nephew and my wife in Madrid for a week. My brother-in-law and his wife are going to visit Caracas we two more friends. Each one will carry on a extra piece, as their limit is two per person. We are just trying to move our stuff without having to pay extra money. We don’t have that money.

In Madrid I’ll see a few people to say goodbye, and stayed at home, working. I’ll try to catch up with this blog about what I’m exactly doing.

The picture if my desktop. A picture of my wife and my brother are in there.

Posted by email from Conformant thesis (posterous) | Comment »