Conférences et séminaires organisés depuis 2006

LIP6 AID ASN SSR TMC ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Colloquium

LIP6

ASN

  •  Demi-journée «Architectures IA accélérateurs matérielles et logiciels»

SSR

  •  1/2 journée de l'axe SSF

TMC

  •  Know your audience: function computability in anonymous networks
  •  Mixed precision algorithms for high performance computing
  •  Introduction to quantum computing

ACASA

  •  Séminaire exceptionnel de Luciano Floridi

ALMASTY

  •  Blind-Folded: Simple Power Analysis Attacks using Data with a Single Trace and no Training
  •  Multi-Party PSM, Revisited: Improved Communication and Unbalanced Communication
  •  LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions
  •  Multi-Party Permutation for Syndrome Decoding: a new zk protocol and code-based signature
  •  Fast Verification of Masking Schemes in Characteristic Two
  •  Low-Memory Subset Sum and LPN Algorithms via Multiple Collisions
  •  Classical and Quantum algorithms for generic Syndrome Decoding problems and applications to the Lee metric
  •  Algorithms for the Sparse Random 3XOR Problem
  •  Attacks on Pseudo-Random Number Generators Hiding a Linear Structure
  •  On the Power of Expansion: More Efficient Constructions in the Random Probing Model
  •  Breaking the decisional Diffie-Hellman problem for class group actions using genus theory
  •  Random Probing Security: Verification, Composition, Expansion and New Constructions.
  •  Partage de secret multiplicatif sur les anneaux
  •  Journées Codage et Cryptographie 2020
  •  Logarithmes discrets elliptiques multiples
  •  Linearly-Homomorphic Signatures and Scalable Mix-Nets
  •  On Interactive Communication and Uncertainty
  •  Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND
  •  Wave: a New Family of Trapdoor One-Way PSF Based on Codes
  •  Brute-Force Cryptanalysis with Aging Hardware: Controling Half the Output of SHA-256
  •  The Real Transform: Computing Positive Solutions of Fuzzy Polynomial Systems
  •  Full Disk Encryption and Beyond
  •  Séminaire C2
  •  Workshop on Randomness and Arithmetics for Cryptography on Hardware
  •  Séminaire C2
  •  Séminaire C2
  •  Efficient Arithmetic for Cryptography
  •  Journées Nationales 2018 Pré-GDR Sécurité Informatique
  •  Simplification de l’algorithme de Gentry-Szydlo
  •  Recent advances in Elliptic Curve Discrete Logarithm algorithms
  •  A Random Zoo: Sloth, Unicorn, and TRX

ALSOC

  •  Fault-Attack Aware Microprocessor Extension (FAME): From Concept to Prototype
  •  Should everything that can be done also be done?
  •  Conception d'algorithmes parallèles d'étiquetage et d'analyse en composantes connexes
  •  Application du Model-based Testing dans le projet OpenETCS (Open European train Control System)
  •  Feature Localization in Hardware Designs
  •  Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
  •  Matinée Vérification et sécurité
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels

APR

  •  [ERC TORI] Challenges and Accomplishments of the "Full Field" Inference Method BORG (Bayesian Origin Reconstruction from Galaxies)
  •  [Séminaire APR] Sémantique des programmes probabilistes
  •  [Séminaire APR] Toward more generic and robust constraint solvers
  •   Michelson : langage de smart-contracts de la blockchain Tezos
  •   Developments in Property-Based Testing
  •  An abstract domain for trees with numeric relations
  •  Questions de l’heure en combinatoire algébrique.
  •  Get rid of inline assembly through trustable verification-oriented lifting
  •   Lasp: Elements of a programming language for edge computing
  •  Towards verified modelling of Digital Signal Processing algorithms
  •  Une introduction à l'analyse topologique de données
  •  "MrPython: Terre de Contraste: Entre Tradition et Modernité" (titre provisoire)
  •  Tierless Web programming in ML
  •  Relational summaries for interprocedural analysis
  •  Développement de programmes impératifs par raffinements, au sein de l'assistant de preuves Coq
  •  Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique
  •  Complexité Causale des Processus
  •  La reconnaissance de motifs hybride. Application aux flots de liens.
  •  Link Stream Edition: Sparse Split and Bi-Sparse Split
  •  Language-integrated queries: a BOLDR approach
  •  Spacetime Programming: A Synchronous Language for Combinatorial Exploration
  •  Ada and SPARK - Defense in Depth for Safe Micro-controller Programming
  •  Cubicle : a model checker for parameterized array-based transition systems.
  •  Etude de l’efficacite d’un code correcteur et cycles dans son graphe de Tanner
  •  F-M-DELETION paramétré par la largeur arborescente.
  •  Statistical Similarity of Binaries; At Scale
  •  Séminaire APR: Advances in the combinatorial characterization of correlation-immune Boolean functions
  •  Séminaire APR: On static malware detection
  •  Séminaire APR: Synthesizing Ranking Functions From Bits and Pieces
  •  44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
  •  Le langage Leibniz pour le calcul scientifique
  •   Introduction aux /blockchains/.
  •  Post-modern C++ and C++17 abstractions for heterogeneous computing with Khronos OpenCL SYCL
  •  Merlin : des EDIs modernes pour OCaml... et Reason
  •  Sous le capot du MOOC OCaml
  •  Verifying clock-directed modular code generation for Lustre
  •  Static Analysis by Abstract Interpretation of Functional Properties of Device Drivers in TinyOS
  •  On the Expressiveness of Asynchronous Multiparty Sessions
  •  Abstracting Gradual Typing
  •  Journée en l'honneur de Christian Queinnec
  •  Renouveau de l'intégration en OCaml
  •  Un cadre formel adapté aux réseaux de robots mobiles.
  •  Higher Order Fixpoint Logic: Expressiveness and Descriptive Complexity
  •  Théorie des types pour les concepteurs de circuits. Le cas du langage CAPH.
  •  Programmation BSP à la ML : exemples, utilisation pour la vérification de codes et perspectives pour les architectures hiérarchiques
  •  Verification of embedded C software using static analysis by abstract interpretation
  •  Motivations for Bernoulli measures on heap monoids
  •  FreeFem++, un logiciel de résolution numérique d'équations aux dérivés partielles
  •  State of the Mirage: an OCaml unikernel
  •  25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
  •  Borner la consommation de mémoire dynamique
  •  Representation and simulation of dynamical systems with a high degree of combinatorial explosion
  •  Types you can count on: Like types for JavaScript
  •  Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
  •  [ANNULATION] Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
  •  De l'interaction entre granularités fonctionnelle et modulaire
  •  Mosh: A State-of-the-Art Good Old-Fashioned Mobile Shell
  •  Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model
  •  Use formal methods to verify an Ada program with SPARK2014
  •  OCaml-Java : OCaml sur la JVM
  •  On the provenance of Free and Open Source Software and the legal implications of its reuse
  •  Patoline : la typographie "lego" en OCaml
  •  Harmony : Une plate-forme d'observation de l'évolution logicielle
  •  Le sens du partage
  •  Hosting and Automation at the OSUOSL
  •  Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
  •  Analysis of an exhaustive search algorithm in random graphs and the n^{c log n}-asymptotics,
  •  Conférence "Philippe Flajolet et la Combinatoire Analytique"

BD

  •  Journée thématique Sécurité du Groupe de Travail Services Web

CIAN

  •  Circuit Design, Testing and Modelling – Space applications
  •  Free Silicon Conference
  •  Free Silicon Conference
  •  The Analog Designer's Toolbox (ADT): Towards A New Paradigm for Analog IC Design
  •  Development of IoT Curricula for Children (Age 10 to 13)
  •  Free Silicon Conference (FSiC) 2019
  •  Free Open Source Software (FOSS) for Free Hardware Design of SoC
  •  FOSS for Free HW with a Japanese technology process
  •  Monolithic Integration of Photonics with Billion Transistor Circuits
  •  Thermal-Aware Floorplanning
  •  La sémantique du matériel et les langages de CAO
  •  Les entreprises américaines de semi-conducteurs face à la concurrence japonaise : la transformation de la production chez Intel.
  •  Avancées sur les circuits et systèmes pour la récupération d'énergie cinétique par transduction électrostatique
  •  Make LSI Project
  •  Renewable Energy Source Integration by MicroGrids in Smart Cities
  •  Interopérabilité sémantique dans les données de santé
  •  Prototypage Virtuel partant de transformations de Modèles Haut Niveau : de SysML à SoCLib
  •  Test Techniques for Analog Circuits and Systems
  •  La pollution dans la Silicon Valley
  •  20th International Mixed-Signals Testing Workshop
  •  The future of powering for small mobile electronic devices
  •  Coloquinte: a mixed-size placer for the CORIOLIS toolchain
  •  Can we design computers that are operated without spending any energy?
  •  Modélisation à haut niveau d'abstraction pour les systèmes embarqués : simulation SystemC, parallélisation, couplage de simulateurs (fonctionnel, puissance, température)
  •  L'Unisson
  •  Journée Smart Power ICs in Automotive
  •  Leakage Power in Deep Sub-micron Process Technology
  •  Asynchronous hybrid circuitry for ultra-low power applications
  •  Synchronisation et distribution d'horloges dans les circuits complexes (SOC)
  •  Basic Mathematical and Physical Principles of Radio Communication Systems
  •  La loi de Moore et la gouvernance de l’innovation
  •  Forum on specification and Design Languages
  •  European SystemC Users' Group Meeting
  •  Advanced CAD tools for system-on-chip design
  •  From filter/controller to code : the optimal implementation problem
  •  Journée Thématique - GT Systèmes Hétérogènes
  •  RF Sigma-Delta ADC: Realizing the Software Defined Radio Dream
  •  Systèmes de communication basés sur le chaos
  •  MOS Modeling and Parameter Extraction Working Group Workshop

ComplexNetworks

  •  Network Analysis Applied to Financial Stocks
  •  Community detection in directed graphs using stationary distribution and hitting times methods
  •  Chocs et réseaux maritimes : étude comparée de New York, Kobé et New Orleans
  •  Géopolitique et réseaux maritimes : l'impact de la guerre Ukraine-Russie sur les connections maritimes de l'Ukraine
  •  Visite guidée de la distillerie de Scotch
  •  Modèles et l'Analyse des Réseaux : Approches Mathématiques et Informatiques (MARAMI)
  •  Modeling time-varying multilayer networks (and beyond?)
  •  DNS Monitoring, looking out for anomalies using the time frame Name – IP association
  •  Complexité de l’exploration des graphes dynamiques T-intervalle-connexes
  •  Community detection and Role extraction in networks
  •  L'invention des concepts en informatique
  •  Deepening Our Understanding of Social Media via Data Mining
  •  In-Core Computation of Geometric Centralities with HyperBall: A Hundred Billion Nodes and Beyond
  •  Coala : Co-evolution Assessment by a Likelihood-free Approach
  •  Dynamic Contact Network of an Hospital
  •   Les réseaux dynamiques : des données aux modèles
  •  Impact de la dynamique du réseau sur quelques problèmes d’algorithmique distribuée et classification de graphes
  •  Applications collaboratives dans les réseaux dynamiques : applications aux réseaux de véhicules
  •  RankMerging : une méthode d'apprentissage supervisé pour prédire les liens dans un réseau social
  •  Social Networks as a Trade-Off Between Efficient Information Transmission and Reduced Disease Transmission
  •  Influence de la structure du réseau des mouvements de commuting sur la diffusion de la grippe
  •  “Going Viral” and the Structure of Online Diffusion
  •  Deep Tags: Toward a Quantitative Analysis of Online Pornography
  •  Motifs Distribution in Exchangeable Random Networks
  •  Reconstruction des dynamiques multi-échelles de la morphogenèse animale
  •  Analyse et modélisation des dynamiques socio-épistémiques des communautés scientifiques
  •  Modélisation et analyse à base de graphes de citations de textes de loi : histoire d’une collaboration entre mathématiciens et juristes
  •  Le contrôle de la forme des réseaux par leurs membres : le fils de discussion comme réseau d’interaction
  •  Détection de communautés recouvrantes dans des réseaux de terrain dynamiques
  •  Une plus grande utilisation de la théorie des graphes dans l’analyse des réseaux
  •  Les capitalistes sociaux sur Twitter : détection, évolution, caractérisation
  •  Analyse des réseaux et géographie politique : l'ONU comme terrain de jeu
  •  The Random Subgraph Model for the analysis of an ecclesiastical network in Merovingian Gaul
  •  Assessing Group Cohesion in Homophily Networks
  •  Évaluation et optimisation d'une partition hiérarchique de graphe
  •  Using the Framework of Networks to Enhance Learning and Social Interactions
  •   Scalable Analysis for Network Monitoring and Forensics Purposes
  •  Social Network Analysis of Authority in the Blogosphere and its Application
  •  Partition en sous-graphes denses pour la détection de communautés
  •  Trust-Based Service Discovery in Multi-Relation Social Networks
  •  Wavelets on Graphs: a Tool for Multiscale Community Mining in Graphs
  •  Connectivity of Bluetooth Graphs
  •  Propriétés combinatoires et de robustesse de modèles discrets de réseaux biologiques
  •  Lois d'échelle des processus de trafic dans les réseaux de communications
  •  Lutte contre les botnets
  •  e-Diasporas Atlas
  •  Convergence de quelques opérateurs sur les bicliques d’un graphe multiparti
  •  Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics
  •  Journée thématique : Dynamique des graphes

DECISION

  •  Séminaire de Paolo Dragone (Criteo) : "Constructive Preference Elicitation"
  •  Quadratization of Pseudo-Boolean Functions
  •  Journée Optimisation des Réseaux

DELYS

  •  Safe and Secure Programming Abstractions for Decentralized Software – Prof Mira Mezini
  •  Varda: a language for programming distributed systems by composition – soutenance Laurent Prosperi
  •  Recoverable Data Structures
  •  Mariage stable auto-stabilisant et distribué
  •  Geomancy: Automated Data Placement for Exascale Storage Systems
  •  Twizzler: An OS for next-generation memory hierarchies
  •  Resilience in high-level parallel programming languages
  •  Learning Predictive Execution for Data-driven Applications
  •  The Firing Squad Problem Revisited

LFI

  •  Choquet-Wasserstein pseudo-distances via optimal transport in Dempster-Shafer theory
  •  Contributions à l'Intelligence Artificielle Explicable : Développement d'ExpressIF® au Service de l'Industrie et des Sciences
  •  When factorization meets argumentation: towards argumentative explanations for recommendations
  •  Modèles et utilité de la notion de conscience
  •  Politique de l'IA
  •  Large Language Models and Law
  •  Génération d’explications contrefactuelles réalistes et robustes
  •  Workshop on Computational Intelligence
  •  Une approche orientée utilisateurs pour des IA ontologiquement explicables
  •  AI models for reasoning under partial knowledge: from theory to applications (3)
  •  AI models for reasoning under partial knowledge: from theory to applications (2)
  •  AI models for reasoning under partial knowledge: from theory to applications (1)
  •  When responsible AI research needs to meet reality
  •  7th International Conference on Belief Functions
  •  Logical entropy and aggregation of fuzzy orthopartitions
  •  Fouille de séquences de mobilité sémantique : comparaison, analyse et découverte de comportements
  •  2nd seminar of the Trustworthy and Responsible AI Lab – TRAIL.
  •  Fixing Silicon Valley’s System Error: A Conversation between Rob Reich and Alex Stamos of Stanford
  •  Rencontres francophones sur la logique floue et ses applications
  •  Beyond Accuracy: A Multi-Objective Approach to Machine Learning
  •  Intelligences collectives naturelles et artificielles
  •  Developmental Machine Learning, Curiosity and Deep Reinforcement Learning
  •  La similarité dans l’analogie et la métaphore
  •  Contributions à l’étude du transfert analogique

MALIRE

  •  Transverse Subjectivity Classification
  •  Fouille d'espaces de recherche en optimisation combinatoire
  •  Approche Perceptuelle pour l'amélioration et l'évaluation de la qualité d'image
  •  Attribution d'auteur : Une approche basée sur le vocabulaire spécifique
  •  Cluster Harnessing Analyses for High Dimension Low Sample-Size Data
  •  TextElaborator : un système prêt-à l'emploi pour la génération automatique de textes
  •  Stratégie de fusion crossmedia pour l'indexation de documents mutimedia
  •  Recherche d'information : Distribution de mots et modèles d'information
  •  Utilisation des media sociaux en finance quantitative, le cas de Twitter
  •  From query processing to information integration: the power of decomposition techniques
  •  Des modèles de performances à la e-santé
  •  Heuristic based Query Optimisation for SPARQL
  •  Apprentissage Profond de Representations pour la Vision
  •  3rd IEEE Symposium Series on Computational Intelligence
  •  Intelligent Symbolic Clustering through High Dimensional Space
  •  Using the Stochastic Fleet Estimation Model to Compute Optimized Fleet Mixes
  •  Fouille visuelle de données complexes en réalité virtuelle
  •  Semi-Streamed Index Join for Near-Real Time Execution of ETL Transformation
  •  L'apprentissage de l'apprentissage chez le jeune enfant
  •  The Burbea-Rao and Bhattacharyya centroids
  •  Transitivity hidden in cyclic phenomena
  •  An inference algorithm based on mobile agents paradigm for distributed knowledge bases
  •  Sélection de caractéristiques pour les champs aléatoires conditionnels par pénalisation L1 : application au traitement des langues
  •  Une approche basée sur ontologie pour des recommandations personnalisées
  •  Cultural-based Particle Swarm Optimization for Multiobjective Optimization
  •  Un modèle pour la recherche d'information interactive basé sur le formalisme de la physique quantique
  •  Feature Selection as a One-Player Game
  •  Multi-Objective Genetic Algorithm for Motif Discovery
  •  Anomaly Detection in Wireless Sensor Networks: Visual Assessment and Clustering in Environmental Monitoring Networks
  •  Every picture tells a story: Visual Clustering in Relational Data
  •  Soft Computing for Sensor and Algorithm Fusion
  •  Linguistic spatial reasoning
  •  A new advancing technology for humanity : orange computing/technology
  •  Les contenus spatio-visuels des documents à dominante texte
  •  Modèles Informatiques des Comportements Affectifs Nonverbaux
  •  On Structured Output Training: Hard Cases and Efficient Alternatives
  •  Evolution et coévolution artificielle : deux exemples d'applications en modélisation de processus agro-alimentaire
  •  Filtrage particulaire pour le suivi dans les séquences vidéo multi-modales
  •  Body Movement as a Modality for Affective Human-Computer Interaction
  •  NetGames 2009
  •  Vers la conception de documents composites : Extraction et organisation de l'information pertinente
  •  La conscience réflexive d'un chercheur artificiel en Intelligence Artificielle
  •  Beyond the Stars: Improving Rating Predictions using Review Text Content
  •  Schema Mapping and Query Translation in Heterogeneous XML P2P Databases
  •  From Cardinal to Ordinal Preference Models - Validation of ordinal models by psychological experiments
  •  Statistical significance testing on graphs
  •  Towards Characterizing Second Life
  •  Agent virtuel expressif pour l'interaction homme-machine
  •  TRENDS, un outil inspirationnel pour les designers dans le domaine de l'"Affective Computing"
  •  Seuil adaptatif pour l'indexation d'images selon la composition picturale et synthèse par l'exemple de distributions de motifs
  •  Dynamiques d'opinion et dynamiques d'interaction: les réseaux sociaux de la blogosphère politique française
  •  Apprentissage de préférences "ceteris paribus" séparables
  •  Journée Données et Apprentissage Artificiel
  •  Passage à l'échelle de la surveillance de flux vidéo et de la fouille de bases de données vidéo
  •  Apprentissage dans les graphes et les reseaux sociaux
  •  Modéliser l'activité oculaire à partir de données expérimentales
  •  AutoCollage: From Paper to Product
  •  Methods for Label Ranking
  •  New Approaches to Neuro-Fuzzy Modelling
  •  WebCrow and the man-machine crossword challenge
  •  Semantic-based regularizations
  •  Caractérisation des informations saillantes d'un texte
  •  Semi-supervised learning in huge graphs
  •  Fuzzy set theory and coherent conditional probability: some bridges
  •  Extraction automatique de règles graduelles
  •  Représentation parcimonieuse du signal pour compression et indexation conjointe
  •  Mesurer la similarité de graphes
  •  Joint Inference in Information Extraction and Social Network Analysis
  •  Autonomous Ground Robots
  •  Nouvelles formes de communication et nouvelles interactions homme-machine pour enrichir et simplifier le quotidien
  •  Interfaces réflexives : co-adaptation et historiques d'interaction
  •  Objets, arbres de propriétés, treillis de catégories, catégorisation et classification
  •  Apprentissage de SVM sur Donnees Bruitees
  •  Classification, recherche, et segmentation d'images à l'aide de fenêtres et d'ensembles d'arbres aléatoires
  •  Intégration sémantique de données guidée par une ontologie
  •  Comprendre le Web caché
  •  Ensembles d'arbres extrêmement aléatoires et leurs liens avec les méthodes à base de noyaux
  •  Combining Evidence in Hybrid Medical Decision Support Models
  •  Personalized Interaction with Multimedia Data Collections
  •  Frequency based class representation of fuzzy sets and its relation to Bayes classifiers
  •  Sur la fusion de treillis de concepts Galois et de bases canoniques facteurs
  •  Traduction et post-édition automatique : une approche statistique par segments
  •  Un pas vers un chercheur artificiel en Intelligence Artificielle
  •  Recherche d'images par combinaison d'information textuelle et visuelle
  •  A Service Oriented Tool for Consolidation of Information in E-Government Applications
  •  Emotion detection in real-life interaction
  •  Problématiques de l'analyse de traces d'Utilisateurs chez Yahoo!
  •  La simulation de la mémoire sémantique et de la compréhension de texte par des enfants
  •  Computational models of emotions and affective processes
  •  Bornes sur le risque en apprentissage supervisé
  •  StrangerDB: Safe Data Management with Untrusted Servers
  •  Fully Coupled and Feedforward Neural Networks with Complex-valued Neurons
  •  Fuzzy sets and multicriteria decision making
  •  Ensembles of randomized trees and their application to image classification
  •  Abstraction in Relational Learning
  •  Visualisation et exploration multi-échelle de Wikipedia
  •  Apprentissage de connaissances à partir de textes : le cas de la morphologie
  •  Apprentissage de connaissances à partir de textes : le cas de la morphologie
  •  The Information-Flow Approach to Ontology-Based Semantic Alignment
  •  Le jeu social, une formalisation de la sociologie de l'action organisée
  •  Vérification de programmes avec l'apprentissage par renforcement
  •  Modélisation de la réglementation de l'aviation civile en Focal
  •  Classement de données et de services dans un réseau P2P
  •  Problématiques et modèles d’apprentissage statistique pour le Web: Projet WebContent
  •  11th Information Processing and Management of Uncertainty in Knowledge-Based Systems International Conference
  •  Ranking and Scoring XML Data
  •  Computing with affect: Measuring, interpreting and responding to user affect
  •  Defensive forecasting
  •  Méthodes d'apprentissage pour la recherche d'images par le contenu
  •  Visualisation et algorithmes génétiques pour la fouille de grands ensembles de données
  •  L'interaction pertinente
  •  Grammatical-based Programming Approach
  •  Analyse des traces oculaires et extraction de l'information pertinente.
  •  Avancées recentes en robotique du development

MOCAH

  •  Educational Data Mining
  •  Environnements Informatiques pour l'Apprentissage Humain
  •  Modeling Student Affect from Causes and Effects
  •  Lifelong learner modelling, harnessing pervasive technology for learning

MoVe

  •  Le savoir est une arme !
  •  Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
  •  Exploiter la Gamification pour améliorer l’implication des développeurs dans la qualité du code source, une étude de cas industrielle.
  •  Energy-optimization for Embedded Devices
  •  MOOC programmation Concurrente (avec Java)
  •  séminaire «Méthodes Formelles pour les Systèmes Logiciels et Matériels» du 31 mars 2017
  •  MOOC programmation iOS (partie I)
  •  International Summer School on Intensive Automated Testing of Service Oriented Architectures
  •  Learning to Rank with Additive Ensembles of Regression Trees
  •  International Workshop on ISO/IEC 15909-3: properties, modularity, and stochastic Petri nets.
  •  Nested-Unit Petri Nets: Combining Hierarchy with Concurrency
  •  The subtle alchemy of concurrency and real-time
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Proving Copyless Message-Passing
  •  Well-structured pushdown systems
  •  Dealing with Dynamicity in Ambient Systems: A Formal Planning Approach.
  •  From Symmetric Nets to Symmetric Nets with Bags
  •  Journées annuelles du GT VERIF, du GT FORWAL et workshop de clôture du projet ANR ImpRo
  •  Journée MDDay
  •  Adding Spreadsheets to the MDE Toolkit
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  18th International Conference on Formal Methods (FM 2012)
  •  Algorithmic improvements for graph games
  •  Model Checking Contest at PETRI NETS 2012
  •  Vérification de protocoles de sécurité et détection d'intrusion
  •  Efficient Static Analysis of Dynamical Properties using the Process Hitting
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  On model checking concurrent recursive programs
  •  Contraintes sur le temps logique dans la conception de systèmes embarqués.
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Synthèse distribuée
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Sixth European Conference on Modelling Foundations and Applications
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
  •  Weak Time Petri Nets Strike Back!
  •  Ecole d'été Temps Réel
  •  International Conference on Application and Theory of Petri Nets and other Models of Concurrency
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Sur la fluidification des réseaux de Petri: de leur expressivité à l'évaluation des performances
  •  A High-level Perspective on Formal Validation and Verification
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Model-checking temporisé
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Composition of Embedded Systems: Scientific and Industrial Issues
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  1st Rutgers / Pierre et Marie Curie Workshop
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Developing a Model E-commerce Agent System
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels
  •  Développement de systèmes informatiques par assemblage de composants métier sur étagère
  •  Méthodes Formelles pour les Systèmes Logiciels et Matériels

NPA

  •  One-Way Functions Candidates Based on Information Theoretical Secure Primitives
  •  Agnostic, Post-Training Backdoor Defense for Deep Learning
  •  Distributed Computability for Sub-Models : Set-Agreement and other Simple Results from Geometrization Topology
  •  13th Annual GigaNet Symposium - "Not the ‘New Oil’ – Data Governance and the Internet"
  •  The First European Multidisciplinary Conference on Global Internet Governance Actors, Regulations, Transactions and Strategies
  •  Recent Research on Twitter Anonymity and Sensitivity
  •  Utilizing Approximate Counting in Distributed Caching and Content Delivery
  •  Rendez-vous déterministe dans les réseaux
  •  Journées automnales RESCOM: Octobre 2011
  •  Mobility Management in IP Networks
  •  NALF: A Network-Adapted Application Layer Flooding
  •  Global Robustness and Correctness in Massively Distributed Network Systems
  •  A Basis for Systematic Analysis of Network Topologies
  •  Link Adaptations and Protocol Design for Wireless Ad Hoc Networks
  •  8èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
  •  Rôle des TIC dans l’évolution des politiques de sécurité en Europe

PEQUAN

  •  Adaptive precision sparse matrix-vector product
  •  Feedback on the use of the Julia programming language for the numerical solution of Partial Differential Equations
  •  An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver
  •  Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
  •   Multiple precisions iterative refinement for the solution of large sparse linear systems
  •   Mixed precision algorithms, a tool for advancement of numerical linear algebra
  •  Exhaustive search of permutations with many patterns
  •  Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
  •  Sharper and smaller error bounds for low precision scientific computing
  •  Reproducibility Strategies for Parallel Preconditioned Conjugate Gradient
  •  Minimum number of additions in elliptic curve cryptography using double-based number representation
  •  Après-midi apprentissage / embarqué / précision numérique
  •  Toward optimizing compilers for quantum computers
  •  Accuracy and Stability of Low-rank Linear Solvers
  •  The Frobenius FFT and application to the multiplication of binary polynomials
  •  A communication-avoiding sparse direct solver
  •  Implementation and optimization techniques of linear algebra kernels for modern HPC systems
  •  CPUs and GPUs: can we get the best of both worlds?
  •  Deep Learning & Accélération GPU
  •  Predicting the Behavior of Large Dynamical Systems using Intervals and Reduced-Order Modeling
  •  Algorithmique de l'implementation fiable de filtres numériques
  •  Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
  •  Segmentation non-uniforme suivie d’approximation polynomiale pour l’évaluation de fonctions au sein de processeurs embarqués
  •  FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
  •  Précision, Reproductibilité en Calcul et Informatique Scientifique
  •  Topological Data Analysis and Visualization: A Tutorial (Part II: TTK)
  •  Topological Data Analysis and Visualization: A Tutorial
  •  Sweet and sour lessons from chasing hard-to-round cases in 128-bit
  •  Chebychev Approximation by Polynomials, Rational Functions and Splines
  •  Fast Fourier transform algorithms based on binary trees representation
  •  Fin de la Loi de Moore et applications HPC
  •  Computer algebra methods for the study of the stability and the stabilization of multidimensional systems
  •  Automating the pipeline of arithmetic datapaths
  •  Trois exposés (voir détails)
  •  A Decimal Multiple-Precision Interval Arithmetic Library
  •  Calcul par Intervalles et Transport Optimal
  •  Enlarged Krylov Subspace Methods and Preconditioners for Reducing Communication
  •  Programming with Numerical Uncertainties
  •  Towards reliable implementation of digital filtersTBA
  •  New results on floating-point
  •  Development of a library for symbolic floating-point arithmetic
  •  Evaluating Straight-Line Programs over Balls
  •  Accelerating the Conjugate Gradient Algorithm with GPU in CFD Simulations
  •  Persistent homology for multivariate data visualization
  •  Information Visualization from Trenches and Labs
  •  Estimation of numerical reproducibility using stochastic arithmetic
  •  Tutoriel Sollya et PythonSollya
  •  Sur la précision p-adique
  •  Apports des architectures hybrides à l?imagerie profondeur : étude comparative entre CPU, APU et GPU / Contributions of hybrid architectures to depth imaging: a CPU, APU and GPU comparative study
  •  Sound static analysis of run-time errors in programs with floating-point computations
  •  Vérification formelle de programmes numériques: l'exemple de la moyenne
  •  Towards a Modern Floating-Point Environment
  •  Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
  •  Bornes sur les restes de séries solutions d'équations différentielles
  •  Pattern formation in a coupled Brusselator model
  •  Metalibm: Kalray's side
  •  Investigation of Crouzeix’s Conjecture via Nonsmooth Optimization
  •  Computer-aided floating point error analysis and debug
  •  Trois exposés courts (voir détails)
  •  Dilemme du fabricant de tables pour les fonctions transcendantes
  •  Parameterization of Surfaces
  •  Verrou : l'arithmétique stochastique sans recompiler
  •  Diagonalisation parallèle pour le calcul de structure électronique
  •  Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
  •  Special functions in the Arb library
  •  The Parks McClellan algorithm: a scalable approach for designing FIR filters
  •  An inverse problem of magnetization in geoscience
  •  New Applications of Semidefinite Programming
  •  Calcul rapide des valeurs propres pour matrices compagnon
  •  Reproducible and Accurate BLAS for ExaScale Computing
  •  Itérations asynchrones des méthodes de décomposition de domaines sur architectures parallèles
  •  Intra-Procedural Optimization of the Numerical Accuracy of Programs
  •  Algèbre linéaire d'intervalles : Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs
  •  Big Data Visual Analysis
  •  Metalibm: a code generator for parametrized mathematical functions
  •  Numerical stability of the Gram-Schmidt algorithm
  •  Introduction à Sage
  •  Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
  •  Numerical Computation on Intel® Xeon Phi™ Coprocessors Using the Intel® Compilers and Math Libraries
  •  Algorithmic number theory and digital filter synthesis
  •  Etendre le compilateur GCC avec MELT
  •  Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
  •  Interval Arithmetic: Concepts, Theory, Application
  •  Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie
  •  On the algebraic properties of stochastic and interval numbers

Phare

  •  5G Connectivity and Security for CNF/VNF Modern Telco applications
  •  Scalable infrastructure for remote reading of electric energy meters
  •  A theoretical association model for IEEE 802.15.4 TSCH networks
  •  Socio-Temporal Characterization of Content in Social Networks based on Stream Processing
  •  Implementation of non-uniform constellation techniques for the DTMB standard
  •  Physical Layer Security techniques for wireless communication systems
  •  20 ans de la radio cognitive
  •  Cooperation Architecture for Service-Oriented C-ITS: From Microcosmic Optimization to Macrocosmic Forecasting
  •  Networks are getting smart: SDN and machine learning applied to network automation
  •  No Radio Left Behind: Radio Fingerprinting Through Deep Learning of Physical-Layer Hardware Impairments
  •  A Perspective of Blockchain in HealthCare: Security, Convenience and Innovation
  •  Scalable Network Security with SDNFV
  •  Application of machine learning and artificial intelligence techniques for medical data analysis of a proteomic study of a cohort of patient with thyroid nodules
  •  6Genesis (the 6G-Enabled Wireless Smart Society & Ecosystem) project
  •  The FUTEBOL Project: when optical meets wireless
  •  Tidal dynamic SDN networks: a machine-learning optimizer and a testbed
  •  Enabling Time-sensitive Computing on Virtualized Systems through Cross-layer Scheduling
  •  ONOS Security and Performance Analysis Brigade Workshop
  •  Video Streaming over Software Defined Networks
  •  High performance network functions with Vector Packet Processing (VPP)
  •  Platform for Network Data Analytics (PNDA) : Learn to Bootstrap an Open Source Big Data Platform
  •  ONAP – The Open Network Automation Platform
  •  21th ICIN Conference Innovations in Clouds, Internet and Networks
  •  Scope of Problems and Solutions in Dynamic Spectrum Sharing
  •  Fostering the Path to Security Intelligence: A Perspective in the Era of IoT and Blockchain
  •  Int. Conference on the Network of the Future
  •  Présentation des projets open source ONOS et CORD
  •  Mobile Crowdsensing for User/Group Profiling and Edge Optimizations
  •  16th Annual Mediterranean Ad Hoc Networking Workshop
  •  Mobile Cloud Networking and Edge Computing for Quality-enhanced Service Provisioning
  •  Dynamic Spectrum Sharing: Licensed - Unlicensed Access
  •  Ecole d'été RESCOM 2017 sur les réseaux de communication - Virtualisation et Dématérialisation
  •  ONOS Security and Performance Analysis Brigade Workshop
  •  Network Cloudification: SDN-NFV and 5G-MEC with Edge and Fog Computing
  •  Internet of Things and Big Data: Applications, Technologies and Standards
  •  20th ICIN Conference Innovations in Clouds, Internet and Networks
  •  Network Resource Management and Control in SDN
  •  The FUTEBOL project - experimentation on the optical/wireless network frontier
  •  PEERING: An AS for Us
  •  2016 IEEE Global Communications Conference - Workshops
  •  Open Network Operating System (ONOS) - 2016 Build Event
  •  Analysis of Control Traffic in a Geo-distributed Collaborative Cloud
  •  Mobile, Cloud, Analytics – Challenges and Opportunities for Data-Driven Infrastructure
  •  Consolidating Flows with Implicit Deadlines for Energy-Proportional Data Center Networks
  •  12th Int. Conference on the Design of Reliable Communication Networks
  •  Exploiting ICN for flexible management in software-defined networks
  •  A Framework for Resilient and Secure Spectrum Sensing on Cognitive Radio Networks
  •  Journée Virtualisation et Cloud - GdR RSD
  •  Workshop on Mobility in the Evolving Internet Architecture
  •  Towards Finer-grained Graph-based Interference Models for Wireless Network Optimization
  •  Closing the loop in cognitive radio networks: Towards higher layer protocol design, user applications, and systems
  •  Design of a Load-Balancing Middlebox Based on SDN for Data Centers
  •  Redundancy Coding-oriented Regeneration Schemes and Performance Optimization in Distributed Storage Systems
  •  Wireless Evolution: From Connecting People to Connecting Machines
  •  On Nash Equilibrium, Wardrop's Principles, Selfish Routing, and Optimal Routing
  •  The Babel routing protocol
  •  Cooperative Streaming on Smartphones over Hybrid Wireless Networks
  •  Revisiting Scheduling and User Association in Heterogeneous Networks When the Backhaul Links are of Limited Capacity
  •  Intelligent Sensing in RFID Systems towards Real Complex Environment
  •  A Cluster Approach to Scaling OpenFlow Control Plane
  •  The Evolving Enterprise Edge
  •  SOUP: An Online Social Network by the People, for the People
  •  5th Int. Conference on the Network of the Future
  •  Is Multipath Routing Beneficial?
  •  Mobile Cloud for Mobile Health
  •  Opportunistic and Cooperative Forwarding in Mobile Ad-hoc Networks with Light-Weight Proactive Source Routing
  •  Software Defined Optical Networking
  •  2012 IEEE 1st Int. Conference on Cloud Networking
  •  Mobile Cloud Computing: Security and Service Architecture, and Research Challenges
  •  Dynamic Temporal Workload in Hybrid Data Centers, Energy-Aware Aggregation, and Networking
  •  Second International Conference on Network of the Future
  •  Data-driven Modeling and Design of Networked Mobile Societies: A Paradigm Shift for Future Social Networking
  •  The 9th IFIP Annual Mediterranean Ad Hoc Networking Worshop
  •  Networks and telecommunications: Choices and strategy
  •  2nd. IFIP Wireless Days 2009
  •  23ème Congrès DNAC Paris
  •  Les plates-formes autonomiques 2009
  •  Ecole EIII Amman, Jordanie 2009
  •  Autonomic Networking

PolSys

  •  Design of Marx generators as a structured eigenvalue assignment
  •  Isomorphism problems in algebra
  •   The Skeletons you find when you Order your Ideal's Closet
  •   A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems
  •  On the Complexity of Solving Bivariate Systems
  •  Algebraic Attack against Wild McEliece & Incognito
  •  A Polynomial time attack on Wild McEliece over quadratic extensions
  •  New ways of finding relations in the Index Calculus for Jacobians of hyperelliptic curves
  •   Efficient probabilistic algorithm for computing the real dimension of real algebraic sets
  •  Root Separation Bounds
  •   Numerical Linear System Solving With Parametric Entries By Error Correction
  •   A new code based public key scheme based on list decoding
  •   On the complexity of computing Gröbner bases for weighted homogeneous systems
  •  Real algebraic geometry and infinite-dimensional conic optimization
  •  Algorithms to Compute Chern-Schwartz-Macpherson and Segre Classes and the Euler Characteristic
  •  Sparse Gröbner bases: the unmixed case
  •  Spaces of matrices with rank bounded above
  •   Effective Hilbert's Nullstellensatz and Finite Fields
  •  On the minimal support codewords of linear codes over GF(q) and a note about IP equivalence classes
  •  Extending Constructive Solid Geometry to Projections and Parametric Objects
  •  Rounding and Chaining LLL: Finding Faster Small Roots of Univariate Polynomial Congruences
  •  Constructing and using fast, twist-secure elliptic curves
  •  Computing efficiently real points on determinantal varieties
  •  An application of Algebraic Geometry to the contrast problem in Nuclear Magnetic Resonance
  •  Real roots of polynomial systems, semi-definite programming and border basis
  •  How to avoid communication in linear algebra and beyond
  •  Résolution des Systèmes Polynomiaux par les bases de Gröbner

QI

  •  Séminaire du professeur invité LIP6 Norbert Lütkenhaus
  •  Trustworthy Quantum Information
  •  Theory of Quantum Computation, Communication and Cryptography

REGAL

  •  RainbowFS Workshop on Consistency in Distributed Storage Systems
  •  Bridging the CAP gap: the Just-Right Consistency approach
  •  Towards a Distributed Metadata Service for Causal Consistency
  •  Time and Homonyms Considerations over Community Protocols
  •  On Verifying Causal Consistency
  •  Riding the Big IoT Data Wave: Complex Analytics for IoT Data Series
  •  The Critéo Big-Data Platform
  •  Heavy Hitters in Streams and Sliding Windows
  •  The Supercloud: Opportunities and Challenges
  •  The IX Operating System Project: Energy Proportionality and Workload Consolidation for Latency-Critical Applications
  •  Outil dédiés aux systèmes distribués dynamiques : JBotSim
  •  Strong consistency with low latency random reads & writes on a distributed database: Apache HBase choices and challenges
  •  XFabric: reconfigurable network topologies at rack scale
  •  Workshop on Highly-Scalable Distributed Systems
  •  Yesquel: scalable SQL storage for Web applications
  •  OPODIS Program Chair
  •  Workshop on Database Consistency in the Cloud
  •  Verifiable Concurrent Systems Programming: A Garbage Collector Case Study
  •  Workshop/JTE ASF on Managed runtimes
  •  Elastic and Fault-Tolerant Stream Processing in the Cloud
  •  Thread Vulnerability for Multicore Architectures
  •  Understanding and Improving Device Access
  •  Coq, the world's best macro assembler !
  •  Failure containment for extreme scale MPI applications
  •  La Société Informatique de France
  •  The Case for Reliable Software Transactional Networking
  •  Depot: from Byzantine Fault Tolerance to Eventual Consistency in a Single System
  •  SplayNet: Distributed User-Space Topology Emulation
  •  GDR-GPL Génie Logiciel Empirique
  •  WCET estimation techniques for multicore-processors
  •  SOUK: Social Observation of hUman Kinetics
  •  X-Stream: Edge-centric Graph Processing using Streaming Partitions
  •  PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
  •  Generalized Universality
  •  A New Hierarchical Fault Tolerance Protocol for MPI HPC Applications & Unified model for fault tolerance protocols
  •  From Clarity to Efficiency for Distributed Algorithms
  •  Horus: Fine-Grained Encryption-Based Security for Large-Scale Storage
  •  Low-Redundancy Two-Dimensional RAID Arrays
  •  Distributed Exclusive Graph Searching in Trees
  •  RESAR Storage: a System for Two-Failure Tolerant, Self-Adjusting Million Disk Storage Clusters
  •  Disorderly Distributed Programming with Bloom
  •  Workshop on Language Virtual Machines and Multicore Architectures
  •  Cloud Types for Eventual Consistency
  •  S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
  •  Algorithmes de clustering pour des systèmes distribués dynamiques
  •  A Brief History of Facebook's User Data Storage System
  •  Practical Abstractions for Dynamic and Parallel Software
  •  Generalizing Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach
  •  Prolonging the Life of Linux: Is it possible or not?
  •  Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
  •  The multiplicative power of consensus numbers
  •  Exposé Roy Friedman (Technion) - On Power and Throughput Tradeoffs of WiFi and Bluetooth in Smartphones
  •  Recovering Disjointness from Concurrent Sharing
  •  Virtualizing Real-time Embedded Systems with Java
  •  The Architecture of the DecentVM: Towards a decentralized virtual machine for many-core computing
  •  Adaptive Resource Management in Cloud Infrastructures
  •  Faults in Linux: Ten Years Later
  •  HPC at Exascale : Scenarios, Software challenges and Research opportunities
  •  The Speedup-Test
  •  The L4 Microkernel — from research to mass deployment and back
  •  Introduction to AMD's Advanced Synchronization Facility
  •  Git version control system: handling concurrent development in distributed environments
  •  Providing Ubiquitous Access to the User’s Data with FEW FS
  •  Semantic Patch Inference
  •  Group Scalability in Distributed Systems - Adaptively Parallelizing Distributed Range Queries
  •  Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
  •  Présentation des travaux d'Olivier Pérès
  •  7.500 lines of C, 1 microkernel, formally proved correct
  •  Herodotos: A Tool to Expose Bugs' Lives
  •  Two Ways of Speeding Up Transactional Memory Algorithms
  •  A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
  •  CAR-STM: Scheduling-Based Collision Avoidance and Resolution for Software Transactional Memory
  •  Unleashing the Potential of Asymmetric Multicore Processors Through Operating System Support
  •  Native Client - A Sandbox for Portable, Untrusted x86 Native Code
  •  In Search of Lost Time
  •  Research Challenges in Flash Memories
  •  P2P overlays : VoroNet and RayNet
  •  Démo SPLAY - "distributed applications made simple"
  •  Nuno Preguiça - Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
  •  Joan Manuel Marquès - Treedoc: a commutative replicated data type for cooperative editing
  •  Anneli Lenica - PosNet, un overlay p2p semi-structuré basé sur un poset pour l'indexation et la localisation de données multi-dimensionnelles.
  •  Laurent d'Orazio - Caches adaptables et applications aux systèmes de gestion de données répartis à grande échelle
  •  Petr Kuznetsov - Large-Scale Byzantine Fault Tolerance: Prevention and Detection
  •  Content-Based Publish/Subscribe in P2P Using Distributed R-Trees
  •  Snap-stabilization in message passing systems.
  •  Roy Friedman - Practical Random Walks in Ad-Hoc Networks
  •  Hop a language for programming the Web 2.0
  •  D1HT: A Distributed One Hop Hash Table (*)
  •  OSGi Users Group France
  •  Presque tous les objets atomiques implémentés dans des systèmes asynchrones avec transmission de messages sont universels : la hiérarchie de Herlihy devient (presque) plate
  •  Algorithmes pour la construction d'arbres couvrant des groupes dynamiques dans un graphe
  •  Marches aléatoires en algorithmique distribuée, un paradigme de conception de solutions algorithmiques pour les environnements dynamiques
  •  Séminaire REGAL
  •  A Scalable Approach to Alleviating Database Bottlenecks
  •  Gossip-based self-organization
  •  Maintaining Consistency in Collaboration over Hierarchical Documents
  •  Intergiciel extensible à base de composants adaptables pour l'informatique nomade : réplication optimiste et réconciliation.
  •  Stabilizing Mobile philosophers
  •  A Memory Efficient Self-stabilizing Algorithm for Maximal k-packing
  •  Sprint, a middleware infrastructure
  •  The Iconoclastic Heard-Of Model: Unifying all Benign Failures
  •  Reliability and Availability Analysis of Self-Stabilizing Systems
  •  Séminaire REGAL : Gathering Oblivious Mobile Robots in Finite Time.
  •  Enabling what-if explorations in a distributed storage system
  •  La compilation dynamique pour le calcul intensif
  •  Decoupling Causal Update Commitment Agreement from Update Propagation in Optimistic Replication
  •  An efficient and fault-tolerant update commitment protocol for weakly connected replicas
  •  Context-aware adaptation in ubiquitous computing environments
  •  Dynamic life updates
  •  Laundromat Computing using the Evil Man System Using Operating System Mobility for Grid Computing
  •  Jaluna OSware : La virtualisation pour systèmes embarqués

RO

  •  Analogue of Gyarfas-Sumner conjecture for oriented graphs
  •  Collective schedules : How to find a consensus schedule ?
  •  Séminaire S : Online Search With Maximum Clearance
  •  A polynomial-time algorithm for the preemptive mixed-shop problem with two unit operations per job
  •  Worshop "games, algorithms and optimization"
  •  Ecole de printemps "Théorie des jeux algorithmique"

SALSA

  •  2nd International Conference on Symbolic Computation and Cryptography
  •  Special Track on Symbolic Computation and Cryptology - Inscrypt 2008

SMA

  •   Social choice and AI value alignment
  •  Truth, Dialogue, and Logic (Part II)
  •  Truth, Dialogue, and Logic (Part I)
  •  VAGO, un outil pour mesurer le vague et la subjectivité: des applications uni-label aux extensions à des corpus multi-annotés
  •  An Agent-Based Model of MySide Bias in Scientific Debates
  •  Logics for Strategic Reasoning: Recent Developments and Application to Mechanism Design
  •  Type Theory in Climate Impact Research: From Program Correctness to Policy Advice
  •  Approches multi-agents pour l'allocation de ressources et la planification pour l'observation de la Terre par des constellations de satellites
  •  Neural Melody Generation from Lyrics
  •  New trends in Computational Narratology and Interactive Storytelling
  •  Supervised learning for distribution of centralised multiagent patrolling strategies.
  •  An overview of research projects in the domain of gaming – cloud, health (exergaming) and culture and history (edugaming).
  •  Developing Intelligent Interactive Systems with Multi-Agent Oriented Programming Combined with Ontologies and Argumentation
  •  Argumentation and Computational Persuasion: a three-year project
  •  Un modèle de système psychique organisationnel et constructible
  •  L’intelligence artificielle aujourd’hui et demain
  •  Finding agile evacuation routes by the means of centrality measures for evacuation
  •  Reinforcement Learning in Recommender Systems
  •  SARL - Agent-oriented Programming Language
  •  Towards cultural knowledge evolution: experiments with alignments repair
  •  How Implicit Communication Emerges during Conversation Game
  •  What to Believe Now? Belief as a Form of Rational Choice // Une approche par contraintes stochastiques pour Le General Game Playing
  •   Présoutenance de thèse - réservé à l'équipe
  •   Viabilité pour l'argumentation dans la gestion de parcs naturels
  •  Apprentissage artificiel collectif : aspects dynamiques et structurels
  •  Le traitement automatique du langage naturel pour l'interaction humain-agent : vers des agents socialement compétents
  •  Workshop NII-LIP6
  •   MoCaNA: Un agent de négociation basé sur la recherche de Monte-Carlo arborescente
  •  Patrouille multi-agent coopérative pour la détection d’actions illégales en environnement incertain
  •   Distributed Fair Allocation of Indivisible Goods
  •  Integrating Argumentation and Social Choice
  •  Preference elicitation and learning in a Multiple Criteria Decision Analysis perspective
  •  Safer Flight Systems using Dynamic Data-Driven Avionics
  •  Vers une approche d'ingénierie multi-agents à base de LdPL (Lignes de Produits Logiciels)
  •  Apprentissage profond - Deep learning - Histoire, principes et enjeux
  •  Méthodes de recherche locale sur machines massivement parallèles
  •  Journées MAFTEC, sur les aspects Multi-Agents, Flexible, Temporel, Epistémique et Contingent de la planification
  •  Invited talks - NII
  •  Quelques exemples d’applications des SMA: Quantified Things et Jeux Sérieux
  •  Mini Course on the Theory of Aggregation (2/2)
  •  Mini Course on the Theory of Aggregation (1/2)
  •  Structural and Epistemic Approaches to Probabilistic Argumentation
  •  Open Language Grid: Towards a Global Language Service Infrastructure
  •  Modèles d'environnement et simulation multi-agents pour les systèmes dynamiques de transport
  •  Normative Programming.
  •  Scénarisation d’environnements virtuels pour la formation en environnements sociotechniques complexes
  •  Coordonner des SMA de manière flexible en donnant une culture aux agents
  •  Système multi-agent normatif pour la collaboration et l’interaction mixte
  •  Emergence of conventions through social learning
  •  Debates among argumentative agents
  •  Modèles basés agents en Economie
  •  Argumentation, Trust and Interaction
  •  The Power of Swap Deals in Distributed Resource Allocation
  •  Coordination in large multiagent systems : do agents need stock options ?
  •  Distributed and Munlti-Agent Systems (24-25 Septembre 2014)
  •  Journée sur les Modèles basés Agents en Économie
  •  Le rôle des jeux vidéo dans la société et dans l'informatique
  •  Fifth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems
  •  L'assistance aux personnes atteintes de déficits cognitifs dans les habitats intelligents
  •  Modèles individus centrés de dynamiques d’opinions et approximations agrégées
  •  Management of networked sensing devices
  •  Apprentissage incrémental collectif de concept (Sound Multiagent Incremental LEarning)
  •  Towards a Platform for Experimentation with Dynamic Adaptation
  •  Context Aware Computing
  •  Replication heuristics for agents fault tolerance: a plan-based approach
  •  Négociation combinée et multicritère d'agents coopératifs
  •  Consensus dans un système multiagent : du modèle à l’exécution
  •  Simulation de dynamiques d'opinions à l'aide d'un système multi-agents
  •  Modélisation de l'évolution de la distribution socio-spatiale de la population d'une ville par les systèmes multi-agents : Une approche multi-niveaux
  •  Multi-agent Temporal Planning in Dynamic Environments
  •  Coordination Language for Mobile Agent Systems
  •   Langages de coordination et systèmes multi-agents ouvert
  •   Conception et optimisation distribuée d’un système d’information d’aide à la mobilité : Une approche multi-agent pour la recherche et la composition des services liés au transport.
  •  Argumentation et système multi-agents pour l'intégration sémantique
  •  Emotion et Interaction
  •   Réécriture topologique : programmation orientée interaction
  •   Consensus dans les systèmes collaboratifs de partage de contenus
  •   Une approche pour la prise de décision décentralisée par des agents autonomes en environnements complexes
  •   Modélisation de compétences d'entreprise et son intégration dans une simulation de réseaux d'ajout de valeur d'entreprise
  •  Recent Results in Constructive Language Evolution and its Generalizations
  •  Contrôle social de systèmes multi-agents ouverts et décentralisés
  •   Modélisation des interactions entre agents rationnels : les jeux booléens
  •   Propagation et affinement d'hypothèses sous contraintes communicationnelles.
  •  Multiagent Simulation Meets the Real World
  •  The Language Grid for Intercultural Collaboration
  •  Understanding Consciousness with Model Abstractions
  •  An Architectural Strategy for Situated Multi-Agent Systems
  •  Semantic Web Services: Where Are We Headed?
  •  The A&A Approach for Developing Cognitive MAS: Conceptual Framework and Prototyping Technologies
  •  Model Checking Abilities of Agents: A Closer Look
  •  Modélisation des émotions et de la personnalité pour le dialogue
  •  LIP6/SMA - NII/HonidenLab workshop on Multi-Agent Systems and Distributed Systems
  •  Agents at Honiden Lab
  •  Le Modèle du joueur dans les jeux en réalité augmentée
  •  Jeux vidéo : Nouveaux benchmarks pour les systèmes multi-agents ?

SPI

  •  Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité
  •  Journée Sécurité et Méthodes Formelles
  •  Journée SSURF
  •  Journée Présentation et Formation - FOCAL
  •  Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
  •  Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
  •  Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF

SPIRAL

  •  Seminaire SPIRAL/SALSA

SYEL

  •  Embedded real-time vision systems implemented using heterogeneous, reprogrammable computing platforms
  •  Apprentissage multimodale non supervisé et substrat cellulaire pour l’implémentation d’architectures neuromorphiques auto-adaptatives
  •  Cultiver le diamant pour fabriquer des implants neuronaux destiné à la réhabilitation fonctionnelle
  •  Analyse automatique des stades de sommeil à partir des voies électrophysiologique

Whisper

  •  BetrFS: Write-Optimization in a Kernel File System
  •  Data Sharing and Resource Management in the Multicore Era
  •  Your Processor Leaks Information - and There's Nothing You Can Do About It
  •  The Linux Scheduler: A Decade of Wasted Cores
  •  Improving performance on NUMA systems
  •  Objects in the Linux kernel: evolution is good
  •  Two-Dimensional Tailoring of Real-Time Operating System Kernels: Rethinking the Hardware--Application Bridge