From r.p.levy at gmail.com Mon Jul 14 02:57:51 2008 From: r.p.levy at gmail.com (rob levy) Date: Sun, 13 Jul 2008 22:57:51 -0400 Subject: [boston-lisp-meeting-register] july 21st meeting Message-ID: attending jul 21 lisp meeting at MIT -------------- next part -------------- An HTML attachment was scrubbed... URL: From damned at theworld.com Mon Jul 14 13:48:25 2008 From: damned at theworld.com (Mark Simpson) Date: Mon, 14 Jul 2008 09:48:25 -0400 Subject: [boston-lisp-meeting-register] Signing up for Lisp meeting on July 21st Message-ID: I will be attending. -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 193 bytes Desc: not available URL: From axofch at gmail.com Mon Jul 14 17:44:28 2008 From: axofch at gmail.com (Alexey Radul) Date: Mon, 14 Jul 2008 13:44:28 -0400 Subject: [boston-lisp-meeting-register] July 21st meeting Message-ID: +2 attendees, myself and Rebecca Frankel. ~Alexey Radul From Alan at Bawden.Org Tue Jul 15 04:02:47 2008 From: Alan at Bawden.Org (Alan Bawden) Date: Tue, 15 Jul 2008 00:02:47 -0400 (EDT) Subject: [boston-lisp-meeting-register] Re: [boston-lisp] Next Boston Lisp Meeting: Monday July 21st 2008, 6pm at MIT 34-401B In-Reply-To: <653bea160807131946k455fc91bj6494b694bf02e05e@mail.gmail.com> (fare@tunes.org) References: <653bea160807131946k455fc91bj6494b694bf02e05e@mail.gmail.com> Message-ID: <15Jul2008.000150.Alan@Bawden.Org> I'll be there. From mark at buttery.org Tue Jul 15 04:45:26 2008 From: mark at buttery.org (Mark J. Dulcey) Date: Tue, 15 Jul 2008 00:45:26 -0400 Subject: [boston-lisp-meeting-register] RSVP Message-ID: <487C2B66.2070209@buttery.org> I'll be at the meeting next Monday. (I was concerned that it would end up on the last Monday of July, when I would have already been on vacation.) I will also be able to videotape it. From smanek at gmail.com Tue Jul 15 23:44:31 2008 From: smanek at gmail.com (Shaneal Manek) Date: Tue, 15 Jul 2008 19:44:31 -0400 Subject: [boston-lisp-meeting-register] Re: [boston-lisp-announce] Next Boston Lisp Meeting: Monday July 21st 2008, 6pm at MIT 34-401B In-Reply-To: <487ABEE0.5040904@neilvandyke.org> References: <487ABEE0.5040904@neilvandyke.org> Message-ID: Hi, This is Shaneal Manek, and I'm planning to attend the July 21st meeting. From sykopomp at gmail.com Wed Jul 16 03:17:51 2008 From: sykopomp at gmail.com (Josh M) Date: Tue, 15 Jul 2008 23:17:51 -0400 Subject: [boston-lisp-meeting-register] Coming to meeting! Message-ID: <487D685F.6050405@gmail.com> Heyas, A friend and myself will be driving over to Boston on Monday for the meetup. Sounds exciting. We'll eat pretty much anything, although I'm allergic to seafood. See you there! -Josh (sykopomp on freenode) From jcardente at gmail.com Fri Jul 18 19:42:47 2008 From: jcardente at gmail.com (john cardente) Date: Fri, 18 Jul 2008 15:42:47 -0400 Subject: [boston-lisp-meeting-register] Fwd: [boston-lisp] Next Boston Lisp Meeting: Monday July 21st 2008, 6pm at MIT 34-401B In-Reply-To: <653bea160807131946k455fc91bj6494b694bf02e05e@mail.gmail.com> References: <653bea160807131946k455fc91bj6494b694bf02e05e@mail.gmail.com> Message-ID: I plan on attending the Monday, July 21st Boston Lisp Meeting and would like take advantage of the buffet. Thanks for all the hard work in planning these meetings!!! John ---------- Forwarded message ---------- From: Far? Date: Sun, Jul 13, 2008 at 10:46 PM Subject: [boston-lisp] Next Boston Lisp Meeting: Monday July 21st 2008, 6pm at MIT 34-401B To: boston-lisp at common-lisp.net Next Boston Lisp Meeting: Monday July 21st 2008, 6pm at MIT 34-401B NB1: I apologize for the late announcement and the short notice. NB2: ITA Software, a fine employer of Lisp hackers (disclosure: I work there), is kindly purchasing a buffet to accompany our Monthly Boston Lisp Meeting. Anyone who attends is welcome to partake. We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the right amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgment unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors. * Jay McCarthy will give a 25' talk about Cryptographic Protocol Explication and End-Point Projection. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the communications from the perspective of an individual role. In contrast, traditional protocol descriptions as found in a state of nature tend to employ a whole-protocol description, resulting in an impedance mismatch. In this talk we present two results to address this gap between human descriptions and deployable specifications. The first is an end-point projection technique that consumes an explicit whole-protocol description and generates specifications that capture the behavior of each participant role. In practice, however, many whole-protocol descriptions contain idiomatic forms of implicit specification. We therefore present our second result, a transformation that identifies and eliminates these implicit patterns, thereby preparing protocols for end-point projection. Concretely, our tools consume protocols written in our whole-protocol language, WPPL, and generate role descriptions in the cryptographic protocol programming language, CPPL. We have formalized and established properties of the transformations using the Coq proof assistant. We have validated our transformations by applying them successfully to almost all the protocols in the SPORE repository. This talk will be based off a paper co-authored that has been accepted at ESORICS, a joint work with Shriram Krisnamurthi. Jay McCarthy http://jay.teammccarthy.org/ is completing his PhD at Brown University under Shriram Krisnamurthi, and will be a professor of Computer Science next year at Brigham Young University. * * There may or may not be a second speaker (to be announced), or some other community activity. Suggestions sought. * * * Please note that the meeting is taking place not at NEU (like previous times) but at MIT (like the times before that). The location is subject to change but the usual room will hopefully be confirmed soon. Please also note that the date is next week. My apologies once again for the short notice. The Lisp Meeting will take place on Monday July 21st 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 Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us. * * * * The previous Boston Lisp Meeting on June 25th was a success despite only 34 participants. Those who didn't come missed two very interesting presentations, followed by great food and intense discussion. We're always looking for more speakers. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. For more information, see our new web site boston-lisp.org. For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting _______________________________________________ boston-lisp mailing list boston-lisp at common-lisp.net http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp -- jcardente at gmail.com "The best way to predict the future is to invent it." - Alan Kay From lincoln at techhouse.org Sat Jul 19 23:23:29 2008 From: lincoln at techhouse.org (Lincoln Quirk) Date: Sat, 19 Jul 2008 19:23:29 -0400 Subject: [boston-lisp-meeting-register] Register 2 people Message-ID: <20080719232329.GH29577@th3.techhouse.brown.edu> Hello, I and one other person are coming and have no particular food taboos. From sykopomp at gmail.com Mon Jul 21 04:47:39 2008 From: sykopomp at gmail.com (Josh M) Date: Mon, 21 Jul 2008 00:47:39 -0400 Subject: [boston-lisp-meeting-register] Not coming after all Message-ID: <488414EB.1040802@gmail.com> Friend -just- told me that he couldn't go, so I can't afford to go, either. Sorry about this. -Josh sykopomp at freenode From chubrich at cs.brandeis.edu Mon Jul 21 17:38:07 2008 From: chubrich at cs.brandeis.edu (Nicholas Chubrich) Date: Mon, 21 Jul 2008 13:38:07 -0400 (EDT) Subject: [boston-lisp-meeting-register] coming tonight Message-ID: Coming tonight--- Nick Chubrich. From chubrich at cs.brandeis.edu Mon Jul 21 19:25:17 2008 From: chubrich at cs.brandeis.edu (Nicholas Chubrich) Date: Mon, 21 Jul 2008 15:25:17 -0400 (EDT) Subject: [boston-lisp-meeting-register] Bringing one more tonight Message-ID: who is not on the list.