CoSCo News

The Academy of Finland has granted funding for a 2-year project on "Probabilistic Machine Learning for Quantum Mechanics-Based Material Design". The funding is awarded to the MachQu consortium consisting of the Information, Complexity and Learning (ICL) research group lead by Assoc Prof Teemu Roos at HIIT and a team of researchers at the Department of Physics, University of Helsinki, lead by Dr Flyura Djurabekova and Prof Kai Nordlund.

The Academy of Finland has granted funding for a 4-year project on "Tensor-Based Machine Learning for Big Data with Inherent Dependencies". The funding is awarded to the TensorML consortium consisting of the research groups of Assistant Professor Tapio Pahikkala at the University of Turku and Associate Professor Teemu Roos at HIIT.

The Academy of Finland and the National Science Foundation (NSF) have granted funding for a joint project by HIIT and the Carnegie Mellon University (CMU).

Andreas Niskanen was acknowledged as Runner-up for Best Student Paper Award at ECAI 2016, 22nd European Conference on Artificial Intelligence for the paper Synthesizing Argumentation Frameworks from Examples co-authored with Johannes P. Wallner and Matti Järvisalo. Currently Andreas is finishing his Master's thesis dealing with constraint optimization approaches to dynamic aspects of argumentation.

Together with IJCAI and AAAI, ECAI is a major biannual AI conference in the world. 

The paper Pakota: A system for Enforcement in Abstract Argumentation by Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo, has been accepted for publication in the proceedings of the 15th European Conference on Logics for Artificial Intelligence (JELIA 2016).

The paper Causal Discovery from Subsampled Time Series Data by Constraint Optimization by Antti Hyttinen, Sergey M. Plis, Matti Järvisalo, Frederick Eberhardt, and David Danks has been accepted for publication in the proceedings of the 8th International Conference on Probabilistic Graphical Models (PGM 2016).

Dr. Matti Järvisalo will deliver an invited talk at the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016) co-located with IJCAI-16 in New York City, USA, in July 2016.

Quoting the Arg-LPNMR website:

Dr. Matti Järvisalo has been invited to deliver one of the Early Career Spotlight Talks at IJCAI-16, 22nd International Joint Conference on Artificial Intelligence taking place In New York City, USA, in July 2016. IJCAI is the prestigious number-one conference on artificial intelligence world-wide.

The paper Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving by Jeremias Berg and Matti Järvisalo (Constraint Reasoning and Optimization group) has been accepted for publication in the proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016).

The following two papers by the Constraint Reasoning and Optimization group have been accepted for publications in the proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) taking place in The Hague, The Netherlands, in August 2016.

M.Sc. Jussi Määttä defended his doctoral thesis Model Selection Methods for Linear Regression and Phylogenetic Reconstruction on Friday the 27th of May 2016 at the University of Helsinki.

The paper Optimal Status Enforcement in Abstract Argumentation by Andreas Niskanen, Johannes Wallner, and Matti Järvisalo has been accepted for publication in the proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16).

The paper contributes to the very topical line of research on argumentation dynamics by proposing, analyzing, and developing constraint-based algorithms for the so-called status enforcement problem.

IJCAI is the world's leading AI conference.

The paper LMHS: A SAT-IP Hybrid MaxSAT Solver by Paul Saikko, Jeremias Berg, and Matti Järvisalo has been accepted for publication in the proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016).

The paper describes details of the LMHS MaxSAT solver that took top positions in the most recent 2015 MaxSAT Evaluation. LMHS was developed as part of Paul Saikko's MSc thesis.

Matti Järvisalo has been invited to lecture along with other international experts in the field at the First International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning taking place June 22-25, 2016, in Lisbon, Portugal.

Matti Järvisalo gives the 4-h tutorial Algorithms for Maximum Satisfiability with Applications to AI at AAAI-16, 30th AAAI Conference on Artificial Intelligence, on February 13, 2016 together with Fahiem Bacchus (University of Toronto).

Together with IJCAI, the AAAI conference series is the main conference on AI world-wide.

The following two papers by the Constraint Reasoning and Optimization group have been accepted for publication in the proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016):

The following two articles with co-authors from the Constraint Reasoning and Optimization group have been accepted for publication in Journal of Computer and System Sciences (JCSS):

The paper Robust Sequential Prediction in Linear Regression with Student’s t-distribution by Jussi Määttä and Teemu Roos has been accepted for publication in the proceedings of the 14th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2016).

The paper Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation by Johannes Wallner, Andreas Niskanen, and Matti Järvisalo has been accepted for publication in the proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016).

Ralf Eggeling, Teemu Roos, Petri Myllymäki, and Ivo Grosse authored a paper "Inferring intra-motif dependencies of DNA binding sites from ChIP-seq data" that was accepted for publication in BMC Bioinformatics.

Eggeling recently defended his PhD thesis at the Halle-Wittenberg University in Germany, supervised by Grosse. Ralf then joined HIIT as a postdoctoral researcher.