Recent talks

Recent talks

Machine Learning and Deep Learning SKA Data Challenge Workshop,30 September- 2 October 2019, Radio Astronomy Institute, Bologna, Italy	About generative aspects of Variational Autoencoders Fifth International Conference on Machine Learning, Optimization, and Data Science – September 10-13, 2019 – Certosa di Pontignano, Siena – Tuscany, Italy.	Sparsity in Variational Autoencoders First International Conference on Advances in Signal Processing and Artificial Intelligence (ASPAI' 2019), 20-22 march 2019, Barcelona, Spain.	Crawling in Rogue's dungeons with (partitioned) A3C Fourth International Conference on Machine Learning, Optimization, and Data Science – September 13-16, 2018 – Volterra, Tuscany, Italy	Turning Feed-Forward Neural Networks in Fully Convolutional ones: technique and applications Plenary talk at the 2018 Internat. Conf. on Applied Math. and Comp. Methods in Engineering, Venice, Italy, April 28-30, 2018
An introduction to Neural Networks and deep learning Department of Mathematics, University of Bologna, February 20, 2018	Automatic Verification & Interactive Theorem Proving XXVI meeting of the Italian Assoc. for Logic and its Applications, Padova, 25-28 settembre 2017	A formal proof of Borodin-Trakhtenbrot's Gap Theorem Certified Programs and Proofs, Melbourne, Australia 11-13 December 2013	Speedup phenomena in subrecursive settings Curien's Festschrift, Venice 9-11 September 2013	The cost of usage in the lambda calculus LICS 2013, New Orleans, June 25-28, 2013
Matita version 0.99.1. Foundation of Mathematics for Computer-Aided Formalization, Padova, 9-11 January 2013	Formalizing Turing Machines. Wollic 2012, Buenos Aires, Argentina, September 2012	A compact proof of decidability for regular expression equivalence. ITP 2012, Princeton NJ, USA.	Proof, message and certificate. MKM 2012, Bremen Germaby.	Optimality and intrinsic computational complexity. Anniversary Workshop in honour of G.Berry and J-J. Levy. Gerardmer, France, 2-4 February, 2011
Introduzione alla Teoria della Calcolabilita'. Corso per il Collegio Superiore dell'Universita di Bologna	About the formalization of some results by Chebyshev in number theory. TYPES, Torino, Italy March 26-29 2008	The intensional content of Rice's theorem. POPL '08 10-12 January 2008, San Francisco (Ca)	Optimal reduction of lambda expressions Tata Institute of Technology, Mumbay (INDIA) January 2009	A survey on Interactive Theorem Proving Tata Institute of Technology, Mumbay (INDIA) January 2009

home

cv

didattica

papers

september 19