About us
Board
Scientific Advisory Board
Steering Group
Organisation chart
Annual Reports
For the media
Research
Research groups
Algorithmic Data Analysis
Computational Inference
Distributed and Mobile Cloud Systems
Network Society
HIIT Wide Focus Area: Augmented Science
Join us
Open positions
Open call
Welcome to Finland
Career paths at HIIT
Joining HIIT: Groups and programmes
News & events
Highlights
Helsinki Distinguished Lecture Series on Future Information Technology
News
Events & lectures
Helsinki ICT Research Feeds
Machine Learning Coffee Seminars
People & contact us
Billing addresses
IT services
Search form
Search
Search form
Search
Page not found
The requested page "/cosco/www.satcompetition.org/2014/" could not be found.
News
ICL research group will apply probabilistic machine learning to quantum mechanics based material design
Roos group teams up with researchers in Turku under an Academy funded 4-year project on Tensor-Based Machine Learning
Academy of Finland and NSF award funding for a joint project by HIIT and Carnegie Mellon University on ''Efficient and Robust Cognitive IoT Systems using Unreliable Sensors''
Runner-up for ECAI 2016 Best Student Paper Award to Andreas Niskanen
Paper "Pakota: A System for Enforcement in Abstract Argumentation" accepted to JELIA 2016
Paper "Causal Discovery from Subsampled Time Series Data by Constraint Optimization" accepted to PGM 2016
Järvisalo to give invited talk at the Arg-LPNMR IJCAI-16 workshop
Järvisalo to deliver IJCAI-16 Early Career Spotlight as one of the most active early career AI researchers in the world
Paper "Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving" accepted to CP 2016
Two papers accepted to ECAI 2016