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
On October 8-11 is organized a joint meeting of 3 projects which are all closely related:
- the French-Italian GDRI Linear Logic
- the INRIA and JSPS joint project CRECOGI
- the ANR project ELICA
TLLA-Linearity 2018, July 6th to 19th, 2018
The TLLA and Linearity workshops will be jointly organised in 2018 as part of the FLOC conference in Oxford.
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
Reading group at the LIPN (Paris 13).
Organizers: Paolo Pistone and Thomas Seiller.
- Paolo Pistone and Thomas Seiller, First-order logic (paper 3 section 2-5)
- Paolo Pistone and Thomas Seiller, Generalized connectives
- Paolo Pistone and Thomas Seiller, Stars and constellations (paper 1)
General meeting, March 12th to May 12th, 2018
Probabilistic Interactive Higher-Order Computation, February 22nd to 23rd, 2018
The meeting has its own webpage.