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