Programme
mercredi 16 novembre 2022
Heures |
événement |
(+)
|
08:30 - 09:00
|
Accueil - Acceuil des participants |
|
09:00 - 10:00
|
Session 1 - Michail Lampis |
(+)
|
09:00 - 09:20 |
› First order logic and twin-width in tournaments - Colin Geniet, Modèles de calcul, Complexité, Combinatoire |
|
09:20 - 09:40 |
› Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes - Giannos Stamoulis, AlGCo project team, LIRMM, Univ Montpellier, CNRS, Montpellier, France |
|
09:40 - 10:00
|
Pause café |
|
10:00 - 11:40
|
- Remise des prix Charles Delorme - Frédéric Havet |
|
11:45 - 13:00
|
Déjeuner |
|
13:00 - 14:00
|
Que peut-on certifier succinctement? - Théo Pierron - chair : Aurélie Lagoutte |
|
14:00 - 15:00
|
Session 2 - Laurent Feuilloley |
(+)
|
14:00 - 14:20 |
› Finding small rectangle graphs with interesting properties |
|
14:20 - 14:40 |
› Graph functionality and symmetric difference - Clément Dallard, Université d'Orléans |
|
14:40 - 15:00 |
› Tree-layout based graph classes: the case of proper chordal graphs. - Evangelos Protopapas, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier |
|
15:00 - 15:20
|
Pause café |
|
15:20 - 17:00
|
Session 3 - Anthony Perez |
(+)
|
15:20 - 15:40 |
› Sous-graphes d'orientations arbitraires de G(n,p) - Tássio Naia, Laboratoire Bordelais de Recherche en Informatique, Departamento de Ciência da Computação [São Paulo] |
|
15:40 - 16:00 |
› Algorithmes empiriquement efficaces pour trouver des stables de taille maximale dans des graphes cycle-plus-triangles |
|
16:00 - 16:20 |
› Around the Matching-Cut problem - Carl Feghali, LIP, ENS Lyon |
|
16:20 - 16:40 |
› Complexité de la coloration L(p, q) des arêtes - Gaétan Berthe, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier |
|
16:40 - 17:00 |
› Packing signatures in signed graphs - Weiqiang Yu, IRIF |
|
17:00 - 17:20
|
Pause café |
|
17:20 - 19:00
|
Session 4 - Remi Watrigant |
(+)
|
17:20 - 17:40 |
› Various bounds on the minimum number of arcs in a k-dicritical digraph - Quentin VERMANDE, Département dínformatique - ENS Paris |
|
17:40 - 18:00 |
› Proving a directed analogue of the Gyárfás-Sumner conjecture for orientations of P4 - Amadeus Reinald, Algorithmes, Graphes et Combinatoire |
|
18:00 - 18:20 |
› (P_6, triangle)-free digraphs have bounded dichromatic number - Guillaume Aubian, Institut de Recherche en Informatique Fondamentale |
|
18:20 - 18:40 |
› Digraph redicolouring - Lucas Picasarri-Arrieta, Inria Sophia Antipolis - Méditerranée |
|
18:40 - 19:00 |
› Ensembles dominants localisateurs dans les graphes orientés - Caroline Brosse, Laboratoire dÍnformatique, de Modélisation et dÓptimisation des Systèmes |
|
19:00 - 21:00
|
Soirée vin fromage |
|
Heures |
événement |
(+)
|
08:40 - 10:00
|
Session 5 - Florent Becker |
(+)
|
08:40 - 09:00 |
› Efficient computation of betweenness centrality in stream graphs - mehdi naima, LIP6 |
|
09:00 - 09:20 |
› Les composantes connexes dans les graphes temporels - Jason Schoeters, Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes |
|
09:20 - 09:40 |
› Simple, strict, propre, happy: Étude sur l'accessibilité des graphes temporels - Timothée Corsini, Laboratoire Bordelais de Recherche en Informatique |
|
09:40 - 10:00 |
› Une decomposition fréquence-structure pour les flots de liens - Esteban Bautista, Laboratoire d'Informatique de Paris 6 |
|
10:00 - 10:20
|
Pause café |
|
10:20 - 11:40
|
Session 6 - Théo Pierron |
(+)
|
10:20 - 10:40 |
› Local certication and graph coloring - Pegah Pournajafi, LIP, ENS Lyon |
|
10:40 - 11:00 |
› Reconstruction de graphes avec un oracle de distances - Paul Bastide, École normale supérieure - Rennes |
|
11:00 - 11:20 |
› The Weak (2,2)-Labelling Problem for graphs with forbidden induced structures - Pierre-Marie Marcille, Laboratoire Bordelais de Recherche en Informatique |
|
11:20 - 11:40 |
› Graphes universels pour de petites familles de graphes - Amaury Jacques, Laboratoire Bordelais de Recherche en Informatique |
|
11:40 - 13:00
|
Déjeuner |
|
13:00 - 14:00
|
Grundy distinguised treewidth from pathwidth - Valia Mitsou - chair : Marthe Bonamy |
|
14:00 - 15:00
|
Session 7 - Valia Mitsou |
(+)
|
14:00 - 14:20 |
› Avoider-Enforcer est PSPACE-complet - Valentin Gledel, Université d'Umea |
|
14:20 - 14:40 |
› Incidence, un jeu positionnel à score. - Nacim Oijid, Université Claude Bernard Lyon 1 |
|
14:40 - 15:00 |
› Coloration acyclique de graphes avec obstructions - Quentin Chuet, Laboratoire Interdisciplinaire des Sciences du Numérique |
|
15:00 - 15:20
|
Pause café |
|
15:20 - 17:00
|
Session 8 - Petru Valicov |
(+)
|
15:20 - 15:40 |
› Coloration à distance 2 dans les graphes planaires - Quentin Deschamps, Laboratoire d'Informatique en Image et Systèmes d'information |
|
15:40 - 16:00 |
› Erdos-Posa property of holes in planar graphs - Lucas De Meyer, École normale supérieure - Rennes |
|
16:00 - 16:20 |
› Neighbourhood complexity of planar graphs - Clément Rambaud, Département dínformatique - ENS Paris |
|
16:20 - 16:40 |
› Recolorer les graphes planaires avec des changements de Kempe - Clément Legrand-Duchesne, Laboratoire Bordelais de Recherche en Informatique |
|
16:40 - 17:00 |
› Une nouvelle heuristique pour la minimisation du nombre de croisements rectilignes - François Doré, Laboratoire d'Ínformatique, Signaux, et Systèmes de Sophia Antipolis |
|
17:20 - 18:20
|
Business Meeting - Ca parle business |
|
vendredi 18 novembre 2022
Heures |
événement |
(+)
|
08:40 - 10:00
|
Session 9 - Christophe Crespelle |
(+)
|
08:40 - 09:00 |
› Structure des graphes sans cycles indépendants - Claire Hilaire, Laboratoire Bordelais de Recherche en Informatique |
|
09:00 - 09:20 |
› Sur les graphes couvrables par k plus courts chemins - Maël Dumas, Laboratoire dÍnformatique Fondamentale dÓrléans |
|
09:20 - 09:40 |
› Isometric Path Cover : complexité et algorithmes sur les graphes cordaux - Antoine Dailly, LIMOS |
|
09:40 - 10:00 |
› Certifier la qualité d'une heuristique sur graphs réels - Fabrice Lécuyer, Sorbonne Université |
|
10:00 - 10:20
|
Pause café |
|
10:20 - 11:40
|
Session 10 - Oscar Defrain |
(+)
|
10:20 - 10:40 |
› Calcul de la décomposition bimodulaire et classes d'implications - Renaud Torfs, Institut de Recherche en Informatique Fondamentale |
|
10:40 - 11:00 |
› Étude théorique des problèmes de Ɣ-Clustering. - Antoine Castillon, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 |
|
11:00 - 11:20 |
› Exact Matching in Graphs with Small Independence Number - Nicolas El Maalouly, Institute of Theoretical Computer Science ETH Zurich |
|
11:20 - 11:40 |
› Multivariate Parameterization for Bounded Degree Vertex Deletion - Manolis Vasilakis, Laboratoire dánalyse et modélisation de systèmes pour láide à la décision |
|
13:00 - 14:00
|
Quelques résultats et questions sur les problèmes d'édition de graphes - Christophe Crespelle - chair : Jean-Florent Raymond |
|
14:00 - 15:00
|
Session 11 - François Pirot |
(+)
|
14:00 - 14:20 |
› Splits de graphe généralisés et structures combinatoires associées - François Pitois, Laboratoire d'Informatique en Image et Systèmes d'information |
|
14:20 - 14:40 |
› An improved algorithm to create low-crossing matchings in hypergraphs - Mónika Csikós, IRIF |
|
14:40 - 15:00 |
› Directed Acyclic Hypergraph Disjoint Clustering Problem with Path-length awarness - Julien Rodriguez, Laboratoire d'Intégration des Systèmes et des Technologies |
|
15:00 - 15:20
|
Pause café |
|
15:20 - 16:40
|
Session 12 - Julien Baste |
(+)
|
15:20 - 15:40 |
› Faster parameterized algorithms for modification problems to minor-closed graph classes - Laure Morelle, LIRMM |
|
15:40 - 16:00 |
› Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters - Fionn Mc Inerney, CISPA Helmholtz Center for Information Security |
|
16:00 - 16:20 |
› Paramètres de largeur dans la topologie algorithmique des 3-variétés - Kristóf Huszár, Inria Sophia Antipolis - Méditerranée |
|
16:20 - 16:40 |
› Twin-width V: linear minors, modular counting, and matrix multiplication - Ugo Giocanti, Laboratoire des sciences pour la conception, lóptimisation et la production |
|
|