FR | EN
Quentin L. Meunier
Associate Professor in Computer Science at Sorbonne Université

The ADL2018 Contest

From September to November 2018, Elisabeth Busser, Gilles Cohen and Jean-Louis Legrand organised for the second time a mathematical contest via the site Affaire de Logique, this time only composed of 8 problems (1 per week), and numbered from 1066 to 1073.

This section gathers the problems and their correct answers, along with programs intended to solve some of them.