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

ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

LIP6

SPIRAL

01/09/2006: Seminaire SPIRAL/SALSA

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

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

DAPA

19/12/2019: Estimating music descriptions using convolutional neural networks
17/10/2019: User Centric Data Exploration
15/10/2019: Optimizing Multiple Objectives for Clustering
08/10/2019: Fuzziness in Action: Exploration and Exploitation with Linguistic Terms
12/09/2019: Apprentissage de représentations de documents liés
09/07/2019: Big Data: An Imbalanced Learning Perspective
06/06/2019: Transparent modelling of uncertainty - a role for fuzzy sets and systems in XAI?
12/04/2019: On quantum probability for decision analysis
20/03/2019: The Language of Betting as a Strategy for Scientific Communication
07/03/2019: Decomposable Probabilistic and Possibilistic Graphical Models: On Learning, Fusion and Revision
18/02/2019: Techniques d'apprentissage pour la Perception (par la) Machine
13/09/2018: Diurnal variations of psychometric indicators in Twitter content
28/06/2018: A Cognitive Architecture for Object Recognition in Video
01/02/2018: Machine Learning @dailymotion : Toward better content understanding and more accurate recommendation
18/01/2018: Circadian Mood Variations in Twitter Content
29/11/2017: Exploring the Trade-Offs of Web Interfaces to Support Live Queries over (Semantic) Web Data
02/10/2017: Apprentissage profond et génération de musique
04/07/2017: Big Data Analytics using Deep Learning and Information Theoretical Learning: Applications to Astronomy
04/05/2017: Multi-Criteria Decision Making and Uncertainty
28/03/2017: Quelques Résultats Récents dans le Domaine des Systèmes Robotiques Distribués Intelligents
23/03/2017: Fouille textuelle et visuelle: innovations et transfert industriel
09/03/2017: Massive Online Analytics for the Internet of Things (IoT)
01/03/2017: Models for pessimistic or optimistic decisions under different uncertain scenarios
22/02/2017: Riding the Big IoT Data Wave: Complex Analytics for IoT Data Series
02/02/2017: From mining under constraints to mining with constraints
14/12/2016: Challenges and issues with data quality measurement
08/12/2016: Linguistic summaries of process data
20/07/2016: Soft Hierarchical Analytics for Discrete Event Sequences
09/06/2016: Vers une approche Agile d’Informatique Décisionnelle basée sur le Soft Computing
07/03/2016: A Survey of Applications and Future Directions of Computational Intelligence
22/10/2015: Ensemble Approaches in Learning
08/10/2015: Contributions à la fouille de données complexes : données géographiques imprécises et/ou données massives
28/05/2015: Does it all add up? A study of fuzzy protoform linguistic summarization of time series
28/05/2015: A Fuzzy Rule-Based Approach to Single Frame Super Resolution
12/03/2015: Grille bivariée pour la détection de changement dans un flux étiqueté
15/01/2015: Tensor factorization for multi-relational learning
27/11/2014: The Frank-Wolfe Algorithm: Recent Results and Applications to High-Dimensional Similarity Learning and Distributed Optimization
13/11/2014: Computer-Aided Breast Tumor Diagnosis in DCE-MRI Images
30/10/2014: WaterFowl: a Compact, Self-Indexed RDF Store based on Succinct Data Structures
02/10/2014: Subgoal Discovery and Language Learning in Reinforcement Learning Agents
11/09/2014: Clustering-based Models from Model-based Clustering
03/07/2014: Clustering de données temporelles, application à l'analyse des données issue des médias sociaux
01/07/2014: PLUIE (Probability and Logic Unified for Information Extraction): Interim Report
05/06/2014: Classification non-supervisée recouvrante par k-moyennes revisité
22/05/2014: Collaborative activity in learning situations: forms and processes
20/02/2014: Robust recommendations and their explanation in multi-criteria decision aiding
06/02/2014: Apprentissage actif en classification évidentielle sous contraintes
19/12/2013: The raise of graph databases/dataspaces and their relations with Linked Data and Ontologies
16/12/2013: Extended Logic Programming and Intelligent System Development
05/12/2013: Granular Models for Time Series Forecasting
07/11/2013: Automated Feature Weighting in Naive Bayes for High-dimensional Data Classification
04/11/2013: Abductive reasoning made easy with Prolog and Constraint Handling Rules
10/10/2013: New Perspectives in Social Data Management / Understanding Similarity Metrics in Neighbour-based Recommender Systems
19/09/2013: Fuzzy Semantic Sentence Similarity Measures
19/07/2013: Applications of a new effort based model of software usability
28/06/2013: Modeling Topics and Opinions in Asynchronous Conversations
27/06/2013: Exploration and Exploitation of Scratch Games
13/06/2013: Vers la gestion de l'imprécision dès la construction de systèmes d'information géographique à la visualisation des données : une démarche basée sur la théorie des ensembles flous
06/06/2013: Experiments with Probabilistic Logic Programming applied to Biological Sequence Analysis
30/05/2013: Exploring Categories of Uncertainty - toward Structure of Uncertainty
23/05/2013: Séminaire Donnees et APprentissage Artificiel
16/05/2013: Introduction to Active Sets
15/05/2013: Neuromuscular Modelling and Analysis of Handwriting: from Automatic Generation to Biomedical and Neurocognitive applications.
11/04/2013: Co-clustering sous différentes approches: Modèles et algorithmes
28/03/2013: Spike-based computing and learning in brains, machines, and visual systems in particular
14/03/2013: Applications Intelligentes en Conception Innovante
22/11/2012: Global Seismic Monitoring: A Bayesian Approach
08/11/2012: Évolution Artificielle et Robotique Collective Adaptative
25/10/2012: Gradients de prototypicalité, mesures de similarité et de proximité sémantique : une contribution à l'Ingénierie des Ontologies
11/10/2012: Prix boursiers et couverture médiatique
08/10/2012: Global Technology Outlook (GTO) 2012
04/10/2012: Analytics, Cloud-Computing, and Crowdsourcing - or How To Destroy My Job...
05/07/2012: Gérer l'inconsistence et l'incertitude dans la fusion d'information via les sous-ensembles maximaux cohérents: concept et illustration
26/06/2012: A Calculus for Practical Reasoning

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

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

SOC

06/11/2014: Enjeux et solutions pour la synchronisation matérielle des communications dans les systèmes sur puce

ACASA

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

ALMASTY

13/01/2022: Multi-Party PSM, Revisited: Improved Communication and Unbalanced Communication
06/01/2022: LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions
10/12/2021: Multi-Party Permutation for Syndrome Decoding: a new zk protocol and code-based signature
26/11/2021: Fast Verification of Masking Schemes in Characteristic Two
18/11/2021: Low-Memory Subset Sum and LPN Algorithms via Multiple Collisions
04/11/2021: Classical and Quantum algorithms for generic Syndrome Decoding problems and applications to the Lee metric
28/10/2021: Algorithms for the Sparse Random 3XOR Problem
14/10/2021: Attacks on Pseudo-Random Number Generators Hiding a Linear Structure
07/10/2021: On the Power of Expansion: More Efficient Constructions in the Random Probing Model
21/01/2021: Breaking the decisional Diffie-Hellman problem for class group actions using genus theory
10/12/2020: Random Probing Security: Verification, Composition, Expansion and New Constructions.
18/11/2020: Partage de secret multiplicatif sur les anneaux
02/11/2020: Journées Codage et Cryptographie 2020
29/10/2020: Logarithmes discrets elliptiques multiples
23/01/2020: Linearly-Homomorphic Signatures and Scalable Mix-Nets
14/11/2019: On Interactive Communication and Uncertainty
07/11/2019: Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND
24/10/2019: Wave: a New Family of Trapdoor One-Way PSF Based on Codes
17/10/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
09/07/2019: Full Disk Encryption and Beyond
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

12/03/2020: [Séminaire APR] Sémantique des programmes probabilistes
20/02/2020: [Séminaire APR] Toward more generic and robust constraint solvers
23/05/2019: Michelson : langage de smart-contracts de la blockchain Tezos
13/05/2019: Developments in Property-Based Testing
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

10/07/2023: Free Silicon Conference
07/07/2022: Free Silicon Conference
23/03/2021: The Analog Designer's Toolbox (ADT): Towards A New Paradigm for Analog IC Design
06/03/2020: Development of IoT Curricula for Children (Age 10 to 13)
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

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

DELYS

06/09/2023: Safe and Secure Programming Abstractions for Decentralized Software – Prof Mira Mezini
05/09/2023: Varda: a language for programming distributed systems by composition – soutenance Laurent Prosperi
16/02/2022: Recoverable Data Structures
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

LFI

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

MOCAH

29/06/2021: Educational Data Mining
04/06/2019: Environnements Informatiques pour l'Apprentissage Humain
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

09/12/2022: Adaptive precision sparse matrix-vector product
07/12/2022: Feedback on the use of the Julia programming language for the numerical solution of Partial Differential Equations
18/12/2020: An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver
02/12/2020: Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
18/11/2020: Multiple precisions iterative refinement for the solution of large sparse linear systems
04/11/2020: Mixed precision algorithms, a tool for advancement of numerical linear algebra
14/04/2020: Exhaustive search of permutations with many patterns
05/11/2019: Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
08/10/2019: Sharper and smaller error bounds for low precision scientific computing
23/05/2019: Reproducibility Strategies for Parallel Preconditioned Conjugate Gradient
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

17/03/2022: 5G Connectivity and Security for CNF/VNF Modern Telco applications
16/12/2021: Scalable infrastructure for remote reading of electric energy meters
16/12/2021: A theoretical association model for IEEE 802.15.4 TSCH networks
24/11/2021: Socio-Temporal Characterization of Content in Social Networks based on Stream Processing
25/10/2019: Implementation of non-uniform constellation techniques for the DTMB standard
25/10/2019: Physical Layer Security techniques for wireless communication systems
24/10/2019: 20 ans de la radio cognitive
13/06/2019: Cooperation Architecture for Service-Oriented C-ITS: From Microcosmic Optimization to Macrocosmic Forecasting
09/05/2019: Networks are getting smart: SDN and machine learning applied to network automation
03/05/2019: No Radio Left Behind: Radio Fingerprinting Through Deep Learning of Physical-Layer Hardware Impairments
29/04/2019: A Perspective of Blockchain in HealthCare: Security, Convenience and Innovation
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

RO

14/12/2021: Analogue of Gyarfas-Sumner conjecture for oriented graphs
15/10/2021: Collective schedules : How to find a consensus schedule ?
11/03/2021: Séminaire S : Online Search With Maximum Clearance
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"

SMA

25/03/2024: An Agent-Based Model of MySide Bias in Scientific Debates
14/12/2023: Logics for Strategic Reasoning: Recent Developments and Application to Mechanism Design
04/12/2023: Type Theory in Climate Impact Research: From Program Correctness to Policy Advice
08/09/2023: Approches multi-agents pour l'allocation de ressources et la planification pour l'observation de la Terre par des constellations de satellites
27/01/2020: Neural Melody Generation from Lyrics
13/01/2020: New trends in Computational Narratology and Interactive Storytelling
18/11/2019: Supervised learning for distribution of centralised multiagent patrolling strategies.
14/10/2019: An overview of research projects in the domain of gaming – cloud, health (exergaming) and culture and history (edugaming).
16/09/2019: Developing Intelligent Interactive Systems with Multi-Agent Oriented Programming Combined with Ontologies and Argumentation
08/07/2019: Argumentation and Computational Persuasion: a three-year project
21/01/2019: Un modèle de système psychique organisationnel et constructible
21/01/2019: L’intelligence artificielle aujourd’hui et demain
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 ?

SYEL

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