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…
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??
Il bando di concorso per l’ammissione al XXVIII ciclo dei corsi di Dottorato di Ricerca a Udine è online. Scadenza 1° ottobre 2012.
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 :).
Dopo uno iato di alcuni anni, finalmente all’UniUD rifacciamo il Career Day per gli informatici. Fissatevi la data del 31 maggio 2012, e guardatevi la locandina in anteprima: CareerDay2012
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.