http://www.mapleprimes.com/posts/39860-Programming-Languages-For-Mechanized en-us 2026 Maplesoft, A Division of Waterloo Maple Inc. Maplesoft Document System Wed, 10 Jun 2026 06:58:24 GMT Wed, 10 Jun 2026 06:58:24 GMT The latest comments added to the Post, Programming Languages for Mechanized Mathematics Systems 2008 - Call for Papers http://www.mapleprimes.com/images/mapleprimeswhite.jpg http://www.mapleprimes.com/posts/39860-Programming-Languages-For-Mechanized http://www.mapleprimes.com/posts/39860-Programming-Languages-For-Mechanized?ref=Feed:MaplePrimes:Programming Languages for Mechanized Mathematics Systems 2008 - Call for Papers:Comments#comment69804 <p>As promised above, there will be a special of JAR dedicated to this topic - see <a href="http://www.cas.mcmaster.ca/~carette/jplmms/cfp.html">the CFP</a>.</p> The latest comments added to the Post, Programming Languages for Mechanized Mathematics Systems 2008 - Call for Papers 69804 Wed, 10 Sep 2008 19:02:58 Z JacquesC JacquesC