Skip to content
-
- 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
-
- My PhD defense (thesis)
Vienna, Austria, 16 July 2014
- Cut-Introduction: GAPT System Demonstration
3rd 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 systems
UNILOG 2013 – Workshop on Compositional Meaning in Logic (GeTFun 1.0)
Rio de Janeiro, Brazil, 3-4 April 2013
- CERES in intuitionistic logic
Collegium Logicum 2012: Structural Proof Theory (LIX)
Paris, France, 15-16 November 2012
- System demonstration: Proof Compression in First Order Logic
Second 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 Systems
Pisa Summer Workshop on Proof Theory
Pisa, Italy, 12-15 June 2012
- An algorithm for computing decompositions
First Workshop of the Amadeus Project on Proof Compression
Vienna, Austria, 29 May – 1 June 2012
- An Extended Framework for Specifying and Reasoning about Proof Systems
Concepts and Meaning — Workshop in honour of Alexander Leitsch’s 60th Birthday
Vienna, Austria, 4-5 May 2012
- CERES in Intuitionistic Logic
2nd Workshop of the Joint Project Structural and Computational Proof Theory
Innsbruck, Austria, 26-28 October 2011
- Specification of Systems in Linear Logic with Subexponentials
Paris-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
