I believe the time is ripe for a mailing list on linear logic. The main idea is to provide a forum for the discussion of linear logic and related topics, such as interesting fragments of linear logic, proof nets, decision problems, affine logic (linear logic with unrestricted weakening), semantics, implementation, etc. I have set up a mailing list named "Linear@CS.Stanford.EDU". If you would like to be added to this mailing list, please send mail to Linear-Request@CS.Stanford.EDU Please forward this announcement on to others who might be interested.. Patrick Lincoln ==================================