Just spent some days visiting the SysMA group at IMT, Lucca. A quite interesting environment indeed… Since it is a PhD-only institute, it is smaller than standard universities, but nevertheless very active! And I liked the multidisciplinary atmosphere (sciences, economics, cultural heritage, politics, …).
And the city is nice, of course–even with this unusal fog!
Starting something similar is hard, and keeping it growing and improving is harder. So keep up the good work, guys!
The Proceedings of MeCBIC 2012 are now online, and it turns out to be the centenary volume of EPTCS! 🙂
So now I’m ready to leave to Italy. Had a really great time in CPH. Cool city, nice students, great colleagues. Unfortunately I’ve left lots of work that needs to be terminated, so… I’ll be back!
After four quite intensive lectures, I’ve finished the PhD mini-course about Structured Operational Semantics for Probabilistic and Stochastic Processes. Nice class, very interested. Hoping that the students enjoyed attending it at least as much as I’ve enjoyed giving it!
The handouts are available here.
Today I’ve started the PhD mini-course about Structured Operational Semantics for Probabilistic and Stochastic Processes, at the IT University. I was pleasedly surprised to get ~20 students (also from DTU and DIKU)! Hoping to be not disappointing…
Arrived in Copenhagen, Denmark, for a one-month stay at IT University, visiting MT-LAB and PLS groups. Great place for establishing new connection – and strengthening old ones 🙂
Back from Newcastle upon Tyne (see pic), for a (too short) participation to CONCUR and MeCBIC. Only two days, but the quality of talks I’ve attended was great. Met so many ol’ friends. And the city was also nice and lively (!), and the weather was also good. What else could I ask??
The website of CALCO 2013 is online!
The website of TYPES 2013 is online. But don’t worry, there is still plenty of time for submitting your paper :).