Archive des évènements

2e (Demi-)Journée des Doctorants de l'Axe AID
Animation axe IA&SD - journée des doctorants

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

1/2 journée de l'axe SSR

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

Séminaire exceptionnel de Luciano Floridi

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

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

[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
44^th 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
25^th 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"

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

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
20^th 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

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

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

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

Mind in Motion
Apprentissage faiblement supervisé: algorithmes biqualité et détection automatisée d'exemples mal-étiqueté
Systèmes artificiels et conscience
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
7^th 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
2^nd 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

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
11^th 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

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

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
18^th 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
1^st 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

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
13^th 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

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

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
21^th 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
16^th 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
20^th 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
12^th 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
5^th 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 1^st 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 9^th IFIP Annual Mediterranean Ad Hoc Networking Worshop
Networks and telecommunications: Choices and strategy
2^nd. IFIP Wireless Days 2009
23ème Congrès DNAC Paris
Les plates-formes autonomiques 2009
Ecole EIII Amman, Jordanie 2009
Autonomic Networking

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

Workshop on Secure Networks of Quantum Sensors
Séminaire du professeur invité LIP6 Norbert Lütkenhaus
Trustworthy Quantum Information
Theory of Quantum Computation, Communication and Cryptography

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

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"

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

Personalify: A framework for implementing MBTI agents
Collaborative logistics in Short Food Supply Chain: a game-theoretic approach
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 ?

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

Seminaire SPIRAL/SALSA

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

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

Archive des évènements

Colloquium

LIP6

AID

ASN

SSR

TMC

ACASA

ALMASTY

ALSOC

APR

BD

CIAN

ComplexNetworks

DECISION

DELYS

LFI

MALIRE

MOCAH

MoVe

NPA

PEQUAN

Phare

PolSys

QI

REGAL

RO

SALSA

SMA

SPI

SPIRAL

SYEL

Whisper