| Acronym: COMPUTR |
| Main Objective: * To obtain novel results about new computational models, especially those involving computation with real numbers. * To obtain new results about the computational complexity of control theory and verification problems. |
| Reference: none |
| Funding: INRIA |
| Start Date: 01-01-2010 |
| End Date: 01-01-2011 |
| Team: Daniel da Silva Graça, Emmanuel Hainry, Olivier Bournez, Manuel Lameiras de Figueiredo Campagnolo, Carlos Eduardo Ramos dos Santos Lourenço, Jean-Yves Marion, Mathieu Hoyrup |
| Groups: , Security and Quantum Information - Lx |
| Partners: INRIA - Institut national de recherche en informatique et automatique, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications |
| Local Coordinator: Daniel da Silva Graça |
| Links:
http://www.loria.fr/~hainry/ea/Prolong2010.html Internal Page |
|
|
|
Associated Publications
|
