Loading view.
Andreas Pavlogiannis – Algorithmic Advances in Automated Program Analysis
Aalto University, Maarintie 8, Lecture hall AS1Abstract Modern-day software is increasingly complex and software engineering is commonly […]
Machine Learning Coffee Seminar – Mikko Tolonen – Data science and computational history: opportunities for collaboration
Aalto University, Computer Science building, room T6Abstract Helsinki Computational History Group (COMHIS) is a multidisciplinary team that […]
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 […]