STACS 97 - Aspects théoriques de l'informatique
Au nombre des thèmes abordés pendant ce Symposium on peut citer (cette liste n'est pas exhaustive): algorithmes et structures de données, automates et langages formels, complexité des calculs et des structures, sémantique des langages de programmation, théorie du calcul parallèle et réparti, algorithmes parallèles, logique dans l'informatique, théorie de l'apprentissage des algorithmes, géométrie de calcul, crytographie, théorie des systèmes informatiques, spécification de programmes, vérification, structures VLSI (intégration à très grande échelle), théorie des bases de données, aspects de calcul liés à l'intelligence artificielle (A.I.)
Pour tout renseignement supplémentaire s'adresser à:
STACS 97
M. Rudiger Reischuk
Universitat Lubeck
Institut fur Theoretische Informatik
Wallstrasse 40
D-23560 Lubeck
Tél. +49-451-7030418; Fax +49-451-7030438
E-mail: stacs97@informatik.mu-luebeck.de
URL: http://www.itheoi.mu-luebeck.de/stacs97/(s’ouvre dans une nouvelle fenêtre)