Received: by 10.101.75.8 with SMTP id c8mr5444333anl.28.1318373363607;
        Tue, 11 Oct 2011 15:49:23 -0700 (PDT)
X-BeenThere: bostonhaskell@googlegroups.com
Received: by 10.101.11.13 with SMTP id o13ls470541ani.6.gmail; Tue, 11 Oct
 2011 15:49:09 -0700 (PDT)
Received: by 10.100.253.10 with SMTP id a10mr5416295ani.1.1318373349023;
        Tue, 11 Oct 2011 15:49:09 -0700 (PDT)
Received: by 10.150.105.12 with SMTP id d12msybc;
        Tue, 11 Oct 2011 15:15:32 -0700 (PDT)
Received: by 10.43.130.133 with SMTP id hm5mr11338908icc.3.1318371332570;
        Tue, 11 Oct 2011 15:15:32 -0700 (PDT)
Received: by 10.43.130.133 with SMTP id hm5mr11338906icc.3.1318371332561;
        Tue, 11 Oct 2011 15:15:32 -0700 (PDT)
Return-Path: <a...@chlipala.net>
Received: from outgoing.csail.mit.edu (outgoing.csail.mit.edu. [128.30.2.149])
        by gmr-mx.google.com with ESMTP id fk4si8946icb.5.2011.10.11.15.15.32;
        Tue, 11 Oct 2011 15:15:32 -0700 (PDT)
Received-SPF: neutral (google.com: 128.30.2.149 is neither permitted nor denied by best guess record for domain of a...@chlipala.net) client-ip=128.30.2.149;
Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 128.30.2.149 is neither permitted nor denied by best guess record for domain of a...@chlipala.net) smtp.mail=a...@chlipala.net
Received: from steppenwolf.csail.mit.edu ([128.30.92.221])
	by outgoing.csail.mit.edu with esmtpsa (TLSv1:AES256-SHA:256)
	(Exim 4.69)
	(envelope-from <a...@chlipala.net>)
	id 1RDkbk-0001JY-1X
	for bostonhaskell@googlegroups.com; Tue, 11 Oct 2011 18:15:32 -0400
Message-ID: <4E94C003.70407@chlipala.net>
Date: Tue, 11 Oct 2011 18:15:31 -0400
From: Adam Chlipala <a...@chlipala.net>
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100329)
MIME-Version: 1.0
To: bostonhaskell@googlegroups.com
Subject: Re: [BostonHaskell] [Boston Haskell] Monday, October 24th, 7-9pm
 in the MIT CSAIL Reading Room
References: <CAJumaK84Od7Fbe1zb4oFrEVSvW=5tpgnB6R_6+0OTPHY5YecZA@mail.gmail.com>
In-Reply-To: <CAJumaK84Od7Fbe1zb4oFrEVSvW=5tpgnB6R_6+0OTPHY5YecZA@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

Edward Kmett wrote:
> The next Boston Haskell meeting will be Monday, October 24th from 7pm 
> to 9pm at our usual location, the MIT CSAIL Reading Room (32-G882, 
> which is a room on the 8th floor of the Gates Tower of the MIT's Stata 
> Center at 32 Vassar St in Cambridge, MA).

Some folks going to this meeting may also be interested in the inaugural 
meeting of the new MIT PL Seminar on the same day from 4-5:30, in 
32-G575 (same building, lower floor).  The speaker is Assaf Kfoury from 
Boston University, on "A Domain-Specific Language for Incremental and 
Modular Design of Large-Scale Verifiably-Safe Flow Networks."

More information at this monster URL:
https://www.google.com/calendar/render?action=TEMPLATE&tmeid=cGtzdjF2dnE3bnZsZ2RuNnVyY3U1aGV0ODhfMjAxMTEwMjRUMjAwMDAwWiA2NDE0dDM3dWtnbnZkdGlpNWFjc3MzNjgxb0Bn&tmsrc=6414t37ukgnvdtii5acss36...@group.calendar.google.com&sf=true&output=xml

Also, we have a mailing list for PL Seminar announcements:
https://lists.csail.mit.edu/mailman/listinfo/pl