2023
Probabilistic Reasoning about Typed Combinatory Logic
World Logic Day 2023, January 13-14, 2023, Zagreb, Croatia
2022
Probabilistic Reasoning about Typed Combinatory Logic
LAP 2022, 11th Conference on Logic and Applications, September 26-30, 2022, Dubrovnik, Croatia
slides
Probabilistic reasoning in computation and type theory
Women in EuroProofNet, June 24, 2022, Nantes, France
Towards Probabilistic Reasoning about Typed Combinatory Terms
TYPES 2022 - 28th International Conference on Types for Proofs and Programs, June 20-25, 2022, LS2N, University of Nantes, France
slides
Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing
AI Seminar, May 25, 2022, Mathematical Institute SANU, Belgrade, Serbia
2021
Towards Logic of Combinatory Logic
LAP 2021 - 10th Conference on Logic and Applications, September 20-24, 2021, Dubrovnik, Croatia
[ slides ][ video ]
2020
Kripke-style semantics for Full Simply Typed Lambda Calculus
LAP 2020 - 9th Conference on Logic and Applications, September 21-25, 2020, Dubrovnik, Croatia
Towards Completeness of Full Simply Typed Lambda Calculus
TYPES 2020 - 26th International Conference on Types for Proofs and Programs, March 2020, Turin, Italy
Towards probabilistic reasoning in type theory - the intersection type case
FoIKS 2020- 11th International Symposium on Foundations of Information and Knowledge Systems, February 17-21, 2020, Dortmund, Germany
2019
Kripkeove semantike za lambda račun sa parovima i sumama (Kripke semantics for lambda calculus with pairs and disjoint sums)
KMMNS 2019 - Kongres mladih matematičara (Congress of Young Mathematicians), October 3-5, Novi Sad, Serbia
Kripke semantics for lambda calculus with pairs and disjoint sums
LAP 2019 - 7th Conference on Logic and Applications, September 23-27, 2019, Dubrovnik, Croatia
The discriminating power of the let-in operator in the lazy call-by-name probabilistic lambda-calculus
FSCD 2019 - International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany
Probabilistic reasoning in lambda calculus
March 28, 2019, Seminar for foundations of mathematics and theoretical computing, University of Ljubljana, Slovenia.
2018
Towards probabilistic testing of lambda terms
LAP 2018 - 7th Conference on Logic and Applications, September 22-28, 2018, Dubrovnik, Croatia.
[ abstract ]
Towards probabilistic reasoning about typed lambda terms
TYPES 2018 - 24th Conference on Types for Proofs and Programs, June 18-21, 2018, Braga, Portugal.
[ abstract ]
2017
Towards probabilistic reasoning about simply typed lambda terms
VLP 2017 - Probabilistic Logic and Applications, November 8, 2017, Belgrade, Serbia.
[ abstract ]
Probabilistic reasoning with lambda terms
LAP 2017 - 6th Conference on Logic and Applications, September 18-22, 2017, Dubrovnik, Croatia.