[boston-lisp-meeting-register] Re: [boston-lisp] Next Boston Lisp Meeting: Tuesday April 22nd 2008, 6pm at MIT 34-401B]

[Rebecca Frankel]

Alexey and I are planning on coming.

Rebecca

On Wed, Apr 9, 2008 at 7:34 PM, Dan Stanger <dan.stanger at ieee.org> wrote:

> Hello All,
> This list is now functional:
>
> boston-lisp-meeting-register at common-lisp.net
> Dan Stanger
>
> Faré wrote:
>
> > http://fare.livejournal.com/121355.html
> > Next Boston Lisp Meeting: Tuesday April 22nd 2008, 6pm at MIT 34-401B
> >
> > ITA Software, a fine employer of Lisp hackers (full disclaimer: they
> > employ me), has kindly offered to sponsor a dinner for our Monthly
> > Boston Lisp Meeting. Please send mail to boston-lisp-meeting-register
> > at common-lisp.net with a list of attendees so I may order the correct
> > amount of food. No registration, no food.
> >
> > Peter Dillinger will give a 25' talk 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 <
> > http://acl2s.peterd.org/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 Hübner will give a 50' presentation of The BKNR Common Lisp web
> > application development environment. BKNR < http://bknr.net/ > 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. 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.
> >
> > Please note that the meeting is taking place at an unusual date, to
> > accomodate for the availability of the main speaker, who is coming
> > from Berlin (Germany) to talk to us.
> >
> > The Lisp Meeting with take place at MIT, room 34-401B. As the numbers
> > indicate, this is in Building 34, on the 4th floor.
> >
> > MIT map: http://whereis.mit.edu/bin/map?selection=34
> >
> > Google map:
> > http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA
> >
> > PS: The previous Boston Lisp Meeting on March 31st was a big success,
> > with over 70 attendants. Thanks a lot to all those who came. I hope
> > we'll meet again and have more of those interesting conversations.
> >
> > PPS: We're still looking for speakers. We have a lot of potential
> > speakers, but not enough confirmed speakers at scheduled dates. The
> > call for speakers and all the other details are at <
> > http://fare.livejournal.com/120393.html >.
> >
> > PPPS: Please forward this information to people who would be
> > interested. Please accept my apologies for your receiving this message
> > multiple times.
> >
> > For posts related to the Boston Lisp meetings in general, follow this
> > link: http://fare.livejournal.com/tag/boston-lisp-meeting
> >
> > [ François-René ÐVB Rideau | Reflection&Cybernethics |
> > http://fare.tunes.org ]
> > - "If you're so smart, how come you're not rich?"
> > - "If you're so rich, how come you're not smart?"
> >        -- narrated by Steven E. Landsburg, "The Armchair Economist"
> > _______________________________________________
> > boston-lisp mailing list
> > boston-lisp at common-lisp.net
> > http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp
> >
> >
> >
>
>
>
> _______________________________________________
> boston-lisp mailing list
> boston-lisp at common-lisp.net
> http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/boston-lisp-meeting-register/attachments/20080409/969cc56b/attachment.html>