The old (1997-2004) John Von Neumann Minerva Center for
Verification of Reactive Systems
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