TASC - 2012 - Annual activity report

TASC

TASC - 2012

Project-Team Tasc

Members

Overall Objectives

Objectives of the team
Highlights of the Year

Scientific Foundations

Overview
Fundamental Research Topics

Application Domains

Introduction
Panorama

Software

CHOCO
IBEX
CHOCO-IBEX
Global Constraint Catalog

New Results

Constraint and Abstract Interpretation
Analytic Combinatorics and Lazy Filtering
Learning Constraint Models
Scalable Resource Scheduling Constraints
Reification of Global Constraints
Optimization and Soft Problems
Consistency and Filtering
Automata and Matrix Models
Parallelization

Bilateral Contracts and Grants with Industry

Ligéro
CPER
UNIT
FUI SUSTAINS
ANR BOOLE
ANR NetWMS2
ANR INFRA-JVM
EDF
Google

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year

Home | Next next

2012 Project-Team Activity Report

TASC

Theory, Algorithms and Systems for Constraints

Research centre: Rennes - Bretagne-Atlantique

In partnership with: CNRS, Université Nantes, Ecole des Mines de Nantes

In collaboration with: Laboratoire d'Informatique de Nantes Atlantique (LINA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Programs, Verification and Proofs

Keywords: Constraints, Artificial Intelligence, Inference, Operations Research, Numerical Methods, Knowledge