new area in ACM TOCL

The ACM Transactions on Computational Logic (TOCL), http://www.acm.org/tocl,
has now a new area 

             Computer Security

with John C. Mitchell as the editor.  It welcomes submissions in this
area, as well.

Krzysztof R. Apt
Editor-in-Chief of ACM TOCL
--------------------------------------------------------------------------
To subscribe or unsubscribe yourself from
dbworld, send a msg to majordomo-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx with 
one of these lines:
subscribe dbworld OR unsubscribe dbworld
To find out more options send a msg with the line:
help
To post messages, go to URL www.cs.wisc.edu/dbworld
--------------------------------------------------------------------------