2018
17-09-2018 | 16:00 | Nobuko Yoshida Alceste Scalas | Imperial College, UK | Effpi: concurrent programming with dependent behavioural types |
6-03-2018 | 11:00 | Svetlana Jakšić | FTN & Western Norway University of Applied Sciences | Hardware-assisted data race detection with COEMS |
12-02-2018 | 15:30 | Giulia Meuli | EPFL | Reversible circuits for quantum computing |
07-02-2018 | 16:00 | Hugo Torres Vieira | IMT School for Advanced Studied Lucca | Governed Components: Choreographies for Reactive Programming |
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.