Alexey and I are planning on coming. <br><br>Rebecca<br><br><div class="gmail_quote">On Wed, Apr 9, 2008 at 7:34 PM, Dan Stanger <<a href="mailto:dan.stanger@ieee.org">dan.stanger@ieee.org</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello All,<br>
This list is now functional:<br>
<br>
boston-lisp-meeting-register at <a href="http://common-lisp.net" target="_blank">common-lisp.net</a><br>
Dan Stanger<br>
<br>
Faré wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<a href="http://fare.livejournal.com/121355.html" target="_blank">http://fare.livejournal.com/121355.html</a><br>
Next Boston Lisp Meeting: Tuesday April 22nd 2008, 6pm at MIT 34-401B<br>
<br>
ITA Software, a fine employer of Lisp hackers (full disclaimer: they<br>
employ me), has kindly offered to sponsor a dinner for our Monthly<br>
Boston Lisp Meeting. Please send mail to boston-lisp-meeting-register<br>
at <a href="http://common-lisp.net" target="_blank">common-lisp.net</a> with a list of attendees so I may order the correct<br>
amount of food. No registration, no food.<br>
<br>
Peter Dillinger will give a 25' talk about Theorem proving with ACL2s.<br>
ACL2, "A Computational Logic for Applicative Common Lisp", was<br>
recognized with the 2005 ACM Software System Award for its power and<br>
usefulness in verifying safety-critical applications. New users,<br>
however, found it difficult to use for a variety of reasons. ACL2s <<br>
<a href="http://acl2s.peterd.org/acl2s/" target="_blank">http://acl2s.peterd.org/acl2s/</a> > is an Eclipse-based development<br>
environment we have made to make ACL2 easier to learn and use. Peter<br>
C. Dillinger is a Ph.D. Student at Northeastern University, Panagiotis<br>
Manolios, advisor.<br>
<br>
Hans Hübner will give a 50' presentation of The BKNR Common Lisp web<br>
application development environment. BKNR < <a href="http://bknr.net/" target="_blank">http://bknr.net/</a> > is a<br>
one-stop repository of open source Common Lisp modules used to develop<br>
and deploy web applications, featuring a pure Lisp transaction based<br>
persistence layer. Hans Hübner has been a hacker for over 20 years,<br>
and has discovered Common Lisp as his favourite programming language<br>
in 2001. He is a freelance consultant whose research interests include<br>
persistence systems and hardware to support dynamic programming.<br>
<br>
Please note that the meeting is taking place at an unusual date, to<br>
accomodate for the availability of the main speaker, who is coming<br>
from Berlin (Germany) to talk to us.<br>
<br>
The Lisp Meeting with take place at MIT, room 34-401B. As the numbers<br>
indicate, this is in Building 34, on the 4th floor.<br>
<br>
MIT map: <a href="http://whereis.mit.edu/bin/map?selection=34" target="_blank">http://whereis.mit.edu/bin/map?selection=34</a><br>
<br>
Google map: <a href="http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA" target="_blank">http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA</a><br>
<br>
PS: The previous Boston Lisp Meeting on March 31st was a big success,<br>
with over 70 attendants. Thanks a lot to all those who came. I hope<br>
we'll meet again and have more of those interesting conversations.<br>
<br>
PPS: We're still looking for speakers. We have a lot of potential<br>
speakers, but not enough confirmed speakers at scheduled dates. The<br>
call for speakers and all the other details are at <<br>
<a href="http://fare.livejournal.com/120393.html" target="_blank">http://fare.livejournal.com/120393.html</a> >.<br>
<br>
PPPS: Please forward this information to people who would be<br>
interested. Please accept my apologies for your receiving this message<br>
multiple times.<br>
<br>
For posts related to the Boston Lisp meetings in general, follow this<br>
link: <a href="http://fare.livejournal.com/tag/boston-lisp-meeting" target="_blank">http://fare.livejournal.com/tag/boston-lisp-meeting</a><br>
<br>
[ François-René ĞVB Rideau | Reflection&Cybernethics | <a href="http://fare.tunes.org" target="_blank">http://fare.tunes.org</a> ]<br>
- "If you're so smart, how come you're not rich?"<br>
- "If you're so rich, how come you're not smart?"<br>
-- narrated by Steven E. Landsburg, "The Armchair Economist"<br>
_______________________________________________<br>
boston-lisp mailing list<br>
<a href="mailto:boston-lisp@common-lisp.net" target="_blank">boston-lisp@common-lisp.net</a><br>
<a href="http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp" target="_blank">http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp</a><br>
<br>
<br>
</blockquote>
<br>
<br>
<br>
_______________________________________________<br>
boston-lisp mailing list<br>
<a href="mailto:boston-lisp@common-lisp.net" target="_blank">boston-lisp@common-lisp.net</a><br>
<a href="http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp" target="_blank">http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp</a><br>
</blockquote></div><br>