INFORSID2019

Depuis 1982, le congrès annuel INFORSID (INFormatique des ORganisations et Systèmes d'Information et de Décision) constitue le lieu d'échange privilégié entre chercheurs et praticiens pour identifier et explorer les problématiques, les opportunités et les solutions que les SI apportent ou subissent. C'est aussi l'occasion de partager et de diffuser les expériences de mise en œuvre des méthodes, modèles, outils et solutions liées aux nouvelles technologies. Les SI sont omniprésents au sens où aucun domaine d'activité n'y échappe. Cependant, dans certains secteurs (santé, finance, agriculture, environnement, culture, logistique, etc.), les problématiques SI méritent des efforts spécifiques ou rendent saillants certains aspects. En 2019, le congrès INFORSID portera une attention particulière aux travaux visant à faire évoluer les SI pour accompagner la transformation des organisations à l’ère de l’innovation numérique, tout en restant ouvert à ses thématiques habituelles.

Computational Logic and Applications (CLA 2019)

Les réunions CLA (Computational Logic and Applications) se tiennent depuis 2002, avec un rythme bisannuel au début, puis annuel depuis 2015. Elles se tiennent traditionnellement sur deux jours ; outre des exposés sur des résultats récents, elles comportent une part importante de discussions, à la fois autour des problématiques actuelles, et de nouvelles problématiques. Le domaine concerné est à l’interface entre la logique informatique, la théorie de la programmation (lambda-calcul, concurrence, ...) et l’analyse d’algorithmes basée sur la combinatoire analytique et les probabilités ; cf. le site web http://cla.tcs.uj.edu.pl.

ACM SIGIR 2019

ACM-SIGIR est la conférence scientifique internationale majeure dans le domaine de la recherche d’information (RI). Les chercheurs académiques et des grandes entreprises du domaine se réunissent chaque année pour présenter et discuter les dernières avancées sur les thèmes des moteurs de recherche sur le Web, des systèmes de recommandation et les réseaux sociaux ainsi que les applications d’accès à l’information dans les domaines de la santé, juridique, éducatif et autres.

Ecole SpeVeCris 2019

Le développement des logiciels basé sur la modélisation, la spécification et la vérification formelle est une branche devient un domaine de plus en plus d’actualité dans le domaine des systèmes critiques (avionique, ferroviaire, nucléaire, exploration spatiale, militaire), là où des méthodologies basées sur le test ou la simulation ne peuvent garantir l’absence d’erreurs de conception ou d’implémentation. Ces méthodes nécessitent de bonnes bases théoriques et une maîtrise de la modélisation des systèmes informatiques. Notre projet d’école d’été veut développer ces aspects de la vérification formelle, sur la base des compétences développées au sein des participants au séminaire francilien de recherche MeFoSyLoMa http://www.mefosyloma.fr/, animé conjointement par les laboratoires Cedric (Cnam), IBISC (Univ. Evry), LACL (Univ. Paris Est Créteil), LIP6 (UPMC), LIPN (Univ. Paris 13), LRDE (Epita), LSV (École Normale Supérieure de Cachan) et LTCI (TELECOM ParisTech). Ce séminaire est organisée depuis 4 ans pour permettre la confrontation de différentes approches ou points de vue sur l’utilisation des méthodes formelles dans les domaines du génie logiciel, de la conception de circuit, des systèmes répartis, des systèmes temps-réel ou encore des systèmes d’information. Il s’organise autour de réunions bimestrielles où sont exposés des travaux de recherche récents sur ce thème.