Home > Verimag > Seminars

Seminar details

IMAG 206
7 June 2016 - 14h00
constraints programming & abstract interpretation
by Charlotte Truchet from Université de Nantes

Abstract: First an introduction to constraints programming, then relationship to abstract interpretation.

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4155969

UGA

CNRS

INP Grenoble