Skip to content
Linear Logical Frameworks – Invited Talk LSFA Natal, Brazil, 25 August 2019
Towards a Playground for LogiciansWomen in Logic Oxford, UK, 8 July 2018
Formalization of Automated Trading Systems in a Concurrent Linear FrameworkLinearity & TLLA Oxford, UK, 8 July 2018
Complexity of Translations from Resolution to Sequent CalculusPxTP Brasília, Brasil, 23 September 2017
Translations from Resolution to Sequent CalculusWomen in Logic workshop Reykjavik, Iceland, 19 June 2017
CERES in intuitionistic logicFISP workshop Paris, France, 8 June 2017
CERES in intuitionistic logicHerbrand’s theorem revisited Vienna, Austria, 26 May 2017
Who watches the watch men? – Trusting theorem proversTalk at CMU Pittsburgh, USA, 1 April 2016
Who watches the watch men? – Trusting theorem proversTalk 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 proversTalk 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
My PhD defense (thesis ) Vienna, Austria, 16 July 2014
Cut-Introduction: GAPT System Demonstration3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013) Nancy, France, 16 September 2013
Checking Proof Transformations with ASP (presentation of paper)ICLP 2013 Istanbul, Turkey, 24-29 August, 2013
A framework for specifying and reasoning in sequent calculus systemsUNILOG 2013 – Workshop on Compositional Meaning in Logic (GeTFun 1.0) Rio de Janeiro, Brazil, 3-4 April 2013
CERES in intuitionistic logicCollegium Logicum 2012: Structural Proof Theory (LIX) Paris, France, 15-16 November 2012
System demonstration: Proof Compression in First Order LogicSecond Workshop of the Amadeus Project on Proof Compression Nancy, France, 2-5 October 2012
Towards CERES in intuitionistic logic (presentation of paper)CSL 2012 Fontainebleau, France, 3-6 September 2012
TATU: tool demo (and research visit) LogicSpecWrk at LIX – Parsifal Paris, France, 2-7 July 2012
An Extended Framework for Specifying and Reasoning about Proof SystemsPisa Summer Workshop on Proof Theory Pisa, Italy, 12-15 June 2012
An algorithm for computing decompositionsFirst Workshop of the Amadeus Project on Proof Compression Vienna, Austria, 29 May – 1 June 2012
An Extended Framework for Specifying and Reasoning about Proof SystemsConcepts and Meaning — Workshop in honour of Alexander Leitsch’s 60th Birthday Vienna, Austria, 4-5 May 2012
CERES in Intuitionistic Logic2nd Workshop of the Joint Project Structural and Computational Proof Theory Innsbruck, Austria, 26-28 October 2011
Specification of Systems in Linear Logic with SubexponentialsParis-Vienna workshop on Logic and Computation at Université Diderot – Paris 7 Paris, France, 15-17 June 2011
Using Linear Logic with Subexponentials to Implement Logic Interpreters (presentation of paper – best paper)SBMF (13th Brazilian Symposium on Formal Methods – Workshop on Thesis and Dissertations) Natal, Brazil, 8-12 November 2010