Diciassettesimo simposio internazionale sugli aspetti teorici dell'informatica

Dal 17 al 19 febbraio 2000 si terrà a Lilla (Francia) un simposio internazionale sugli aspetti teorici dell'informatica.
Tale conferenza intende mostrare una serie di lavori originali e inediti sugli aspetti teorici dell'informatica.
Ecco alcuni degli argomenti che verranno affrontati:
- algoritmi e strutture di dati, fra cui: algoritmi paralleli e distribuiti, geometria computazionale, crittografia, teoria dell'apprendimento degli algoritmi;
- automi e linguaggi formali;
- complessità computazionale e strutturale;
- logica nell'informatica, fra cui: semantica, specificazione, verifica di programmi, riscrittura e deduzione;
- sfide attuali, tra cui, per esempio: teoria, modelli e algoritmi per l'informatica biologica, informatica quantica, informatica mobile e di rete.Per ulteriori informazioni rivolgersi a:
STACS 2000 - LIFL - Bât. M3
Université de Lille I
F-59655 Villeneuve d'Ascq Cedex
Tel. +33-3-20434309; Fax: +33-3-20436566
E-mail: stacs2000@lifl.fr
URL: http://www.lifl.fr/stacs2000/(si apre in una nuova finestra)