Talks with slides:

  1. SCT through the reverse mathematical looking glasses, 1st Swiss-Italian Workshop on Proof and Computation, Verona, January 19th, 2018 icona file pdf
  2. How large are proper classes? , ABM Winter Meeting, Munich, December 14th, 2017 icona file pdf
  3. Playing with equivalent forms of CH, XXVI incontro AILA, Padova, September 25th, 2017 icona file pdf
  4. On some fixed point statements over Kripke Platek, Minisymposium: Applied Proof Theory and the Computational Content of Mathematics in OEMG - DMV 2017, Salzburg, September 14th, 2017 icona file pdf
  5. On some fixed point statements over Kripke Platek, Special section of proof theory - Logic Colloquium, Stockholm, August 18th, 2017 icona file pdf
  6. Playing with equivalent forms of CH, 10th Young Set Theory Workshop, Edinburgh, July 14th, 2017 icona file pdf
  7. A combinatorial bound for a restricted form of the Termination Theorem, WiL Workshop, Reykjavik, June 19th, 2017 icona file pdf
  8. The strength of the SCT criterion, Seminar at JAIST, Nomi, February 28th, 2017 icona file pdf
  9. On Sigma_1-fixed point statements in Kripke Platek, Workshop on Constructivism, Logic and Topology, Bern, January 18th, 2017 icona file pdf
  10. On Sigma_1-fixed point statements in Kripke Platek, ABM Winter Meeting,Munich, December 8th, 2016 icona file pdf
  11. Reverse Mathematical Bounds for the Termination Theorem, Logic, Complexity and Automation - CLA2016, Obergurgl, September 5th, 2016 icona file pdf
  12. A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem, ABM Spring Meeting, Bern, May 27th, 2016 icona file pdf
  13. From equivalent forms of CH to CH-systems, Operation Sets and Types, Münchenwiler, April 20th, 2016 icona file pdf
  14. From equivalent forms of CH to CH-systems, Mini-Workshop on Non-Classical Logics, Bern, March 24th, 2016 icona file pdf
  15. Systems of Filters, Winter School in Abstract Analysis, Hejnice, February 5th, 2016 icona file pdf
  16. Terminating via Ramsey's Theorem, PhD Defense, Torino, January 26th, 2016 icona file pdf
  17. Terminating via Ramsey's Theorem, Logic Seminar, Darmstadt, November 6th, 2015 icona file pdf
  18. Terminating via Ramsey's Theorem, Seminar Logic and Theory Group, Bern, October 22nd, 2015 icona file pdf
  19. Definable versions of algebraic equivalents of CH, XX Congresso UMI, Siena, September 8th, 2015 icona file pdf
  20. Reverse mathematical bounds for the Termination Theorem, PhD AILA 2015, Gargnano, August 25th, 2015 icona file pdf
  21. Reverse mathematical bounds for the Termination Theorem, Logic Colloquium 2015, Helsinki, August 5th, 2015 icona file pdf
  22. Reverse mathematical bounds for the Termination Theorem, Münchenwiler Meeting, Münchenwiler, March 26th, 2015 icona file pdf
  23. Avoidable polynomials and all reals are contructible, Winter School in Abstract Analysis, Hejnice, February 4th, 2015 icona file pdf
  24. Effective Bounds on the Podelski-Rybalchenko Termination Theorem, PSC, Wien, July 17th, 2014 icona file pdf
  25. Ramsey Theorem as an intuitionistic property of well-founded relations, RTA&TLCA, Wien, July 15th, 2014 icona file pdf
  26. Proving termination with transition invariants of height omega, CL&C, Wien, July 13th, 2014 icona file pdf
  27. Determinare la terminazione di programmi con il Teorema di Ramsey, SELP, Salerno, June 6th, 2014 icona file pdf
  28. Finite and Infinite Ramsey Theorem, Browsing through Mathematics, April 28th, 2014, Torino icona file pdf
  29. 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