List of proposals
-
Push-pop walk orderings of graphs,
with Victor Marsault at LIGM, CNRS, Université Gustave Eiffel, Champs-sur-Marne ;
-
Reconstruction de types par résolution de contraintes,
with Akim Demaille at Faveod SAS, Paris;
-
Branching heuristics for continuous constraint programming,
with Nathalie Revol at INRIA, Pascaline team - LIP, ENS de Lyon, Lyon;
-
Graph Sparsification for Combinatorial Optimization,
with Hamida SEBA at UCBL, Villeurbanne;
-
Simulations as reductions,
with Kévin Perrot at LIS, Aix Marseille Université, Marseille;
-
Combinatoire et algorithmique (pour l'agronomie) / Combinatorics and algorithmics (for agronomy),
with Bérénice Delcroix-Oger at IMAG, Montpellier;
-
Graph parameters defined by excluding ordered patterns,
with Dimitrios THILIKOS TOULOUPAS at LIRMM, Univ Montpellier, CNRS, Montpellier;
-
Multicommodity Menger dualities: on which graph domains do they hold?,
with Dimitrios THILIKOS TOULOUPAS at LIRMM, Univ Montpellier, CNRS, Montpellier;
-
Complexity and Theoretical Foundations of Learning and Program Synthesis,
with Gabriel Bathie and Nathanael Fijalkow at LaBRI, Université de Bordeaux, Bordeaux;
-
On the link between hyperparameters and convergence,
with Quoc Tung Le at Laboratoire Jean Kuntzmann, Grenoble;
-
Analyzing Mean Payoff Games Using Sums-of-Squares,
with Mateusz Skomra at LAAS-CNRS, Toulouse;
-
Cryptanalyse de ZIP-AES,
with Sébastien Duval, Marine Minier at Université de Lorraine, CNRS, Inria, LORIA, F-54000, Nancy, France, Nancy;
-
Segmentation automatique de scènes modélisées par 3D Gaussian splatting,
with Franck Hétroy-Wheeler at Université de Strasbourg, Strasbourg;
-
Une version partisane du Harary’s animal game,
with Nacim Oijid at Université Côte d’Azur, CNRS, INRIA, I3S, Biot, France., Biot;
-
Multimodular algorithms in low and mixed precision: residue number systems on AI hardware,
with Jérémy Berthomieu at Sorbonne Université , Paris;
-
Top-down and bottom-up causal reasoning: when higher-level causal estimates inform lower-level ones (and vice versa),
with Marianne Clausel at Université de Lorraine, Nancy;
-
Causal Domain Adaptation: extending causal effect from a domain to another with generalization bounds,
with Marianne Clausel at Université de Lorraine, Nancy;
-
Propriétés Avancées pour la Vérification Formelle de MétaModèles en Réseaux de Neurones (pré-thèse 2027-2030),
with Louis Bal dit Sollier at EDF R&D, Chatou;
-
Toward Faster Algorithms for Decomposable Polynomial Systems,
with Thi Xuan Vu, Florent Bréhard , and Josué Tonelli-Cueto at Université de Lille, CRIStAL, France , Lille;
-
Towards a new effective representation of polynomial systems of equations using Gröbner bases,
with Rafael Mohr at LIP6, Sorbonne Université, Paris;
-
Formal Proofs for Programmable Logic Controllers (PLC),
with Pierre Corbineau at GRENOBLE-INP / LIG, Grenoble;
-
Fine-grained complexity of query evaluation,
with Nofar Carmeli at Inria , Montpellier;
-
Signaling networks inference using various AI tools,
with Romain Yvinec at INRAE , Tours;
-
AlphaAlign: Leveraging infinite-dimensional geometric metrics for robust multi-omics alignment,
with Salvish Goomanee at Université Côte d'Azur & Inria, Nice;
-
Estimation et optimisation de la consommation d’énergie des applications parallèles malléables dans un contexte réel,
with Jean-Marc Pierson at IRIT, Université Toulouse, Toulouse;
-
Quantum Computing on Distributed Environments - Q-CODE,
with DI MOLFETTA Giuseppe at Aix-Marseille Université, Marseille;
-
Advancing the OpenDP Library: Research & Engineering in Open-Source Privacy Software,
with Aurélen Bellet at Inria, Montpellier;
-
Parallel training algorithms for Graph Neural Networks (GNNs),
with Julien Herrmann at CNRS, Toulouse;
-
Heterogeneous Computing for CMS Experiment at CERN,
with Adriano Di Florio at CCIN2P3, Lyon;
-
A Sustainability Aware Scheduling for the CMS Experiment,
with Adriano Di Florio at CCIN2P3, Lyon;
-
Tensor computations on GPUs,
with Suraj Kumar at Inria ROMA team, LIP, ENS Lyon, Lyon;
-
Interactive Online Cultural Evolution of Artificial Life Patterns,
with Marko Cvjetko at Inria, Flowers team, Bordeaux;
-
Learning Self-Representation for Curiosity-driven Deep Reinforcement Learning ,
with Loris Gaven at Inria, Flowers team, Bordeaux;
-
Evolving large populations of adaptive neural agents in ecologically plausible environments,
with Clément Moulin-Frier at Inria, BioTiC team, Lyon;
-
Gene-regulated multicellular morphogenesis and behavior,
with Clément Moulin-Frier at Inria, BioTiC team, Lyon;
-
Reinforcement Learning for Operations Research problems,
with Bruno Gaujal at Inria and Univ. Grenoble Alpes, Grenoble;
-
Using precision emulation within mixed-precision algorithms,
with Theo Mary at Sorbonne Univ, CNRS, LIP6, Paris or Toulouse or Lyon (depending on the candidate's preference);
-
Period sets of words,
with Eric Rivals at LIRMM CNRS and Univ. Montpellier, Montpellier;
-
Equivalence of Argumentation Semantics,
with Leila Amgoud at IRIT, CNRS, Toulouse;
-
Axiomatic Study of Arguments Relationships,
with Leila Amgoud at IRIT, CNRS, Toulouse;
-
Method Combinations for Programming Languages with Multiple Dispatch,
with Didier Verna at EPITA Research Lab, Le Kremlin-Bicêtre;
-
Interpretability of Kernel Testing in Single-Cell Data Analysis,
with Franck Picard at CNRS, Lyon;
-
Développement d’une architecture de contrôle de la pose 2D d'un robot non-holonome par l’apprentissage par renforcement incluant la gestion de manœuvres et l’évitement d’obstacles,
with Mélodie DANIEL at University of Bordeaux, BORDEAUX;
-
Développement d’une architecture de contrôle en corps complet par apprentissage par renforcement pour la manipulation d’objets articulés distants,
with Mélodie Daniel at University of Bordeaux, BORDEAUX;
-
Perception multi-sensorielle et suivi temporel d’objets déformables pour la robotique agricole autonome,
with Mélodie DANIEL at Associate Professor at the University of Bordeaux, BORDEAUX;
-
Open Automata meet Choreographies,
with Cinzia Di Giusto at Université Côte d'Azur, Laboratory I3s, Sophia Antipolis;
-
Verifying graph neural networks,
with François Schwarzentruber at ENS de Lyon - LIP, Lyon;
-
Stagiaire en opérateurs numériques matériels pour IA,
with Benoît Dupont de Dinechin at Kalray S.A., Montbonnot;
-
Stagiaire compilation IA basé sur MLIR,
with Benoît Dupont de Dinechin at Kalray S.A. and INRIA Corse, Grenoble;
-
Modelling Multi-Perspective Knowledge on the Semantic Web,
with Lucía Gómez Álvarez at Inria, Grenoble;
-
From Theory to Performance: Building Efficient Reasoners for Standpoint Logic,
with Lucía Gómez Álvarez at Inria, Grenoble;
-
Generative AI Techniques for Network Management,
with Francesco Bronzino at ENS Lyon, Lyon;
-
Not yet another speedtest! Toward Internet scale measurement of network quality.,
with Francesco Bronzino at ENS Lyon, Lyon;
-
Improving REST API Coherence through Model-Driven Engineering and OpenAPI Enrichment,
with Stéphanie Challita at University of Rennes, Rennes;
-
Probabilities of Regular Languages of Infinite Trees,
with Paweł Parys at University of Warsaw, Warsaw, Poland;
-
Frugal Reinforcement Learning for Stochastic Networks,
with Urtzi AYESTA at CNRS, IRIT, Toulouse;
-
Model Checking for Open Automata,
with Rabéa Ameur-Boulifa at Télécom Paris, Sophia Antipolis;
-
Memory Complexity with shared registers,
with Joffroy Beauquier at LISN (Paris-Saclay), Orsay;
-
Tensor Analysis and Modeling of Multi-Scale Energy Flows in Smart Buildings,
with Nour Murad at PIMENT laboratory, University of la Reunion, Saint Pierre, Reunion Island;
-
Modeling and Embedded Optimization of Cloud Dynamics Forecasting with Vision Transformers Applied to Sky Images for Photovoltaic Production Management,
with Nour Murad at PIMENT laboratory, University of la Reunion, Saint Pierre, Reunion Island;
-
Analyse et modélisation tensorielle des flux énergétiques multi-échelles dans les bâtiments intelligents,
with Nour Murad at PIMENT laboratory, Saint Pierre, Reunion Island;
-
Infinite-state strategies for infinite-state quantitative systems,
with Sougata Bose, Mickael Randour, Pierre Vandenhove at UMONS – Université de Mons, Mons, Belgium;
-
Crash-Proof Computation,
with Mioara Joldes at LAAS-CNRS, Toulouse;
-
WQO dichotomy for homogeneous structures (experimental evaluation),
with Slawomir Lasota at University of Warsaw, Warsaw;
-
Metabolic Pathway Analysis in the Presence of Biological Constraints,
with Philippe Dague at Laboratoire Méthodes Formelles, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Gif-sur-Yvette;
-
Calcul Quantique Distribué : Algorithmes et Implémentations,
with DI MOLFETTA at Aix-Marseille Université , Marseille;
-
Agents autonomes et systèmes multi-agents génératifs,
with Maxime MORGE at LIRIS, Université Claude Bernard Lyon 1, Villeurbanne;
-
Safety Analysis of Real-Time Discrete-Event and Hybrid Systems,
with Philippe Dague at Laboratoire Méthodes Formelles, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Gif-sur-Yvette;
-
A New Semantics for Boolean Networks Based on Regulatory Threshold Constraints Consistency,
with Philippe Dague at Laboratoire Méthodes Formelles, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Gif-sur-Yvette;
-
Vers des preuves de théorèmes de coloration de graphes automatiques,
with Théo Pierron at LIRIS, Lyon;
-
Nouvelles heuristiques d’optimisation à voisinage étendu : une approche hybride inspirée de la physique,
with David Allouche at MIAT/MATHNUM INRAE, Castanet tolosan;
-
Reasoning on the execution time of programs with Kleene Algebra with Tests,
with Patrick Baillot and Leandro Gomes at CRIStAL (CNRS, Univ de Lille, INRIA), Lille;
-
Kleene Algebra with Tests for probabilistic programs,
with Patrick Baillot and Leandro Gomes at CRIStAL (CNRS, Univ de Lille, INRIA), Lille;
-
Formal Guarantees and Hardware Deployment of Quantized Neural Network Controllers: A Case Study on UAV Collision Avoidance Using ACAS Xu,
with Dorra Ben Khalifa at Fédération ENAC ISAE-SUPAERO ONERA, Université de Toulouse, Toulouse;
-
Defining dynamic coalitions within the specification of properties for multi-agent systems,
with Vadim Malvone at Telecom Paris, Paris;
-
Dense substructure enumeration for graph contraction,
with Hamida SEBA at Université Lyon 1, Villeurbanne;
-
Digital Health in Diabetes Care: a Computational Journey from Minipigs to Humans,
with Cédric Lhoussaine at Université de Lille, LILLE;
-
Generative AI and Argumentation,
with Bruno YUN at Universite Claude Bernard Lyon 1, CNRS, Ecole Centrale de Lyon, INSA Lyon, Université Lumière Lyon 2, LIRIS, UMR5205, 69622 Villeurbanne, France, Lyon;
-
Complexity of robust optimization in the polynomial hiearchy,
with Michael Poss at LIRMM, Montpellier;
-
Distributed Dynamic Graph Algorithms,
with Ami Paz at LISN: CNRS & Paris-Saclay University, Gif-sur-Yvette;
-
Lower bounds on provenance and counting for recursive queries,
with Antoine Amarilli at Inria Lille, Lille;
-
Re-computation and Memory Consumption in Parallelism Models for training Deep Neural Networks,
with Julien Herrmann at CNRS / IRIT / APO, Toulouse;
-
Rigorous development of database backends,
with Marc Shapiro at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France);
-
A Kubernetes-based backend for the Varda distributed programming language,
with Marc Shapiro & Alessio Pagliari at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France);
-
Verification for the Varda distributed programming language,
with Marc Shapiro at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France);
-
Composition et communication directe entre fonctions serverless,
with Alessio Pagliari at Sorbonne-Université (Campus Jussieu)— LIP6, Paris (France);
-
Global (Graph) Transformation,
with Luidnel Maignan at https://www.lacl.fr/, Créteil, Ile de France;
-
Heterogenous Architectures For Particle Reconstruction in High Energy Physics,
with Adriano Di Florio (CC-IN2P3) at CC-IN2P3, Lyon;
-
Anomaly Detection in Link Streams,
with Maroua Bahri at Sorbonne Universite, LIP6;
-
Compression of large dynamic graphs,
with Binh-Minh Bui-Xuan at Sorbonne Université, Paris;
-
Incremental Maintenance of Queries on Dynamic Trees,
with Antoine Amarilli at Inria Lille, Lille;
-
Enumerating Simple Paths Satisfying a Regular Path Query,
with Antoine Amarilli at Inria Lille, Lille;
-
Tensorial approaches in causal discovery,
with Marianne Clausel at University of Lorraine, Nancy;
-
GenAI for causality,
with Marianne Clausel at University of Lorraine, Nancy;
-
Infering Logical Abstractions of Reaction Networks by Neural Networks ,
with Joachim Niehren at Inria Center of the University of Lille, Lille;
-
Copoints enumeration in graph convexities,
with Oscar Defrain at LIS, Aix Marseille Université, Marseille;
-
Orientations and Connectivity,
with Florian Hörsch at CISPA, Saarbrücken;
-
Inferencing Logical Abstractions of Reaction Networks by Neural Networks,
with Joachim Niehren at Inria Center of the University of Lille, Lille;
-
Utilisation des champs de Markov pour le nommage d'embryons d'ascidie,
with Gregoire Malandain at INRIA, Sophia Antipolis;
-
Développement de protocoles cryptographiques pour un vote électronique (plus) sûrs dans la vraie vie,
with Alexandre Debant at Inria, Nancy;
-
Solving diversity problems,
with Julien Baste at Université de Lille - CRIStAL, Lille;
-
Coloring graphs or digraphs,
with Ararat Harutyunyan at University Paris-Dauphine, PSL, Paris;
-
Formalisation des aspects dynamiques de lath ́eorie des bigraphes dans Coq,
with Celia Picard at ENAC, Toulouse;
-
Detecting the tool and the filter lists used by ad blocking solutions,
with Pierre Laperdrix at CNRS, Lille;
-
Development of Parameterized Algorithms for Accurate Graph Statistic Publications under Local Differential Privacy,
with Vorapong Suppakitpaisarn at The University of Tokyo, Tokyo;
-
Optimal quantization of ReLU neural networks,
with Rémi Gribonval, Elisa Riccietti at Inria, ENS Lyon, Lyon;
-
MÉTHODES MATHÉMATIQUES ET NUMÉRIQUES POUR L’ÉTUDE ET LA CONCEPTION D’ÉOLIENNES ET D’HYDROLIENNES À AXE HORIZONTAL,
with Julien Salomon at Sorbonne Université & INRIA, Paris;
-
Schema-based Property Graph Data Integration,
with Angela Bonifati at Université Claude Bernard Lyon 1 and IUF, Lyon or Grenoble;
-
Advancing Explainable AI in Medical Imaging,
with Dr. Vandana Bharti at IIT Dharwad, Dharwad;
-
Reinforcement Learning on a Diet,
with Emmanuel Rachelson at ISAE-SUPAERO, Toulouse;
-
Algorithmic and Complexity Analysis of Computational Social Choice Problems,
with Jiehua Chen at TU Vienna, Vienna;
-
The Snake Puzzle,
with Yan Gerard at LIMOS , Clermont-Ferrand (or Arles);
-
Design and Analysis of Randomized Search Heuristics,
with Benjamin Doerr at École Polytechnique, Palaiseau;
-
Balanced coloring,
with Reza NASERASR at IRIF, CNRS, Université de Paris, PARIS 13;
-
Explaining object detection models,
with misbah razzaq at INRAe, Tours;
-
Comprendre, mesurer et renforcer la résilience d’un système en cas de crise humanitaire,
with Giacomo Kahn at Université Lyon 2 -- Laboratoire DISP, Lyon;
-
Controllers in Many-sided Reactive Synthesis: a Strategic Perspective,
with Mickael Randour at F.R.S.-FNRS & UMONS, Mons, Belgium;
-
Defining nudging strategies in the specification of properties for multi-agent systems,
with Vadim Malvone at Telecom Paris, Paris;
-
Towards the verification of smart contracts,
with Vadim Malvone at Telecom Paris, Paris;
-
Defining dynamic coalitions within the specification of properties for multi-agent systems,
with Vadim MALVONE at Telecom Paris, Paris;
-
Formally Verifying Privacy in Cryptographic Protocols through Trace Properties,
with Lucca Hirschi at Inria, Nancy;
-
Dolev-Yao-Model-Guided Fuzzing of Cryptographic Protocols,
with Lucca Hirschi at Inria, Nancy;
-
Matroid-Constrained Clustering,
with Chien-Chung Huang at ENS Paris, Paris;
-
Numeric-symbolic polynomial system solving,
with Grégoire LECERF at CNRS, Palaiseau;
-
Mixed degree conditions in hypergraphs (Conditions de degrés mixtes pour la théorie extrémale des hypergraphes),
with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå;
-
Subcube intersection graphs (Graphes d'intersections de sous-cubes),
with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå;
-
Maker-Breaker Percolation Games (Jeux de percolation Maker-Breaker) ,
with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå;
-
Formal verification of security protocols,
with Charlie Jacomme at Inria, Nancy;
-
Intel User Interrupt Improvement,
with Alain Tchana at LIG - Grenoble INP, Grenoble;
-
Probabilistic Search Algorithms with Applications in Biology,
with Pierre Fraigniaud at CNRS, Paris ;
-
Adaptive methods for safe machine learning,
with Yassine Laguel & Samuel Vaiter at Université d'Azur, Nice;
-
Understanding the reasons of algorithmic bias,
with Jean-Michel Loubes at Artificial and Natural Intellligence Institute of Toulouse , toulouse;
-
Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level,
with Matthieu Moy at Univ. Lyon 1, Lyon;
-
DNA Computing and DNA nanotechnology,
with Prof Damien Woods at Hamilton Institute, Maynooth University, Maynooth, Ireland;
-
Theoretical and practical aspects of spectral estimation for optimal optimization algorithms design,
with Remi Gribonval at INRIA, Lyon;
-
Using deep learning to detect epileptic spike from brain activity recordings,
with Romain QUENTIN at INSERM, Lyon;
-
Various topics in formal logic and proof assistants ,
with Yannick Forster at Inria, Paris;
-
Exploration dynamique d'espaces multidimensionnels des paramètres de modèles de systèmes complexes,
with Gilles Ardourel - Christian Attiogbé at LS2N UMR 6004 - Nantes Université, Nantes;
-
Simulator inference by machine learning,
with Istvan David at McMaster University, Hamilton, Canada;
-
Continuous Optimization models for logical constraints,
with Sonia Cafieri et Marcel Mongeau at ENAC, Toulouse;
-
Ultrasound image simulation for virtual reality surgical training ,
with Carlos Rossa at Carleton University , Ottawa;
-
Graph Problems in Massively Parallel Computing,
with Yannic Maus at TU Graz, Graz;
-
Formal verification of the cryptographic protocol verifier ProVerif with Isabelle/HOL,
with Sophie Tourret at Inria centre at Université de Lorraine, Loria, Nancy;
-
Kernel Testing for Spatial Distributions,
with Franck Picard at CNRS ENS-Lyon, Lyon;
-
Applications of Sinkhorn's alternative scaling to quantum information theory,
with Ion Nechita at CNRS, LPT Toulouse, Toulouse;
-
Exploration by model-checking of timing anomaly cancellation in a processor,
with Lionel Rieg at VERIMAG, GRENOBLE;
-
Analyzing fault parameters triggering timing anomalies,
with Lionel Rieg at VERIMAG, GRENOBLE;
-
Finding completely independant spanning trees in transitive graphs,
with Olivier Togni at Université de bourgogne, LIB, Dijon;
-
Machine learning approaches to learn automata from their traces,
with Eric Fabre at INRIA, Rennes;
-
Policy properties for greedy adaptive submodular maximization,
with Sivan Sabato at McMaster University, Hamilton, Ontario, Canada;
-
Interactive Learning with explanations,
with Sivan Sabato at McMaster University, Hamilton, Ontario, Canada;
-
Causal explanations for embedded systems,
with Gregor Gössler at INRIA, Grenoble;
-
Formal Verification for Quantum Programming,
with Christophe Chareton, Sébastien Bardin at CEA/LIST, Palaiseau;
-
Easily generate hard instances,
with Florian Sikora at LAMSADE, Paris;
-
Privacy Analysis of Hidden-State Noisy-SGD with Applications to Sampling,
with Shahab Asoodeh at McMaster University, Hamilton;
-
Résolution de problèmes entiers paramétriques linéaires par SAT,
with Sid Touati at Université Côte d'Azur, Sophia Antipolis;
-
Parameterized Approximation Algorithms,
with Andreas Emil Feldmann at University of Sheffield, Sheffield, UK;
-
Lexicographic Enumeration of Maximal Independent Sets,
with Arnaud Labourel at LIS, Aix-Marseille Université, CNRS, Marseille;
-
Coupling formal methods and MBSE approach for the development of resilient complex systems,
with Nasrine DAMOUCHE at ISAE-SUPAERO (https://www.isae-supaero.fr/en/about-isae-supaero/the-institute/), Toulouse;
-
Formal Methods for Consistent Requirements Specification in Cyber-Physical Systems,
with Nasrine DAMOUCHE at ISAE-SUPAERO (https://www.isae-supaero.fr/en/about-isae-supaero/the-institute/), Toulouse;
-
Controllers in Many-sided Reactive Synthesis: a Strategic Perspective,
with Mickael Randour at F.R.S.-FNRS & UMONS, Mons, Belgium;
-
Spatial Modeling and Simulation: creating advanced models for with spatial features,
with Gabriel Wainer at Carleton University, Ottawa;
-
Development of Cyber-Physical systems using a discrete-event approach,
with Gabriel Wainer at Carleton University, Ottawa;
-
Patterns in combinatorial objects inspired by biological structures,
with Sergey Kirgizov at LIB, Université de Bourgogne, Dijon;
-
Formal Methods for the Verification of Self-Adapting Distributed Systems,
with Radu Iosif at VERIMAG, Grenoble;
-
Optimized Memory Representation for Algebraic Data Types,
with Gabriel Radanne at Inria, Team CASH, LIP, Lyon;
-
Formal verification of trajectories,
with Yves Bertot at Inria Université Côte d'Azur, Sophia Antipolis;
-
Allocation de registres pour langage dédié à la cryptographie,
with Sid Touati at Université Côte d'Azur, Sophia Antipolis;
-
Compilation of a DSL based on transducers to SIMD optimized programs,
with Charles Paperman at CRIStAL, Université de Lille, Lille;
-
Contrastive Representation Learning in Medical Imaging,
with Pietro Gori at Telecom Paris, Paris;
-
Visualization and queries for biology in de Bruijn graphs,
with Charles Paperman at CRIStAL, Université de Lille, Lille;
-
Typing Behaviours for Elixir,
with Giuseppe Castagna at IRIF: CNRS - Université Paris Cité, Paris;
-
Reconnaissance de programmes par réseaux de neurones de graphes,
with Sid Touati at Inria, Université Côte d'Azur, Sophia-Antipolis;
-
Jeux sur automates légèrement nondéterministes/Games on mildly nondeterministic automata,
with Karoliina Lehtinen at CNRS, LIS, Aix-Marseille Université, Marseille;