Introduction
General information
Research
Product
Partnership
News
Links
Site map
Environment
LIP6 events
Background
LIP6
»
Links
»
LIP6 events
»
Conferences and seminars since 2006
Conferences and seminars since 2006
LIP6
TrackSign, premier outil de webtracking destiné aux TPE/PME qui se lancent sur internet
Amphi Zero : présentation de l'EDITE
Fête de la science avec les chercheurs en informatique
Verdi : Vérification de systèmes embarqués hétérogènes
Colloquium in Honor of Thérèse Hardin
Conférence du Professeur Mario Tokoro, Président de Sony-CSL, Docteur Honoris Causa de l'UPMC, au LIP6 le 25 mars 2010 à 15h, intitulée "Open Systems Science"
Journée Industrielle
Journée des doctorants
Journée Industrielle
Evaluation AERES du LIP6
Journée organisée en l'honneur de Jean-Louis Laurière
Euronetlab - Nouveau contrat pour trois ans
PEQUAN
Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
Interval Arithmetic: Concepts, Theory, Application
On the algebraic properties of stochastic and interval numbers
SPIRAL
2007-12-31
ComplexNetworks
MALIRE
Fouille d'espaces de recherche en optimisation combinatoire
Approche Perceptuelle pour l'amélioration et l'évaluation de la qualité d'image
Attribution d'auteur : Une approche basée sur le vocabulaire spécifique
Cluster Harnessing Analyses for High Dimension Low Sample-Size Data
TextElaborator : un système prêt-à l'emploi pour la génération automatique de textes
Stratégie de fusion crossmedia pour l'indexation de documents mutimedia
Utilisation des media sociaux en finance quantitative, le cas de Twitter
Recherche d'information : Distribution de mots et modèles d'information
From query processing to information integration: the power of decomposition techniques
Des modèles de performances à la e-santé
Heuristic based Query Optimisation for SPARQL
Apprentissage Profond de Representations pour la Vision
3rd IEEE Symposium Series on Computational Intelligence
Intelligent Symbolic Clustering through High Dimensional Space
Using the Stochastic Fleet Estimation Model to Compute Optimized Fleet Mixes
Fouille visuelle de données complexes en réalité virtuelle
Semi-Streamed Index Join for Near-Real Time Execution of ETL Transformation
L'apprentissage de l'apprentissage chez le jeune enfant
The Burbea-Rao and Bhattacharyya centroids
Transitivity hidden in cyclic phenomena
An inference algorithm based on mobile agents paradigm for distributed knowledge bases
Sélection de caractéristiques pour les champs aléatoires conditionnels par pénalisation L1 : application au traitement des langues
2010-10-25
Une approche basée sur ontologie pour des recommandations personnalisées
Cultural-based Particle Swarm Optimization for Multiobjective Optimization
Un modèle pour la recherche d'information interactive basé sur le formalisme de la physique quantique
Feature Selection as a One-Player Game
Multi-Objective Genetic Algorithm for Motif Discovery
Anomaly Detection in Wireless Sensor Networks: Visual Assessment and Clustering in Environmental Monitoring Networks
Every picture tells a story: Visual Clustering in Relational Data
Soft Computing for Sensor and Algorithm Fusion
Linguistic spatial reasoning
A new advancing technology for humanity : orange computing/technology
Les contenus spatio-visuels des documents à dominante texte
Modèles Informatiques des Comportements Affectifs Nonverbaux
On Structured Output Training: Hard Cases and Efficient Alternatives
Evolution et coévolution artificielle : deux exemples d'applications en modélisation de processus agro-alimentaire
Filtrage particulaire pour le suivi dans les séquences vidéo multi-modales
NetGames 2009
Body Movement as a Modality for Affective Human-Computer Interaction
Vers la conception de documents composites : Extraction et organisation de l'information pertinente
La conscience réflexive d'un chercheur artificiel en Intelligence Artificielle
Beyond the Stars: Improving Rating Predictions using Review Text Content
Schema Mapping and Query Translation in Heterogeneous XML P2P Databases
From Cardinal to Ordinal Preference Models - Validation of ordinal models by psychological experiments
Statistical significance testing on graphs
Towards Characterizing Second Life
Agent virtuel expressif pour l'interaction homme-machine
TRENDS, un outil inspirationnel pour les designers dans le domaine de l'"Affective Computing"
Seuil adaptatif pour l'indexation d'images selon la composition picturale et synthèse par l'exemple de distributions de motifs
Dynamiques d'opinion et dynamiques d'interaction: les réseaux sociaux de la blogosphère politique française
Apprentissage de préférences "ceteris paribus" séparables
Journée Données et Apprentissage Artificiel
Passage à l'échelle de la surveillance de flux vidéo et de la fouille de bases de données vidéo
Apprentissage dans les graphes et les reseaux sociaux
Modéliser l'activité oculaire à partir de données expérimentales
AutoCollage: From Paper to Product
Methods for Label Ranking
New Approaches to Neuro-Fuzzy Modelling
WebCrow and the man-machine crossword challenge
Semantic-based regularizations
Caractérisation des informations saillantes d'un texte
Semi-supervised learning in huge graphs
Fuzzy set theory and coherent conditional probability: some bridges
Extraction automatique de règles graduelles
Représentation parcimonieuse du signal pour compression et indexation conjointe
Mesurer la similarité de graphes
Joint Inference in Information Extraction and Social Network Analysis
Autonomous Ground Robots
Nouvelles formes de communication et nouvelles interactions homme-machine pour enrichir et simplifier le quotidien
Interfaces réflexives : co-adaptation et historiques d'interaction
Objets, arbres de propriétés, treillis de catégories, catégorisation et classification
Classification, recherche, et segmentation d'images à l'aide de fenêtres et d'ensembles d'arbres aléatoires
Apprentissage de SVM sur Donnees Bruitees
Intégration sémantique de données guidée par une ontologie
Comprendre le Web caché
Ensembles d'arbres extrêmement aléatoires et leurs liens avec les méthodes à base de noyaux
Combining Evidence in Hybrid Medical Decision Support Models
Personalized Interaction with Multimedia Data Collections
Frequency based class representation of fuzzy sets and its relation to Bayes classifiers
Sur la fusion de treillis de concepts Galois et de bases canoniques facteurs
Traduction et post-édition automatique : une approche statistique par segments
Un pas vers un chercheur artificiel en Intelligence Artificielle
Recherche d'images par combinaison d'information textuelle et visuelle
A Service Oriented Tool for Consolidation of Information in E-Government Applications
Emotion detection in real-life interaction
Problématiques de l'analyse de traces d'Utilisateurs chez Yahoo!
La simulation de la mémoire sémantique et de la compréhension de texte par des enfants
Computational models of emotions and affective processes
Bornes sur le risque en apprentissage supervisé
StrangerDB: Safe Data Management with Untrusted Servers
Fully Coupled and Feedforward Neural Networks with Complex-valued Neurons
Fuzzy sets and multicriteria decision making
Ensembles of randomized trees and their application to image classification
Abstraction in Relational Learning
Visualisation et exploration multi-échelle de Wikipedia
Apprentissage de connaissances à partir de textes : le cas de la morphologie
Apprentissage de connaissances à partir de textes : le cas de la morphologie
The Information-Flow Approach to Ontology-Based Semantic Alignment
Vérification de programmes avec l'apprentissage par renforcement
Le jeu social, une formalisation de la sociologie de l'action organisée
Modélisation de la réglementation de l'aviation civile en Focal
Classement de données et de services dans un réseau P2P
Problématiques et modèles d’apprentissage statistique pour le Web: Projet WebContent
11
th
Information Processing and Management of Uncertainty in Knowledge-Based Systems International Conference
Ranking and Scoring XML Data
Computing with affect: Measuring, interpreting and responding to user affect
Defensive forecasting
Méthodes d'apprentissage pour la recherche d'images par le contenu
Visualisation et algorithmes génétiques pour la fouille de grands ensembles de données
L'interaction pertinente
Grammatical-based Programming Approach
Analyse des traces oculaires et extraction de l'information pertinente.
BD
Journée thématique Sécurité du Groupe de Travail Services Web
MoVe
Model Checking Contest at PETRI NETS 2012
Sixth European Conference on Modelling Foundations and Applications
Ecole d'été Temps Réel
International Conference on Application and Theory of Petri Nets and other Models of Concurrency
A High-level Perspective on Formal Validation and Verification
1
st
Rutgers / Pierre et Marie Curie Workshop
Composition of Embedded Systems: Scientific and Industrial Issues
Méthodes Formelles pour les Systèmes Logiciels et Matériels
Developing a Model E-commerce Agent System
Méthodes Formelles pour les Systèmes Logiciels et Matériels
Développement de systèmes informatiques par assemblage de composants métier sur étagère
Méthodes Formelles pour les Systèmes Logiciels et Matériels
REGAL
Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
The multiplicative power of consensus numbers
Adaptive Resource Management in Cloud Infrastructures
Faults in Linux: Ten Years Later
HPC at Exascale : Scenarios, Software challenges and Research opportunities
The Speedup-Test
The L4 Microkernel — from research to mass deployment and back
Introduction to AMD's Advanced Synchronization Facility
Git version control system: handling concurrent development in distributed environments
Providing Ubiquitous Access to the User’s Data with FEW FS
Semantic Patch Inference
Group Scalability in Distributed Systems - Adaptively Parallelizing Distributed Range Queries
Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
Présentation des travaux d'Olivier Pérès
7.500 lines of C, 1 microkernel, formally proved correct
Herodotos: A Tool to Expose Bugs' Lives
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
Two Ways of Speeding Up Transactional Memory Algorithms
CAR-STM: Scheduling-Based Collision Avoidance and Resolution for Software Transactional Memory
Unleashing the Potential of Asymmetric Multicore Processors Through Operating System Support
Native Client - A Sandbox for Portable, Untrusted x86 Native Code
In Search of Lost Time
Research Challenges in Flash Memories
P2P overlays : VoroNet and RayNet
Démo SPLAY - "distributed applications made simple"
Nuno Preguiça - Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
Joan Manuel Marquès - Treedoc: a commutative replicated data type for cooperative editing
Anneli Lenica - PosNet, un overlay p2p semi-structuré basé sur un poset pour l'indexation et la localisation de données multi-dimensionnelles.
Laurent d'Orazio - Caches adaptables et applications aux systèmes de gestion de données répartis à grande échelle
Petr Kuznetsov - Large-Scale Byzantine Fault Tolerance: Prevention and Detection
Content-Based Publish/Subscribe in P2P Using Distributed R-Trees
Snap-stabilization in message passing systems.
Roy Friedman - Practical Random Walks in Ad-Hoc Networks
D1HT: A Distributed One Hop Hash Table (*)
OSGi Users Group France
Decoupling Causal Update Commitment Agreement from Update Propagation in Optimistic Replication
An efficient and fault-tolerant update commitment protocol for weakly connected replicas
NPA
Journées automnales RESCOM: Octobre 2011
Mobility Management in IP Networks
NALF: A Network-Adapted Application Layer Flooding
Global Robustness and Correctness in Massively Distributed Network Systems
A Basis for Systematic Analysis of Network Topologies
Rôle des TIC dans l’évolution des politiques de sécurité en Europe
ALSOC
Matinée Vérification et sécurité
CIAN
MOS Modeling and Parameter Extraction Working Group Workshop
RO
DECISION
AnimatLab
SMA
Le rôle des jeux vidéo dans la société et dans l'informatique
Fifth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems
L'assistance aux personnes atteintes de déficits cognitifs dans les habitats intelligents
Modèles individus centrés de dynamiques d’opinions et approximations agrégées
Management of networked sensing devices
Apprentissage incrémental collectif de concept (Sound Multiagent Incremental LEarning)
Towards a Platform for Experimentation with Dynamic Adaptation
Context Aware Computing
Replication heuristics for agents fault tolerance: a plan-based approach
Négociation combinée et multicritère d'agents coopératifs
Consensus dans un système multiagent : du modèle à l’exécution
Simulation de dynamiques d'opinions à l'aide d'un système multi-agents
Modélisation de l'évolution de la distribution socio-spatiale de la population d'une ville par les systèmes multi-agents : Une approche multi-niveaux
Multi-agent Temporal Planning in Dynamic Environments
Coordination Language for Mobile Agent Systems
Langages de coordination et systèmes multi-agents ouvert
Conception et optimisation distribuée d’un système d’information d’aide à la mobilité : Une approche multi-agent pour la recherche et la composition des services liés au transport.
Argumentation et système multi-agents pour l'intégration sémantique
Emotion et Interaction
Réécriture topologique : programmation orientée interaction
Consensus dans les systèmes collaboratifs de partage de contenus
Une approche pour la prise de décision décentralisée par des agents autonomes en environnements complexes
Modélisation de compétences d'entreprise et son intégration dans une simulation de réseaux d'ajout de valeur d'entreprise
Recent Results in Constructive Language Evolution and its Generalizations
Contrôle social de systèmes multi-agents ouverts et décentralisés
Modélisation des interactions entre agents rationnels : les jeux booléens
Propagation et affinement d'hypothèses sous contraintes communicationnelles.
Multiagent Simulation Meets the Real World
The Language Grid for Intercultural Collaboration
Understanding Consciousness with Model Abstractions
An Architectural Strategy for Situated Multi-Agent Systems
Semantic Web Services: Where Are We Headed?
The A&A Approach for Developing Cognitive MAS: Conceptual Framework and Prototyping Technologies
Model Checking Abilities of Agents: A Closer Look
Modélisation des émotions et de la personnalité pour le dialogue
Agents at Honiden Lab
Jeux vidéo : Nouveaux benchmarks pour les systèmes multi-agents ?
MOCAH
Phare
Second International Conference on Network of the Future
The 9
th
IFIP Annual Mediterranean Ad Hoc Networking Worshop
2
nd
. IFIP Wireless Days 2009
23ème Congrès DNAC Paris
Les plates-formes autonomiques 2009
Ecole EIII Amman, Jordanie 2009
Autonomic Networking
ACASA
SPI
Journée Sécurité et Méthodes Formelles
Journée SSURF
Journée Présentation et Formation - FOCAL
Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
SALSA
2
nd
International Conference on Symbolic Computation and Cryptography
Special Track on Symbolic Computation and Cryptology - Inscrypt 2008
APR
SYEL
PolSys
Mentions légales