Les actes de la rencontre « Inférences et démonstrations 1 » de 2016 ont été publiés par TOPOI (Springer).
(https://link.springer.com/journal/1...

La prochaine rencontre Inférences et démonstrations 2 aura lieu le 17 décembre 2019. Plus d’informations sur cette rencontre, cliquez ici