boston-lisp-meeting-register April 2008

boston-lisp-meeting-register@common-lisp.net

29 participants
31 discussions

[boston-lisp-meeting-register] Re: [boston-lisp] Next Boston Lisp Meeting: Tuesday April 22nd 2008, 6pm at MIT 34-401B]
by Rebecca Frankel 09 Apr '08

09 Apr '08

Alexey and I are planning on coming. Rebecca On Wed, Apr 9, 2008 at 7:34 PM, Dan Stanger <dan.stanger(a)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(a)common-lisp.net > > http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp > > > > > > > > > > _______________________________________________ > boston-lisp mailing list > boston-lisp(a)common-lisp.net > http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp >

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

boston-lisp-meeting-register April 2008