https://hokiepokie.org/classes/teaching.html

1<!DOCTYPE html PUBLIC "-//w3c//dtd html 4.0 transitional//en">
2<html>
3<head>
4  <meta http-equiv="Content-Type"
5 content="text/html; charset=iso-8859-1">
6  <meta name="GENERATOR"
7 content="Mozilla/4.7 [en] (Win95; I) [Netscape]">
8</head>
9<body>
10<font size="+2">Classes</font>
11<p><b><font size="+1"><a href="http://www.coe.edu">Coe College</a></font></b>
12<br>
13<a href="cs345/index.html">CS 345, Data Structures and Algorithm
14Analysis,
15Spring '98</a>
16</p>
17<p><b><font size="+1"><a href="http://www.mtmercy.edu">Mt. Mercy College</a></font></b>
18<br>
19MA 287, Computation Theory: Logic and Program Correctness, Fall '98
20<br>
21&nbsp;
22</p>
23<p><font size="+2">Program committees</font>
24</p>
25<p><a href="http://www.cc.gatech.edu/%7Emanolios/acl206">ACL2
26Workshop 2006</a> (co-chair)<br>
27<a href="http://www.fmcad.org/2004">Formal Methods for Computer-Aided
28Design (FMCAD) 2004</a>
29<br>
30<a href="http://www.irisa.fr/manifestations/2004/MEMOCODE/">Formal
31Methods and Models for Codesign (MEMOCODE 2004)</a>
32<br>
33<a href="http://www.cs.utexas.edu/users/moore/acl2/workshop-2003">ACL2
34Workshop 2003</a>
35<br>
36<a href="http://www.fmcad.uwaterloo.ca/">Formal Methods for
37Computer-Aided
38Design (FMCAD) 2002</a>
39<br>
40<a href="http://www.cs.utexas.edu/users/moore/acl2/workshop-2000/">ACL2
41Workshop 2000</a>
42<br>
43<a href="http://shemesh.larc.nasa.gov/fm/Lfm2000/">5th Langley Formal
44Methods Conference (LFM 2000)</a>
45<br>
46<a href="http://www.cs.indiana.edu/%7Esjohnson/FMCAD/">Formal Methods
47for Computer-Aided Design (FMCAD) 2000</a>
48</p>
49<p>Back to <a href="../index.html">Wilding Web Page</a>
50</p>
51</body>
52</html>