Skip to content

 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 CMUQatar
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, 23 August 2015
 Linear Logic (+ discussions on proof theory)
Workshop on Proofs as Processes II
Noto, Ishikawa, Japan, 1214 July 2015
 A note on the complexity of classical and intuitionistic proofs (presentation of paper)
Logic In Computer Science (LICS)
Kyoto, Japan, 610 July 2015
 Epsilon Terms in Intuitionistic Sequent Calculus (presentation of paper)
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
Montpellier, France, 1012 June 2015
 Introducing quantified cuts in logic with equality (presentation of paper)
IJCAR 2014 – Vienna Summer of Logic
Vienna, Austria, 1922 July 2014
 My PhD defense (thesis)
Vienna, Austria, 16 July 2014
 CutIntroduction: GAPT System Demonstration
3rd workshop of the Amadeus project on Proof Compression (colocated with Tableaux 2013)
Nancy, France, 16 September 2013
 Checking Proof Transformations with ASP (presentation of paper)
ICLP 2013
Istanbul, Turkey, 2429 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, 34 April 2013
 CERES in intuitionistic logic
Collegium Logicum 2012: Structural Proof Theory (LIX)
Paris, France, 1516 November 2012
 System demonstration: Proof Compression in First Order Logic
Second Workshop of the Amadeus Project on Proof Compression
Nancy, France, 25 October 2012
 Towards CERES in intuitionistic logic (presentation of paper)
CSL 2012
Fontainebleau, France, 36 September 2012
 TATU: tool demo (and research visit)
LogicSpecWrk at LIX – Parsifal
Paris, France, 27 July 2012
 An Extended Framework for Specifying and Reasoning about Proof Systems
Pisa Summer Workshop on Proof Theory
Pisa, Italy, 1215 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, 45 May 2012
 CERES in Intuitionistic Logic
2nd Workshop of the Joint Project Structural and Computational Proof Theory
Innsbruck, Austria, 2628 October 2011
 Specification of Systems in Linear Logic with Subexponentials
ParisVienna workshop on Logic and Computation at Université Diderot – Paris 7
Paris, France, 1517 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, 812 November 2010