Skip to content
Linear Logical Frameworks – Invited Talk LSFA
Towards a Playground for LogiciansWomen in Logic
Formalization of Automated Trading Systems in a Concurrent Linear FrameworkLinearity & TLLA
Complexity of Translations from Resolution to Sequent CalculusPxTP
Translations from Resolution to Sequent CalculusWomen in Logic workshop
CERES in intuitionistic logicFISP workshop
CERES in intuitionistic logicHerbrand’s theorem revisited
Who watches the watch men? – Trusting theorem proversTalk at CMU
Who watches the watch men? – Trusting theorem proversTalk at CMU-Qatar
Quis custodiet ipsos custodes? – Trusting theorem provers
Quis custodiet ipsos custodes? – Trusting theorem proversTalk at ANU
Importing SMT and Connection proofs as Expansion Trees (presentation of paper)Proof Exchange for Theorem Proving (PxTP)
Linear Logic (+ discussions on proof theory)Workshop on Proofs as Processes II
A note on the complexity of classical and intuitionistic proofs (presentation of paper)Logic In Computer Science (LICS)
Epsilon Terms in Intuitionistic Sequent Calculus (presentation of paper)Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
Introducing quantified cuts in logic with equality (presentation of paper)IJCAR 2014 – Vienna Summer of Logic
My PhD defense (thesis )
Cut-Introduction: GAPT System Demonstration3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013)
Checking Proof Transformations with ASP (presentation of paper)ICLP 2013
A framework for specifying and reasoning in sequent calculus systemsUNILOG 2013 – Workshop on Compositional Meaning in Logic (GeTFun 1.0)
CERES in intuitionistic logicCollegium Logicum 2012: Structural Proof Theory (LIX)
System demonstration: Proof Compression in First Order LogicSecond Workshop of the Amadeus Project on Proof Compression
Towards CERES in intuitionistic logic (presentation of paper)CSL 2012
TATU: tool demo (and research visit)
An Extended Framework for Specifying and Reasoning about Proof SystemsPisa Summer Workshop on Proof Theory
An algorithm for computing decompositionsFirst Workshop of the Amadeus Project on Proof Compression
An Extended Framework for Specifying and Reasoning about Proof SystemsConcepts and Meaning — Workshop in honour of Alexander Leitsch’s 60th Birthday
CERES in Intuitionistic Logic2nd Workshop of the Joint Project Structural and Computational Proof Theory
Specification of Systems in Linear Logic with SubexponentialsParis-Vienna workshop on Logic and Computation at Université Diderot – Paris 7
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)
