The first General Assembly of the GDRI Linear Logic took place in Bologna, on Feb 2016 the 2nd. The following decisions have been made.
A workshop on intersection types and denotational models will be organized at PPS in May 2016, the organizer will be Delia Kesner
An autumn school (mainly for Master students) on the philosophical aspects of LL as well as a scientific meeting will take place in Lyon in Nov 2016. Organizers: Jean-Baptiste Joinet and Olivier Laurent.
The next general meeting will take place in early Feb 2017 and will be combined with a workshop on proof-nets which will be organized just before by Lorenzo Tortora de Falco.
The satellite workshops of CSL 2016 (Marseille, Sept 2016), and especially LCC organized by Damiano Mazza, will be advertised in the GDRI LL community and partly supported by the GDRI.
One of the objectives of the GDRI LL will be the production of a collective reference book on Linear Logic. This effort, already initiated by them a few years ago, will be coordinated by Claudia Faggian (PPS) and Olivier Laurent (LIP). A coordination meeting will be organized during one of the 2016 GDRI-LL workshops.
As proposed by Michele Abrusci, one of the efforts will be to popularize the ideas and methodologies introduced by LL towards 3 identified scientific communities:
To this effects, other schools will be organized for young researchers as well as master and PhD students, following the same pattern as the automn school on LL and philosophy of Nov 2016, Lyon. These three communities having clearly distinct natural connections with LL (philo: logic of interaction; maths: algebra, categories; computer science: resource management, complexity) the main feature of this programme will be to conceive these events keeping in mind the target communities and their interests.
The coordinators of the GDRI LL will get in touch with colleagues interested by LL outside France and Italy (mainly in Germany and in the UK) and propose them to take part to some of our activites on a regular basis. The purpose of this effort is to slowly widen the GDRI community in Europe.
The domain name linear-logic.org will be bought by the GDRI LL and a web site for the GDRI LL will be set up in this domain by Emmanuel Beffara on one of the servers of the LIP (Lyon). This web site will
present the purpose and composition of the GDRI LL
list its past and future activities (meetings, schools, workshops)
provide GDRI internal documents on private pages
try to summarize opportunities for cooperation within the GDRI LL (EU calls, bilateral cooperation programmes of CNRS and other institutions etc)
offer a public blog on LL, animated by Damiano Mazza
Organization of a workshop on automatic and interactive proof search and decidability. Organizers: Olivier Laurent and Dale Miller if he is interested. A natural place to organize it could be the LIX.
Creation of a MOOC on LL.
Cooperation with the french GDR “Informatique Mathématique” in the framework of the “Ecole de printemps d'Informatique Théorique”