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.

FSE 2019

La conférence FSE (Fast Software Encryption) est une des conférence thématiques organisées par l’IACR, qui a lieu annuellement depuis 1993 et attire tous les ans entre 150 et 200 experts du domaine. C’est l’événement international le plus important pour la communauté de la cryptographie symétrique, un domaine de la cryptographie qui s’intéresse particulièrement à la sécurité de fonctions élémentaires qui sont utilisées dans tous les protocoles, composants ou produits de sécurité existants.

CASA 2019 et IVA 2019

Les conférences Computer Animation and Social Agents (CASA) et ACM Intelligent Virtual Agents (IVA) sont interdisciplinaires. Elles couvrent des thèmes communs mais ont leur propre particularité. Leurs thèmes principaux portent sur différents domaines de l’intelligence artificielle et de l'interaction humain-machine, tels que l’informatique graphique, les agents autonomes, les modèles de dialogue, le traitement de la parole, et la multimodalité.

Computational Complexity from Algebra, geometry, Logic and their interactions

L’école, d'une durée de 4 jours, se veut comme un forum permettant aux chercheurs en complexité, souvent spécialistes d’une approche spécifique, d’être initiés aux approches alternatives. Ceci dans le but de jeter les bases d’une réflexion qui permettra peut-être, à terme, une analyse profonde des diverses méthodes et outils de la complexité, et des conditions qui pourraient mener à de nouveaux résultats.

EIAH 2019

La conférence Environnements Informatiques pour l’Apprentissage Humain (EIAH) est une conférence internationale francophone biannuelle, placée sous l’égide de l’ATIEF (Association des Technologies de l’Information pour l’Éducation et la Formation). La conférence EIAH 2019 souhaite mobiliser la communauté des chercheurs en EIAH autour d'une question qui reste un défi majeur, celle de la prise en compte de l'apprenant grâce aux données numériques collectées. Dans quelle mesure et comment ces données permettent-elles d'élaborer un modèle de l'apprenant ? Comment ces données permettent-elle d'améliorer l'ergonomie des interfaces ? Que peuvent nous apprendre ces données sur le processus d'apprentissage ? Dans quelle mesure peuvent-elles permettre d'élaborer des modèles prédictifs ? Comment peuvent-elles être utilisées pour concevoir des dispositifs adaptatifs ou des dispositifs permettant le suivi de l'apprenant ? Comment prendre en compte les questions éthiques soulevées par la collecte et le traitement de ces données ?

IEEE ISIT 2019

The IEEE International Symposium on Information Theory (ISIT) is the major conference of the IEEE Information Theory Society (ITSoc, https://www.itsoc.org) which is organized yearly around the world. It covers broad topics theory and application of fundamental concepts of information and related areas, and brings together around 1000 international experts, scientists and researchers expected, ISIT focuses on the processing, transmission, storage, and use of information.