Paolo Baldan's Home Page (original) (raw)

I am a Professor of Computer Science at theDepartment of Mathematics of the University of Padova. (formerly I was an assistant professor at the Computer Science Department of the University of Venice, and a PostDoc Researcher at theDepartment of Computer Science (DI) of the University of Pisa). My Curriculum Vitae (not always up to date). Some illuminating remarks by E.W. Dijkstra: EDW1305.	$Paolo Baldan$
Upcoming Events CONCUR 2026 - 37th International Conference on Concurrency Theory Liverpool, UK September 1-4, 2026 Deadline: April 14 2026 (abstract) - April 20 2026 (full paper) CSL 2026 - 34th EACSL Annual Conference on Computer Science Logic Paris, France 23-28 February 2026 Recent Events CALCO 2025 - (11th Conference on Algebra and Coalgebra in Computer Science) Glasgow, UK - June 16-20, 2025 SAS 2024 - (31st Static Analysis Symposium) Pasadena, California - Oct 20-22, 2024 MFPS 2024 - (40th Conference on Mathematical Foundations of Programming Semantics) Oxford, 17-21 June 2024
How to reach me Dipartimento di Matematica, Office: 6DA6 Univ. di Padova Via Trieste, 63 -- 35121 Padova - Italy