Conferences and seminars since 2006
LIP6 AID ASN SSR TMC ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Colloquium
- David Bol : Six of the nine planetary boundaries are transgressed – How we do research in the Anthropocene?
- Damien StehlĂ© : Cryptographie reposant sur les rĂ©seaux : sĂ©curitĂ© quantique et au-delĂ
- Kenji Doya : What can we further learn from the brain for AI?
- Christos Papadimitriou : How does the brain make language?
- Emmanuel Saint-James : De l'histoire de l'informatique considérée comme une course d'obstacles épistémologiques
- Stefane Fermigier : Le logiciel libre - au service de la souveraineté numérique depuis plus de 35 ans
- Frédéric Grosshans : Du calcul mécanique au calcul quantique
- Robert E. Tarjan : Self-Adjusting Data Structures
- Bertrand Granado : Intelligence Artificielle et Architectures Electroniques : un destin commun
- Jean-Daniel Kant : Mieux décider dans un monde complexe grâce à l’intelligence artificielle
- : Le LIP6 et l’IRIF ont le plaisir de vous inviter au cocktail de célébration des 75 d’informatique en France.
- Isabelle Collet, Alexis Kauffmann, Christine Tasson, Anne Siegel : Femmes dans le numérique : disparition réversible ?
- Jean-Gabriel Ganascia, Jean-François Perrot, Gérard Sabah : Naissance de l'intelligence artificielle
- Fabrice Kordon : L’informatique dans le septième art : fiction ou réalité ?
- Isabelle Bloch, Henri Maître : La naissance du traitement numérique de l'image
- Valérie Ménissier-Morain : Des ordinateurs, des erreurs et des hommes
- Les 75 ans : Évènements organisés par le LIP6 et l'IRIF pour célébrer des décennies d'informatique
- Martin Golumbic : Tracing the Topics in Les Réseaux (ou Graphes): An Annotated Translation with Commentaries
- Patrick Haggard : Responsibility for intelligent machines: a cognitive approach
- Edward A. Lee : Reactors for Real-Time Systems
- Caroline Chavier : Diversity, Empowerment and Synergies between Academia and the Industry in Machine Learning
- Nancy Lynch : A Theoretical View of Distributed Systems
- Cláudio T. Silva : Urban Data Science
- Sébastiano Vigna : Four degrees of separation (and how we did it)
- Hugo Gimbert : Les algorithmes de Parcoursup
- Julie Grollier : Nanodevices for Bio-inspired Computing
- Jacques Pitrat : L'IA forte
- James Larus : Programming Non-Volatile Memory
- Eric Horvitz : AI Aspirations and Advances
- Justine Cassell : Designing Bots, Virtual Humans, and Other Systems that Can Hold up Their End of the Conversation
- Léon Bottou : Une approche géométrique de l'apprentissage non supervisé
- Timothy Roscoe : The Trouble with Hardware
- Jean-Luc Schwartz : Modélisation cognitive des unités de la parole
- Simon Peyton Jones : Escape from the ivory tower: the Haskell journey
- Maria Chudnovsky : Induced subgraphs and coloring
- Philippa Gardner : Understanding and Verifying JavaScript Programs
- Michel Beaudoin-Lafon : Interfaces Homme-Machine : Unifier les Principes pour Diversifier l'Interaction
- Marie-Paule Cani : Modélisation 3D expressive
Du design numérique à la création de mondes virtuels animés - Richard Stallman : What Makes Digital Inclusion Good Or Bad?
- Patrick Cousot : Abstract interpretation
- Patrick Flandrin : « Chirps » everywhere
- Aude Billard : Robots that exceed human capabilities
- Willy Zwaenepoel : Really Big Data​Analytics on Graphs with Trillions of Edges
- Jon Crowcroft : Cybersecurity and network measurement problematic in so many ways
- Isabelle Collet : Les informaticiennes, de la dominance de classe aux discriminations de sexe
- Xavier Leroy : Desperately seeking software perfection
- Silvio Micali : Proofs, Secrets, and Computation
- Alessandra Carbone : The new era of biology is computational
- Serge Abiteboul : Toward personal knowledge bases
- Manuel Silva : Fluidization of discrete event models or a marriage between the discrete and the continuous
- Andrew S. Tanenbaum : MINIX 3: A Reliable and Secure Operating System
- Donald Knuth : Computer Science: All Questions Answered
- Jeannette Wing : Toward a Theory of Trust in Networks of Humans and Computers
- David Patterson : Myths about MOOCs and Software Engineering Education
- Claude Berrou : L'information mentale
- Vint Cerf : On the Preservation of Digital Information
- C.A.R. (Tony) Hoare : Laws of concurrent system design
- Gilles Dowek : Are formal methods the future of air traffic control?
(Is there an autopilot on board?) - Mathieu Feuillet, Camille Couprie, Mathilde Noual : Espoirs : Winners of the 2012 Gilles Kahn prize
- Robert Sedgwick : Taking Education Online: A Unique Opportunity for the New Millenium
- Frans Kaashoek : The multicore evolution and operating systems
- Stuart Russell : Unifying logic and probability: A “New Dawn” for Artificial Intelligence?
- Georges Gonthier : Le génie mathématique, du théorème des quatre couleurs à la classification des groupes
- Gérard Berry : Le temps et les événements en informatique
- Leslie Lamport : What is Computation?
LIP6
- Orange Day - Journée internationale pour l’élimination de la violence à l’égard des femmes
- Julien Tierny, Prix Espoir IMT - Académie des Sciences 2023
- Isabelle Bloch, Médaille des sciences mécaniques et informatiques
- Hirohisa Oda's seminar - 27/09/2023 at 2pm
- Journée annuelle du laboratoire 2023 - Annual LIP6 day
- Médaille de bronze CNRS 2022, Carola Doerr
- Décès de Bertil Folliot
- Célébration des 25 ans du LIP6 en vidéo
- Sébastien Tixeuil - Nomination IUF senior
- 25 ans du LIP6 !
- Remise de prix Science Ouverte !
- Journée annuelle du laboratoire
- soirée "75 ans d'informatique en France", le teaser
- Carola Doerr médaille de Bronze du CNRS en 2022
- Accessit décerné au logiciel CORIOLIS VLSI CAD TOOLS
- La naissance du traitement numérique de l'image
- L'informatique dans le 7eme art : mythe ou réalité ?
- La naissance du traitement numérique de l'image (I. Bloch et H. Maître)
- Remise de la médaille de Cristal à Francis Hulin Hubard
- Journal of Complexity Best Paper Award 2021 won by Vincent Neiger (LIP6) and Clément Pernet (LJK)
- Félicitations a Serge Fdida et à l'équipe NPA dont la proposition ESFRI SLICES a été acceptée !
- Fête de la Science les 8, 9 et 10 octobre : À la découverte du numérique avec le LIP6
- Décès de Jean Vignes
- Félicitations au Pr. Christine Tasson, nommée membre Junior de l'Institut Universitaire de France
- Agathe Blaise, jeune docteur de l'équipe Phare, obtient l'accessit au prix de thèse du GDR Réseaux et Systèmes Distribués (RSD) en 2021
- Le LIP6 membre de l’Action COST “GDHRNet – Global Digital Human Rights Network”
- Disparition de Maximilien Danisch
- Francis Hulin-Hubard lauréat de la médaille de cristal 2021
- Elham Kashefi lauréate du prix les Margaret & les Margaret Junior en 2021, catégorie «intrapreuneur Europe»
- Code quantum : la France lancée dans la révolution quantique !
- Représentation des connaissances et interprétation d'images guidée par des modèles : apport de l'IA hybride (Isabelle Bloch)
- Le Conseil Scientifique du LIP6 choqué par des amendements votés au Sénat
- Motion signalant l'action «Camille Noûs» votée par le Conseil Scientifique
- Motion contre la LPPR
- La classe virtuelle, comment ça marche ?
- L’impact du confinement sur le réseau Internet
- L’intelligence artificielle pour aider les medecins
- Un virus informatique, comment ça marche ?
- Le traçage numérique pour le suivi de contact
- Le LIP6 impliqué dans le «Global AI Ethics Consortium»
- Sreeja Nair, doctorante LIP6 équipe Delys, lauréate du «prix Sephora Berrebi en maths&informatique avancés»
- Amal El Fallah Seghrouchni nommée par L’UNESCO à la Commission Mondiale d'Ethique des connaissances Scientifiques et des Technologies
- Motion votée en AG sur les retraites
- Parole d'experte avec Amal El Fallah Seghrouchni
- Le LIP6 recrute
- Lip6, la plateforme de calcul
- VMWARE
- LIP6, la plateforme optique
- Félicitations à Patrick Gallinari de l'équipe MLIA pour l'obtention de sa chaire IA
- Félicitations à Matthieu Cord de l'équipe MLIA pour l'obtention de sa chaire #IA
- Félicitations à Julien Tierny de l'équipe APR pour l'obtention de son ERC
- Damian Markham - Une histoire de l’informatique quantique
- Parole d'expert, IA et santé
- De la recherche Ă l'innovation
- Lip6, la plateforme électronique
- FĂŞte de la science 2019
- Félicitations à Mikael Rabie post-doc dans l'équipe NPA
- Félicitations à l'équipe ComplexNetworks et à la société BleckWen
- Félicitations à Orlando Chuquimia, doctorant au sein de l'équipe #SYEL
- Link Streams
- Grand débat - Digital et intelligence artificielle
- Connaissez vous cette forme d'intelligence artificielle?
- Understanding Quantum Computing in 8 minutes
- 2 chercheurs testent virtuellement la loi El Khomri sur le marché du travail
- Les métiers vont évoluer avec l'intelligence artificielle
- Eleni Diamanti : Ma vie de chercheuse spécialisée en cryptographie quantique
- François Pachet : Ma vie de chercheur spécialisé en IA et Musique
- Certification de services supports pour du e-gouvernement
- Prédire le comportement de programmes par «model checking»
- De la cryptographie résistante aux calculateurs quantiques?
- Exploitation des nouvelles architectures multi coeurs pour la résolution de problèmes SAT
- Best Demo Award
- Swan Dubois et Franck Petit, de l'équipe DELYS, ont le plaisir d'annoncer la publication du livre Introduction to Distributed Self-Stabilizing Algorithms co-écrit avec Karine Altisen et Stéphane Devis
- Optinion Internationale - L’arnaque à Notre-Dame de l’Intelligence : Amal El Fallah Seghrouchni du LIP6 décrypte les formes d’intelligence artificielle
- Nomination de Bruno Escoffier comme membre junior de l’IUF
- Nicolas Sabouret, ancien membre du LIP6, vient de publier «Comprendre l'intelligence artificielle»
- "Au coeur des réseaux", un livre écrit par Fabien Tarissan, un ancien du LIP6
- «Ce matin, maman a été téléchargée»
- Motion votée par le Conseil Scientifique du LIP6 à propos de l’augmentation des frais de scolarité pour les étudiants non communautaires
- Donation of $100,000.00 from Oracle to Gilles Muller Whisper team at LIP6
- Milestone Experiment Proves Quantum Communication Really Is Faster
- Vanda Luengo : l’intelligence artificielle au service de l’apprentissage
- FĂŞte de la science 2018
- Marie-Jeanne Lesot a obtenu le prix du meilleur article ("Outstanding Conference Paper Award") Ă l'IEEE International Conference on Fuzzy Systems.
- Bernadette Bouchon-Meunier récompensée par un IEEE CIS Fuzzy Systems Pioneer Award "for influential contributions to fuzzy learning and reasoning".
- Le Prix Atos-Joseph Fourier 2018 (catégorie quantique) décerné à deux membres du LIP6
- Toutes nos félicitations à Nawal Benabbou, docteure au LIP6 pour son prix IA 2018
- Jean-Gabriel Ganascia : "Ce qui s'est passé avec les données de Facebook est un avertissement"
- Conférence TEDx sur l’Intelligence Artificielle par Jean-Daniel Kant
- Une équipe du LIP6 en association avec ESIEE Paris, gagne le premier prix du concours international MEMS Design Contest.
- Jean-Gabriel Ganascia, l'IA et moi sur France Culture.
- Eleni Diamanti de l’équipe QI sur France Culture
- Félicitations à Jean-Gabriel Ganascia
- Best science paper award
- Eleni Diamanti de l’équipe QI vient d’obtenir un financement européen prestigieux (ERC Starting).
- Best Paper Honorable Mention Award pour l’article « The Topology ToolKit » décerné à : J. Tierny, G. Favelier, J. Levine, C. Gueunet, M. Michaux.
- France 3 featured Canarin-II a low-cost portable PM2.5 sensor suitable for environmental monitoring and personal exposure assessment.
- Jabier Martinez reçoit un accessit de la part du GDR GPL pour sa thèse
- Décès de notre collègue René Alt, Professeur au LIP6
- Intelligence artificielle vers une domination programÂmĂ©e?
- Le numérique fait-il de nous des numéros ?
- Motion sur l’instauration du fichier TES
- Sortie en librairie le 2 février 2017 du livre « Le Mythe de la Singularité »Faut-il craindre l'intelligence artificielle? (Editions Seuil) de notre collègue Jean-Gabriel GANASCIA
- Toutes nos félicitations à Mathieu Muratet, Amel Yessad et Thibault Carron
- France Culture a accueilli notre collègue Eleni Diamanti,
- Prix du meilleur article doctorant aux 25è rencontres francophones
- Best paper Ă EUROMICRO 2016
- Best paper à la « 25th International Conference on Parallel Architectures and Compilation »
- "Best Paper Award" et "Honorable Mention Award" à la conférence internationale IEEE VIS 2016
- Colloquium : Programme 2016 - 2017
- The reults of the 2016 edition of the Model Checking Contest are out:
- ERCcOMICS
- Dans le cadre du Programme d’investissements d’Avenir (PIA), une architecture de virtualisation de réseau proposée par le LIP6.
- Wilfried Dron du LIP6 à l'UPMC. L’un des premiers diplômés du programme doctoral d'EIT Digital.
- Économie de la connaissance… et de l’impuissance
- Vanda Luengo de l’équipe MOCAH-LIP6 obtient une chaire EIAH à l’UPMC- Sorbonne Universités
- François Pachet reçoit le AAAI best video award pour sa vidéo sur la réorchestration de l'hymne européen.
- Décès de notre collègue et amie Marguerite Sos
- 2 chercheurs du LIP6, Jean-Gabriel Ganascia et Matthieu Cord sur france Culture Ă la Matinale des scientifiques.
- Antoine Miné: ERC Modular Open Platform for Static Analysis (Mopsa)
- L'Equipex FIT retenu comme IR (Infrastructure de Recherche)
- Paru dans Le Monde : "Intelligence artificielle : une machine peut-elle ressentir de l’émotion? "
- Un excellent article sur les recherches sur la cryptographie d’Antoine Joux, lauréat d’une ERC Advanced Grant 2014 à lire sur le site du CNRS.
- Première Réunion des Partenaires Industriels du Labex SMART
- Best Student Paper Award Fuzz IEEE 2015
- Interview de Jean-Gabriel Ganascia dans Libération sur les robots militaires
- Meilleur article de la conférence internationale ARITH22 pour Olga Kupriianova
- Jean-Gabriel Ganascia nommé à l’IUF en qualité de membre senior
- Second ERC Advanced Grant au LIP6
- Palmes académiques
- Le CNRS vient d'accepter la création du GDRI "ALEA Network"
- Le groupe américain Mentor Graphics Corp a annoncé récemment l'acquisition de Flexras Technologies
- Le laboratoire d'Informatique de Paris 6 vous prĂ©sente ses meilleurs vœux pour l'annĂ©e 2015
- Serge Fdida reçoit le trophée « Etoile de l'Europe » pour le projet OneLab.
- le projet Winocod, un projet ANR où le département SoC du LIP6 est impliqué et moteur
- Décès de notre collègue et ami Thierry Lanfroy
- Les équipes PHARE et REGAL du LIP6 dans le nu@ge
- Jean Mairesse nommé en tant que DAS à l’INS2I
- Mathias BOURGOIN reçoit le prix de thèse du GDR GPL 2014
- Toutes nos félicitations à Ramy Iskander qui vient de recevoir le prix OSEO 2014 en catégorie « Emergence » pour la région Île de France.
- Leslie Lamport, inauguÂrateur du Colloquium d'Informatique de l'UPMC Sobonne UniversitĂ©s - LIP6
- Antoine Joux, IACR Fellow, 2014
- Une percée en mathématique rend caduques des procédures de chiffrement
- Le site web du LIP6 dans les premiers du classement du CNRS
- Sciences Ă Cœur - Rencontre autour de l'informatique : le rĂ´le de la mobilitĂ© dans les commuÂÂÂnications du futur
- Attribution du grand prix Orange 2013
- Décès de Jacques ARSAC
- Le laboratoire d'Informatique de Paris 6 vous présente ses meilleurs voeux pour l'année 2014
- Journée ISIR-LIP6 "Informatique et robotique"
- Faites de la science avec les chercheurs en informatique les 10, 11 et 12 octobre 2013 Ă l'UPMC!
- Bonnes vacances Ă tous !
- Dans l'Edition "Au cœur de la Recherche" de MEDIAÂÂPART, "HumanitĂ©s NumĂ©riques" de J.-G. Ganascia
- Prix William C. Carter attribué à Suman Saha
- TerraDynamica
- Chaire "smart & connected mobility, la voiture connectée"
- Le second prix de la recherche en système attribué par l'ASF décerné à Nicolas Geoffray.
- L'informatique du temps et des événements
- Bonne année 2013
- Le LIP6 vous souhaite de joyÂÂeuses fĂŞtes de fin d'annĂ©e
- FĂŞte de la Science 2012
- ICIP 2012 Best Student paper award
- Chaire Blaise Pascal
- Best paper award at ASE 2012
- TrackSign, premier outil de webtracking destinĂ© aux TPE/PME qui se lanÂcent sur internet
- FĂŞte de la science avec les chercheurs en informatique
- Verdi : VĂ©rification de sysÂtèmes embarquĂ©s hĂ©tĂ©ÂroÂgènes
- Colloquium in Honor of Thérèse Hardin
- Open Systems Science : Conférence du Professeur Mario Tokoro, Président de Sony-CSL, Docteur Honoris Causa de l'UPMC
- Journée Industrielle
- Journée des doctorants
- Journée Industrielle
- Évaluation AERES du LIP6
- Journée organisée en l'honneur de Jean-Louis Laurière
- Euronetlab - Nouveau contrat pour trois ans
SSR
- 07/05/2021: 1/2 journée de l'axe SSF
TMC
- 01/04/2022: Mixed precision algorithms for high performance computing
- 11/08/2021: Introduction to quantum computing
ACASA
- 04/03/2012: Séminaire exceptionnel de Luciano Floridi
ALMASTY
- 01/13/2022: Multi-Party PSM, Revisited: Improved Communication and Unbalanced Communication
- 01/06/2022: LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions
- 12/10/2021: Multi-Party Permutation for Syndrome Decoding: a new zk protocol and code-based signature
- 11/26/2021: Fast Verification of Masking Schemes in Characteristic Two
- 11/18/2021: Low-Memory Subset Sum and LPN Algorithms via Multiple Collisions
- 11/04/2021: Classical and Quantum algorithms for generic Syndrome Decoding problems and applications to the Lee metric
- 10/28/2021: Algorithms for the Sparse Random 3XOR Problem
- 10/14/2021: Attacks on Pseudo-Random Number Generators Hiding a Linear Structure
- 10/07/2021: On the Power of Expansion: More Efficient Constructions in the Random Probing Model
- 01/21/2021: Breaking the decisional Diffie-Hellman problem for class group actions using genus theory
- 12/10/2020: Random Probing Security: Verification, Composition, Expansion and New Constructions.
- 11/18/2020: Partage de secret multiplicatif sur les anneaux
- 11/02/2020: Journées Codage et Cryptographie 2020
- 10/29/2020: Logarithmes discrets elliptiques multiples
- 01/23/2020: Linearly-Homomorphic Signatures and Scalable Mix-Nets
- 11/14/2019: On Interactive Communication and Uncertainty
- 11/07/2019: Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND
- 10/24/2019: Wave: a New Family of Trapdoor One-Way PSF Based on Codes
- 10/17/2019: Brute-Force Cryptanalysis with Aging Hardware: Controling Half the Output of SHA-256
- 10/10/2019: The Real Transform: Computing Positive Solutions of Fuzzy Polynomial Systems
- 07/09/2019: Full Disk Encryption and Beyond
- 06/21/2019: Séminaire C2
- 04/15/2019: Workshop on Randomness and Arithmetics for Cryptography on Hardware
- 01/25/2019: Séminaire C2
- 11/16/2018: Séminaire C2
- 06/29/2018: Efficient Arithmetic for Cryptography
- 05/30/2018: Journées Nationales 2018 Pré-GDR Sécurité Informatique
- 04/22/2016: Simplification de l’algorithme de Gentry-Szydlo
- 03/30/2016: Recent advances in Elliptic Curve Discrete Logarithm algorithms
- 12/15/2015: A Random Zoo: Sloth, Unicorn, and TRX
ALSOC
- 11/20/2017: Fault-Attack Aware Microprocessor Extension (FAME): From Concept to Prototype
- 11/20/2017: Should everything that can be done also be done?
- 05/20/2016: Conception d'algorithmes parallèles d'étiquetage et d'analyse en composantes connexes
- 01/15/2016: Application du Model-based Testing dans le projet OpenETCS (Open European train Control System)
- 03/15/2013: Feature Localization in Hardware Designs
- 11/15/2012: Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
- 03/22/2010: Matinée Vérification et sécurité
- 11/13/2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels
APR
- 03/12/2020: [Séminaire APR] Sémantique des programmes probabilistes
- 02/20/2020: [Séminaire APR] Toward more generic and robust constraint solvers
- 05/23/2019: Michelson : langage de smart-contracts de la blockchain Tezos
- 05/13/2019: Developments in Property-Based Testing
- 03/28/2019: An abstract domain for trees with numeric relations
- 03/21/2019: Questions de l’heure en combinatoire algébrique.
- 03/14/2019: Get rid of inline assembly through trustable verification-oriented lifting
- 03/07/2019: Lasp: Elements of a programming language for edge computing
- 02/21/2019: Towards verified modelling of Digital Signal Processing algorithms
- 11/08/2018: Une introduction à l'analyse topologique de données
- 10/18/2018: "MrPython: Terre de Contraste: Entre Tradition et Modernité" (titre provisoire)
- 10/11/2018: Tierless Web programming in ML
- 06/14/2018: Relational summaries for interprocedural analysis
- 05/31/2018: Développement de programmes impératifs par raffinements, au sein de l'assistant de preuves Coq
- 05/17/2018: Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique
- 04/12/2018: Complexité Causale des Processus
- 03/15/2018: La reconnaissance de motifs hybride. Application aux flots de liens.
- 12/15/2017: Link Stream Edition: Sparse Split and Bi-Sparse Split
- 12/14/2017: Language-integrated queries: a BOLDR approach
- 12/07/2017: Spacetime Programming: A Synchronous Language for Combinatorial Exploration
- 11/23/2017: Ada and SPARK - Defense in Depth for Safe Micro-controller Programming
- 11/09/2017: Cubicle : a model checker for parameterized array-based transition systems.
- 10/27/2017: Etude de l’efficacite d’un code correcteur et cycles dans son graphe de Tanner
- 10/13/2017: F-M-DELETION paramétré par la largeur arborescente.
- 09/18/2017: Statistical Similarity of Binaries; At Scale
- 06/22/2017: Séminaire APR: Advances in the combinatorial characterization of correlation-immune Boolean functions
- 02/24/2017: Séminaire APR: On static malware detection
- 01/26/2017: Séminaire APR: Synthesizing Ranking Functions From Bits and Pieces
- 01/15/2017: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
- 11/24/2016: Le langage Leibniz pour le calcul scientifique
- 11/10/2016: Introduction aux /blockchains/.
- 06/16/2016: Post-modern C++ and C++17 abstractions for heterogeneous computing with Khronos OpenCL SYCL
- 06/09/2016: Merlin : des EDIs modernes pour OCaml... et Reason
- 04/07/2016: Sous le capot du MOOC OCaml
- 03/24/2016: Verifying clock-directed modular code generation for Lustre
- 02/04/2016: Static Analysis by Abstract Interpretation of Functional Properties of Device Drivers in TinyOS
- 12/10/2015: On the Expressiveness of Asynchronous Multiparty Sessions
- 11/27/2015: Abstracting Gradual Typing
- 06/08/2015: Journée en l'honneur de Christian Queinnec
- 04/14/2015: Renouveau de l'intégration en OCaml
- 04/10/2015: Un cadre formel adapté aux réseaux de robots mobiles.
- 03/27/2015: Higher Order Fixpoint Logic: Expressiveness and Descriptive Complexity
- 03/24/2015: Théorie des types pour les concepteurs de circuits. Le cas du langage CAPH.
- 03/20/2015: Programmation BSP à la ML : exemples, utilisation pour la vérification de codes et perspectives pour les architectures hiérarchiques
- 03/13/2015: Verification of embedded C software using static analysis by abstract interpretation
- 03/06/2015: Motivations for Bernoulli measures on heap monoids
- 01/27/2015: FreeFem++, un logiciel de résolution numérique d'équations aux dérivés partielles
- 12/09/2014: State of the Mirage: an OCaml unikernel
- 06/16/2014: 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
- 04/10/2014: Borner la consommation de mémoire dynamique
- 03/13/2014: Representation and simulation of dynamical systems with a high degree of combinatorial explosion
- 02/27/2014: Types you can count on: Like types for JavaScript
- 02/13/2014: Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
- 01/30/2014: [ANNULATION] Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
- 06/20/2013: De l'interaction entre granularités fonctionnelle et modulaire
- 05/23/2013: Mosh: A State-of-the-Art Good Old-Fashioned Mobile Shell
- 04/25/2013: Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model
- 04/11/2013: Use formal methods to verify an Ada program with SPARK2014
- 03/28/2013: OCaml-Java : OCaml sur la JVM
- 03/21/2013: On the provenance of Free and Open Source Software and the legal implications of its reuse
- 03/14/2013: Patoline : la typographie "lego" en OCaml
- 02/28/2013: Harmony : Une plate-forme d'observation de l'évolution logicielle
- 02/14/2013: Le sens du partage
- 01/31/2013: Hosting and Automation at the OSUOSL
- 11/14/2012: Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
- 10/15/2012: Analysis of an exhaustive search algorithm in random graphs and the n^{c log n}-asymptotics,
- 12/14/2011: Conférence "Philippe Flajolet et la Combinatoire Analytique"
BD
CIAN
- 07/10/2023: Free Silicon Conference
- 07/07/2022: Free Silicon Conference
- 03/23/2021: The Analog Designer's Toolbox (ADT): Towards A New Paradigm for Analog IC Design
- 03/06/2020: Development of IoT Curricula for Children (Age 10 to 13)
- 02/14/2019: Free Silicon Conference (FSiC) 2019
- 04/04/2018: Free Open Source Software (FOSS) for Free Hardware Design of SoC
- 03/09/2018: FOSS for Free HW with a Japanese technology process
- 12/01/2017: Monolithic Integration of Photonics with Billion Transistor Circuits
- 11/14/2017: Thermal-Aware Floorplanning
- 06/30/2017: La sémantique du matériel et les langages de CAO
- 06/09/2017: Les entreprises américaines de semi-conducteurs face à la concurrence japonaise : la transformation de la production chez Intel.
- 05/19/2017: Avancées sur les circuits et systèmes pour la récupération d'énergie cinétique par transduction électrostatique
- 03/17/2017: Make LSI Project
- 02/24/2017: Renewable Energy Source Integration by MicroGrids in Smart Cities
- 04/08/2016: Interopérabilité sémantique dans les données de santé
- 03/11/2016: Prototypage Virtuel partant de transformations de Modèles Haut Niveau : de SysML à SoCLib
- 02/19/2016: Test Techniques for Analog Circuits and Systems
- 11/06/2015: La pollution dans la Silicon Valley
- 06/24/2015: 20th International Mixed-Signals Testing Workshop
- 06/23/2015: The future of powering for small mobile electronic devices
- 06/22/2015: Coloquinte: a mixed-size placer for the CORIOLIS toolchain
- 06/19/2015: Can we design computers that are operated without spending any energy?
- 04/03/2015: Modélisation à haut niveau d'abstraction pour les systèmes embarqués : simulation SystemC, parallélisation, couplage de simulateurs (fonctionnel, puissance, température)
- 02/13/2015: L'Unisson
- 10/23/2014: Journée Smart Power ICs in Automotive
- 09/18/2014: Leakage Power in Deep Sub-micron Process Technology
- 03/14/2014: Asynchronous hybrid circuitry for ultra-low power applications
- 03/12/2014: Synchronisation et distribution d'horloges dans les circuits complexes (SOC)
- 11/29/2013: Basic Mathematical and Physical Principles of Radio Communication Systems
- 10/25/2013: La loi de Moore et la gouvernance de l’innovation
- 09/24/2013: Forum on specification and Design Languages
- 09/24/2013: European SystemC Users' Group Meeting
- 06/21/2013: Advanced CAD tools for system-on-chip design
- 06/07/2013: From filter/controller to code : the optimal implementation problem
- 04/08/2013: Journée Thématique - GT Systèmes Hétérogènes
- 02/22/2013: RF Sigma-Delta ADC: Realizing the Software Defined Radio Dream
- 09/03/2012: Systèmes de communication basés sur le chaos
- 04/07/2011: MOS Modeling and Parameter Extraction Working Group Workshop
ComplexNetworks
- 10/15/2014: Modèles et l'Analyse des Réseaux : Approches Mathématiques et Informatiques (MARAMI)
- 10/09/2014: Modeling time-varying multilayer networks (and beyond?)
- 10/09/2014: DNS Monitoring, looking out for anomalies using the time frame Name – IP association
- 10/02/2014: Complexité de l’exploration des graphes dynamiques T-intervalle-connexes
- 09/18/2014: Community detection and Role extraction in networks
- 06/12/2014: L'invention des concepts en informatique
- 05/30/2014: Deepening Our Understanding of Social Media via Data Mining
- 05/28/2014: In-Core Computation of Geometric Centralities with HyperBall: A Hundred Billion Nodes and Beyond
- 05/22/2014: Coala : Co-evolution Assessment by a Likelihood-free Approach
- 05/09/2014: Dynamic Contact Network of an Hospital
- 05/09/2014: Les réseaux dynamiques : des données aux modèles
- 05/02/2014: Impact de la dynamique du réseau sur quelques problèmes d’algorithmique distribuée et classification de graphes
- 04/17/2014: Applications collaboratives dans les réseaux dynamiques : applications aux réseaux de véhicules
- 04/11/2014: RankMerging : une méthode d'apprentissage supervisé pour prédire les liens dans un réseau social
- 03/27/2014: Social Networks as a Trade-Off Between Efficient Information Transmission and Reduced Disease Transmission
- 03/20/2014: Influence de la structure du réseau des mouvements de commuting sur la diffusion de la grippe
- 03/20/2014: “Going Viral” and the Structure of Online Diffusion
- 03/13/2014: Deep Tags: Toward a Quantitative Analysis of Online Pornography
- 02/28/2014: Motifs Distribution in Exchangeable Random Networks
- 02/20/2014: Reconstruction des dynamiques multi-échelles de la morphogenèse animale
- 02/06/2014: Analyse et modélisation des dynamiques socio-épistémiques des communautés scientifiques
- 01/23/2014: Modélisation et analyse à base de graphes de citations de textes de loi : histoire d’une collaboration entre mathématiciens et juristes
- 01/09/2014: Le contrôle de la forme des réseaux par leurs membres : le fils de discussion comme réseau d’interaction
- 12/12/2013: Détection de communautés recouvrantes dans des réseaux de terrain dynamiques
- 11/21/2013: Une plus grande utilisation de la théorie des graphes dans l’analyse des réseaux
- 11/07/2013: Les capitalistes sociaux sur Twitter : détection, évolution, caractérisation
- 10/24/2013: Analyse des réseaux et géographie politique : l'ONU comme terrain de jeu
- 10/03/2013: The Random Subgraph Model for the analysis of an ecclesiastical network in Merovingian Gaul
- 09/17/2013: Assessing Group Cohesion in Homophily Networks
- 07/09/2013: Évaluation et optimisation d'une partition hiérarchique de graphe
- 06/27/2013: Using the Framework of Networks to Enhance Learning and Social Interactions
- 06/06/2013: Scalable Analysis for Network Monitoring and Forensics Purposes
- 06/03/2013: Social Network Analysis of Authority in the Blogosphere and its Application
- 05/23/2013: Partition en sous-graphes denses pour la détection de communautés
- 04/25/2013: Trust-Based Service Discovery in Multi-Relation Social Networks
- 04/11/2013: Wavelets on Graphs: a Tool for Multiscale Community Mining in Graphs
- 03/28/2013: Connectivity of Bluetooth Graphs
- 03/13/2013: Propriétés combinatoires et de robustesse de modèles discrets de réseaux biologiques
- 03/07/2013: Lois d'échelle des processus de trafic dans les réseaux de communications
- 02/12/2013: Lutte contre les botnets
- 01/10/2013: e-Diasporas Atlas
- 11/22/2012: Convergence de quelques opérateurs sur les bicliques d’un graphe multiparti
- 10/18/2012: Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics
- 07/10/2012: Journée thématique : Dynamique des graphes
DECISION
- 03/02/2020: Séminaire de Paolo Dragone (Criteo) : "Constructive Preference Elicitation"
- 06/04/2012: Quadratization of Pseudo-Boolean Functions
- 10/27/2006: Journée Optimisation des Réseaux
DELYS
- 09/06/2023: Safe and Secure Programming Abstractions for Decentralized Software – Prof Mira Mezini
- 09/05/2023: Varda: a language for programming distributed systems by composition – soutenance Laurent Prosperi
- 02/16/2022: Recoverable Data Structures
- 03/28/2019: Mariage stable auto-stabilisant et distribué
- 03/14/2019: Geomancy: Automated Data Placement for Exascale Storage Systems
- 03/07/2019: Twizzler: An OS for next-generation memory hierarchies
- 03/01/2019: Resilience in high-level parallel programming languages
- 04/18/2018: Learning Predictive Execution for Data-driven Applications
- 01/26/2018: The Firing Squad Problem Revisited
LFI
- 10/12/2023: Politique de l'IA
- 06/29/2023: Large Language Models and Law
- 06/22/2023: Génération d’explications contrefactuelles réalistes et robustes
- 03/27/2023: Workshop on Computational Intelligence
- 03/02/2023: Une approche orientée utilisateurs pour des IA ontologiquement explicables
- 02/24/2023: AI models for reasoning under partial knowledge: from theory to applications (3)
- 02/22/2023: AI models for reasoning under partial knowledge: from theory to applications (2)
- 02/17/2023: AI models for reasoning under partial knowledge: from theory to applications (1)
- 01/23/2023: When responsible AI research needs to meet reality
- 10/26/2022: 7th International Conference on Belief Functions
- 10/25/2022: Logical entropy and aggregation of fuzzy orthopartitions
- 06/02/2022: Fouille de séquences de mobilité sémantique : comparaison, analyse et découverte de comportements
- 05/11/2022: 2nd seminar of the Trustworthy and Responsible AI Lab – TRAIL.
- 11/10/2021: Fixing Silicon Valley’s System Error: A Conversation between Rob Reich and Alex Stamos of Stanford
- 10/21/2021: Rencontres francophones sur la logique floue et ses applications
- 04/29/2021: Beyond Accuracy: A Multi-Objective Approach to Machine Learning
- 04/08/2021: Intelligences collectives naturelles et artificielles
- 03/02/2021: Developmental Machine Learning, Curiosity and Deep Reinforcement Learning
- 12/17/2020: La similarité dans l’analogie et la métaphore
- 10/29/2020: Contributions à l’étude du transfert analogique
MALIRE
- 05/24/2012: Transverse Subjectivity Classification
- 05/03/2012: Fouille d'espaces de recherche en optimisation combinatoire
- 04/05/2012: Approche Perceptuelle pour l'amélioration et l'évaluation de la qualité d'image
- 04/05/2012: Attribution d'auteur : Une approche basée sur le vocabulaire spécifique
- 03/22/2012: Cluster Harnessing Analyses for High Dimension Low Sample-Size Data
- 02/02/2012: TextElaborator : un système prêt-à l'emploi pour la génération automatique de textes
- 01/26/2012: Stratégie de fusion crossmedia pour l'indexation de documents mutimedia
- 01/19/2012: Recherche d'information : Distribution de mots et modèles d'information
- 12/06/2011: Utilisation des media sociaux en finance quantitative, le cas de Twitter
- 11/25/2011: From query processing to information integration: the power of decomposition techniques
- 10/27/2011: Des modèles de performances à la e-santé
- 10/19/2011: Heuristic based Query Optimisation for SPARQL
- 05/05/2011: Apprentissage Profond de Representations pour la Vision
- 04/11/2011: 3rd IEEE Symposium Series on Computational Intelligence
- 04/08/2011: Intelligent Symbolic Clustering through High Dimensional Space
- 01/27/2011: Using the Stochastic Fleet Estimation Model to Compute Optimized Fleet Mixes
- 01/06/2011: Fouille visuelle de données complexes en réalité virtuelle
- 12/17/2010: Semi-Streamed Index Join for Near-Real Time Execution of ETL Transformation
- 12/16/2010: L'apprentissage de l'apprentissage chez le jeune enfant
- 11/04/2010: The Burbea-Rao and Bhattacharyya centroids
- 11/04/2010: Transitivity hidden in cyclic phenomena
- 11/02/2010: An inference algorithm based on mobile agents paradigm for distributed knowledge bases
- 10/28/2010: Sélection de caractéristiques pour les champs aléatoires conditionnels par pénalisation L1 : application au traitement des langues
- 10/21/2010: Une approche basée sur ontologie pour des recommandations personnalisées
- 10/18/2010: Cultural-based Particle Swarm Optimization for Multiobjective Optimization
- 09/30/2010: Un modèle pour la recherche d'information interactive basé sur le formalisme de la physique quantique
- 07/07/2010: Feature Selection as a One-Player Game
- 06/22/2010: Multi-Objective Genetic Algorithm for Motif Discovery
- 06/08/2010: Anomaly Detection in Wireless Sensor Networks: Visual Assessment and Clustering in Environmental Monitoring Networks
- 06/07/2010: Every picture tells a story: Visual Clustering in Relational Data
- 05/20/2010: Soft Computing for Sensor and Algorithm Fusion
- 05/12/2010: Linguistic spatial reasoning
- 05/05/2010: A new advancing technology for humanity : orange computing/technology
- 04/15/2010: Les contenus spatio-visuels des documents à dominante texte
- 02/11/2010: Modèles Informatiques des Comportements Affectifs Nonverbaux
- 01/25/2010: On Structured Output Training: Hard Cases and Efficient Alternatives
- 01/21/2010: Evolution et coévolution artificielle : deux exemples d'applications en modélisation de processus agro-alimentaire
- 01/07/2010: Filtrage particulaire pour le suivi dans les séquences vidéo multi-modales
- 12/10/2009: Body Movement as a Modality for Affective Human-Computer Interaction
- 11/23/2009: NetGames 2009
- 11/12/2009: Vers la conception de documents composites : Extraction et organisation de l'information pertinente
- 10/22/2009: La conscience réflexive d'un chercheur artificiel en Intelligence Artificielle
- 09/24/2009: Beyond the Stars: Improving Rating Predictions using Review Text Content
- 09/24/2009: Schema Mapping and Query Translation in Heterogeneous XML P2P Databases
- 09/17/2009: From Cardinal to Ordinal Preference Models - Validation of ordinal models by psychological experiments
- 06/26/2009: Statistical significance testing on graphs
- 06/15/2009: Towards Characterizing Second Life
- 06/04/2009: Agent virtuel expressif pour l'interaction homme-machine
- 04/30/2009: TRENDS, un outil inspirationnel pour les designers dans le domaine de l'"Affective Computing"
- 04/30/2009: Seuil adaptatif pour l'indexation d'images selon la composition picturale et synthèse par l'exemple de distributions de motifs
- 04/02/2009: Dynamiques d'opinion et dynamiques d'interaction: les réseaux sociaux de la blogosphère politique française
- 04/02/2009: Apprentissage de préférences "ceteris paribus" séparables
- 03/26/2009: Journée Données et Apprentissage Artificiel
- 03/19/2009: Passage à l'échelle de la surveillance de flux vidéo et de la fouille de bases de données vidéo
- 03/05/2009: Apprentissage dans les graphes et les reseaux sociaux
- 02/12/2009: Modéliser l'activité oculaire à partir de données expérimentales
- 01/16/2009: AutoCollage: From Paper to Product
- 12/16/2008: Methods for Label Ranking
- 12/16/2008: New Approaches to Neuro-Fuzzy Modelling
- 12/10/2008: WebCrow and the man-machine crossword challenge
- 12/09/2008: Semantic-based regularizations
- 11/27/2008: Caractérisation des informations saillantes d'un texte
- 11/25/2008: Semi-supervised learning in huge graphs
- 11/20/2008: Fuzzy set theory and coherent conditional probability: some bridges
- 11/13/2008: Extraction automatique de règles graduelles
- 10/23/2008: Représentation parcimonieuse du signal pour compression et indexation conjointe
- 09/25/2008: Mesurer la similarité de graphes
- 07/11/2008: Joint Inference in Information Extraction and Social Network Analysis
- 06/19/2008: Autonomous Ground Robots
- 06/12/2008: Nouvelles formes de communication et nouvelles interactions homme-machine pour enrichir et simplifier le quotidien
- 06/12/2008: Interfaces réflexives : co-adaptation et historiques d'interaction
- 05/29/2008: Objets, arbres de propriétés, treillis de catégories, catégorisation et classification
- 05/15/2008: Apprentissage de SVM sur Donnees Bruitees
- 05/14/2008: Classification, recherche, et segmentation d'images à l'aide de fenêtres et d'ensembles d'arbres aléatoires
- 04/10/2008: Intégration sémantique de données guidée par une ontologie
- 04/10/2008: Comprendre le Web caché
- 04/10/2008: Ensembles d'arbres extrêmement aléatoires et leurs liens avec les méthodes à base de noyaux
- 04/03/2008: Combining Evidence in Hybrid Medical Decision Support Models
- 03/20/2008: Personalized Interaction with Multimedia Data Collections
- 03/20/2008: Frequency based class representation of fuzzy sets and its relation to Bayes classifiers
- 01/10/2008: Sur la fusion de treillis de concepts Galois et de bases canoniques facteurs
- 12/14/2007: Traduction et post-édition automatique : une approche statistique par segments
- 12/06/2007: Un pas vers un chercheur artificiel en Intelligence Artificielle
- 10/04/2007: Recherche d'images par combinaison d'information textuelle et visuelle
- 09/27/2007: A Service Oriented Tool for Consolidation of Information in E-Government Applications
- 07/05/2007: Emotion detection in real-life interaction
- 07/02/2007: Problématiques de l'analyse de traces d'Utilisateurs chez Yahoo!
- 06/28/2007: La simulation de la mémoire sémantique et de la compréhension de texte par des enfants
- 06/25/2007: Computational models of emotions and affective processes
- 06/21/2007: Bornes sur le risque en apprentissage supervisé
- 05/23/2007: StrangerDB: Safe Data Management with Untrusted Servers
- 05/10/2007: Fully Coupled and Feedforward Neural Networks with Complex-valued Neurons
- 05/03/2007: Fuzzy sets and multicriteria decision making
- 04/05/2007: Ensembles of randomized trees and their application to image classification
- 03/22/2007: Abstraction in Relational Learning
- 03/08/2007: Visualisation et exploration multi-échelle de Wikipedia
- 02/22/2007: Apprentissage de connaissances à partir de textes : le cas de la morphologie
- 02/22/2007: Apprentissage de connaissances à partir de textes : le cas de la morphologie
- 02/09/2007: The Information-Flow Approach to Ontology-Based Semantic Alignment
- 01/09/2007: Le jeu social, une formalisation de la sociologie de l'action organisée
- 12/19/2006: Vérification de programmes avec l'apprentissage par renforcement
- 11/30/2006: Modélisation de la réglementation de l'aviation civile en Focal
- 11/08/2006: Classement de données et de services dans un réseau P2P
- 11/08/2006: Problématiques et modèles d’apprentissage statistique pour le Web: Projet WebContent
- 07/02/2006: 11th Information Processing and Management of Uncertainty in Knowledge-Based Systems International Conference
- 06/19/2006: Ranking and Scoring XML Data
- 06/15/2006: Computing with affect: Measuring, interpreting and responding to user affect
- 05/18/2006: Defensive forecasting
- 04/05/2006: Méthodes d'apprentissage pour la recherche d'images par le contenu
- 03/16/2006: Visualisation et algorithmes génétiques pour la fouille de grands ensembles de données
- 02/23/2006: L'interaction pertinente
- 02/23/2006: Grammatical-based Programming Approach
- 02/09/2006: Analyse des traces oculaires et extraction de l'information pertinente.
- 01/19/2006: Avancées recentes en robotique du development
MOCAH
- 06/29/2021: Educational Data Mining
- 06/04/2019: Environnements Informatiques pour l'Apprentissage Humain
- 06/21/2013: Modeling Student Affect from Causes and Effects
- 04/26/2013: Lifelong learner modelling, harnessing pervasive technology for learning
MoVe
- 11/23/2017: Exploiter la Gamification pour améliorer l’implication des développeurs dans la qualité du code source, une étude de cas industrielle.
- 10/20/2017: Energy-optimization for Embedded Devices
- 04/25/2017: MOOC programmation Concurrente (avec Java)
- 03/31/2017: séminaire «Méthodes Formelles pour les Systèmes Logiciels et Matériels» du 31 mars 2017
- 03/14/2017: MOOC programmation iOS (partie I)
- 07/06/2015: International Summer School on Intensive Automated Testing of Service Oriented Architectures
- 06/18/2015: Learning to Rank with Additive Ensembles of Regression Trees
- 06/03/2015: International Workshop on ISO/IEC 15909-3: properties, modularity, and stochastic Petri nets.
- 05/06/2015: Nested-Unit Petri Nets: Combining Hierarchy with Concurrency
- 04/16/2015: The subtle alchemy of concurrency and real-time
- 03/06/2015: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 03/05/2015: Proving Copyless Message-Passing
- 09/18/2014: Well-structured pushdown systems
- 09/18/2014: Dealing with Dynamicity in Ambient Systems: A Formal Planning Approach.
- 06/24/2014: From Symmetric Nets to Symmetric Nets with Bags
- 06/16/2014: Journées annuelles du GT VERIF, du GT FORWAL et workshop de clôture du projet ANR ImpRo
- 06/25/2013: Journée MDDay
- 06/13/2013: Adding Spreadsheets to the MDE Toolkit
- 01/18/2013: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 10/12/2012: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 08/27/2012: 18th International Conference on Formal Methods (FM 2012)
- 07/25/2012: Algorithmic improvements for graph games
- 06/25/2012: Model Checking Contest at PETRI NETS 2012
- 03/22/2012: Vérification de protocoles de sécurité et détection d'intrusion
- 01/10/2012: Efficient Static Analysis of Dynamical Properties using the Process Hitting
- 09/30/2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 04/05/2011: On model checking concurrent recursive programs
- 03/15/2011: Contraintes sur le temps logique dans la conception de systèmes embarqués.
- 01/11/2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 12/17/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 11/05/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 10/05/2010: Synthèse distribuée
- 06/18/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 06/15/2010: Sixth European Conference on Modelling Foundations and Applications
- 05/21/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 03/09/2010: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- 02/26/2010: Weak Time Petri Nets Strike Back!
- 08/31/2009: Ecole d'été Temps Réel
- 06/22/2009: International Conference on Application and Theory of Petri Nets and other Models of Concurrency
- 01/23/2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 12/05/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 11/14/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 06/20/2008: Sur la fluidification des réseaux de Petri: de leur expressivité à l'évaluation des performances
- 04/22/2008: A High-level Perspective on Formal Validation and Verification
- 04/11/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 02/15/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 11/16/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 10/05/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 04/05/2007: Model-checking temporisé
- 03/09/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 01/19/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 10/16/2006: Composition of Embedded Systems: Scientific and Industrial Issues
- 10/06/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 06/20/2006: 1st Rutgers / Pierre et Marie Curie Workshop
- 05/12/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 04/28/2006: Developing a Model E-commerce Agent System
- 03/24/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 03/17/2006: Développement de systèmes informatiques par assemblage de composants métier sur étagère
- 01/20/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
NPA
- 11/15/2018: 13th Annual GigaNet Symposium - "Not the ‘New Oil’ – Data Governance and the Internet"
- 03/30/2017: The First European Multidisciplinary Conference on Global Internet Governance Actors, Regulations, Transactions and Strategies
- 12/17/2014: Recent Research on Twitter Anonymity and Sensitivity
- 12/19/2013: Utilizing Approximate Counting in Distributed Caching and Content Delivery
- 04/16/2013: Rendez-vous déterministe dans les réseaux
- 10/20/2011: Journées automnales RESCOM: Octobre 2011
- 07/04/2006: Mobility Management in IP Networks
- 06/29/2006: NALF: A Network-Adapted Application Layer Flooding
- 06/26/2006: Global Robustness and Correctness in Massively Distributed Network Systems
- 06/22/2006: A Basis for Systematic Analysis of Network Topologies
- 05/24/2006: Link Adaptations and Protocol Design for Wireless Ad Hoc Networks
- 05/09/2006: 8èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
- 01/27/2006: Rôle des TIC dans l’évolution des politiques de sécurité en Europe
PEQUAN
- 12/09/2022: Adaptive precision sparse matrix-vector product
- 12/07/2022: Feedback on the use of the Julia programming language for the numerical solution of Partial Differential Equations
- 12/18/2020: An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver
- 12/02/2020: Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
- 11/18/2020: Multiple precisions iterative refinement for the solution of large sparse linear systems
- 11/04/2020: Mixed precision algorithms, a tool for advancement of numerical linear algebra
- 04/14/2020: Exhaustive search of permutations with many patterns
- 11/05/2019: Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
- 10/08/2019: Sharper and smaller error bounds for low precision scientific computing
- 05/23/2019: Reproducibility Strategies for Parallel Preconditioned Conjugate Gradient
- 02/28/2019: Minimum number of additions in elliptic curve cryptography using double-based number representation
- 01/31/2019: Après-midi apprentissage / embarqué / précision numérique
- 01/17/2019: Toward optimizing compilers for quantum computers
- 12/06/2018: Accuracy and Stability of Low-rank Linear Solvers
- 10/25/2018: The Frobenius FFT and application to the multiplication of binary polynomials
- 07/05/2018: A communication-avoiding sparse direct solver
- 02/15/2018: Implementation and optimization techniques of linear algebra kernels for modern HPC systems
- 01/18/2018: CPUs and GPUs: can we get the best of both worlds?
- 11/20/2017: Deep Learning & Accélération GPU
- 09/25/2017: Predicting the Behavior of Large Dynamical Systems using Intervals and Reduced-Order Modeling
- 09/21/2017: Algorithmique de l'implementation fiable de filtres numériques
- 09/07/2017: Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
- 06/29/2017: Segmentation non-uniforme suivie d’approximation polynomiale pour l’évaluation de fonctions au sein de processeurs embarqués
- 06/15/2017: FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
- 05/15/2017: Précision, Reproductibilité en Calcul et Informatique Scientifique
- 05/04/2017: Topological Data Analysis and Visualization: A Tutorial (Part II: TTK)
- 04/27/2017: Topological Data Analysis and Visualization: A Tutorial
- 03/30/2017: Sweet and sour lessons from chasing hard-to-round cases in 128-bit
- 02/02/2017: Chebychev Approximation by Polynomials, Rational Functions and Splines
- 01/23/2017: Fast Fourier transform algorithms based on binary trees representation
- 01/19/2017: Fin de la Loi de Moore et applications HPC
- 11/24/2016: Computer algebra methods for the study of the stability and the stabilization of multidimensional systems
- 11/17/2016: Automating the pipeline of arithmetic datapaths
- 10/20/2016: Trois exposés (voir détails)
- 09/22/2016: A Decimal Multiple-Precision Interval Arithmetic Library
- 07/06/2016: Calcul par Intervalles et Transport Optimal
- 06/09/2016: Enlarged Krylov Subspace Methods and Preconditioners for Reducing Communication
- 05/19/2016: Programming with Numerical Uncertainties
- 05/19/2016: Towards reliable implementation of digital filtersTBA
- 05/12/2016: New results on floating-point
- 04/07/2016: Development of a library for symbolic floating-point arithmetic
- 03/24/2016: Evaluating Straight-Line Programs over Balls
- 03/10/2016: Accelerating the Conjugate Gradient Algorithm with GPU in CFD Simulations
- 02/22/2016: Persistent homology for multivariate data visualization
- 02/11/2016: Information Visualization from Trenches and Labs
- 02/03/2016: Estimation of numerical reproducibility using stochastic arithmetic
- 01/18/2016: Tutoriel Sollya et PythonSollya
- 01/07/2016: Sur la précision p-adique
- 12/17/2015: Apports des architectures hybrides à l?imagerie profondeur : étude comparative entre CPU, APU et GPU / Contributions of hybrid architectures to depth imaging: a CPU, APU and GPU comparative study
- 12/10/2015: Sound static analysis of run-time errors in programs with floating-point computations
- 11/30/2015: Vérification formelle de programmes numériques: l'exemple de la moyenne
- 11/19/2015: Towards a Modern Floating-Point Environment
- 11/02/2015: Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
- 10/22/2015: Bornes sur les restes de séries solutions d'équations différentielles
- 09/24/2015: Pattern formation in a coupled Brusselator model
- 09/10/2015: Metalibm: Kalray's side
- 07/03/2015: Investigation of Crouzeix’s Conjecture via Nonsmooth Optimization
- 07/02/2015: Computer-aided floating point error analysis and debug
- 06/18/2015: Trois exposés courts (voir détails)
- 06/04/2015: Dilemme du fabricant de tables pour les fonctions transcendantes
- 05/21/2015: Parameterization of Surfaces
- 05/07/2015: Verrou : l'arithmétique stochastique sans recompiler
- 05/06/2015: Diagonalisation parallèle pour le calcul de structure électronique
- 03/26/2015: Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
- 03/05/2015: Special functions in the Arb library
- 03/02/2015: The Parks McClellan algorithm: a scalable approach for designing FIR filters
- 02/26/2015: An inverse problem of magnetization in geoscience
- 02/12/2015: New Applications of Semidefinite Programming
- 01/29/2015: Calcul rapide des valeurs propres pour matrices compagnon
- 01/15/2015: Reproducible and Accurate BLAS for ExaScale Computing
- 12/11/2014: Itérations asynchrones des méthodes de décomposition de domaines sur architectures parallèles
- 11/27/2014: Intra-Procedural Optimization of the Numerical Accuracy of Programs
- 11/13/2014: Algèbre linéaire d'intervalles : Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs
- 11/12/2014: Big Data Visual Analysis
- 10/30/2014: Metalibm: a code generator for parametrized mathematical functions
- 10/29/2014: Numerical stability of the Gram-Schmidt algorithm
- 10/16/2014: Introduction à Sage
- 03/20/2014: Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
- 10/15/2013: Numerical Computation on Intel® Xeon Phi™ Coprocessors Using the Intel® Compilers and Math Libraries
- 10/10/2013: Algorithmic number theory and digital filter synthesis
- 05/10/2012: Etendre le compilateur GCC avec MELT
- 12/04/2008: Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
- 05/27/2008: Interval Arithmetic: Concepts, Theory, Application
- 09/04/2007: Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie
- 05/23/2006: On the algebraic properties of stochastic and interval numbers
Phare
- 03/17/2022: 5G Connectivity and Security for CNF/VNF Modern Telco applications
- 12/16/2021: Scalable infrastructure for remote reading of electric energy meters
- 12/16/2021: A theoretical association model for IEEE 802.15.4 TSCH networks
- 11/24/2021: Socio-Temporal Characterization of Content in Social Networks based on Stream Processing
- 10/25/2019: Implementation of non-uniform constellation techniques for the DTMB standard
- 10/25/2019: Physical Layer Security techniques for wireless communication systems
- 10/24/2019: 20 ans de la radio cognitive
- 06/13/2019: Cooperation Architecture for Service-Oriented C-ITS: From Microcosmic Optimization to Macrocosmic Forecasting
- 05/09/2019: Networks are getting smart: SDN and machine learning applied to network automation
- 05/03/2019: No Radio Left Behind: Radio Fingerprinting Through Deep Learning of Physical-Layer Hardware Impairments
- 04/29/2019: A Perspective of Blockchain in HealthCare: Security, Convenience and Innovation
- 01/08/2019: Scalable Network Security with SDNFV
- 10/05/2018: Application of machine learning and artificial intelligence techniques for medical data analysis of a proteomic study of a cohort of patient with thyroid nodules
- 06/22/2018: 6Genesis (the 6G-Enabled Wireless Smart Society & Ecosystem) project
- 06/08/2018: The FUTEBOL Project: when optical meets wireless
- 04/30/2018: Tidal dynamic SDN networks: a machine-learning optimizer and a testbed
- 04/27/2018: Enabling Time-sensitive Computing on Virtualized Systems through Cross-layer Scheduling
- 04/11/2018: ONOS Security and Performance Analysis Brigade Workshop
- 04/10/2018: Video Streaming over Software Defined Networks
- 04/06/2018: High performance network functions with Vector Packet Processing (VPP)
- 04/06/2018: Platform for Network Data Analytics (PNDA) : Learn to Bootstrap an Open Source Big Data Platform
- 03/09/2018: ONAP – The Open Network Automation Platform
- 02/20/2018: 21th ICIN Conference Innovations in Clouds, Internet and Networks
- 02/19/2018: Scope of Problems and Solutions in Dynamic Spectrum Sharing
- 01/30/2018: Fostering the Path to Security Intelligence: A Perspective in the Era of IoT and Blockchain
- 11/22/2017: Int. Conference on the Network of the Future
- 11/13/2017: Présentation des projets open source ONOS et CORD
- 07/03/2017: Mobile Crowdsensing for User/Group Profiling and Edge Optimizations
- 06/28/2017: 16th Annual Mediterranean Ad Hoc Networking Workshop
- 06/27/2017: Mobile Cloud Networking and Edge Computing for Quality-enhanced Service Provisioning
- 06/23/2017: Dynamic Spectrum Sharing: Licensed - Unlicensed Access
- 06/19/2017: Ecole d'été RESCOM 2017 sur les réseaux de communication - Virtualisation et Dématérialisation
- 05/26/2017: ONOS Security and Performance Analysis Brigade Workshop
- 05/22/2017: Network Cloudification: SDN-NFV and 5G-MEC with Edge and Fog Computing
- 05/19/2017: Internet of Things and Big Data: Applications, Technologies and Standards
- 03/07/2017: 20th ICIN Conference Innovations in Clouds, Internet and Networks
- 02/09/2017: Network Resource Management and Control in SDN
- 01/30/2017: The FUTEBOL project - experimentation on the optical/wireless network frontier
- 01/30/2017: PEERING: An AS for Us
- 12/04/2016: 2016 IEEE Global Communications Conference - Workshops
- 11/02/2016: Open Network Operating System (ONOS) - 2016 Build Event
- 10/24/2016: Analysis of Control Traffic in a Geo-distributed Collaborative Cloud
- 07/25/2016: Mobile, Cloud, Analytics – Challenges and Opportunities for Data-Driven Infrastructure
- 06/03/2016: Consolidating Flows with Implicit Deadlines for Energy-Proportional Data Center Networks
- 03/14/2016: 12th Int. Conference on the Design of Reliable Communication Networks
- 02/09/2016: Exploiting ICN for flexible management in software-defined networks
- 02/05/2016: A Framework for Resilient and Secure Spectrum Sensing on Cognitive Radio Networks
- 09/14/2015: Journée Virtualisation et Cloud - GdR RSD
- 09/07/2015: Workshop on Mobility in the Evolving Internet Architecture
- 09/04/2015: Towards Finer-grained Graph-based Interference Models for Wireless Network Optimization
- 07/22/2015: Closing the loop in cognitive radio networks: Towards higher layer protocol design, user applications, and systems
- 07/06/2015: Design of a Load-Balancing Middlebox Based on SDN for Data Centers
- 07/06/2015: Redundancy Coding-oriented Regeneration Schemes and Performance Optimization in Distributed Storage Systems
- 06/11/2015: Wireless Evolution: From Connecting People to Connecting Machines
- 06/02/2015: On Nash Equilibrium, Wardrop's Principles, Selfish Routing, and Optimal Routing
- 04/01/2015: The Babel routing protocol
- 02/17/2015: Cooperative Streaming on Smartphones over Hybrid Wireless Networks
- 12/16/2014: Revisiting Scheduling and User Association in Heterogeneous Networks When the Backhaul Links are of Limited Capacity
- 12/15/2014: Intelligent Sensing in RFID Systems towards Real Complex Environment
- 12/12/2014: A Cluster Approach to Scaling OpenFlow Control Plane
- 12/10/2014: The Evolving Enterprise Edge
- 12/08/2014: SOUP: An Online Social Network by the People, for the People
- 12/03/2014: 5th Int. Conference on the Network of the Future
- 09/26/2014: Is Multipath Routing Beneficial?
- 08/21/2014: Mobile Cloud for Mobile Health
- 07/04/2013: Opportunistic and Cooperative Forwarding in Mobile Ad-hoc Networks with Light-Weight Proactive Source Routing
- 04/09/2013: Software Defined Optical Networking
- 11/28/2012: 2012 IEEE 1st Int. Conference on Cloud Networking
- 06/20/2012: Mobile Cloud Computing: Security and Service Architecture, and Research Challenges
- 06/06/2012: Dynamic Temporal Workload in Hybrid Data Centers, Energy-Aware Aggregation, and Networking
- 11/28/2011: Second International Conference on Network of the Future
- 06/28/2010: Data-driven Modeling and Design of Networked Mobile Societies: A Paradigm Shift for Future Social Networking
- 06/23/2010: The 9th IFIP Annual Mediterranean Ad Hoc Networking Worshop
- 06/14/2010: Networks and telecommunications: Choices and strategy
- 12/15/2009: 2nd. IFIP Wireless Days 2009
- 11/18/2009: 23ème Congrès DNAC Paris
- 09/29/2009: Les plates-formes autonomiques 2009
- 09/07/2009: Ecole EIII Amman, Jordanie 2009
- 09/27/2006: Autonomic Networking
PolSys
- 12/12/2014: Design of Marx generators as a structured eigenvalue assignment
- 12/05/2014: Isomorphism problems in algebra
- 11/28/2014: The Skeletons you find when you Order your Ideal's Closet
- 11/25/2014: A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems
- 11/14/2014: On the Complexity of Solving Bivariate Systems
- 10/24/2014: Algebraic Attack against Wild McEliece & Incognito
- 10/24/2014: A Polynomial time attack on Wild McEliece over quadratic extensions
- 10/17/2014: New ways of finding relations in the Index Calculus for Jacobians of hyperelliptic curves
- 10/03/2014: Efficient probabilistic algorithm for computing the real dimension of real algebraic sets
- 09/26/2014: Root Separation Bounds
- 09/19/2014: Numerical Linear System Solving With Parametric Entries By Error Correction
- 09/19/2014: A new code based public key scheme based on list decoding
- 09/12/2014: On the complexity of computing Gröbner bases for weighted homogeneous systems
- 07/04/2014: Real algebraic geometry and infinite-dimensional conic optimization
- 06/27/2014: Algorithms to Compute Chern-Schwartz-Macpherson and Segre Classes and the Euler Characteristic
- 06/27/2014: Sparse Gröbner bases: the unmixed case
- 06/20/2014: Spaces of matrices with rank bounded above
- 06/13/2014: Effective Hilbert's Nullstellensatz and Finite Fields
- 05/15/2014: On the minimal support codewords of linear codes over GF(q) and a note about IP equivalence classes
- 04/04/2014: Extending Constructive Solid Geometry to Projections and Parametric Objects
- 03/14/2014: Rounding and Chaining LLL: Finding Faster Small Roots of Univariate Polynomial Congruences
- 03/14/2014: Constructing and using fast, twist-secure elliptic curves
- 03/07/2014: Computing efficiently real points on determinantal varieties
- 03/07/2014: An application of Algebraic Geometry to the contrast problem in Nuclear Magnetic Resonance
- 02/14/2014: Real roots of polynomial systems, semi-definite programming and border basis
- 03/25/2013: How to avoid communication in linear algebra and beyond
- 03/25/2013: Résolution des Systèmes Polynomiaux par les bases de Gröbner
QI
- 07/12/2017: Séminaire du professeur invité LIP6 Norbert Lütkenhaus
- 06/19/2017: Trustworthy Quantum Information
- 06/14/2017: Theory of Quantum Computation, Communication and Cryptography
REGAL
- 05/03/2017: RainbowFS Workshop on Consistency in Distributed Storage Systems
- 04/21/2017: Bridging the CAP gap: the Just-Right Consistency approach
- 03/31/2017: Towards a Distributed Metadata Service for Causal Consistency
- 03/04/2017: Time and Homonyms Considerations over Community Protocols
- 02/28/2017: On Verifying Causal Consistency
- 02/22/2017: Riding the Big IoT Data Wave: Complex Analytics for IoT Data Series
- 12/12/2016: The Critéo Big-Data Platform
- 09/21/2016: Heavy Hitters in Streams and Sliding Windows
- 06/02/2016: The Supercloud: Opportunities and Challenges
- 02/04/2016: The IX Operating System Project: Energy Proportionality and Workload Consolidation for Latency-Critical Applications
- 06/18/2015: Outil dédiés aux systèmes distribués dynamiques : JBotSim
- 04/17/2015: Strong consistency with low latency random reads & writes on a distributed database: Apache HBase choices and challenges
- 04/01/2015: XFabric: reconfigurable network topologies at rack scale
- 01/14/2015: Workshop on Highly-Scalable Distributed Systems
- 11/19/2014: Yesquel: scalable SQL storage for Web applications
- 09/30/2014: OPODIS Program Chair
- 09/15/2014: Workshop on Database Consistency in the Cloud
- 07/24/2014: Verifiable Concurrent Systems Programming: A Garbage Collector Case Study
- 06/06/2014: Workshop/JTE ASF on Managed runtimes
- 05/21/2014: Elastic and Fault-Tolerant Stream Processing in the Cloud
- 04/02/2014: Thread Vulnerability for Multicore Architectures
- 04/01/2014: Understanding and Improving Device Access
- 02/18/2014: Coq, the world's best macro assembler !
- 02/03/2014: Failure containment for extreme scale MPI applications
- 01/31/2014: La Société Informatique de France
- 01/15/2014: The Case for Reliable Software Transactional Networking
- 10/30/2013: Depot: from Byzantine Fault Tolerance to Eventual Consistency in a Single System
- 10/28/2013: SplayNet: Distributed User-Space Topology Emulation
- 10/23/2013: GDR-GPL Génie Logiciel Empirique
- 09/25/2013: WCET estimation techniques for multicore-processors
- 07/22/2013: SOUK: Social Observation of hUman Kinetics
- 06/06/2013: X-Stream: Edge-centric Graph Processing using Streaming Partitions
- 06/05/2013: PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
- 05/28/2013: Generalized Universality
- 04/12/2013: A New Hierarchical Fault Tolerance Protocol for MPI HPC Applications & Unified model for fault tolerance protocols
- 03/27/2013: From Clarity to Efficiency for Distributed Algorithms
- 03/20/2013: Horus: Fine-Grained Encryption-Based Security for Large-Scale Storage
- 03/20/2013: Low-Redundancy Two-Dimensional RAID Arrays
- 03/01/2013: Distributed Exclusive Graph Searching in Trees
- 02/25/2013: RESAR Storage: a System for Two-Failure Tolerant, Self-Adjusting Million Disk Storage Clusters
- 02/14/2013: Disorderly Distributed Programming with Bloom
- 09/27/2012: Workshop on Language Virtual Machines and Multicore Architectures
- 09/26/2012: Cloud Types for Eventual Consistency
- 09/11/2012: S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
- 09/06/2012: Algorithmes de clustering pour des systèmes distribués dynamiques
- 08/28/2012: A Brief History of Facebook's User Data Storage System
- 07/17/2012: Practical Abstractions for Dynamic and Parallel Software
- 06/12/2012: Generalizing Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach
- 05/23/2012: Prolonging the Life of Linux: Is it possible or not?
- 05/07/2012: Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
- 03/13/2012: The multiplicative power of consensus numbers
- 12/16/2011: Exposé Roy Friedman (Technion) - On Power and Throughput Tradeoffs of WiFi and Bluetooth in Smartphones
- 09/14/2011: Recovering Disjointness from Concurrent Sharing
- 07/11/2011: Virtualizing Real-time Embedded Systems with Java
- 06/29/2011: The Architecture of the DecentVM: Towards a decentralized virtual machine for many-core computing
- 03/17/2011: Adaptive Resource Management in Cloud Infrastructures
- 02/24/2011: Faults in Linux: Ten Years Later
- 11/10/2010: HPC at Exascale : Scenarios, Software challenges and Research opportunities
- 07/02/2010: The Speedup-Test
- 06/29/2010: The L4 Microkernel — from research to mass deployment and back
- 04/12/2010: Introduction to AMD's Advanced Synchronization Facility
- 03/23/2010: Git version control system: handling concurrent development in distributed environments
- 02/03/2010: Providing Ubiquitous Access to the User’s Data with FEW FS
- 11/24/2009: Semantic Patch Inference
- 11/24/2009: Group Scalability in Distributed Systems - Adaptively Parallelizing Distributed Range Queries
- 11/18/2009: Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
- 10/30/2009: Présentation des travaux d'Olivier Pérès
- 09/25/2009: 7.500 lines of C, 1 microkernel, formally proved correct
- 07/16/2009: Herodotos: A Tool to Expose Bugs' Lives
- 06/16/2009: Two Ways of Speeding Up Transactional Memory Algorithms
- 06/15/2009: A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
- 05/28/2009: CAR-STM: Scheduling-Based Collision Avoidance and Resolution for Software Transactional Memory
- 05/28/2009: Unleashing the Potential of Asymmetric Multicore Processors Through Operating System Support
- 01/08/2009: Native Client - A Sandbox for Portable, Untrusted x86 Native Code
- 12/11/2008: In Search of Lost Time
- 11/20/2008: Research Challenges in Flash Memories
- 10/30/2008: P2P overlays : VoroNet and RayNet
- 10/29/2008: Démo SPLAY - "distributed applications made simple"
- 10/16/2008: Nuno Preguiça - Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
- 09/11/2008: Joan Manuel Marquès - Treedoc: a commutative replicated data type for cooperative editing
- 05/29/2008: Anneli Lenica - PosNet, un overlay p2p semi-structuré basé sur un poset pour l'indexation et la localisation de données multi-dimensionnelles.
- 04/10/2008: Laurent d'Orazio - Caches adaptables et applications aux systèmes de gestion de données répartis à grande échelle
- 02/15/2008: Petr Kuznetsov - Large-Scale Byzantine Fault Tolerance: Prevention and Detection
- 02/07/2008: Content-Based Publish/Subscribe in P2P Using Distributed R-Trees
- 02/07/2008: Snap-stabilization in message passing systems.
- 11/23/2007: Roy Friedman - Practical Random Walks in Ad-Hoc Networks
- 04/26/2007: Hop a language for programming the Web 2.0
- 04/24/2007: D1HT: A Distributed One Hop Hash Table (*)
- 03/27/2007: OSGi Users Group France
- 03/08/2007: Presque tous les objets atomiques implémentés dans des systèmes asynchrones avec transmission de messages sont universels : la hiérarchie de Herlihy devient (presque) plate
- 03/08/2007: Algorithmes pour la construction d'arbres couvrant des groupes dynamiques dans un graphe
- 02/22/2007: Marches aléatoires en algorithmique distribuée, un paradigme de conception de solutions algorithmiques pour les environnements dynamiques
- 01/26/2007: Séminaire REGAL
- 01/23/2007: A Scalable Approach to Alleviating Database Bottlenecks
- 01/19/2007: Gossip-based self-organization
- 11/24/2006: Maintaining Consistency in Collaboration over Hierarchical Documents
- 11/24/2006: Intergiciel extensible à base de composants adaptables pour l'informatique nomade : réplication optimiste et réconciliation.
- 11/10/2006: Stabilizing Mobile philosophers
- 10/26/2006: A Memory Efficient Self-stabilizing Algorithm for Maximal k-packing
- 10/20/2006: Sprint, a middleware infrastructure
- 10/13/2006: The Iconoclastic Heard-Of Model: Unifying all Benign Failures
- 10/06/2006: Reliability and Availability Analysis of Self-Stabilizing Systems
- 09/28/2006: Séminaire REGAL : Gathering Oblivious Mobile Robots in Finite Time.
- 06/22/2006: Enabling what-if explorations in a distributed storage system
- 03/24/2006: La compilation dynamique pour le calcul intensif
- 03/20/2006: Decoupling Causal Update Commitment Agreement from Update Propagation in Optimistic Replication
- 03/13/2006: An efficient and fault-tolerant update commitment protocol for weakly connected replicas
- 02/17/2006: Context-aware adaptation in ubiquitous computing environments
- 02/10/2006: Dynamic life updates
- 02/01/2006: Laundromat Computing using the Evil Man System Using Operating System Mobility for Grid Computing
- 01/26/2006: Jaluna OSware : La virtualisation pour systèmes embarqués
RO
- 12/14/2021: Analogue of Gyarfas-Sumner conjecture for oriented graphs
- 10/15/2021: Collective schedules : How to find a consensus schedule ?
- 03/11/2021: Séminaire S : Online Search With Maximum Clearance
- 07/13/2017: A polynomial-time algorithm for the preemptive mixed-shop problem with two unit operations per job
- 06/07/2013: Worshop "games, algorithms and optimization"
- 06/18/2012: Ecole de printemps "Théorie des jeux algorithmique"
SALSA
SMA
- 12/14/2023: Logics for Strategic Reasoning: Recent Developments and Application to Mechanism Design
- 12/04/2023: Type Theory in Climate Impact Research: From Program Correctness to Policy Advice
- 09/08/2023: Approches multi-agents pour l'allocation de ressources et la planification pour l'observation de la Terre par des constellations de satellites
- 01/27/2020: Neural Melody Generation from Lyrics
- 01/13/2020: New trends in Computational Narratology and Interactive Storytelling
- 11/18/2019: Supervised learning for distribution of centralised multiagent patrolling strategies.
- 10/14/2019: An overview of research projects in the domain of gaming – cloud, health (exergaming) and culture and history (edugaming).
- 09/16/2019: Developing Intelligent Interactive Systems with Multi-Agent Oriented Programming Combined with Ontologies and Argumentation
- 07/08/2019: Argumentation and Computational Persuasion: a three-year project
- 01/21/2019: Un modèle de système psychique organisationnel et constructible
- 01/21/2019: L’intelligence artificielle aujourd’hui et demain
- 12/03/2018: Finding agile evacuation routes by the means of centrality measures for evacuation
- 11/16/2018: Reinforcement Learning in Recommender Systems
- 10/29/2018: SARL - Agent-oriented Programming Language
- 10/15/2018: Towards cultural knowledge evolution: experiments with alignments repair
- 07/09/2018: How Implicit Communication Emerges during Conversation Game
- 06/25/2018: What to Believe Now? Belief as a Form of Rational Choice // Une approche par contraintes stochastiques pour Le General Game Playing
- 05/14/2018: Présoutenance de thèse - réservé à l'équipe
- 04/09/2018: Viabilité pour l'argumentation dans la gestion de parcs naturels
- 03/26/2018: Apprentissage artificiel collectif : aspects dynamiques et structurels
- 03/12/2018: Le traitement automatique du langage naturel pour l'interaction humain-agent : vers des agents socialement compétents
- 01/22/2018: Workshop NII-LIP6
- 06/26/2017: MoCaNA: Un agent de négociation basé sur la recherche de Monte-Carlo arborescente
- 06/19/2017: Patrouille multi-agent coopérative pour la détection d’actions illégales en environnement incertain
- 06/12/2017: Distributed Fair Allocation of Indivisible Goods
- 06/06/2017: Integrating Argumentation and Social Choice
- 06/06/2017: Preference elicitation and learning in a Multiple Criteria Decision Analysis perspective
- 05/22/2017: Safer Flight Systems using Dynamic Data-Driven Avionics
- 04/24/2017: Vers une approche d'ingénierie multi-agents à base de LdPL (Lignes de Produits Logiciels)
- 03/27/2017: Apprentissage profond - Deep learning - Histoire, principes et enjeux
- 03/20/2017: Méthodes de recherche locale sur machines massivement parallèles
- 03/13/2017: Journées MAFTEC, sur les aspects Multi-Agents, Flexible, Temporel, Epistémique et Contingent de la planification
- 02/02/2017: Invited talks - NII
- 12/05/2016: Quelques exemples d’applications des SMA: Quantified Things et Jeux Sérieux
- 03/21/2016: Mini Course on the Theory of Aggregation (2/2)
- 03/07/2016: Mini Course on the Theory of Aggregation (1/2)
- 11/30/2015: Structural and Epistemic Approaches to Probabilistic Argumentation
- 11/16/2015: Open Language Grid: Towards a Global Language Service Infrastructure
- 11/02/2015: Modèles d'environnement et simulation multi-agents pour les systèmes dynamiques de transport
- 09/21/2015: Normative Programming.
- 06/22/2015: Scénarisation d’environnements virtuels pour la formation en environnements sociotechniques complexes
- 06/15/2015: Coordonner des SMA de manière flexible en donnant une culture aux agents
- 06/01/2015: Système multi-agent normatif pour la collaboration et l’interaction mixte
- 05/18/2015: Emergence of conventions through social learning
- 04/13/2015: Debates among argumentative agents
- 04/10/2015: Modèles basés agents en Economie
- 03/30/2015: Argumentation, Trust and Interaction
- 03/23/2015: The Power of Swap Deals in Distributed Resource Allocation
- 03/20/2015: Coordination in large multiagent systems : do agents need stock options ?
- 09/24/2014: Distributed and Munlti-Agent Systems (24-25 Septembre 2014)
- 06/14/2013: Journée sur les Modèles basés Agents en Économie
- 07/12/2010: Le rôle des jeux vidéo dans la société et dans l'informatique
- 06/21/2010: Fifth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems
- 02/01/2010: L'assistance aux personnes atteintes de déficits cognitifs dans les habitats intelligents
- 04/08/2009: Modèles individus centrés de dynamiques d’opinions et approximations agrégées
- 04/03/2009: Management of networked sensing devices
- 02/16/2009: Apprentissage incrémental collectif de concept (Sound Multiagent Incremental LEarning)
- 12/08/2008: Towards a Platform for Experimentation with Dynamic Adaptation
- 11/10/2008: Context Aware Computing
- 06/27/2008: Replication heuristics for agents fault tolerance: a plan-based approach
- 06/23/2008: Négociation combinée et multicritère d'agents coopératifs
- 06/09/2008: Consensus dans un système multiagent : du modèle à l’exécution
- 06/09/2008: Simulation de dynamiques d'opinions à l'aide d'un système multi-agents
- 06/02/2008: Modélisation de l'évolution de la distribution socio-spatiale de la population d'une ville par les systèmes multi-agents : Une approche multi-niveaux
- 05/26/2008: Multi-agent Temporal Planning in Dynamic Environments
- 05/19/2008: Coordination Language for Mobile Agent Systems
- 05/05/2008: Langages de coordination et systèmes multi-agents ouvert
- 05/05/2008: Conception et optimisation distribuée d’un système d’information d’aide à la mobilité : Une approche multi-agent pour la recherche et la composition des services liés au transport.
- 05/05/2008: Argumentation et système multi-agents pour l'intégration sémantique
- 04/14/2008: Emotion et Interaction
- 04/14/2008: Réécriture topologique : programmation orientée interaction
- 04/07/2008: Consensus dans les systèmes collaboratifs de partage de contenus
- 04/07/2008: Une approche pour la prise de décision décentralisée par des agents autonomes en environnements complexes
- 03/31/2008: Modélisation de compétences d'entreprise et son intégration dans une simulation de réseaux d'ajout de valeur d'entreprise
- 03/19/2008: Recent Results in Constructive Language Evolution and its Generalizations
- 03/17/2008: Contrôle social de systèmes multi-agents ouverts et décentralisés
- 03/17/2008: Modélisation des interactions entre agents rationnels : les jeux booléens
- 03/10/2008: Propagation et affinement d'hypothèses sous contraintes communicationnelles.
- 07/18/2007: Multiagent Simulation Meets the Real World
- 07/18/2007: The Language Grid for Intercultural Collaboration
- 07/09/2007: Understanding Consciousness with Model Abstractions
- 06/22/2007: An Architectural Strategy for Situated Multi-Agent Systems
- 06/08/2007: Semantic Web Services: Where Are We Headed?
- 03/29/2007: The A&A Approach for Developing Cognitive MAS: Conceptual Framework and Prototyping Technologies
- 03/23/2007: Model Checking Abilities of Agents: A Closer Look
- 03/19/2007: Modélisation des émotions et de la personnalité pour le dialogue
- 10/09/2006: LIP6/SMA - NII/HonidenLab workshop on Multi-Agent Systems and Distributed Systems
- 06/15/2006: Agents at Honiden Lab
- 02/17/2006: Le Modèle du joueur dans les jeux en réalité augmentée
- 01/23/2006: Jeux vidéo : Nouveaux benchmarks pour les systèmes multi-agents ?
SPI
- 10/21/2012: Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité
- 04/22/2011: Journée Sécurité et Méthodes Formelles
- 03/08/2010: Journée SSURF
- 06/11/2009: Journée Présentation et Formation - FOCAL
- 05/27/2009: Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
- 11/07/2008: Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
- 05/13/2008: Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
SPIRAL
- 09/01/2006: Seminaire SPIRAL/SALSA
SYEL
- 09/09/2021: Embedded real-time vision systems implemented using heterogeneous, reprogrammable computing platforms
- 07/01/2021: Apprentissage multimodale non supervisé et substrat cellulaire pour l’implémentation d’architectures neuromorphiques auto-adaptatives
- 05/06/2021: Cultiver le diamant pour fabriquer des implants neuronaux destiné à la réhabilitation fonctionnelle
- 04/08/2021: Analyse automatique des stades de sommeil à partir des voies électrophysiologique
Whisper
- 12/15/2017: BetrFS: Write-Optimization in a Kernel File System
- 11/16/2017: Data Sharing and Resource Management in the Multicore Era
- 09/27/2017: Your Processor Leaks Information - and There's Nothing You Can Do About It
- 03/02/2016: The Linux Scheduler: A Decade of Wasted Cores
- 03/02/2016: Improving performance on NUMA systems
- 04/09/2015: Objects in the Linux kernel: evolution is good
- 01/15/2015: Two-Dimensional Tailoring of Real-Time Operating System Kernels: Rethinking the Hardware--Application Bridge