ECLaPS — SECLoP
Séminaire de l'Est du Canada sur la logique et la programmation