[Prev][Next][Index][Thread]

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
1998.

More information may be found at

		http://iml.univ-mrs.fr/LINEAR/

Laurent Regnier
Coordinator of the LINEAR network