|
Generale
Teaching
Papers
Projects
Links
|
General Information
Who I am
|
I
am an
Associate Professor
of Computer Science
at the
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
italian or
english
(not always up to date).
Some illuminating remarks by
E.W. Dijkstra: EDW1305.
|
|
Upcoming Events
Previous Events
-
RTA 2012 - International Conference on Rewriting Techniques and Applications
-
CALCO-Tools 2011 - Satellite of CALCO 2011 - Conference on Algebra and Coalgebra
-
CONCUR 2011 -
22nd International Conference on Concurrency Theory
-
GT-VMT 2013,
GT-VMT 2012,
GT-VMT 2011,
GT-VMT 2010,
GT-VMT 2009,
GT-VMT'08,
GT-VMT'07,
GT-VMT'06
- International Workshop on Graph Transformation and
Visual Modeling Techniques
-
TERMGRAPH 2013,
TERMGRAPH 2011 - International Workshop on Computing with Terms and Graphs
-
AMAST
2010 -
13th International Conference on Algebraic Methodology
And Software Technology
-
ICE
2010 -
Interaction and Concurrency Experience
-
GT-VC 2007, GT-VC 2006,
GT-VC 2005
- Graph Transformation for Verification and Concurrency
-
ICGT'12,
ICGT'10,
ICGT'08,
ICGT'06 -
International Conference on Graph Transformation
-
ICGT-DS'10,
ICGT-DS'08 -
Doctoral symposium of ICGT
-
SBMF '06 -
Brazilian Symposium on Formal Methods
-
3rd Workshop on the Rho-calculus (2006)
-
GCM 2012 - Workshop on Graph Computational Models
-
PNGT'12, PNGT'08, PNGT'06 -
Workshop on Petri nets and Graph Transformation
|
|
How to reach me
Dipartimento di Matematica,
Univ. di Padova
Via Trieste, 63 -- 35121
Padova - Italy
|
|
|
|
|
