Décimo séptimo simposio internacional sobre aspectos teóricos de la informática

Del 17 al 19 de febrero de 2000, se celebrará en Lille, Francia, un simposio internacional sobre los aspectos teóricos de la informática.
El objeto de esta conferencia es mostrar obras originales e inéditas sobre los aspectos teóricos de la informática.
Entre otros, se abarcarán los siguientes temas:
- Algoritmos y estructuras de datos, incluidos: algoritmos paralelos y distribuidos, geometría computacional, criptografía, teoría de aprendizaje algorítmico;
- Autómatas y lenguajes formales;
- Complejidad computacional y estructural;
- Lógica aplicada a la informática, incluidos: semántica, especificaciones, verificación de programas, reescritura y deducción;
- Desafíos actuales, por ejemplo: teoría, modelos y algoritmos para la informática biológica, informática cuántica, informática móvil y de redes.Para más información, dirigirse a:
STACS 2000 - LIFL - Bât. M3
Université de Lille I
F-59655 Villeneuve d'Ascq Cedex
Francia
Tel. +33-3-20434309; Fax: +33-3-20436566
E-mail: stacs2000@lifl.fr
URL: http://www.lifl.fr/stacs2000/(se abrirá en una nueva ventana)