File: new.html

package info (click to toggle)
acl2 3.1-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 36,712 kB
  • ctags: 38,396
  • sloc: lisp: 464,023; makefile: 5,470; sh: 86; csh: 47; cpp: 25; ansic: 22
file content (70 lines) | stat: -rw-r--r-- 2,597 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
<HTML>
<HEAD><TITLE>ACL2 Version 3.1 News</TITLE></HEAD>

<BODY TEXT="#000000">
<BODY BGCOLOR="#FFFFFF">

<H1><A NAME="top">ACL2 Version 3.1 News</A></H1>

<H2>Table of Contents</H2>

<ul>

<LI><A HREF="#courses">ACL2 Course Materials</A></LI>

</ul>

<A NAME="courses"><H2>ACL2 Course Materials</H2></A>

At some point, perhaps "ACL2 Course Materials" will be a top-level link on the
ACL2 home page.  For now, we provide some links.

<ul>

<li>Here is a link to the <a
href="http://www.faculty.idc.ac.il/yishai/reasoning/">web
page for Yishai Feldman's Computer-Aided Reasoning course at The Interdisciplinary Center, Herzliya</a>.</li>

<li>Ruben Gamboa and John Cowles, <a
href="http://www.gamboas.org/ruben/classes/2003-fall/cosc5000/">COSC5000:
Seminar: Introduction to ACL2</a>, Univ. of Wyoming.</li>

<li>John Cowles, <a href="http://www.cs.uwyo.edu/~cowles/jvm-acl2/">COSC5010:
Formalizing the JVM in ACL2</a>, Univ. of Wyoming.</li>

<li>Links to some of Warren Hunt's courses, many of which use ACL2, may be found <a
href="http://www.cs.utexas.edu/users/hunt/class/index.html">here</a>.</li>

<li>Here is are links to web pages for two courses taught by Pete Manolios at
Georgia Tech
<ul>
<li><a href="http://www.cc.gatech.edu/~manolios/courses/Computational-Logic/2005-Spring/">CS 8803 Computational Logic
(Spring 2005)</a></li>
<li><a
href="http://www.cc.gatech.edu/fac/Pete.Manolios/courses/Hardware-Verification-Seminar/2004-Fall/">CS
8001 Hardware Verification Fall 2004</a></li>
</li>
</ul>

<li>Links to some of J Moore's courses, many of which use ACL2, may be found <a
href="http://www.cs.utexas.edu/users/moore/classes/index.html">here</a>.</li>

<li>Here are links to some web pages for a course taught by Rex Page at the
Univ. of Oklahoma.
<ul>
<li><code><a href="http://www.cs.ou.edu/~rlpage/SEcollab/rlpNotesCAR.zip">http://www.cs.ou.edu/~rlpage/SEcollab/rlpNotesCAR.zip</a></code></li>
<li><code><a href="http://www.cs.ou.edu/~rlpage/SEcollab/rlpSEprojects.zip">http://www.cs.ou.edu/~rlpage/SEcollab/rlpSEprojects.zip</a></code></li>
<li><code><a href="http://www.cs.ou.edu/~rlpage/SEtools/ACL2books/">http://www.cs.ou.edu/~rlpage/SEtools/ACL2books/</a></code></li>
</ul>
</li>

<li><a href="http://www.stanford.edu/~ewsmith/acl2/">Eric Smith's web page for a class at Stanford</a></li>

</ul>


<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>
<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>

</BODY>
</HTML>