[boston-lisp-meeting-register] Re: Next Boston Lisp Meeting: Wed Jun 25th @ 6pm NEU Shilman Hall 135

[Spencer Brody]

Hi,
I'm RSVPing to the June 25th Boston Lisp Meeting.  I don't have any 
strong food taboos.

-Spencer

Francois-Rene Rideau wrote:
> As you may or may not know, ITA is sponsoring a monthly Lisp Meeting.
> Next one will be at NEU (not MIT like the previous ones).
>
> Can people interested or available for carpooling contact me 
> personally by email? Thanks!
>
> Below is the official announcement.
>    http://fare.livejournal.com/126150.html
>
> NB: while Shriram Krisnamurthi will be speaking the very same day at 
> the ITA Lucky Hacker talk, he will be speaking on a different topic at 
> the Lisp Meeting.
>
> --#f
> Put your hand on a hot stove for a minute, and it seems like an hour.
> Sit with a pretty girl for an hour, and it seems like a minute.
> THAT'S relativity.      -- Albert Einstein
>
>
> Next Boston Lisp Meeting: Wednesday June 25th 2008, 6pm at NEU 
> Shillman Hall Room 135
>
> Note: 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.
>
> *
>
> Danny Yoo will give a 25' talk about DivaScheme.
>
> DivaScheme http://www.cs.brown.edu/research/plt/software/divascheme/ 
> is a semi-structured text editor layer on top of the DrScheme IDE. It 
> provides structured editing operations that provide additional support 
> for the navigation and maintenance of Scheme source code. DivaScheme's 
> operations act on whole s-expressions rather than characters: 
> unbalanced parentheses are impossible within the confines of 
> DivaScheme. It also manages whitespace cleanup and indentation for the 
> user. Finally, its keybindings are single keystrokes rather than 
> chords to reduce hand strain.
>
> Danny Yoo http://hkn.eecs.berkeley.edu/~dyoo/ received his bachelor's 
> from UC Berkeley in 2001, and worked for the Arabidopsis Information 
> Resource (http://arabidopsis.org) at the Carnegie Institution of 
> Washington from 2001-2006. He is currently a CS graduate student at 
> Worcester Polytechnic Institute. His web site is: 
> http://hashcollision.org/.
>
> * *
>
> Shriram Krishnamurthi will give a 50' talk about 
> Relationally-Parametric Polymorphic Contracts
>
> http://www.cs.brown.edu/~sk/Publications/Papers/Published/gmfk-rel-par-poly-cont/ 
>
> The analogy between types and contracts raises the question of how 
> many features of static type systems can be expressed as dynamic 
> contracts. An important feature missing in prior work on contracts is 
> parametricity, as represented by the polymorphic types in languages 
> like Standard ML.
>
> We present a contract counterpart to parametricity. We explore 
> multiple designs for such a system and present one that is simple and 
> incurs minimal execution overhead. We show how to extend the notion of 
> contract blame to our definition. We present a form of inference that 
> can often save programmers from having to explicitly instantiate many 
> parametric contracts. Finally, we present several examples that 
> illustrate how this system mimics the feel and properties of 
> parametric polymorphism in typed languages.
>
> Shriram Krishnamurthi http://www.cs.brown.edu/~sk/ is an Associate 
> Professor of Computer Science at Brown University. His recent work 
> focuses on language support for interactive software, and on analyses 
> for security policies. He is a co-author of the DrScheme programming 
> environment, the FASTLINK genetic linkage analysis package, the 
> Continue conference paper server, the Margrave access control policy 
> analysis package, the Flapjax programming language, and the book "How 
> to Design Programs". He has also written "Programming Languages: 
> Application and Interpretation" and coordinates the decade-old 
> TeachScheme! high-school computer science outreach program.
>
> * * *
>
> Please note that the meeting is taking places both at an unusual day 
> (as has been usual) and at an unusual place (as is unusual).
>
> The Lisp Meeting with take place on Wednesday June 25th at 
> Northeastern University, Shillman Hall Room 135.
>
> NEU map: http://www.northeastern.edu/campusmap/
>
> See building 30 on the above html map, but note that the numbers are 
> only relative to the map: if you have to ask for directions, ask for 
> Shillman Hall. For directions and parking suggestions, see also below.
>
> Google Map: 
> http://maps.google.com/maps/ms?ie=UTF8&hl=en&msa=0&ll=42.338086,-71.08915&spn=0.007249,0.011555&t=k&z=17&msid=104088594274908808376.00044daf860fd8f550b68 
>
>
> Many thanks go to Richard Cobbe for booking us a room, and to 
> Northeastern University for welcoming us.
>
> * * * *
>
> The previous Boston Lisp Meeting on May 28th was a success despite 
> only 34 participants. Those who didn't come missed two very 
> interesting talks. I welcome email suggestions for things that will 
> make you come: maybe shorter sessions with only one speaker? In any 
> case, many thanks to all those who came.
>
> 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
>