[boston-lisp] April 22 meeting

[brlewis at ourdoings.com]

TUE, APR 22: PETER DILLINGER ON ACL2S; HANS HÜBNER ON BKNR (Bruce Lewis)

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. ACL2s 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.
Hans Hu"bner gave a presentation of The BKNR Common Lisp web application
development environment. BKNR 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 createrainforest.org as an
example application, as well as a Google Earth version. Hans Hu"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.

Illustrated at http://ourdoings.com/boston-lisp/2008-04-22






This message was put together in 38 seconds from ourdoings.com.
http://ourdoings.com/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/boston-lisp/attachments/20080422/5ceca8d5/attachment.html>