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:
Also, we have a mailing list for PL Seminar announcements: