Invited talks

  • Popper’s notion of duality and his theory of negations, at "Beyond Logic", 22–27 May 2017, Cerisy-la-Salle.
  • Beyond Logic. Au-delà de la logique : le raisonnement hypothétique dans la Philosophie des sciences, l’Informatique et le Droit, "Séminaire franco-allemand des projets ANR-DFG 2014", 6–7 April 2017, Paris.
  • Completeness in proof-theoretic semantics, at "Modeling hypothetical reasoning: validity, inference, and paradoxes", 19–20 February 2015, Paris. Inversion of logical rules, at the "Rome Workshop of BeyondLogic", 21–22 May 2015, Rome.
  • Completeness in proof-theoretic semantics and the interpretation of atomic systems, IHPST, Paris, 4 December 2014.
  • Implications as Rules, "New Developments in Law and Logic", JuriLog Conference, Konstanz, 25–28 November 2014.
  • The completeness problem in proof-theoretic semantics, "Hypotheses Conference", Paris, 29–30 May 2014.
  • Failure of completeness in proof-theoretic semantics, at the Munich Center for Mathematical Philosophy (MCMP), München, 12 December 2013.
  • Closed Rule Systems, "Gottfried Wilhelm Leibniz: Connections Between Law and Logic", 3rd JuriLog Conference, Konstanz, 13-14 November 2013.
  • Hypotheses – Hypothetical Reasoning: Its Proof-Theoretic Analysis, "Rencontre ANR-DFG", Berlin, 24–25 October 2013.
  • Proof-theoretic validity and completeness, "Proofs and Programs: From Semantics to Complexity", Lyon, 16-17 May 2013.
  • Three Lectures on Dialogues, Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST), Paris, 14, 21 and 28 March 2013.
  • Symmetries in the sequent calculus, "Cross Perspectives on Proof Systems and their Significance", at the École normale supérieure (Paris), 3 May 2012.
  • Dialogues, implications as rules and definitional reasoning, "LogICCC Final Conference", Berlin, 15–18 September 2011.
  • Hypotheses – Hypothetical Reasoning: Logical and Semantical Perspectives, "Rencontre ANR-DFG", Beaulieu-sur-Mer, 17–18 May 2011.
  • Implications as rules in dialogues, Cross-CRP workshop "Proof and Dialogues (ProDi)", at the University of Tübingen, 25–27 February 2011.
  • Dialogues, End-Rules and Definitional Reasoning, "First Meeting on Logic in Centro-Oeste" at the Universidade Federal de Goiás, Goiânia, Brazil, 24 September 2010.
  • Implications as rules, Cross-CRP workshop "Dialogues, Inference, and Proof – Logical and Empirical Perspectives (DIPLEAP)" at the Vienna University of Technology, 26–28 November 2010.
  • Dialogues, End-Rules and Definitional Reasoning, Cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" at the Institute for Logic, Language and Computation of the University of Amsterdam, 26–28 March 2010.
  • Dialogues and Definitional Reasoning, Department of Philosophy & TecMF, PUC-Rio, Rio de Janeiro, 10 March 2010.
  • Dialogues and Definitional Reasoning, Universidade Federal de Goiás, Goiânia, Brazil, 22 February 2010.
  • Inversion and the Admissibility of Logical Rules, Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST), Paris, 25 November 2009.
  • Some Remarks on the Physical Interpretation of Church’s Thesis, TecMF, PUC-Rio, Rio de Janeiro, 7 March 2007.
  • On Hypercomputation, Department of Philosophy, PUC-Rio, Rio de Janeiro, November 2004.
  • Some Aspects of Quantum Computation, Part I (October), Part II (November), TecMF, PUC-Rio, Rio de Janeiro, 2004.