World IPv6 Launch

At last, today the Internet is moving to IPv6!  (Hoping that this time is for real :))  Don’t forget to enable IPv6 on your PC/home router/website/services, etc.
DO YOUR PART: JOIN THE LAUNCH!

Back from ETAPS

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.

Da CPH a VQR

il rientro da CPH è stato assai pesante… forse perché adesso devo cercare di capire le complicazioni della VQR invece delle composizioni di bimoduli? certo che uno si fa venire certi pensieri…

BunnyTN3

Di ritorno dal workshop BunnyTN3. Format interessante: un giusto mix di matematici e di informatici, di speaker “senior” e di studenti (anche di laurea). Certo, alcuni talk erano piuttosto ostici, ma esporsi anche a settori non propri non può fare che bene.

Pagine dei corsi

Un po’ alla volta, sto migrando i contenuti del vecchio sito nel nuovo. Ho aggiunto le pagine per i corsi di cui sono docente – tutto sotto il menù “Didattica”.