Loading view.
Grigory Fedyukovich – Synthesizing Proofs for Program Verification
Aalto University, Maarintie 8, Lecture hall AS1Abstract Software controls every device, system, and infrastructure serving our society. […]
FCAI Research Day
FCAI 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
Abstract Cyber-physical systems (CPS) are networks of physical and digital components […]
Diptarka Chakraborty – Edit Distance: Constant-factor approximation, Embedding and Streaming
Aalto University, Maarintie 8, Lecture hall AS1Abstract Edit distance is a measure of similarity of two strings […]