Activity: Visiting an external institution types › Visiting an external academic institution
I have visited Arnd Hartmanns (a frequent collaborator) at University of Twente. This meeting directly followed the Stochastic Hybrid Systems Meeting. We have continued discussions related to this workshop. We have also discussed (and are now beginning to draft) a publication not related to hybrid systems but to stochastic process calculi which will involve Andrea Turrini from Institute of Software, Chinese Academy of Sciences.