GDRI Linear Logic

The GDRI LL is a French-Italian Groupement de Recherche International supported by CNRS and INDAM, whose purpose is to gather researchers interested in the connections between Linear Logic and various topics such as

 

Activities

The GDRI organizes regular events, aiming at gathering researchers on various scales, frow small workshops on specific subjects to general meetings: see the list of all past, current or upcoming events.

Documents

Icon Memorandum for the creation of the GDRI (807.4 KB)

Minutes of the first general meeting (Bologna, 1-3 Feb. 2016)

Note: Before this website existed, there was a page of the GDRI on the IRIF website.

Parties

Research units

Institutions