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/11245/38/3?wt_mc=alerts.TOCjournals&utm_source=toc&utm_medium=email&utm_campaign=toc_11245_38_3
La prochaine rencontre Inférences et démonstrations 2 aura lieu le 17 décembre 2019. Plus d’informations sur cette rencontre, cliquez ici