2015
| 22-10-2015 | 15:30 | Zoltan Kato | University of Szeged, Hungary | Sensing the 3D world from 2D images: Mobile visual computations |
| 08-10-2015 | 16:00 | Peter Balazs | University of Szeged, Hungary | Computerized and Discrete Tomography |
| 02-06-2015 | 16:15 | Thomas Studer | University of Bern, Switzerland | Modal Logic - an Introduction |
| 19-05-2015 | 16:15 | Jorge A. Pérez | University of Groningen, The Netherlands | Process Calculi Approaches to Adaptation: From Process Passing to Session Communication |
| 10-03-2015 | 16:15 | Silvia Ghilezan | University of Novi Sad | Computational approach to conjugation |
| 21-01-2015 | 12:00 | Hugo Torres Vieira | IMT Institute for Advanced Studies Lucca, Italy | From Verification to Synthesis of Communication Centered Systems |
| 12-01-2015 | 15:00 | Pierre-Louis Curien | PPS, Universite Paris Diderot, France | Curry-Howard isomorphism sequent calculus abstract machines and classical logic |
PREDAVANJA SE ODRŽAVAJU U SALI 305 (LABORATORIJI CENTRA ZA MATEMATIKU I STATISTIKU)