Talks with slides:

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