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.
Matematički metodi i zaštita privatnosti (Mathematical methods and privacy protection) (invited speaker)
Privatnost u digitalnom dobu: iluzija ili nacionalni izazov 5 October 2017, Belgrade, Serbia.
[ abstract ]
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.
￼￼￼￼￼￼￼Characterization of strong normalizability for a sequent lambda calculus with co-control (talk given by José Espirito Santo))
TYPES 2017 - The 23nd Conference on Types for Proofs and Programs, 29 May - 2 June 2017, Budapest, Hungary.
[ abstract ]
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.
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.
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.
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
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
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).