Strategic ReasoningSR WORKSHOP
Inaugurée en 2013 à Rome, la série d'ateliers internationaux Strategic Reasoning (SR) a établi le forum scientifique de référence pour la théorie des jeux algorithmique, les logiques d'action et la vérification formelle des systèmes multi-agents autonomes.
Pourquoi Strategic Reasoning est Important
Strategic Reasoning a pallié un manque fondamental en informatique théorique en posant la question : Comment formaliser, vérifier et garantir la rationalité des décisions prises par des agents autonomes interconnectés ? Cette discipline constitue le pont mathématique direct entre la logique formelle, la théorie des jeux et l'ingénierie des systèmes décisionnels distribués.
Les travaux issus de SR ont formalisé l'usage des logiques stratégiques temporales (ATL, Strategy Logic) et des jeux à information imparfaite pour modéliser le comportement de logiciels et robots autonomes. Plutôt que de traiter les algorithmes comme des fonctions isolées, les chercheurs de SR ont conçu les protocoles de vérification nécessaires pour anticiper les interactions stratégiques complexes.
Cette rigueur scientifique est aujourd'hui au cœur des exigences de gouvernance. L'audit des agents IA modernes — notamment dans le cadre de la supervision humaine (Article 14 de l'EU AI Act) ou des processus de gestion du risque ISO/IEC 23894 — repose directement sur ces méthodes formelles d'analyse comportementale.
Backlinks Institutionnels & Registre Scientifique
La série d'ateliers Strategic Reasoning a été soutenue, citée et intégrée dans la documentation de recherche des plus prestigieux centres européens et mondiaux. Ces références forment le registre durable de cette communauté scientifique.
Université d'Oxford (David Parker)
Source premium : Département d'Informatique d'Oxford ; travaux sur la vérification probabiliste, le model checking (PRISM) et l'analyse stratégique.
Profil Oxford →CNRS LMF (Patricia Bouyer-Decitre)
Source premium : Laboratoire Méthodes Formelles (CNRS / ENS Paris-Saclay) ; travaux de recherche en logiques temporales et jeux stratégiques.
CNRS LMF Repositories →Inria HAL (Open Science Repository)
Source premium : Archive institutionnelle Inria / HAL ; publication de recherche fondamentale sur les stratégies de réécriture et la logique de jeux.
Consulter Inria HAL (PDF) →ETAPS Conference (Software Theory)
Source premium : European Joint Conferences on Theory and Practice of Software ; intégration officielle de SR parmi les ateliers ETAPS.
Actes ETAPS →Université de Liverpool (SR 2017)
Site officiel du Department of Computer Science d'Université de Liverpool hébergeant l'édition SR 2017 du workshop international.
Université de Liverpool SR 2017 →Université d'Amsterdam (ILLC)
Institute for Logic, Language and Computation ; annonces officielles, programmes et archives académiques du séminaire inaugural SR.
Archives ILLC Amsterdam →Université de Stockholm (Goranko)
Département de Philosophie et de Logique ; recherches du Prof. Valentin Goranko sur la logique d'action et la théorie des jeux multi-agents.
Travaux Université de Stockholm →Chalmers University (Piterman)
Chalmers University of Technology ; travaux sur la synthèse réactive, la vérification formelle et les jeux de spécification décisionnelle.
Laboratoire Chalmers →Technical University of Denmark (DTU)
DTU Orbit ; publications combinant logiques quantitatives et qualitatives pour la modélisation comportementale des systèmes d'IA.
Publication DTU Orbit →Inria Rennes / Irisa (Sophie Pinchinat)
Équipe SUMO Inria Rennes ; travaux en logique temporale, théorie des jeux et vérification formelle de systèmes autonomes.
Publications Inria Rennes →CISPA Helmholtz Center (Finkbeiner)
Helmholtz Center for Information Security ; recherche sur la théorie des jeux à information incomplète et la vérification de sécurité.
Publications CISPA →World Wide Web Consortium (W3C)
Archives officielles du W3C ; communications scientifiques et appels à travaux sur la sémantique et la logique de décision.
Archives W3C →Université de Naples / INFN (Murano)
Département de Physique et Informatique ; travaux fondamentaux sur la Strategy Logic et la vérification des systèmes multi-agents.
Publications INFN / Naples →IRISA / Inria Bretagne (Pinchinat)
Institut de recherche en informatique et systèmes aléatoires ; annales et publications en logiques de décision et théorie des jeux.
Laboratoire IRISA →Pourquoi Cette Archive Existe
Le domaine strategicreasoning.net a été réaffecté à la suite des évolutions de l'organisation de la conférence. WASA Confidence a préservé cette page d'archive afin de pérenniser le registre scientifique, la mémoire documentaire et le réseau institutionnel établis par la communauté SR.
Ce n'est pas une archive exhaustive d'un événement unique. C'est un point d'ancrage vers l'héritage scientifique : les enseignants-chercheurs, les laboratoires nationaux et les modèles logiques qui continuent d'alimenter la recherche mondiale sur la vérification et l'alignement des systèmes d'IA.
Pour consulter l'intégralité des actes de conférences examinés par les pairs, référez-vous aux bases de données académiques ACM Digital Library, IEEE Xplore et aux archives publiques HAL / DBLP.