Project to factor numbers using the elliptic curve method. Client and server software.

Presents this laboratory whose mission consists in fundamental and applied research in the field of information and communications sciences, training in engineering colleges and doctorate schools and transfer of technology. Nancy, France.

Formal Methods for Parallel Programming: Theory and Applications. In conjunction with IPDPS. San Juan, Puerto Rico.

Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads.

FAQ-O-Matic, documentation, tools, links.

Project information including members list, news, papers, tools and links.