Links

A main resource about Formal methods which also includes a list of people and computer science departments involved with formal methods
Formal Methods Education Resources
The Open Directory Project entry on Publications in Computer Science contains links to bibliolgrahies and collections of papers and journal onlines. One of the best sources is ResearchIndex: The NECI Scientific Literature Digital Library which also contains links to many online papers.
The SOFTVERF mailing list about software verification.
The Theory-A mailing list is a more general list about theoretical computer science. Includes announcements about conferences.
The ACM calendar of events and the IEEE conferences.

Dept. of Computer Science and Applied Math
The Weizmann Institute of Science
Rehovot 76100, Israel
TelePhone: +972-8-934-3434
Telefax: +972-8-934-4122
To comment on this service, send feedback to the Nir Piterman