17. Internationales Symposium über die theoretischen Aspekte der Computerwissenschaft

Ein internationales Symposium über die theoretischen Aspekte der Computerwissenschaft findet vom 17. bis 19. Februar 2000 in Lille, Frankreich, statt.
Auf dieser Konferenz sollen ursprüngliche und unveröffentlichte Arbeiten zu den theoretischen Aspekten der Computerwissenschaft gezeigt werden.
Zu den zu behandelnden Themen gehören:
- Algorithmen und Datenstrukturen, einschließlich paralleler und verteilter Algorithmen, Computergeometrie, Kryptographie, algorithmische Lerntheorie;
- Automatentheorie und formale Sprachen;
- rechnerische und strukturelle Komplexität;
- Logik in der Computerwissenschaft, einschließlich Semantik, Spezifikation und genaue Prüfung von Programmen, Überarbeitung und Deduktion;
- aktuelle Herausforderungen wie zum Beispiel Theorie, Modelle sowie Algorithmen für die biologische Informatik, Quanteninformatik, mobile Datenerfassung und Berechnung im Netz.Weitere Auskünfte erteilt:
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/(öffnet in neuem Fenster)