Events archive for 2018
Machine Proofs of Linear Logic, December 18th, 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
General meeting, December 3rd to 5th, 2018
Joint Meeting of the projects GDRI-LL/Crecogi/Elica, October 8th to 11th, 2018
TLLA-Linearity 2018, July 6th to 19th, 2018
Workgroup on a LL handbook, May 31st to June 1st, 2018
First working session on the Linear Logic (Hand)book GDRI-LL project (at IRIF, Paris 7).
Workshop on proof nets, May 29th to 30th, 2018
Workshop at the LIPN (Paris 13).
Organizer: Stefano Guerrini.
- Jules Chouquet, Giulio Guerrieri, Damiano Mazza and Le Thanh Dung Nguyen, Contributed talks
- Jean-Yves Girard, La Logique : 2.1, desaxiomatisation de l’arithmétique
"Groupe de travail" on transcendental syntax, May 28th to 29th, 2018
General meeting, March 12th to May 12th, 2018
Probabilistic Interactive Higher-Order Computation, February 22nd to 23rd, 2018
The meeting has its own webpage.