I am an Associate Professor at the Department of Pure and Applied 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

• AMAST 2010 - 13th nternational Conference on Algebraic Methodology And Software Technology
  (21-26 June 2010) Manoir St-Castin, Québec, Canada
  Joint with MPC 2010
  Deadlines: April 9

• ICE 2010 - 3rd Interaction and Concurrency Experience (focus on Guaranteed Interaction)
  (10 June 2010) Amsterdam, Netherlands
  Satellite of DisCoTec 2010
  Deadlines: 29 March 2010

• ICGT 2010 - 5th International Conference on Graph Transformation
  (27 September- 2 October, 2010), Twente, The Netherlands
  Joint with SPIN 2010
  Deadlines: Apr 9 (Abstract); Apr 16 (full paper)

• GT-VMT 2010 - 9th International Workshop on Graph Transformation and Visual Modeling Techniques
  (20-21, March, 2010), Paphos, Cyprus
  Satellite Event of ETAPS 2010
  Deadlines: Dec 11 (Abstract); Dec 18 (full paper)

Previous Events

• GT-VMT 2009, GT-VMT'08, GT-VMT'07, GT-VMT'06 - International Workshop on Graph Transformation and Visual Modeling Techniques

• GT-VC 2007, GT-VC 2006, GT-VC 2005 - Graph Transformation for Verification and Concurrency
  

• ICGT'08, ICGT'06 - International Conference on Graph Transformation

• 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