<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>April 22 meeting</title>
<base href="http://ourdoings.com/boston-lisp/">
<link rel="stylesheet" type="text/css" href="http://img.ourdoings.com/style/default/main.css" />
<!--[if IE]><link rel="stylesheet" type="text/css" href="http://img.ourdoings.com/style/default/ie.css" /><![endif]-->
</head>
<body>
<div id="mainBody">
<div class="entries" id="onecol">
<div class="entry _2008 _200804 _20080422"><h3><a name="e1420" href="http://ourdoings.com/boston-lisp/2008-04-22"><span class="month">Apr</span> 22</a></h3> <h4>Peter Dillinger on ACL2s; Hans Hübner on BKNR</h4><p class="view-all"><a href="http://ourdoings.com/boston-lisp/2008-04-22">View all full-sized photos for this date »</a></p><p>Peter Dillinger spoke about Theorem proving with ACL2s. ACL2, "A Computational Logic for Applicative Common Lisp", was recognized with the 2005 ACM Software System Award for its power and usefulness in verifying safety-critical applications. New users, however, found it difficult to use for a variety of reasons. <a href="http://acl2s.peterd.org/acl2s/">ACL2s</a> is an Eclipse-based development environment we have made to make ACL2 easier to learn and use. Peter C. Dillinger is a Ph.D. Student at Northeastern University, Panagiotis Manolios, advisor.</p>
<p>Hans Hübner gave a presentation of The BKNR Common Lisp web application development environment. <a href="http://bknr.net/">BKNR</a> is a one-stop repository of open source Common Lisp modules used to develop and deploy web applications, featuring a pure Lisp transaction based persistence layer. He showed <a href="http://createrainforest.org/">createrainforest.org</a> as an example application, as well as a Google Earth version. Hans Hübner has been a hacker for over 20 years, and has discovered Common Lisp as his favourite programming language in 2001. He is a freelance consultant whose research interests include persistence systems and hardware to support dynamic programming.</p><a href="http://ourdoings.com/boston-lisp/photo.html?th=6h/jz/mm7b.jpg&d=2008-04-22#p"><img class="thumb thumbtop" align="top" width="159" height="120" alt="" src="http://img.ourdoings.com/6h/jz/mm7b.jpg" /></a>
<a href="http://ourdoings.com/boston-lisp/photo.html?th=5b/bx/prz2.jpg&d=2008-04-22#p"><img class="thumb thumbtop" align="top" width="159" height="120" alt="" src="http://img.ourdoings.com/5b/bx/prz2.jpg" /></a>
<a href="http://ourdoings.com/boston-lisp/photo.html?th=x5/93/k7nr.jpg&d=2008-04-22#p"><img class="thumb thumbtop" align="top" width="160" height="120" alt="" src="http://img.ourdoings.com/x5/93/k7nr.jpg" /></a>
<a href="http://ourdoings.com/boston-lisp/photo.html?th=5e/f2/snbu.jpg&d=2008-04-22#p"><img class="thumb thumbtop" align="top" width="159" height="120" alt="" src="http://img.ourdoings.com/5e/f2/snbu.jpg" /></a>
</div>
<p> </p><p><tt>This message was put together in 38 seconds from <a href="http://ourdoings.com/">ourdoings.com</a></tt></p>
</div>
</div>
</body>
</html>