LIP6 » Nghiên cứu » Lưu trữ

Hội nghị và thảo luận chuyên đề được tổ chức từ 2006

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

Colloquium

LIP6

ACASA

04/03/2012: Séminaire exceptionnel de Luciano Floridi

ALMASTY

01/21/2021: Breaking the decisional Diffie-Hellman problem for class group actions using genus theory
12/10/2020: Random Probing Security: Verification, Composition, Expansion and New Constructions.
11/18/2020: Partage de secret multiplicatif sur les anneaux
11/02/2020: Journées Codage et Cryptographie 2020
10/29/2020: Logarithmes discrets elliptiques multiples
01/23/2020: Linearly-Homomorphic Signatures and Scalable Mix-Nets
11/14/2019: On Interactive Communication and Uncertainty
11/07/2019: Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND
10/24/2019: Wave: a New Family of Trapdoor One-Way PSF Based on Codes
10/17/2019: Brute-Force Cryptanalysis with Aging Hardware: Controling Half the Output of SHA-256
10/10/2019: The Real Transform: Computing Positive Solutions of Fuzzy Polynomial Systems
07/09/2019: Full Disk Encryption and Beyond
06/21/2019: Séminaire C2
04/15/2019: Workshop on Randomness and Arithmetics for Cryptography on Hardware
01/25/2019: Séminaire C2
11/16/2018: Séminaire C2
06/29/2018: Efficient Arithmetic for Cryptography
05/30/2018: Journées Nationales 2018 Pré-GDR Sécurité Informatique
04/22/2016: Simplification de l’algorithme de Gentry-Szydlo
03/30/2016: Recent advances in Elliptic Curve Discrete Logarithm algorithms
12/15/2015: A Random Zoo: Sloth, Unicorn, and TRX

ALSOC

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

APR

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

BD

01/18/2006: Journée thématique Sécurité du Groupe de Travail Services Web

CIAN

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

ComplexNetworks

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

DECISION

03/02/2020: Séminaire de Paolo Dragone (Criteo) : "Constructive Preference Elicitation"
06/04/2012: Quadratization of Pseudo-Boolean Functions
10/27/2006: Journée Optimisation des Réseaux

DELYS

03/28/2019: Mariage stable auto-stabilisant et distribué
03/14/2019: Geomancy: Automated Data Placement for Exascale Storage Systems
03/07/2019: Twizzler: An OS for next-generation memory hierarchies
03/01/2019: Resilience in high-level parallel programming languages
04/18/2018: Learning Predictive Execution for Data-driven Applications
01/26/2018: The Firing Squad Problem Revisited

LFI

04/08/2021: Intelligences collectives naturelles et artificielles
03/02/2021: Developmental Machine Learning, Curiosity and Deep Reinforcement Learning
12/17/2020: La similarité dans l’analogie et la métaphore
10/29/2020: Contributions à l’étude du transfert analogique

MALIRE

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

MOCAH

06/04/2019: Environnements Informatiques pour l'Apprentissage Humain
06/21/2013: Modeling Student Affect from Causes and Effects
04/26/2013: Lifelong learner modelling, harnessing pervasive technology for learning

MoVe

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

NPA

11/15/2018: 13^th Annual GigaNet Symposium - "Not the ‘New Oil’ – Data Governance and the Internet"
03/30/2017: The First European Multidisciplinary Conference on Global Internet Governance Actors, Regulations, Transactions and Strategies
12/17/2014: Recent Research on Twitter Anonymity and Sensitivity
12/19/2013: Utilizing Approximate Counting in Distributed Caching and Content Delivery
04/16/2013: Rendez-vous déterministe dans les réseaux
10/20/2011: Journées automnales RESCOM: Octobre 2011
07/04/2006: Mobility Management in IP Networks
06/29/2006: NALF: A Network-Adapted Application Layer Flooding
06/26/2006: Global Robustness and Correctness in Massively Distributed Network Systems
06/22/2006: A Basis for Systematic Analysis of Network Topologies
05/24/2006: Link Adaptations and Protocol Design for Wireless Ad Hoc Networks
05/09/2006: 8èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
01/27/2006: Rôle des TIC dans l’évolution des politiques de sécurité en Europe

PEQUAN

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

Phare

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

PolSys

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

QI

07/12/2017: Séminaire du professeur invité LIP6 Norbert Lütkenhaus
06/19/2017: Trustworthy Quantum Information
06/14/2017: Theory of Quantum Computation, Communication and Cryptography

REGAL

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

RO

03/11/2021: Séminaire S : Online Search With Maximum Clearance
07/13/2017: A polynomial-time algorithm for the preemptive mixed-shop problem with two unit operations per job
06/07/2013: Worshop "games, algorithms and optimization"
06/18/2012: Ecole de printemps "Théorie des jeux algorithmique"

SALSA

06/23/2010: 2^nd International Conference on Symbolic Computation and Cryptography
12/14/2008: Special Track on Symbolic Computation and Cryptology - Inscrypt 2008

SMA

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

SPI

10/21/2012: Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité
04/22/2011: Journée Sécurité et Méthodes Formelles
03/08/2010: Journée SSURF
06/11/2009: Journée Présentation et Formation - FOCAL
05/27/2009: Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
11/07/2008: Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
05/13/2008: Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF

SPIRAL

09/01/2006: Seminaire SPIRAL/SALSA

SYEL

04/08/2021: Analyse automatique des stades de sommeil à partir des voies électrophysiologique

Whisper

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

Mentions légales

Sơ đồ site |