Towards a Linear Logic Handbook

This meeting will gather a small group of researchers among the Linear Logic International Research Network, involved in a project to write a Handbook of Linear Logic. The purpose of the meeting is to coordinate the efforts within this project, in order to produce a complete draft of the core chapter within the next months.