Clermont Auvergne INP

STACS 2024

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.

Abonnez-vous à notre lettre d’information pour suivre toute l'actualité de l'ISIMA.
BV_Certification_ISO 9001-2008
CyberEdu