Posters
Les posters sont présentés en salle F003-F004.
| Exposant | Titre | Affiliation |
| Sebastian Barbieri | The domino problem over fractal subsets between Z and Z^2 | LIP, ENS Lyon |
| Tom Besson | Discrétisation automatique de R^2 vers un automate cellulaire | LIFO, U. Orléans |
| Matthias Bordron | Accroissement de la qualité d'une numérisation 3D réalisé par un système robotisé basé sur l'analyse et l’intégration d'un mesure multi-systèmes externe en temps réel | LURPA, ENS Cachan |
| Alex Bredariol Grilo | QMA with subset state witnesses | LIAFA, U. Paris Diderot |
| Gregory Chatel | Sur des generalisations des objets Catalans et leurs algebres de Hopf | LIGM, U. Paris Est |
| Hugues De Lassus Saint-Geniès | Error-free tables for trigonometric function evaluation | Univ. Perpignan, LIRMM |
| Nicolas Duhamel | Arithmétique de genre 2 | LIX |
| Bastien Durix | Towards Skeleton based Reconstruction: From Projective Skeletonization to Canal Surface Estimation | IRIT Toulouse |
| Bin Fang | Generic Shape and Numerical Analysis of Free-List Allocator | LIAFA, U. Paris Diderot |
| Lila Fontes | Lower Bound Techniques for Communication Complexity | LIAFA, U. Paris Diderot |
| Nathanaël François | Streaming Property Testing of Visibly Pushdown Languages | TU Dortmund |
| Cyril Hugounenq | Arithmétique Rapide pour la Géométrie et la Cryptologie | UVSQ, PRiSM |
| Marie Kerjean | Le contenu calculatoire de la différentielle | PPS, U. Paris Diderot |
| Vincent Le Gallic | Design de structures secondaires d'ARN avec contraintes de séquences : une approche globale fondée sur les langages formels | LRI |
| Jean-Christophe Léchenet | Cut Branches Before Looking for Bugs: Sound Verification on Slices | LIST, CEA |
| Jérémy Levallois | Scale-Space Feature Extraction on Digital Surfaces | LIRIS, U. Lyon / LAMA, Chambéry |
| Hoang Gia Nguyen | Towards distributed verification of parametric real-time systems | LIPN, U. Paris 13 |
| Tuong-Bach Nguyen | Hierarchical shape representation with geometric and topological guarantees | GIPSA |
| Alice Pavaux | Types de données et types fonctionnels en Ludique | LIPN, U. Paris 13 |
| Vincent Penelle | Arbres de piles | LIJM, U. Marne la Vallée |
| Vincent Picard | Analyse stationnaire des réseaux de réactions : systèmes de contraintes en modélisation stochastique | IRISA |
| Kacper Pluta | Bijective rigid motions of the 2D Cartesian grid | LIGM, Marne-la-Vallée |
| Valentina Popescu | Towards fast and certified multiple-precision libraries | LIP, ENS-Lyon |
| Jean-Baptiste Priez | Exact enumeration of minimal acyclic automata - Bijection between acyclic automata and parking functions | LRI |
| Ngo Quoc Hoan | Harmonic sums and polylogarithms at negative multi-indices | LIPN, U. Paris 13 |
| Simon Theissing | Predicting traffic load in public transportation networks | LSV, ENS Cachan |
| Harny Wang | Supplementarity for ZX-calculus | LORIA, U. Nancy |