Talks

    • Linear Logical Frameworks – Invited Talk
      LSFA
      Natal, Brazil, 25 August 2019
    • Towards a Playground for Logicians
      Women in Logic
      Oxford, UK, 8 July 2018
    • Formalization of Automated Trading Systems in a Concurrent Linear Framework
      Linearity & TLLA
      Oxford, UK, 8 July 2018
    • Complexity of Translations from Resolution to Sequent Calculus
      PxTP
      Brasília, Brasil, 23 September 2017
    • Translations from Resolution to Sequent Calculus
      Women in Logic workshop
      Reykjavik, Iceland, 19 June 2017
    • CERES in intuitionistic logic
      FISP workshop
      Paris, France, 8 June 2017
    • CERES in intuitionistic logic
      Herbrand’s theorem revisited
      Vienna, Austria, 26 May 2017
    • Who watches the watch men? – Trusting theorem provers
      Talk at CMU
      Pittsburgh, USA, 1 April 2016
    • Who watches the watch men? – Trusting theorem provers
      Talk at CMU-Qatar
      Doha, Qatar, 7 March 2016
    • Quis custodiet ipsos custodes? – Trusting theorem provers
      Talk at LSV
      Cachan, France, 9 February 2016
    • Quis custodiet ipsos custodes? – Trusting theorem provers
      Talk at ANU
      Canberra, Australia, 16 November 2015
    • Importing SMT and Connection proofs as Expansion Trees (presentation of paper)
      Proof Exchange for Theorem Proving (PxTP)
      Berlin, Germany, 2-3 August 2015
    • Linear Logic (+ discussions on proof theory)
      Workshop on Proofs as Processes II
      Noto, Ishikawa, Japan, 12-14 July 2015
    • A note on the complexity of classical and intuitionistic proofs (presentation of paper)
      Logic In Computer Science (LICS)
      Kyoto, Japan, 6-10 July 2015
    • Epsilon Terms in Intuitionistic Sequent Calculus (presentation of paper)
      Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
      Montpellier, France, 10-12 June 2015
    • Introducing quantified cuts in logic with equality (presentation of paper)
      IJCAR 2014 – Vienna Summer of Logic
      Vienna, Austria, 19-22 July 2014