Things back home are getting a bit rough! They had two 6R earthquakes (one at 8:45 in the morning and another one at around noon), but I just read on naftemporiki that a possible bird flu incident has appeared at Aignousa. I suppose it’s a bit too much news for a day.

Yesterday we were supposed to play basketball for the IMS league but the medics did not even show up, so we just trained for a while! It was really fun!

I also established a rough timetable for each day of the week and try to follow it. It seemed to work well today, though I had a rather big break after 16:00. Tomorrow the whole day is assigned to demonstrating tasks. We have a meeting at 10 in the morning and then lab sessions. I am planning to go to the city centre to watch Panathinaikos against Barcelona. It should be a nice game and if we lose by less than 5 goals… I am happy!

Researchwise I have started writing rigorous transformation rules from OCL to Alloy in the ATL language. I am going to define the rules for a very small subset of OCL initially and then implement them to a tool. Right now I am just too tired to write about anything! Going home to relax.