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.