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