Les activités du póle“自动化、结构和验证”预示着未来的信息系统和计算能力和组件属性。Ces activités提供了一个大幽灵de-themes de recherche，allant de la theorie aux应用程序。Elle compnnent notmment（埃勒压缩注释）：

• l’étude de modèles mathematiques permettent de décrire a différent niveaux d’abstration les comportements de diffèrentes classes de systèmes，《数学模型》，
• 规范化的形式定义-表达形式和形式化的形式和形式，
• létude des problèmes de déceision concernant differentes classes de systèmess，de modèles formels，et de propriétés，et létu de'approachies algorithmiques permettant de résoudre de manière efficience et automatisée e es probl tes de decision，
• “开发创新”是一种实施ces的方法，具有不同的应用类型。Les applications visées concernent en particulier：Les systèmes cyber-physiques、Les systémes emba qués、Les infrastructures modernes systámes et réseaux、Les bases de donées等。

Le póLe重组双关语，léquipe“自动化和应用程序”et lékipe“模式化和验证”。程序与完成的双重性，以及规范对象的部分代理（mots，structures arberescente，ordres，automates，logique等）ainsi que les questions les concernant et les outils涌现出大量ces问题（问题de descidabilityéet de complexité、问题d’expressivité、留置权自动机、模型检查、résolution algorithmique de jeux等）。

《巴黎圣歌活动》（Les activités du póle sont organise en plusieurs axes de recherches transportaux auxéquipes the thematiques du polle）：

• 结构和计算模型，
• données操作系统，
• 连接数量，
• 系统并发和分发，
• 系统动态应用于“信息”。

• Séminaires公司
  • 自动化
  • 验证
• Séminaire en ligne系列一个世界计数研讨会
• 劳动团体逻辑、自动化、algèbre et jeux
• Rencontres公司自动化、结构和验证