Invited talks
- Logics of proof-theoretic validity, 5th Symposium on Proof-theoretic Semantics, University College London, 4-6 February 2025.
- Implication in constructive semantics, Коста Дошен, 70 година од рођења, Mathematical Institute and Faculty of Philosophy of the University of Belgrade, 14 June 2024.
- Proof-Theoretic Semantics and Definitional Reasoning, Proof-Theoretic Semantics and Truth, University of Bristol, 16 December 2023.
- Constructive Semantics, CIVIS Summer School on Meanings and Understanding via Proofs, University of Bucharest, 19 July 2023.
- Karl Popper on Deduction, UERJ, Rio de Janeiro, 12 December 2022.
- Constructive Semantics and the Completeness Problem, Seminar on Constructive and Classical Logic, PUC-Rio, Rio de Janeiro, 30 November 2022.
- Abstract Validity-based Proof-theoretic Semantics, Symposium on Proof-theoretic Semantics, University College London, 9 November 2022.
- On Popper and Proof-Theoretic Semantics, UNESCO World Logic Day, University College London, 14 January 2022.
- Proof-theoretic semantics and the problem of completeness, Universidade NOVA de Lisboa, 22 November 2021.
- Proof-theoretic semantics and the problem of completeness, University of Buenos Aires, 10 September 2021.
- Constructive Logics: Proof-Theoretic Semantics and Dialogue Semantics, Mini-course at PUC Rio de Janeiro, February/March 2020.
- Self-Reference, Erasmus+ mini-course at the University of Belgrade, December 2019.
- Karl R. Popper's Logical Writings, Erasmus+ mini-course at the University of Belgrade, December 2019.
- Karl R. Popper: Logical Writings, CLMPST, Prague, 7 August 2019.
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics, IHPST, Paris, 28 January 2019.
- Lambda Calculus, Erasmus+ mini-course at the University of Belgrade, November 2018.
- Introduction to Resolution and Logic Programming, Erasmus+ mini-course at the University of Belgrade, October/November 2018.
- Popper's works on logic, Mathematical Institute of the University of Belgrade, 26 October 2018.
- Proof-theoretic semantics and the problem of completeness, Mathematical Institute of the University of Belgrade, 11 April 2018.
- On Intuitionistic Logic and Dialogue Semantics, Erasmus+ mini-course at the University of Belgrade, April 2018.
- Karl Popper's works on logic, "Pisa Winter Workshop On Proof Theory ", 26-27 March 2018, Pisa.
- Popper’s notion of duality and his theory of negations, "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.