One-Day Seminar
on Topology and
Computer Science
IMAC
September 15, 2010
Room TI2318 of the Mathematics Department
Universitat Jaume I
|
One-Day Seminar
on Topology and IMAC September 15, 2010 |
|
|
PROGRAMA
|
|
| 11:00 | S. Romaguera,
UPV Construcción de modelos computacionales para espacios (casi-)métricos mediante la teorÃa de modelos |
| 12:00 | M.P. Schellekens,
CEOL MOQA gates for modular power analysis |
| 16:00 | V. Gregori,
UPV Applications of fuzzy metrics to Engineering |
| 17:00 | COFFEE BREAK |
17:15 | O. Valero,
UIB Asymmetric topology: a common framework for the asymptotic complexity analysis of algorithms and the validation of recursive definitions of programs |