Posters

GT ALEA

• Koechlin Florent, LORIA : Réduction d’expressions aléatoires
• Salvy Zéphyr, LIGM : Cartes planaires aléatoires décomposées en blocs : transitions de phase et régime critique

GT Arith

• Garcia Rémi, LS2N: Truncated Multiple Constant Multiplication Problem
• Wassim Seifeddine, Nantes: Exploring the effect of low precision activation function computations on neural network training

GT BIOSS

• Dursoniah Danilo , CRIStAL: Limits of a Glucose-Insulin Model to Investigate Intestinal Absorption in Type 2 Diabetes
• Sun Honglu, LS2N: Limit cycle analysis of a class of hybrid gene regulatory networks
• Vaginay Athénaïs, CRAN/LORIA: From Chemical Reaction Networks to Boolean Networks

GT C2

• Majbour Sara, GREYC: Etude des biais statistiques sur les templates pour l’authentification biométrique basée sur les codes correcteurs d’erreurs.

GT CF

• Prebet Rémi, LIP6: Calcul formel et géométrique appliqués à la résolution d’un problème effectif en robotique
• Signargout Hippolyte, UGA: Méthodes Wiedemann par blocs pour le calcul du déterminant de matrices quasi-Toeplitz polynomiales

GT CoA

• Gourdel Garance, ENS PARIS/IRISA: Streaming Regular Expression Membership and Pattern Matching
• Hilaire Claire, LaBRI: Long induced paths in minor-closed graph classes and beyond
• Krejca Martin S., LIP6: Run Time Analysis of Randomized Search Heuristics
• Saulpic David, LIP6: Sketches and data compression in clustering: theoretical algorithms for data science ?

GT CombAlg

• Maréchal Rémi, LIB: Enumeration of Dyck paths with air pockets  (poster à télécharger)
  
• Ménard Étienne, IF: Structures amassées sur les variétés de Richardson ouvertes : un algorithme de calcul de graines initiales
• Mlodecki Hugo, LISN: Une construction combinatoire d'un automorphisme bidendriphorme de WQSym.
• Tamayo Jiménez Daniel, LISN: Permutree Sorting

GT DAAL

• Barloy Corentin, CRIStAL: The regular languages of first-order logic with one alternation
• Durand Alexandre, LITIS: Étude du monoïde engendré par les opérations unaires sur les langages
• Gallot Paul, CRIStAL: Functional programming in tree transducers
• Gienieczko Mateusz, Un. Warsaw: Rapid SIMD processing of JSON queries

GT GDMM

• Lu Jui-Ting, LIRIS: L'analyse géométrique de surface par l'algorithme de type "plane-probing"

GT Graphes

• Doré François, I3S: A New Heuristic for Rectilinear Crossing Minimization
• Stamoulis Giannos, LIRMM: Theta-logic and Algorithmic meta-theorems

GT LHC

• Blondeau-Patissier Lison, I2M&LIS: An extensional resource lambda-calculus and its categorical semantics
• Catta Davide, LIRMM: Sémantique des jeux pour la logique modale
• Defourné Antoine, VeriDis(inria): Automated Deduction for TLA+

GT Mod.géo

• Rasskin Ivan, IMAG: Construction of knots with sphere packings

GT SCALP

• Cerda Rémy, I2M: Taylor Expansion for the Infinitary Lambda-Calculus
• Chardonnet Kostia, IRIF: Compact category with biproduct for quantum control
• Mouhcine Mouhcine, LMF: Lebesgue Induction and Tonelli's Theorem in Coq

GT SDA2

• Lepšová Jana, LaBRI: A Numeration System for Fibonacci-like Wang Shifts
• Lutfalla Victor, LIS: Local rules without labels for Penrose's rhombus tilings
• Popoli Pierre, IECL: Suites automatiques et morphiques de grande complexité le long des sous-suite
• Riva Sara, I3S: MDDs Boost Equation Solving on Discrete Dynamical Systems

GT Vérif

• Bordais Benjamin, LMF: Local Interactions in Concurrent Graph Games
• Marinho Dylan, LORIA: Guaranteeing Timed Opacity using Parametric Timed Model Checking
• Vandenhove Pierre, LMF & UMONS: Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs

• Mangold Paul, CRIStaL/Inria: Differentially Private Coordinate Descent for Composite Empirical Risk Minimization