Le LIMOS (Laboratoire d’Informatique, de Modélisation et d’Optimisation des Systèmes) hébergé dans les locaux de l’ISIMA, organise la conférence internationale d’informatique STACS (Symposium on Theoretical Aspects of Computer Science), du 12 au 14 mars.
Cette conférence internationale très reconnue par la communauté, réunit chaque année, depuis bientôt 40 ans, des chercheurs parmi les plus grands spécialistes du domaine.
Les sujets couverts par la conférence correspondent aux fondements théoriques de l’informatique, et en particulier l’algorithmique, le calcul distribué, la cryptographie, les algorithmes quantiques, les automates, les langages formels, les bases de données, l’apprentissage et la vérification formelle de programmes.
Une centaine de participants est attendue, de provenance internationale.