LIP6 » Поиск » Архивы

Конференции и семинары с 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 Whisper

Colloquium

LIP6

ACASA

03.04.2012: Séminaire exceptionnel de Luciano Floridi

ALMASTY

21.06.2019: Séminaire C2
15.04.2019: Workshop on Randomness and Arithmetics for Cryptography on Hardware
25.01.2019: Séminaire C2
16.11.2018: Séminaire C2
29.06.2018: Efficient Arithmetic for Cryptography
30.05.2018: Journées Nationales 2018 Pré-GDR Sécurité Informatique
22.04.2016: Simplification de l’algorithme de Gentry-Szydlo
30.03.2016: Recent advances in Elliptic Curve Discrete Logarithm algorithms
15.12.2015: A Random Zoo: Sloth, Unicorn, and TRX

ALSOC

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

APR

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

BD

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

CIAN

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

ComplexNetworks

15.10.2014: Modèles et l'Analyse des Réseaux : Approches Mathématiques et Informatiques (MARAMI)
09.10.2014: Modeling time-varying multilayer networks (and beyond?)
09.10.2014: DNS Monitoring, looking out for anomalies using the time frame Name – IP association
02.10.2014: Complexité de l’exploration des graphes dynamiques T-intervalle-connexes
18.09.2014: Community detection and Role extraction in networks
12.06.2014: L'invention des concepts en informatique
30.05.2014: Deepening Our Understanding of Social Media via Data Mining
28.05.2014: In-Core Computation of Geometric Centralities with HyperBall: A Hundred Billion Nodes and Beyond
22.05.2014: Coala : Co-evolution Assessment by a Likelihood-free Approach
09.05.2014: Dynamic Contact Network of an Hospital
09.05.2014: Les réseaux dynamiques : des données aux modèles
02.05.2014: Impact de la dynamique du réseau sur quelques problèmes d’algorithmique distribuée et classification de graphes
17.04.2014: Applications collaboratives dans les réseaux dynamiques : applications aux réseaux de véhicules
11.04.2014: RankMerging : une méthode d'apprentissage supervisé pour prédire les liens dans un réseau social
27.03.2014: Social Networks as a Trade-Off Between Efficient Information Transmission and Reduced Disease Transmission
20.03.2014: Influence de la structure du réseau des mouvements de commuting sur la diffusion de la grippe
20.03.2014: “Going Viral” and the Structure of Online Diffusion
13.03.2014: Deep Tags: Toward a Quantitative Analysis of Online Pornography
28.02.2014: Motifs Distribution in Exchangeable Random Networks
20.02.2014: Reconstruction des dynamiques multi-échelles de la morphogenèse animale
06.02.2014: Analyse et modélisation des dynamiques socio-épistémiques des communautés scientifiques
23.01.2014: Modélisation et analyse à base de graphes de citations de textes de loi : histoire d’une collaboration entre mathématiciens et juristes
09.01.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
21.11.2013: Une plus grande utilisation de la théorie des graphes dans l’analyse des réseaux
07.11.2013: Les capitalistes sociaux sur Twitter : détection, évolution, caractérisation
24.10.2013: Analyse des réseaux et géographie politique : l'ONU comme terrain de jeu
03.10.2013: The Random Subgraph Model for the analysis of an ecclesiastical network in Merovingian Gaul
17.09.2013: Assessing Group Cohesion in Homophily Networks
09.07.2013: Évaluation et optimisation d'une partition hiérarchique de graphe
27.06.2013: Using the Framework of Networks to Enhance Learning and Social Interactions
06.06.2013: Scalable Analysis for Network Monitoring and Forensics Purposes
03.06.2013: Social Network Analysis of Authority in the Blogosphere and its Application
23.05.2013: Partition en sous-graphes denses pour la détection de communautés
25.04.2013: Trust-Based Service Discovery in Multi-Relation Social Networks
11.04.2013: Wavelets on Graphs: a Tool for Multiscale Community Mining in Graphs
28.03.2013: Connectivity of Bluetooth Graphs
13.03.2013: Propriétés combinatoires et de robustesse de modèles discrets de réseaux biologiques
07.03.2013: Lois d'échelle des processus de trafic dans les réseaux de communications
12.02.2013: Lutte contre les botnets
10.01.2013: e-Diasporas Atlas
22.11.2012: Convergence de quelques opérateurs sur les bicliques d’un graphe multiparti
18.10.2012: Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics
10.07.2012: Journée thématique : Dynamique des graphes

DECISION

04.06.2012: Quadratization of Pseudo-Boolean Functions
27.10.2006: Journée Optimisation des Réseaux

DELYS

28.03.2019: Mariage stable auto-stabilisant et distribué
14.03.2019: Geomancy: Automated Data Placement for Exascale Storage Systems
07.03.2019: Twizzler: An OS for next-generation memory hierarchies
01.03.2019: Resilience in high-level parallel programming languages
18.04.2018: Learning Predictive Execution for Data-driven Applications
26.01.2018: The Firing Squad Problem Revisited

MALIRE

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

MOCAH

21.06.2013: Modeling Student Affect from Causes and Effects
26.04.2013: Lifelong learner modelling, harnessing pervasive technology for learning

MoVe

23.11.2017: Exploiter la Gamification pour améliorer l’implication des développeurs dans la qualité du code source, une étude de cas industrielle.
20.10.2017: Energy-optimization for Embedded Devices
25.04.2017: MOOC programmation Concurrente (avec Java)
31.03.2017: séminaire «Méthodes Formelles pour les Systèmes Logiciels et Matériels» du 31 mars 2017
14.03.2017: MOOC programmation iOS (partie I)
06.07.2015: International Summer School on Intensive Automated Testing of Service Oriented Architectures
18.06.2015: Learning to Rank with Additive Ensembles of Regression Trees
03.06.2015: International Workshop on ISO/IEC 15909-3: properties, modularity, and stochastic Petri nets.
06.05.2015: Nested-Unit Petri Nets: Combining Hierarchy with Concurrency
16.04.2015: The subtle alchemy of concurrency and real-time
06.03.2015: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05.03.2015: Proving Copyless Message-Passing
18.09.2014: Well-structured pushdown systems
18.09.2014: Dealing with Dynamicity in Ambient Systems: A Formal Planning Approach.
24.06.2014: From Symmetric Nets to Symmetric Nets with Bags
16.06.2014: Journées annuelles du GT VERIF, du GT FORWAL et workshop de clôture du projet ANR ImpRo
25.06.2013: Journée MDDay
13.06.2013: Adding Spreadsheets to the MDE Toolkit
18.01.2013: Méthodes Formelles pour les Systèmes Logiciels et Matériels
12.10.2012: Méthodes Formelles pour les Systèmes Logiciels et Matériels
27.08.2012: 18^th International Conference on Formal Methods (FM 2012)
25.07.2012: Algorithmic improvements for graph games
25.06.2012: Model Checking Contest at PETRI NETS 2012
22.03.2012: Vérification de protocoles de sécurité et détection d'intrusion
10.01.2012: Efficient Static Analysis of Dynamical Properties using the Process Hitting
30.09.2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05.04.2011: On model checking concurrent recursive programs
15.03.2011: Contraintes sur le temps logique dans la conception de systèmes embarqués.
11.01.2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
17.12.2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05.11.2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05.10.2010: Synthèse distribuée
18.06.2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
15.06.2010: Sixth European Conference on Modelling Foundations and Applications
21.05.2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
09.03.2010: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
26.02.2010: Weak Time Petri Nets Strike Back!
31.08.2009: Ecole d'été Temps Réel
22.06.2009: International Conference on Application and Theory of Petri Nets and other Models of Concurrency
23.01.2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05.12.2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
14.11.2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
20.06.2008: Sur la fluidification des réseaux de Petri: de leur expressivité à l'évaluation des performances
22.04.2008: A High-level Perspective on Formal Validation and Verification
11.04.2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
15.02.2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
16.11.2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05.10.2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
05.04.2007: Model-checking temporisé
09.03.2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
19.01.2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
16.10.2006: Composition of Embedded Systems: Scientific and Industrial Issues
06.10.2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
20.06.2006: 1^st Rutgers / Pierre et Marie Curie Workshop
12.05.2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
28.04.2006: Developing a Model E-commerce Agent System
24.03.2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
17.03.2006: Développement de systèmes informatiques par assemblage de composants métier sur étagère
20.01.2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels

NPA

15.11.2018: 13^th Annual GigaNet Symposium - "Not the ‘New Oil’ – Data Governance and the Internet"
30.03.2017: The First European Multidisciplinary Conference on Global Internet Governance Actors, Regulations, Transactions and Strategies
17.12.2014: Recent Research on Twitter Anonymity and Sensitivity
19.12.2013: Utilizing Approximate Counting in Distributed Caching and Content Delivery
16.04.2013: Rendez-vous déterministe dans les réseaux
20.10.2011: Journées automnales RESCOM: Octobre 2011
04.07.2006: Mobility Management in IP Networks
29.06.2006: NALF: A Network-Adapted Application Layer Flooding
26.06.2006: Global Robustness and Correctness in Massively Distributed Network Systems
22.06.2006: A Basis for Systematic Analysis of Network Topologies
24.05.2006: Link Adaptations and Protocol Design for Wireless Ad Hoc Networks
09.05.2006: 8èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
27.01.2006: Rôle des TIC dans l’évolution des politiques de sécurité en Europe

PEQUAN

28.02.2019: Minimum number of additions in elliptic curve cryptography using double-based number representation
31.01.2019: Après-midi apprentissage / embarqué / précision numérique
17.01.2019: Toward optimizing compilers for quantum computers
06.12.2018: Accuracy and Stability of Low-rank Linear Solvers
25.10.2018: The Frobenius FFT and application to the multiplication of binary polynomials
05.07.2018: A communication-avoiding sparse direct solver
15.02.2018: Implementation and optimization techniques of linear algebra kernels for modern HPC systems
18.01.2018: CPUs and GPUs: can we get the best of both worlds?
20.11.2017: Deep Learning & Accélération GPU
25.09.2017: Predicting the Behavior of Large Dynamical Systems using Intervals and Reduced-Order Modeling
21.09.2017: Algorithmique de l'implementation fiable de filtres numériques
07.09.2017: Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
29.06.2017: Segmentation non-uniforme suivie d’approximation polynomiale pour l’évaluation de fonctions au sein de processeurs embarqués
15.06.2017: FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
15.05.2017: Précision, Reproductibilité en Calcul et Informatique Scientifique
04.05.2017: Topological Data Analysis and Visualization: A Tutorial (Part II: TTK)
27.04.2017: Topological Data Analysis and Visualization: A Tutorial
30.03.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
23.01.2017: Fast Fourier transform algorithms based on binary trees representation
19.01.2017: Fin de la Loi de Moore et applications HPC
24.11.2016: Computer algebra methods for the study of the stability and the stabilization of multidimensional systems
17.11.2016: Automating the pipeline of arithmetic datapaths
20.10.2016: Trois exposés (voir détails)
22.09.2016: A Decimal Multiple-Precision Interval Arithmetic Library
06.07.2016: Calcul par Intervalles et Transport Optimal
09.06.2016: Enlarged Krylov Subspace Methods and Preconditioners for Reducing Communication
19.05.2016: Programming with Numerical Uncertainties
19.05.2016: Towards reliable implementation of digital filtersTBA
12.05.2016: New results on floating-point
07.04.2016: Development of a library for symbolic floating-point arithmetic
24.03.2016: Evaluating Straight-Line Programs over Balls
10.03.2016: Accelerating the Conjugate Gradient Algorithm with GPU in CFD Simulations
22.02.2016: Persistent homology for multivariate data visualization
11.02.2016: Information Visualization from Trenches and Labs
03.02.2016: Estimation of numerical reproducibility using stochastic arithmetic
18.01.2016: Tutoriel Sollya et PythonSollya
07.01.2016: Sur la précision p-adique
17.12.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
10.12.2015: Sound static analysis of run-time errors in programs with floating-point computations
30.11.2015: Vérification formelle de programmes numériques: l'exemple de la moyenne
19.11.2015: Towards a Modern Floating-Point Environment
02.11.2015: Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
22.10.2015: Bornes sur les restes de séries solutions d'équations différentielles
24.09.2015: Pattern formation in a coupled Brusselator model
10.09.2015: Metalibm: Kalray's side
03.07.2015: Investigation of Crouzeix’s Conjecture via Nonsmooth Optimization
02.07.2015: Computer-aided floating point error analysis and debug
18.06.2015: Trois exposés courts (voir détails)
04.06.2015: Dilemme du fabricant de tables pour les fonctions transcendantes
21.05.2015: Parameterization of Surfaces
07.05.2015: Verrou : l'arithmétique stochastique sans recompiler
06.05.2015: Diagonalisation parallèle pour le calcul de structure électronique
26.03.2015: Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
05.03.2015: Special functions in the Arb library
02.03.2015: The Parks McClellan algorithm: a scalable approach for designing FIR filters
26.02.2015: An inverse problem of magnetization in geoscience
12.02.2015: New Applications of Semidefinite Programming
29.01.2015: Calcul rapide des valeurs propres pour matrices compagnon
15.01.2015: Reproducible and Accurate BLAS for ExaScale Computing
11.12.2014: Itérations asynchrones des méthodes de décomposition de domaines sur architectures parallèles
27.11.2014: Intra-Procedural Optimization of the Numerical Accuracy of Programs
13.11.2014: Algèbre linéaire d'intervalles : Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs
12.11.2014: Big Data Visual Analysis
30.10.2014: Metalibm: a code generator for parametrized mathematical functions
29.10.2014: Numerical stability of the Gram-Schmidt algorithm
16.10.2014: Introduction à Sage
20.03.2014: Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
15.10.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
10.05.2012: Etendre le compilateur GCC avec MELT
04.12.2008: Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
27.05.2008: Interval Arithmetic: Concepts, Theory, Application
04.09.2007: Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie
23.05.2006: On the algebraic properties of stochastic and interval numbers

Phare

08.01.2019: Scalable Network Security with SDNFV
05.10.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
22.06.2018: 6Genesis (the 6G-Enabled Wireless Smart Society & Ecosystem) project
08.06.2018: The FUTEBOL Project: when optical meets wireless
30.04.2018: Tidal dynamic SDN networks: a machine-learning optimizer and a testbed
27.04.2018: Enabling Time-sensitive Computing on Virtualized Systems through Cross-layer Scheduling
11.04.2018: ONOS Security and Performance Analysis Brigade Workshop
10.04.2018: Video Streaming over Software Defined Networks
06.04.2018: High performance network functions with Vector Packet Processing (VPP)
06.04.2018: Platform for Network Data Analytics (PNDA) : Learn to Bootstrap an Open Source Big Data Platform
09.03.2018: ONAP – The Open Network Automation Platform
20.02.2018: 21^th ICIN Conference Innovations in Clouds, Internet and Networks
19.02.2018: Scope of Problems and Solutions in Dynamic Spectrum Sharing
30.01.2018: Fostering the Path to Security Intelligence: A Perspective in the Era of IoT and Blockchain
22.11.2017: Int. Conference on the Network of the Future
13.11.2017: Présentation des projets open source ONOS et CORD
03.07.2017: Mobile Crowdsensing for User/Group Profiling and Edge Optimizations
28.06.2017: 16^th Annual Mediterranean Ad Hoc Networking Workshop
27.06.2017: Mobile Cloud Networking and Edge Computing for Quality-enhanced Service Provisioning
23.06.2017: Dynamic Spectrum Sharing: Licensed - Unlicensed Access
19.06.2017: Ecole d'été RESCOM 2017 sur les réseaux de communication - Virtualisation et Dématérialisation
26.05.2017: ONOS Security and Performance Analysis Brigade Workshop
22.05.2017: Network Cloudification: SDN-NFV and 5G-MEC with Edge and Fog Computing
19.05.2017: Internet of Things and Big Data: Applications, Technologies and Standards
07.03.2017: 20^th ICIN Conference Innovations in Clouds, Internet and Networks
09.02.2017: Network Resource Management and Control in SDN
30.01.2017: The FUTEBOL project - experimentation on the optical/wireless network frontier
30.01.2017: PEERING: An AS for Us
04.12.2016: 2016 IEEE Global Communications Conference - Workshops
02.11.2016: Open Network Operating System (ONOS) - 2016 Build Event
24.10.2016: Analysis of Control Traffic in a Geo-distributed Collaborative Cloud
25.07.2016: Mobile, Cloud, Analytics – Challenges and Opportunities for Data-Driven Infrastructure
03.06.2016: Consolidating Flows with Implicit Deadlines for Energy-Proportional Data Center Networks
14.03.2016: 12^th Int. Conference on the Design of Reliable Communication Networks
09.02.2016: Exploiting ICN for flexible management in software-defined networks
05.02.2016: A Framework for Resilient and Secure Spectrum Sensing on Cognitive Radio Networks
14.09.2015: Journée Virtualisation et Cloud - GdR RSD
07.09.2015: Workshop on Mobility in the Evolving Internet Architecture
04.09.2015: Towards Finer-grained Graph-based Interference Models for Wireless Network Optimization
22.07.2015: Closing the loop in cognitive radio networks: Towards higher layer protocol design, user applications, and systems
06.07.2015: Design of a Load-Balancing Middlebox Based on SDN for Data Centers
06.07.2015: Redundancy Coding-oriented Regeneration Schemes and Performance Optimization in Distributed Storage Systems
11.06.2015: Wireless Evolution: From Connecting People to Connecting Machines
02.06.2015: On Nash Equilibrium, Wardrop's Principles, Selfish Routing, and Optimal Routing
01.04.2015: The Babel routing protocol
17.02.2015: Cooperative Streaming on Smartphones over Hybrid Wireless Networks
16.12.2014: Revisiting Scheduling and User Association in Heterogeneous Networks When the Backhaul Links are of Limited Capacity
15.12.2014: Intelligent Sensing in RFID Systems towards Real Complex Environment
12.12.2014: A Cluster Approach to Scaling OpenFlow Control Plane
10.12.2014: The Evolving Enterprise Edge
08.12.2014: SOUP: An Online Social Network by the People, for the People
03.12.2014: 5^th Int. Conference on the Network of the Future
26.09.2014: Is Multipath Routing Beneficial?
21.08.2014: Mobile Cloud for Mobile Health
04.07.2013: Opportunistic and Cooperative Forwarding in Mobile Ad-hoc Networks with Light-Weight Proactive Source Routing
09.04.2013: Software Defined Optical Networking
28.11.2012: 2012 IEEE 1^st Int. Conference on Cloud Networking
20.06.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
28.11.2011: Second International Conference on Network of the Future
28.06.2010: Data-driven Modeling and Design of Networked Mobile Societies: A Paradigm Shift for Future Social Networking
23.06.2010: The 9^th IFIP Annual Mediterranean Ad Hoc Networking Worshop
14.06.2010: Networks and telecommunications: Choices and strategy
15.12.2009: 2^nd. IFIP Wireless Days 2009
18.11.2009: 23ème Congrès DNAC Paris
29.09.2009: Les plates-formes autonomiques 2009
07.09.2009: Ecole EIII Amman, Jordanie 2009
27.09.2006: Autonomic Networking

PolSys

12.12.2014: Design of Marx generators as a structured eigenvalue assignment
05.12.2014: Isomorphism problems in algebra
28.11.2014: The Skeletons you find when you Order your Ideal's Closet
25.11.2014: A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems
14.11.2014: On the Complexity of Solving Bivariate Systems
24.10.2014: Algebraic Attack against Wild McEliece & Incognito
24.10.2014: A Polynomial time attack on Wild McEliece over quadratic extensions
17.10.2014: New ways of finding relations in the Index Calculus for Jacobians of hyperelliptic curves
03.10.2014: Efficient probabilistic algorithm for computing the real dimension of real algebraic sets
26.09.2014: Root Separation Bounds
19.09.2014: Numerical Linear System Solving With Parametric Entries By Error Correction
19.09.2014: A new code based public key scheme based on list decoding
12.09.2014: On the complexity of computing Gröbner bases for weighted homogeneous systems
04.07.2014: Real algebraic geometry and infinite-dimensional conic optimization
27.06.2014: Algorithms to Compute Chern-Schwartz-Macpherson and Segre Classes and the Euler Characteristic
27.06.2014: Sparse Gröbner bases: the unmixed case
20.06.2014: Spaces of matrices with rank bounded above
13.06.2014: Effective Hilbert's Nullstellensatz and Finite Fields
15.05.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
14.03.2014: Rounding and Chaining LLL: Finding Faster Small Roots of Univariate Polynomial Congruences
14.03.2014: Constructing and using fast, twist-secure elliptic curves
07.03.2014: Computing efficiently real points on determinantal varieties
07.03.2014: An application of Algebraic Geometry to the contrast problem in Nuclear Magnetic Resonance
14.02.2014: Real roots of polynomial systems, semi-definite programming and border basis
25.03.2013: How to avoid communication in linear algebra and beyond
25.03.2013: Résolution des Systèmes Polynomiaux par les bases de Gröbner

QI

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

REGAL

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

RO

13.07.2017: A polynomial-time algorithm for the preemptive mixed-shop problem with two unit operations per job
07.06.2013: Worshop "games, algorithms and optimization"
18.06.2012: Ecole de printemps "Théorie des jeux algorithmique"

SALSA

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

SMA

21.01.2019: Un modèle de système psychique organisationnel et constructible
03.12.2018: Finding agile evacuation routes by the means of centrality measures for evacuation
16.11.2018: Reinforcement Learning in Recommender Systems
29.10.2018: SARL - Agent-oriented Programming Language
15.10.2018: Towards cultural knowledge evolution: experiments with alignments repair
09.07.2018: How Implicit Communication Emerges during Conversation Game
25.06.2018: What to Believe Now? Belief as a Form of Rational Choice // Une approche par contraintes stochastiques pour Le General Game Playing
14.05.2018: Présoutenance de thèse - réservé à l'équipe
09.04.2018: Viabilité pour l'argumentation dans la gestion de parcs naturels
26.03.2018: Apprentissage artificiel collectif : aspects dynamiques et structurels
12.03.2018: Le traitement automatique du langage naturel pour l'interaction humain-agent : vers des agents socialement compétents
22.01.2018: Workshop NII-LIP6
26.06.2017: MoCaNA: Un agent de négociation basé sur la recherche de Monte-Carlo arborescente
19.06.2017: Patrouille multi-agent coopérative pour la détection d’actions illégales en environnement incertain
12.06.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
22.05.2017: Safer Flight Systems using Dynamic Data-Driven Avionics
24.04.2017: Vers une approche d'ingénierie multi-agents à base de LdPL (Lignes de Produits Logiciels)
27.03.2017: Apprentissage profond - Deep learning - Histoire, principes et enjeux
20.03.2017: Méthodes de recherche locale sur machines massivement parallèles
13.03.2017: Journées MAFTEC, sur les aspects Multi-Agents, Flexible, Temporel, Epistémique et Contingent de la planification
02.02.2017: Invited talks - NII
05.12.2016: Quelques exemples d’applications des SMA: Quantified Things et Jeux Sérieux
21.03.2016: Mini Course on the Theory of Aggregation (2/2)
07.03.2016: Mini Course on the Theory of Aggregation (1/2)
30.11.2015: Structural and Epistemic Approaches to Probabilistic Argumentation
16.11.2015: Open Language Grid: Towards a Global Language Service Infrastructure
02.11.2015: Modèles d'environnement et simulation multi-agents pour les systèmes dynamiques de transport
21.09.2015: Normative Programming.
22.06.2015: Scénarisation d’environnements virtuels pour la formation en environnements sociotechniques complexes
15.06.2015: Coordonner des SMA de manière flexible en donnant une culture aux agents
01.06.2015: Système multi-agent normatif pour la collaboration et l’interaction mixte
18.05.2015: Emergence of conventions through social learning
13.04.2015: Debates among argumentative agents
10.04.2015: Modèles basés agents en Economie
30.03.2015: Argumentation, Trust and Interaction
23.03.2015: The Power of Swap Deals in Distributed Resource Allocation
20.03.2015: Coordination in large multiagent systems : do agents need stock options ?
24.09.2014: Distributed and Munlti-Agent Systems (24-25 Septembre 2014)
14.06.2013: Journée sur les Modèles basés Agents en Économie
12.07.2010: Le rôle des jeux vidéo dans la société et dans l'informatique
21.06.2010: Fifth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems
01.02.2010: L'assistance aux personnes atteintes de déficits cognitifs dans les habitats intelligents
08.04.2009: Modèles individus centrés de dynamiques d’opinions et approximations agrégées
03.04.2009: Management of networked sensing devices
16.02.2009: Apprentissage incrémental collectif de concept (Sound Multiagent Incremental LEarning)
08.12.2008: Towards a Platform for Experimentation with Dynamic Adaptation
10.11.2008: Context Aware Computing
27.06.2008: Replication heuristics for agents fault tolerance: a plan-based approach
23.06.2008: Négociation combinée et multicritère d'agents coopératifs
09.06.2008: Consensus dans un système multiagent : du modèle à l’exécution
09.06.2008: Simulation de dynamiques d'opinions à l'aide d'un système multi-agents
02.06.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
26.05.2008: Multi-agent Temporal Planning in Dynamic Environments
19.05.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
14.04.2008: Emotion et Interaction
14.04.2008: Réécriture topologique : programmation orientée interaction
07.04.2008: Consensus dans les systèmes collaboratifs de partage de contenus
07.04.2008: Une approche pour la prise de décision décentralisée par des agents autonomes en environnements complexes
31.03.2008: Modélisation de compétences d'entreprise et son intégration dans une simulation de réseaux d'ajout de valeur d'entreprise
19.03.2008: Recent Results in Constructive Language Evolution and its Generalizations
17.03.2008: Contrôle social de systèmes multi-agents ouverts et décentralisés
17.03.2008: Modélisation des interactions entre agents rationnels : les jeux booléens
10.03.2008: Propagation et affinement d'hypothèses sous contraintes communicationnelles.
18.07.2007: Multiagent Simulation Meets the Real World
18.07.2007: The Language Grid for Intercultural Collaboration
09.07.2007: Understanding Consciousness with Model Abstractions
22.06.2007: An Architectural Strategy for Situated Multi-Agent Systems
08.06.2007: Semantic Web Services: Where Are We Headed?
29.03.2007: The A&A Approach for Developing Cognitive MAS: Conceptual Framework and Prototyping Technologies
23.03.2007: Model Checking Abilities of Agents: A Closer Look
19.03.2007: Modélisation des émotions et de la personnalité pour le dialogue
09.10.2006: LIP6/SMA - NII/HonidenLab workshop on Multi-Agent Systems and Distributed Systems
15.06.2006: Agents at Honiden Lab
17.02.2006: Le Modèle du joueur dans les jeux en réalité augmentée
23.01.2006: Jeux vidéo : Nouveaux benchmarks pour les systèmes multi-agents ?

SPI

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

SPIRAL

01.09.2006: Seminaire SPIRAL/SALSA

Whisper

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

Mentions légales

Карта сайта |