17ème symposium international sur les aspects théoriques de l'informatique

Un symposium international sur les aspects théoriques de l'informatique se tiendra à Lille, en France, du 17 au 19 février 2000.
Cette conférence doit mettre en avant des ouvrages originaux et non publiés sur les aspects théoriques de l'informatique.
Les thèmes abordés seront les suivants:
- algorithmes et structures de données, comprenant: algorithmes parallèles et distribués, géométrie quantitative, cryptographie, théorie de l'étude des algorithmes;
- automates et langages formels;
- complexité informatique et structurelle;
- la logique en informatique, comprenant: la sémantique, la spécification et la vérification de programmes, la réécriture et la déduction;
- défis actuels, par exemple: théorie, modèles et algorithmes pour l'informatique biologique, l'informatique quantique, l'informatique mobile et de réseau.Pour de plus amples renseignements, contacter:
STACS 2000 - LIFL - Bât. M3
Université de Lille I
F-59655 Villeneuve d'Ascq Cedex
Tél. +33-3-20434309; fax: +33-3-20436566
E-mail: stacs2000@lifl.fr
URL: http://www.lifl.fr/stacs2000/(s’ouvre dans une nouvelle fenêtre)