Characterization of strong normalizability for a sequent lambda calculus with co-control
PPDP 2017 - 19th International Symposium on Principles and Practice of Declarative Programming, 9-12 October 2017, Namur, Belgium.

Sound and complete subtyping on intersection and union types
LAP 2017 - Logic and Applications, September 18-22, 2017, Dubrovnik, Croatia.
[ slides ]

An Approach to Formally Verified Python Software Transactional Memory (talk given by Branislav Kordic))
ECBS 2017 - 5th European Conference on the Engineering of Computer Based Systems, 31 August - 1 September 2017, Larnaca, Cyprus.

Introduction to Type Theory
EUTypes Summer School, 10-14 July 2017, Ohird, Macedonia.

Characterization of strong normalizability for a sequent lambda calculus with co-control (talk given by José Espirito Santo))
TYPES 2016 - The 23nd Conference on Types for Proofs and Programs, 29 May - 2 June 2017, Budapest, Hungary.

Denotational and Operational Preciseness of Subtyping
EUTypes Working Group Meeting, 30-31 January 2017, Ljubljana, Slovenia.


Types for formal systems
Seminar for Constructive Mathematics: Foundations and Practice, 15 December 2016, Nis, Serbia.

Types and Privacy
FMPriv 2016 Formal Methods for Privacy, 7 October 2016, Limassol, Cyprus.

Denotational and Operational preciseness of subtyping for intersection types
International Workshop on Intersection Types, 13-14 June 2016, Paris, France.

Towards probabilistic reasoning about lambda terms with intersection types (talk given by N. Savic))
TYPES 2016 - The 22nd Conference on Types for Proofs and Programs, 23-26 May 2016, Novi Sad, Serbia.
[ slides ]

Tipovi za formalne sisteme (Types for formal systems) (guest speaker)
Seminar Matematickog instituta SANU, 70th Anniversary of the mathematical Institute SASA 13-14 May 2016, Belgrade, Serbia.

Preciseness of Subtyping on Intersection and Union Types (guest speaker)
Seminaire Preuves, programmes et systèmes, Universite Paris Diderot, April 21, 2016, Paris, France.
[ slides ]


Types in access control and privacy
NII Shonan meeting: Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Shonan, Japan.
[ slides ]

Normalisation in substructural term calculi
UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, Turkey.

Intersection types fit well with resource control (talk given by P. Lescanne)
TYPES 2015, May 2015, Tallin, Estonia.

Precise subtyping for synchronous multiparty sessions
PLACES 2015 - Programming Language Approaches to Communication- and Concurrency-cEntric Systems, ETAPS 2015, April 18, 2015, London, UK.


Confluence in sequent setting (guest speaker)
UNITO - University of Turin, Dipartimento di Informatica, December 6-14, 2014, Turin, Italy.

Computational approach to logic
VLP 2014 - Probabilistic Logic and Application, October 2-3, 2014, Belgrade, Serbia.

Lambek's computational approach to conjugation
LAP 2014 - Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia.

Preciseness of subtyping on intersection and union types (talk given by M. Dezani)
RTA-TLCA 2014 - 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, July 14-17, 2014, Vienna, Austria.

Church-Rosser Theorem for sequent lambda calculi
TYPES 2014 Types for Proofs and Programs (within the Special IHP Trimester on Semantics of proofs and certified mathematics), May 12-15 2014, Paris, France.

Grenoble 2014 Cost Action BETTY meeting, (co-located with ETAPS 2014), April 14, 2014, Grenoble, France.

Types in Computation and Communication (guest speaker)
ELTE Eotvos Lorand University, Faculty of Informatics, Feb 17- March 02, 2014, Budapest, Hungary.
[ slides ]


Madrid 2013 Cost Action Richmodels Final meeting, Madrid, 17-18/10/2013

LAP 2013 - Logic and Applications, Dubrovnik, Croatia, 16-21/09/2013 - Reducibility method: an overview

Reducibility method and logical relations in intuitionistic logic and programming languages (invited speaker)
CM:FP 2013 - Constructive Mathematics: Foundation and Practice, June 24-28, 2013, Nis, Serbia.

Reducibility method and resource control
UNILOG 2013 - The 4th World Congress on Universal Logic, 29/03-04/04/2013, Rio de Janeiro, Brasil,

Roles of Types in Logic, Computation and Security - an Overview (guest speaker)
EPFL - Ecole Polytechnique Federale de Lausanne, Switzerland, LARA - Lab for Automated Reasoning and Analysis, Seminar 27/02-07/03/2013

Rome 2013 Cost Action Richmodels meeting, (co-located with PoPL 2013), Rome, Italy, 20-21/01/2013


Haifa 2012 Cost Action Richmodels meeting, (co-located with HVC 2012) Haifa, Israel, 04/11/2012 - Privacy for Linked Data

SD 2012 - Sustavi dokazivanja, (co-located with LICS 2012) Dubrovnik, Croatia, 29/06/2012 - Računske interpretacije intuicionističke i klasične logike

ITRS 2012 - Sustavi dokazivanja, (co-located with LICS 2012) Dubrovnik, Croatia, 29/06/2012 - Intersection types for explicit substitution with resource control (talk given by J. Ivetic)

Računske interpretacije intuicionističke i klasične logike (guest speaker)
MISANU - Mathematical Institute SASA, Seminar for General Proof Theory, 14/05/2012 abstract


Turin 2011 Cost Action Richmodels meeting, (co-located with FoVeOOS 2011 and FMCO 2011) - Resource control calculi

ICTAC 2011 - The 8th International Colloquium on Theoretical Aspects of Computing Johannesburg, Mabalingwe, South Africa, 31 August - 2 September 2011.


LAC 2010, Paris, France, 16-17/11/2010 - Resource control in sequent lambda calculus

TYPES 2010, Warsaw, Poland, 13-16/10/2010 - Resource control in sequent lambda calculus

Computational interpretations of logic (invited speaker)
HOR 2010 - Higher Order Rewritting (co-located with FLoC 2010), July 14, 2010, Edinburgh, UK.


Tbilisi 2009 - Symposium on Language, Logic and Computation Bakuriani, Georgia, 21-25/09/2009 - Intuitionistic sequent-style calculus with explicit structural rules


PoPL 2008 The 35th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming LanguagesSan Francisco, USA, 10-12/01/2008 - An approach to call-by-name delimited continuations

Guest speaker, earlier talks

University of Minho, Portugal (2010), Universite Paris 7, France (2010), University of Florence, Italy (2008), École Normale Superieure de Lyon, France (2007, 2002), University of Turin, Italy (2008, 2002, 2000, 1992, 1991), University of Athens, Greece (2003), Jozsef Atilla University, Szeged, Hungary (1997), University of Nijmegen, The Netherlands (2001, 1991), Universita di Sapienza, Rome, Italy (1992), McGill University, Montreal, Canada (1993), Université de Québéc à Montréal, Canada (1993), University of Utrecht, The Netherlands (1990).

Earlier talks at conferences

TYPES 2007 (Cividale del Friuli, Udine, Italy), WST 2007 (Paris, France), TGC 2006 (Lucca, Italy), LPAR 2005 (Montego Bay, Jamaica), ITRS 2004 (Turcu, Finland), PPDP 2004 (Verona, Italy), TYPES 2003, TYPES 2002, ITRS'02, ICTCS'01 (Turin, Italy), PLS 2001 (Crete, Greece), WST'01 (Utrecht, The Netherlands), ITRS'00 (Geneva, Switzerland), PLS 1997 (Nicosia, Cyprus), BLM 1997 (Barcelona, Spain), LFCS'94 (St.Petersburg, Russia), LMPS 1991 (Uppsala Sweden), Logical Biennial Kleene'90 (Chaika, Bulgaria), Logic Colloquium 1989 (Berlin, Germany).