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! 🙂
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 :).
So Milner Symposium is over, but Robin’s work will keep inspiring the research of so many people for many years to come…
And so also ETAPS is over. Nice people, nice friends, nice city, nice food… and yes, nice conference! Got more ideas than I can develop properly. So little time, so much to do.