It has been another busy but productive week. We continued our research on the models and simulation for CVM and after several collaborative meetings with members of the TRISKELL team we have identified solutions to some outstanding issues. One of which was a concurrency problem, something that the tool does not currently address. Our work in this area could be a useful general purpose extension for the tool.

 It is the summer break here at the university, so the campus is pretty quiet now. We may go downtown this weekend to see what's happening ....

Bonjour! to all,

 We have just completed our first week here at IRISA in Rennes, France. While the week did not start out great (lost luggage etc), it ended well with the weekend reminisent of summers days in Jamaica. The Triskall tream has already made us feel at home and we are looking forward to a really productive summer. We took our first sojourn into the city of Rennes earlier this week and was pleasantly surprised by the beauty of the architecture (see pictures below) and the patience politeness of the people (I think our attempts at french confused more than it help). 

So au revoir, until next time.