2017

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.

2016 2015 2014 2013 2011 2010 2009 2008 2007 2006