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:

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:

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.

"Groupe de travail" on transcendental syntax, May 28th to 29th, 2018

Reading group at the LIPN (Paris 13).

Organizers: Paolo Pistone and Thomas Seiller.

General meeting, March 12th to May 12th, 2018

Probabilistic Interactive Higher-Order Computation, February 22nd to 23rd, 2018

The meeting has its own webpage.