Machine Proofs of Linear Logic, Dec. 18, 2018

Topics will be related with: automatic proof search, benchmarks, interactive proofs, formalization of LL meta-theory, applications, etc.

Additional informations: https://perso.ens-lyon.fr/olivier.laurent/llipido/rencontre181218.html