ACL2-2002

Edit Page

Report

Scan day: 17 February 2014 UTC

Virus safety - good

http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/

Description: Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.

Subcat: https://morefunz.com/science/math/logic-and-foundations/?page=8

Third International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2002) ACL2-2002 was held on April 8-9 (Monday/Tuesday), 2002, in Grenoble, France. This workshop was a satellite event of ETAPS 2002. An ACL2 tutorial took place on April 7, the day before the workshop. See its

Size: 293 chars

Contact Information

Email:Send Message

Phone&Fax: —

Address: —

Extended: —

WEBSITE Info

Page title:	ACL2-02
Keywords:
Description:
IP-address:	128.83.120.139

WHOIS Info

NS	Name Servers: CHISOS.OTS.UTEXAS.EDU 128.83.185.39 GLASS.ITS.UTEXAS.EDU 129.116.136.5
WHOIS
Date	activated: 13-Aug-1985 last updated: 15-Aug-2012 expires: 31-Jul-2014