Events

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:

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.

Conference in honour of JYG, October 25th, 2017

In Roma, on the occasion of Jean-Yves Girard's 70th birthday. See the poster!

TLLA 17, September 3rd, 2017

TLLA 17

International Workshop affiliated with FSCD 2017

Oxford, September 3, 2017

LL2016, November 7th to 10th, 2016

An introductory school on linear logic followed by workshops on relationships between LL and philosophy, mathematics, computer science.

The school and workshops will take place in Lyon.

Have a look at the website.

Intersection types, June 13th to 14th, 2016

The meeting has its own webpage.

First general meeting, February 1st to 3rd, 2016

First general meeting of the GDRI-LL, in Bologna.

See the minutes of the meeting.

New trends in linear logic proof-nets, December 21st to 22nd, 2015