2016

15-11-201616:00Luca PadovaniUniversità di Torino, ItalyThe Chemical Approach to Typestate-Oriented Programming
25-10-201616:00José Carlos Espírito SantoUniversity of Minho, PortugalThe polarized lambda-calculus
28-09-201612:30Jovana Obradovic?FTN and Paris 7, FranceWeak cyclic Cat-operads
19-23-09-2016 LAP 2016IUC DubrovnikConference on Logic and Applications
23-26-05-2016 TYPES 2016University of Novi SadConference on Types for Proofs and Programs
04-31-05-2016 70th Aniversary Mathematical Institute SANU
04-03-201614:30Nobuko Yoshida
Alceste Scalas
Imperial College, UKMultiparty session types and their applications


PREDAVANJA SE ODRŽAVAJU U SALI 305 (LABORATORIJI CENTRA ZA MATEMATIKU I STATISTIKU)

2017 2015 2014 2013 2011 2010 2009 2008 2007 2006