[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] call for papers
|
From: |
Tim Daly |
|
Subject: |
[Axiom-developer] call for papers |
|
Date: |
Wed, 17 Nov 2004 09:17:23 -0500 |
fyi
There is a call for papers on Calculemus 2005, the 12th Symposium on
the Integration of Symbolic Computation and Mechanical Reasoning
http://imps.mcmaster.ca/calculemus-2005/call-for-papers.html
Perhaps it's time to install ACL2 under Axiom.
t
- [Axiom-developer] call for papers,
Tim Daly <=