Rencontre du 18 décembre 2018

Projet LLipIdO & GDRI Linear Logic

Thème

Preuves de logique linéaire sur machine

preuves automatiques, benchmarks, preuves interactives, formalisation de la méta-théorie de LL, applications, etc.

Infos pratiques

Programme

à venir ...

n'hésitez pas à proposer vos exposés : olivier.laurent@ens-lyon.fr

Participants

si vous souhaitez participer : olivier.laurent@ens-lyon.fr