STACS 97 - Aspects théoriques de l'informatique
27 Février 1997 - 27 Février 1997
Allemagne
STACS 97, le 14ème Symposium concernant les aspects théoriques de l'informatique, aura lieu à Lubeck, en Allemagne, du 27 février au 1er mars 1997. Ce Symposium, qui se déroulera sous le parrainage de la DG XII (Science, recherche et développement) de la Commission européenne, est organisé conjointement par le Special Interest Group(SIG) for Theoretical Computer Science de la Gesellschaft fuer Informatik (GI) en Allemagne et par le Special Interest Group for Fundamental Computer Science de l'Association Française des Sciences et Technologies de l'Information et des Systèmes (AFCET).
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)
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)