Loading view.
PhD Defence – Jarno Lintusaari – Steps forward in approximate computational inference
Aalto University, Undergraduate Centre, Lecture hall H304Jarno Lintusaari, M.Sc., will defend the dissertation "Steps forward in approximate […]
Grigory Fedyukovich – Synthesizing Proofs for Program Verification
Abstract Software controls every device, system, and infrastructure serving our society. […]
FCAI Research Day
Aalto University, Computer Science building, T1FCAI will organize its first FCAI Research Day on 20 March 2019 […]
PhD Defence – Marcelo Hartmann – Approximate Bayesian inference in multivariate Gaussian process regression and applications to species distribution models
University of Helsinki, Porthania, Auditorium PIIIMarcelo Hartmann, M.Sc. will defend the doctoral dissertation entitled "Approximate Bayesian […]
Sergiy Bogomolov – Verification of Cyber-Physical Systems: From Challenges to Opportunities
Aalto University, Maarintie 8, Lecture hall AS1Abstract Cyber-physical systems (CPS) are networks of physical and digital components […]