Campuses:

Some certified methods for Real Solving - applications in robotics (continued)

Friday, September 15, 2006 - 3:00pm - 3:50pm
EE/CS 3-180
Fabrice Rouillier (Institut National de Recherche en Informatique Automatique (INRIA))