Cet article explore l'application de la Satisfiabilité Maximum comme paradigme d'optimisation pour résoudre le problème de planification de sessions de conférences de manière efficace. Une attention particulière est portée sur la minimisation des conflits entre les groupes de travail dans le contexte de la conférence ROADEF. Les résultats des solveurs de la littérature sur les instances de ROADEF 2024 démontrent la capacité de notre modèle à planifier efficacement les sessions, tout en permettant de réduire le nombre de conflits ainsi que le nombre maximum de sessions parallèles par rapport à la solution manuelle proposée par le comité d'organisation.