Exposés longs de l'UE Séminaire 21-22

mardi 30 novembre salle 178 :

  • 8h00 : Pierre-Antoine Rouby : Using Automated Performance Modeling to Find Scalability Bugs in Complex Codes
  • 8h40 : Hugo Marchand : Machiavelli and the Gale-Shapley Algorithm
  • 9h20 : Raphaël Comet : Probabilistic Automata of Bounded Ambiguity

mardi 7 décembre salle 178 :

  • 8h00 : Hugo Bergon : HOMOMORPHISM DUALITY IN EDGE-COLOURED GRAPHS
  • 8h40 : Benjamin Moro : Bounded Model Checking
  • 9h20 : Amaury Jacques : DNA rendering of polyhedral meshes at the nanoscale

mardi 14 décembre salle 178 :

  • 8h00 : Roxane Flores : Fault-Tolerant Distance Labeling for Planar Graphs
  • 8h40 : Guillaume Mannone : On edge-graceful labeling and deficiency for regular graphs
  • 9h20 : Gaël Halnaut : Breaking the 2^n Barrier for 5-Coloring and 6-Coloring
  • 9h40 : Sarah Besnard : A SAT Approach to Clique-Width

mercredi 15 décembre salle 76 :

  • 9h00 : Kévin Elie : Learning Invariants using Decision Trees and Implication Counterexamples
  • 9h40 : Sarah Besnard : A SAT Approach to Clique-Width -> mardi 14
  • 9h40 : Simon Bullot : Markov partitions for toral Z2-rotations featuring Jeandel-Rao Wang shift and model sets
  • 10h20 : Jean Crabos : Pay-As-You-Go OWL Query Answering Using a Triple Store
  • 11h00 : Hollender Théo : Near-optimal induced universal graphs for cycles and paths