LINEAR LOGIC IN COMPUTER SCIENCE

TMR network

The LINEAR research network action is part of the european Training and Mobility for Researchers programme.

The LINEAR network's thematic is focused on developing the theory and the applications of Linear Logic. It is formed by seven sites located in Marseille, Bologna, Cambridge, Edinburgh, Lisboa, Paris and Roma. Each site federates a few subsites so that the network includes the main european working groups on Linear Logic.

The LINEAR network starting date is May 1st 1998. It will end four years later. During its lifetime, the network will basically have two kinds of activities:

Research activity.

The scientific thematic of the network is described here. Periodic (at least once a year) meetings and workshops are scheduled, as well as short visits of researchers between sites and substites. In the mid-term, an International Summer School was held in the Azores from August 30 to September 7, 2000.

Young researchers.

As part of the TMR programme, one main purpose of the network is to hire post-docs. So the network proposes a certain number of one year post-doc positions, starting from September 1st 1998.