Session 5: Foundations

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