of Computer Science
Department of Mathematics
of the University of Padova.
(formerly I was a Researcher at the
Computer Science Department
of the University of Venice,
and a PostDoc Researcher at the
Department of Computer Science (DI)
of the University of Pisa).
My Curriculum Vitae in
(not always up to date).
Some illuminating remarks by
E.W. Dijkstra: EDW1305.
CMCS 2016 -
(13th International Workshop on on Coalgebraic Methods in
Eindhoven, the Netherlands, 2 - 3 April 2016
(International Conference on Graph Transformation)
July 20-24, 2015 L'Aquila, IT
(30esimo Convegno Italiano di Logica Computazionale)
July 1-3, 2015, Genova IT