A european research network
We are glad to announce the creation of the european network:
LINEAR LOGIC IN COMPUTER SCIENCE
This network is funded by the "Training and Mobility for Researchers"
EC programme. It started on the 1st of May and will end in 2002.
The network has two main goals:
- promote research in linear logic by organizing workshops, meetings,
exchanges of researchers, etc... A summer school will be organized at
the mid-term (summer 2000) probably in Lisbon.
- the main part of the european funding will be devoted to the
training of young researchers. As such the network is proposing a
certain number of one year post-doc positions, starting from September
More information may be found at
Coordinator of the LINEAR network