2015

22-10-201515:30Zoltan KatoUniversity of Szeged, HungarySensing the 3D world from 2D images: Mobile visual computations
08-10-201516:00Peter BalazsUniversity of Szeged, HungaryComputerized and Discrete Tomography
02-06-201516:15Thomas StuderUniversity of Bern, SwitzerlandModal Logic - an Introduction
19-05-201516:15Jorge A. PérezUniversity of Groningen, The NetherlandsProcess Calculi Approaches to Adaptation: From Process Passing to Session Communication
10-03-201516:15Silvia GhilezanUniversity of Novi SadComputational approach to conjugation
21-01-201512:00Hugo Torres VieiraIMT Institute for Advanced Studies Lucca, ItalyFrom Verification to Synthesis of Communication Centered Systems
12-01-201515:00Pierre-Louis CurienPPS, Universite Paris Diderot, FranceCurry-Howard isomorphism sequent calculus abstract machines and classical logic


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

2016 2015 2014 2013 2011 2010 2009 2008 2007 2006