2017

28-11-201713:00 Miloš StojakovićPrirodno-matematicki fakultet, Novi SadMany collinear k-tuples with no k+1 collinear points
09-11-201716:00 Martin KalinaSlovak University of Technology in Bratislava, SlovakiaA new formula for the discrete Choquet integra
27-10-201710:00 Pierre LescanneEcole Normale Superieure de Lyon, FranceQuantitative aspects of linear and affine closed lambda terms
12-06-201715:00Vaidas GiedrimasŠiauliai University, LithuaniaComponent-based programming in the Era of Smart Devices
06-04-201710:00Cedric VillaniInstitut Henri Poincare, FranceKako se rađaju ideje
03-04-201716:00Claudio Antares MezzinaIMT LUCCAReversibility in session-based concurrency: A fresh look
03-04-201715:00Doriana MedićIMT LUCCAStatic vs Dynamic Reversibility in CCS
27-03-201715:00Nobuko Yoshida
Alceste Scalas		Imperial College, UKLightweight Session Programming in Scala
03-03-201714:00Marijana LazicTechnical University of Vienna, AustriaA Short Counterexample Property for Safety and Liveness Verification of Fault-Tolerant Distributed Algorithms


PREDAVANJA SE ODRŽAVAJU U SALI 305 (LABORATORIJI CENTRA ZA MATEMATIKU I STATISTIKU) ILI U CENTRALNOJ ZGRADI UNIVERZITETA ILI U SALI ZA SASTANKE, KULA FTN 3.SPRAT.

Current Seminar CMS and past editions


Back