Events archive for 2016
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.