Talks with slides:

  1. The strength of the SCT criterion, Seminar at JAIST, Nomi, February 28th, 2017 icona file pdf
  2. On Sigma_1-fixed point statements in Kripke Platek, Workshop on Constructivism, Logic and Topology, Bern, January 18th, 2017 icona file pdf
  3. On Sigma_1-fixed point statements in Kripke Platek, ABM Winter Meeting,Munich, December 8th, 2016 icona file pdf
  4. Reverse Mathematical Bounds for the Termination Theorem, Logic, Complexity and Automation - CLA2016, Obergurgl, September 5th, 2016 icona file pdf
  5. A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem, ABM Spring Meeting, Bern, May 27th, 2016 icona file pdf
  6. From equivalent forms of CH to CH-systems, Operation Sets and Types, Münchenwiler, April 20th, 2016 icona file pdf
  7. From equivalent forms of CH to CH-systems, Mini-Workshop on Non-Classical Logics, Bern, March 24th, 2016 icona file pdf
  8. Systems of Filters, Winter School in Abstract Analysis, Hejnice, February 5th, 2016 icona file pdf
  9. Terminating via Ramsey's Theorem, PhD Defense, Torino, January 26th, 2016 icona file pdf
  10. Terminating via Ramsey's Theorem, Logic Seminar, Darmstadt, November 6th, 2015 icona file pdf
  11. Terminating via Ramsey's Theorem, Seminar Logic and Theory Group, Bern, October 22nd, 2015 icona file pdf
  12. Definable versions of algebraic equivalents of CH, XX Congresso UMI, Siena, September 8th, 2015 icona file pdf
  13. Reverse mathematical bounds for the Termination Theorem, PhD AILA 2015, Gargnano, August 25th, 2015 icona file pdf
  14. Reverse mathematical bounds for the Termination Theorem, Logic Colloquium 2015, Helsinki, August 5th, 2015 icona file pdf
  15. Reverse mathematical bounds for the Termination Theorem, Münchenwiler Meeting, Münchenwiler, March 26th, 2015 icona file pdf
  16. Avoidable polynomials and all reals are contructible, Winter School in Abstract Analysis, Hejnice, February 4th, 2015 icona file pdf
  17. Effective Bounds on the Podelski-Rybalchenko Termination Theorem, PSC, Wien, July 17th, 2014 icona file pdf
  18. Ramsey Theorem as an intuitionistic property of well-founded relations, RTA&TLCA, Wien, July 15th, 2014 icona file pdf
  19. Proving termination with transition invariants of height omega, CL&C, Wien, July 13th, 2014 icona file pdf
  20. Determinare la terminazione di programmi con il Teorema di Ramsey, SELP, Salerno, June 6th, 2014 icona file pdf
  21. Finite and Infinite Ramsey Theorem, Browsing through Mathematics, April 28th, 2014, Torino icona file pdf
  22. Ramsey Theorem for pairs as a classical principle in Intuitionistic Arithmetic, BLC, Leeds, September 6th, 2013 icona file pdf

Talks on blackboard:

  1. Operational Set Theory , Seminar of Set Theory, Torino, May 13th, 2016
  2. From equivalent forms of CH to CH-systems, Groupe de travail en théorie descriptive des ensembles, Université Paris 6 - UPMC, March 22nd, 2016
  3. Some algebraic equivalent forms of all reals are constructible, Birkbeck University, London, July 9th (length 1h), 2015
  4. Some algebraic equivalent forms of all reals are constructible, Logic & Set Theory Seminar, Bristol, June 16th (length 1h), 2015
  5. Definable versions of CH-equivalences, Student Seminar of Set Theory, Torino, January 12th (length 2h), 14th (length 2h), and 16th (length 2h), 2015

Posters:

  1. System of Filters, 8th YSTW, Jerusalem, 24-31 October, 2015 icona file pdf