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

• ICGT 2012 (6th International Conference on Graph Transformation)
  Sep 24 - 29 September, 2012 Bremen, Germany
  Deadlines: April 13 (abstract), Apr 20 (full paper)

• PNGT 2012 (5th Workshop on Petri Nets and Graph Transformation)
  Sep 29 September, 2012 Bremen, Germany
  Deadlines: June 22 (abstract), June 29 (full paper)

• GCM 2012 (4th Workshop on Graph Computational Models)
  Sep 24 - 29 September, 2012 Bremen, Germany
  Deadlines: July 8 (abstract), July 15 (full paper)

• RTA 2012 (23rd International Conference on Rewriting Techniques and Applications)
  May 28 - June 2, 2012 - Nagoya, Japan
  

• GT-VMT 2012 (Satellite of ETAPS 2012)
  March 24 - 25, 2012 - Tallin, Estonia
  

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