Le 19th International Symposium on Theorical Aspects of Computer Science, du 14 au 16 mars au palais des congrès de Juan-les-Pins fera le point sur les dernières avancées dans l'algorithmique, la cryptographie, les automates, etc.
Le 19th International Symposium on Theorical Aspects of Computer Science (STACS 2002) qui aura lieu du 14 au 16 mars 2002 au palais des congrès de Juan les Pins se place aux avant-posts même de la révolution informatique qui se poursuit. La part croissante de l'ordinateur dans la vie quotidienne crée un besoin d'outils théoriques de plus en plus sophistiqués. Il s'agit de concevoir, modéliser, dimensionner, et valider les outils de travail et de vie. Aussi l'informatique théorique, en évolution constante et très rapide, nécessite de confronter les résultats novateurs de plus en plus fréquents. C'est ce que permet la conférence STACS (Symposium on Theoretical Aspects of Computer Science), qui s'inscrit comme l'une des plus grandes conférences d'informatique théorique d'Europe.
De la modélisation à l'algorithmique quantique
Le STACS permet de faire un tour d'horizon des dernières avancées. Les thèmes principaux en sont l'algorithmique et la complexité, les automates, la logique, les nouveaux développements, comme la cryptographie ou l'algorithmique quantique. Mais aussi la modélisation des nouvelles technologies où l'informatique joue un rôle croissant, comme les télécommunications et la bio-informatique.
Par exemple, le formalisme des preuves vérifiables aléatoirement qui n'existait pas au début des années 90, s'applique aujourd'hui dans toute l'informatique et a trouvé sa place dans la validation de systèmes embarqués ou temps réel et dans la surveillance de centres de productions ou de centrales énergétiques. La cryptologie, indispensable pour toute transaction sur internet ou pour toute communication confidentielle, est un autre exemple des domaines étudiés en informatique théorique, tant au niveau de la conception de nouveaux systèmes, que de la fiabilité et robustesse des systèmes utilisés.
Un lieu de rencontre des chercheurs
Cette conférence recevra de nombreuses personnalités, mondialement reconnues dans le domaine de l'informatique théorique, dont le Professeur Michael O. Rabin (Harvard), lauréat du Turing Award (l'un des plus prestigieux prix en informatique). C'est un lieu de rencontre entre des chercheurs de grande expérience internationale et des jeunes chercheurs : 150 chercheurs sont ainsi attendus au Palais des Congrès de Juan les Pins.
L'organisation de la 19ème édition de cette conférence de renommée internationale met d'autre part en valeur le dynamisme et l'implication de la Côte d'Azur dans ces domaines de recherche fondamentale. D'autant plus que l'organisation a été confiée à des scientifiques régionaux. Le président de STACS 2002, Afonso Ferreira, directeur de recherche au CNRS, membre du laboratoire I3S (CNRS/UNSA), travaille à l'INRIA Sophia Antipolis. Tandis que le responsable de son organisation, Jérôme Durand-Lose, est maître de conférence en informatique à l'université de Nice-Sophia Antipolis, membre du laboratoire I3S.