Projects in Computational Logic

Current

• Finnish Centre of Excellence in Computational Inference Research (COIN II), 01/2015-12/2017

Past

• Finnish Centre of Excellence in Computational Inference Research (COIN I), 01/2012-12/2014
• Symbolic Testing and Model Checking of Distributed Embedded Systems (StMcDes), 01/2009-12/2012
• Methods for Constructing and Solving Large Constraint Models (MCM), 01/2008-12/2011
• Model-Based Safety Evaluation of Automation Systems (MODSAFE), 02/2007-01/2011
• LightweIght formal Methods for distributed component-based Embedded systems (LIME2), 01/2009-9/2011
• LightweIght formal Methods for distributed component-based Embedded systems (LIME), 10/2007-09/2009 (publications)
• Symbolic Methods for UML Behavioural Diagrams (SMUML), 01/2005-12/2007
• Advanced Constraint Programming Techniques for Large Structured Problems (ACPT), 01/2005-12/2007
• Working group on Answer Set Semantics (WASP, Work Package 3), 9/2002-q9/2005
• Applications of Rule-Based Constraint Programming, 01/2002-12/2005
• Constraint Programming Based on Default Rules, 01/1998-12/2001
• Conformance Testing and Bounded Model Checking, 01/2001-12/2002