New encryption schemes and pseudorandom functions with advanced properties from standard assumptions Soutenance de thèse Vendredi 16 oct 2020
On matchings and related problems in graphs, hypergraphs, and doubly stochastic matrices Soutenance de thèse Vendredi 09 oct 2020
GAMING : Comment les jeux peuvent-ils enseigner ou faire avancer la science ? Conférence Fête de la science Jeudi 08 oct 2020
À quoi a servi la modélisation mathématique et ce qu’elle n’a pas pu faire ? Séminaire Jeudi 08 oct 2020 - Jeudi 17 juin 2021
Task Mapping and Load-balancing for Performance, Memory, Reliability and Energy Soutenance de thèse Vendredi 25 sep 2020
CHEL[s] - ouverture des inscriptions pour les modules partagés Autre Lundi 24 aoû 2020 - Jeudi 10 sep 2020
Autour du problème du domino -Structures combinatoires et outils algébriques Soutenance de thèse Mercredi 15 juil 2020
Knowledge representation and curation in hierarchies of graphs Soutenance de thèse Lundi 06 juil 2020
Some proof-theoretical approaches to Monadic Second-Order logic Soutenance de thèse Mardi 23 juin 2020
Fault-tolerant and energy-aware algorithms for workflows and real-time systems Soutenance de thèse Lundi 06 avr 2020
ELDM 2020 Workshop - Embodied interactions, Languaging and the Dynamic Medium Colloque Workshop Mardi 18 fév 2020
Scalable and Efficient Data Management in Distributed Clouds: Service Provisioning and Data Processing - Gestion de données efficace et à grande échelle dans les clouds distribués: Déploiement de services et traitement de données Soutenance de thèse Mardi 17 déc 2019
Numériser le réel : acquisition et reconstruction de surfaces Conférence Exposition Jeudi 12 déc 2019
Vers des approches Curry-Howard à la Logique Monadique du Second Ordre et aux automates Soutenance HDR Lundi 02 déc 2019
Intensive use of computing resources for dominations in grids and other combinatorial problems Soutenance de thèse Vendredi 29 nov 2019
Micro Meso Macro - Approches pratiques et critiques de la visualisation de données Journée d'études Jeudi 14 nov 2019 - Vendredi 15 nov 2019
Jeux concurrents enrichis : témoins pour les preuves et les ressources - Enriched concurrent games: witnesses for proofs and resource analysis Soutenance de thèse Jeudi 17 oct 2019