Le Réseau francilien en Sciences Informatiques est en plein essor. Suivez l'actualité des événements, publications et appels, ainsi que des institutions partenaires…
, publié le : 14/12/2018
La Région Île-de-France a ouvert l’appel à projets « La science pour tous » en vue de cofinancer des actions de partage de la culture scientifique technique et industrielle (compétence régionale depuis 2013) qui se tiendront en Île-de-France entre le 1er juin 2019 et le 30 mai 2020. lire plus…
, publié le : 15/09/2018
Le workshop international IWLS vise à regrouper les chercheurs travaillant sur la thématique du dimensionnement de lot en planification ou lot-sizing, domaine important de la recherche opérationnelle. lire plus…
, publié le : 15/09/2018
L'école internationale sur la réécriture (International School on Rewriting, ISR) s’adresse aux étudiants de master, doctorants et chercheurs intéressés par l’étude des concepts de la théorie de la réécriture et leurs applications. lire plus…
, publié le : 15/09/2018
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. lire plus…
, publié le : 15/09/2018
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 ? lire plus…
, publié le : 15/09/2018
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. lire plus…
, publié le : 15/09/2018
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é. lire plus…
, publié le : 13/09/2018
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. lire plus…
, publié le : 13/09/2018
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. lire plus…