Loading view.
Andreas Pavlogiannis – Algorithmic Advances in Automated Program Analysis
Abstract 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
Abstract Helsinki Computational History Group (COMHIS) is a multidisciplinary team that […]
PhD Defence – Jarno Lintusaari – Steps forward in approximate computational inference
Jarno 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
FCAI will organize its first FCAI Research Day on 20 March 2019 […]