JGA 2022 - Sciencesconf.org

›8:30 (30min)

Accueil

8:30 - 9:00 (30min)

Accueil

Acceuil des participants

›9:00 (1h)

Session 1
Michail Lampis

9:00 - 10:00 (1h)

Session 1

Michail Lampis

› First order logic and twin-width in tournaments - Colin Geniet, Modèles de calcul, Complexité, Combinatoire 09:00-09:20 (20min)

› 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:20-09:40 (20min)

›9:40 (20min)

Pause café

9:40 - 10:00 (20min)

Pause café

›10:00 (1h40)

Remise des prix Charles Delorme - Frédéric Havet

10:00 - 11:40 (1h40)

Remise des prix Charles Delorme - Frédéric Havet

›11:45 (1h15)

Déjeuner

11:45 - 13:00 (1h15)

Déjeuner

›13:00 (1h)

Que peut-on certifier succinctement?
Théo Pierron - chair : Aurélie Lagoutte

13:00 - 14:00 (1h)

Que peut-on certifier succinctement?

Théo Pierron - chair : Aurélie Lagoutte

https://jga2022.sciencesconf.org/data/program/Pierron.pdf

›14:00 (1h)

Session 2
Laurent Feuilloley

14:00 - 15:00 (1h)

Session 2

Laurent Feuilloley

› Finding small rectangle graphs with interesting properties - 14:00-14:20 (20min)

› Graph functionality and symmetric difference - Clément Dallard, Université d'Orléans 14:20-14:40 (20min)

› Tree-layout based graph classes: the case of proper chordal graphs. - Evangelos Protopapas, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier 14:40-15:00 (20min)

›15:00 (20min)

Pause café

15:00 - 15:20 (20min)

Pause café

›15:20 (1h40)

Session 3
Anthony Perez

15:20 - 17:00 (1h40)

Session 3

Anthony Perez

› 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:20-15:40 (20min)

› Algorithmes empiriquement efficaces pour trouver des stables de taille maximale dans des graphes cycle-plus-triangles - 15:40-16:00 (20min)

› Around the Matching-Cut problem - Carl Feghali, LIP, ENS Lyon 16:00-16:20 (20min)

› 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:20-16:40 (20min)

› Packing signatures in signed graphs - Weiqiang Yu, IRIF 16:40-17:00 (20min)

›17:00 (20min)

Pause café

17:00 - 17:20 (20min)

Pause café

›17:20 (1h40)

Session 4
Remi Watrigant

17:20 - 19:00 (1h40)

Session 4

Remi Watrigant

› Various bounds on the minimum number of arcs in a k-dicritical digraph - Quentin VERMANDE, Département dínformatique - ENS Paris 17:20-17:40 (20min)

› Proving a directed analogue of the Gyárfás-Sumner conjecture for orientations of P4 - Amadeus Reinald, Algorithmes, Graphes et Combinatoire 17:40-18:00 (20min)

› (P_6, triangle)-free digraphs have bounded dichromatic number - Guillaume Aubian, Institut de Recherche en Informatique Fondamentale 18:00-18:20 (20min)

› Digraph redicolouring - Lucas Picasarri-Arrieta, Inria Sophia Antipolis - Méditerranée 18:20-18:40 (20min)

› Ensembles dominants localisateurs dans les graphes orientés - Caroline Brosse, Laboratoire dÍnformatique, de Modélisation et dÓptimisation des Systèmes 18:40-19:00 (20min)

›19:00 (2h)

Soirée vin fromage

19:00 - 21:00 (2h)

Soirée vin fromage