Events

Conference in honour of JYG, October 25th, 2017

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

General meeting, October 23rd to 24th, 2017

Second general meeting of the GDRI-LL, in Roma.

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