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

• RTA 2012 (23rd International Conference on Rewriting Techniques and Applications)
  May 28 - June 2, 2012 - Nagoya, Japan
  Deadlines: Jan 4 (abstract), Jan 9 (full paper)

• GT-VMT 2012 (Satellite of ETAPS 2012)
  March 24 - 25, 2012 - Tallin, Estonia
  Deadlines: Dec 11 (abstract), Dec 18 (full paper)

Previous Events

• CALCO-Tools 2011 (Satellite of CALCO 2011 - 4th Conference on Algebra and Coalgebra)

• CONCUR 2011 - 22nd International Conference on Concurrency Theory

• 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 2011 (6th 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'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)

• PNGT'08, PNGT'06 - Workshop on Petri nets and Graph Transformation

How to reach me

	Phone:	+39 049 827 1268
	Fax:	+39 049 827 1499
	E-mail:	baldan@math.unipd.it