Session 5: Foundations

9 November 2016 @ 11:00 AM – 12:50 PM Europe/Paris Timezone
ENS Lyon - Amphitheater Charles Mérieux
Place de l'École
69007 Lyon

Amphitheater Charles Mérieux, Place de l’École
Session Chair: Joffroy Beauquier

  • Automatic Addition of Conflicting Properties. Mohammad Roohitavaf and Sandeep Kulkarni
  • Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model. Nayuta Yanagisawa
  • Making Local Algorithms Wait-free: The Case of Ring Coloring. Armando Castaneda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, and Michel Raynal
  • Analysis of Computing Policies Using SAT Solvers (Short Paper). Marijn J. H. Heule, Rezwana Reaz, H. B. Acharya, and Mohamed G. Gouda
  • Meta-algorithm to choose a good on-line prediction (Short Paper). Alexandre Dambreville, Joanna Tomasik, and Johanne Cohen